namespace std {
using true_type = integral_constant<bool, true>; // C++14まで
using true_type = bool_constant<true>; // C++17から
}
概要
true_typeは、true定数を表す型である。コンパイル時の条件式を扱うために使用される。
例
#include <type_traits>
static_assert(std::true_type::value == true, "value == true");
static_assert(std::is_same<std::true_type::value_type, bool>::value, "value_type == bool");
static_assert(std::is_same<std::true_type::type, std::true_type>::value, "type == true_type");
static_assert(std::true_type() == true, "true_type() == true");
int main(){}
出力
バージョン
言語
- C++11
処理系
- Clang: 3.2 ✅
- GCC: 4.3.4 ✅, 4.5.3 ✅, 4.6.2 ✅, 4.7.0 ✅
- Visual C++: 2010 ✅
備考
上の例でコンパイラによってはエラーになる。GCC 4.3.4, 4.5.3, Visual C++ 2010 は integral_constant が operator value_type() を持っていないためエラーになる。