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

履歴 編集

class template
<type_traits>

# std::is_bounded_array(C++20)

    namespace std {
      template <class T>
      struct is_bounded_array;

      template <class T>
      inline constexpr bool is_bounded_array_v = is_bounded_array<T>::value;
    }

## 概要

型`T`が要素数の判明している配列型かを調べる。

要素数の判明している配列型とは、`T[]`を含まない`T[N]`形式の配列型である。

## 効果

`is_bounded_array`は、`T`が要素型の判明している配列型であるならば`true_type`から派生し、そうでなければ`false_type`から派生する。

## 例

    #include <type_traits>

    int main()
    {
      static_assert(std::is_bounded_array<int[3]>::value);
      static_assert(std::is_bounded_array<int[]>::value == false);

      // CV修飾してもよい
      static_assert(std::is_bounded_array_v<const int[3]>);

      // 参照はダメ
      static_assert(std::is_bounded_array_v<int(&)[3]> == false);
    }

### 出力

## バージョン

### 言語

- C++20

### 処理系

- Clang: 9.0 ✅
- GCC: 9.1 ✅
- Visual C++: ??

## 参照

- P1357R1 Traits for [Un]bounded Arrays