std::array
的推導指南
來自 cppreference.com
定義於標頭檔案 <array> |
||
template< class T, class... U > array( T, U... ) -> array<T, 1 + sizeof...(U)>; |
(C++17 起) | |
為 std::array 提供一個推導指南,以提供一個等價於 std::experimental::make_array 的機制,用於從可變引數包構造 std::array
。
如果 (std::is_same_v<T, U> && ...) 不為真,則程式非良構。注意當 sizeof...(U) 為零時,(std::is_same_v<T, U> && ...) 為真。
[編輯] 示例
執行此程式碼
#include <algorithm> #include <array> #include <cassert> #include <type_traits> int main() { const int x = 10; std::array a{1, 2, 3, 5, x}; // OK, creates std::array<int, 5> assert(a.back() == x); // std::array b{1, 2u}; // Error, all arguments must have the same type // std::array<short> c{3, 2, 1}; // Error, wrong number of template args std::array c{std::to_array<short>({3, 2, 1})}; // C++20 facility assert(std::ranges::equal(c, std::array{3, 2, 1})); static_assert(std::is_same_v<short, decltype(c)::value_type>); }