最終更新日時: 2024年06月11日 22時45分38秒 (JST)
Akira Takahashi が更新

履歴 編集

class template
<type_traits>

# std::extent(C++11)

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

### 出力

## バージョン

### 言語

- C++11

### 処理系

- Clang: 3.0 ✅
- GCC: 4.3.6 ✅
- Visual C++: 2008 (std::tr1) ✅, 2010 ✅, 2012 ✅, 2013 ✅, 2015 ✅

## 参照

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