namespace std {
template <class T, unsigned int I = 0>
struct extent {
static constexpr std::size_t value = …;
};
template <class T, unsigned I = 0>
constexpr std::size_t extent_v = extent<T, I>::value; // C++17
}
概要
配列型のI
番目の次元の要素数を取得する。
効果
- 型
T
が配列型であり、配列の次元数がI
より大きい場合、I
次元目の要素数をメンバ定数value
として定義する。 - 型
T
が配列型ではない、もしくは配列の次元数がI
以下の場合、値0
をメンバ定数value
として定義する。
備考
extent
はintegral_constant
から派生する。
例
#include <type_traits>
static_assert(std::extent<int[3][2], 0>::value == 3, "0th element count is 3");
static_assert(std::extent<int[3][2], 1>::value == 2, "1th element count is 2");
static_assert(std::extent<int[3][2], 2>::value == 0, "out of range");
static_assert(std::extent<int>::value == 0, "int isn't array type");
int main() {}
10
#include <type_traits>
static_assert(std::extent<int[3][2], 0>::value == 3, "0th element count is 3");
static_assert(std::extent<int[3][2], 1>::value == 2, "1th element count is 2");
static_assert(std::extent<int[3][2], 2>::value == 0, "out of range");
static_assert(std::extent<int>::value == 0, "int isn't array type");
int main() {}
出力
バージョン
言語
- C++11
処理系
- Clang: 3.0 ✅
- GCC: 4.3.6 ✅
- Visual C++: 2008 (std::tr1) ✅, 2010 ✅, 2012 ✅, 2013 ✅, 2015 ✅