std::extent
提供: cppreference.com
| ヘッダ <type_traits> で定義
|
||
| template< class T, unsigned N = 0> struct extent; |
(C++11以上) | |
T が配列型の場合は、 N が [0, std::rank<T>::value) の範囲内であれば、その配列の N 番目の次元に沿った要素数に等しいメンバ定数 value が提供されます。 それ以外のあらゆる型の場合、または T が最初の次元に沿った要素数が不明な配列で N が 0 の場合、 value は 0 になります。
目次 |
[編集] ヘルパー変数テンプレート
| template< class T, unsigned N = 0 > inline constexpr std::size_t extent_v = extent<T, N>::value; |
(C++17以上) | |
std::integral_constant から継承
メンバ定数
| value [静的] |
T の N 番目の次元に沿った要素数 (パブリック静的メンバ定数) |
メンバ関数
| operator std::size_t |
オブジェクトを std::size_t に変換します。 value を返します (パブリックメンバ関数) |
| operator() (C++14) |
value を返します (パブリックメンバ関数) |
メンバ型
| 型 | 定義 |
value_type
|
std::size_t
|
type
|
std::integral_constant<std::size_t, value> |
[編集] 実装例
template<class T, unsigned N = 0> struct extent : std::integral_constant<std::size_t, 0> {}; template<class T> struct extent<T[], 0> : std::integral_constant<std::size_t, 0> {}; template<class T, unsigned N> struct extent<T[], N> : std::extent<T, N-1> {}; template<class T, std::size_t I> struct extent<T[I], 0> : std::integral_constant<std::size_t, I> {}; template<class T, std::size_t I, unsigned N> struct extent<T[I], N> : std::extent<T, N-1> {}; |
[編集] 例
Run this code
#include <iostream> #include <type_traits> int main() { std::cout << std::extent<int[3]>::value << '\n'; //< default dimension is 0 std::cout << std::extent<int[3][4], 0>::value << '\n'; std::cout << std::extent<int[3][4], 1>::value << '\n'; std::cout << std::extent<int[3][4], 2>::value << '\n'; std::cout << std::extent<int[]>::value << '\n'; const auto ext = std::extent<int[9]>{}; std::cout << ext << '\n'; //< implicit conversion to std::size_t const int ints[] = {1,2,3,4}; std::cout << std::extent<decltype(ints)>::value << '\n'; //< array size }
出力:
3 3 4 0 0 9 4
[編集] 関連項目
| (C++11) |
型が配列型かどうか調べます (クラステンプレート) |
| (C++11) |
配列型の次元数を取得します (クラステンプレート) |
| (C++11) |
指定された配列型からエクステントを1つ削除します (クラステンプレート) |
| (C++11) |
指定された配列型からすべてのエクステントを削除します (クラステンプレート) |
