4. integral-constant-like

最終更新日時:
が更新

履歴 編集

concept
<span>

integral-constant-like(C++26)

template<class T>
concept integral-constant-like =  // exposition only
  is_integral_v<remove_cvref_t<decltype(T::value)>> &&
  !is_same_v<bool, remove_cvref_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

参照