最終更新日時: 2026年02月08日 18時00分28秒 (JST)
yoh が更新

履歴 編集

concept
<span>

# integral-constant-like(C++26)

    template<class T>
    concept integral-constant-like =  // exposition only
      is_integral_v<decltype(T::value)> &&
      !is_same_v<bool, remove_const_t<decltype(T::value)>> &&
      convertible_to<T, decltype(T::value)> &&
      equality_comparable_with<T, decltype(T::value)> &&
      bool_constant<T() == T::value>::value &&
      bool_constant<static_cast<decltype(T::value)>(T()) == T::value>::value;

## 概要

`integral-constant-like`は、型`T`が整数定数型`std::integral_constant`と互換があることを表す説明専用コンセプトである。

## バージョン

### 言語

- C++26

## 参照

- P2630R4 Submdspan
- P3029R1 Better `mdspan`'s CTAD