extent.md

extent

• type_traits[meta header]
• std[meta namespace]
• class template[meta id-type]
• cpp11[meta cpp]

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() {}

• std::extent[color ff0000]

出力

バージョン

言語

• C++11

処理系

• Clang: 3.0 [mark verified]
• GCC: 4.3.6 [mark verified]
• Visual C++: 2008 (std::tr1) [mark verified], 2010 [mark verified], 2012 [mark verified], 2013 [mark verified], 2015 [mark verified]

参照

• P0006R0 Adopt Type Traits Variable Templates from Library Fundamentals TS for C++17