- 作者: 雪山肥鱼
- 时间：20220217 07:51
- 目的: true_type and false_type
# ture_type 简介
# true_type 与 true 的区别
true_type 简介
#include <iostream>
/*
//两个类型(类模板)
很明显true_type false_type 是类模板被实例化了的类型
using true_type = integer_constant<bool, true>;
using false_type = integer_constant<bool, false>;
*/
int main(int argc, char **argv) {
return 0;
}
true_type 与true的区别
true_type ：代表类型(类类型)
ture:代表的是值
true_type func(); //可以
true func();//不可以
注意与bool的区别:
bool 可代表 true false
true_type 只能代表 ture
template<bool var>
struct BoolConstant {
using type = BoolConstant;//写成 using type = BoolConstant<val>也行
static constexpr bool value = val;
};
using TrueType = BoolConstant<true>;
using FalseType = BoolConstant<false>;
int main(int argc, char **argv) {
return 0;
}
- TrueType(std::true_type) 是一个被实例化的类模板，即一个类 类型。代表true的含义。
- 一般是当基类被继承，子类也就具备了真或假的意味。
比如 is_pointer, is_union,is_function等类模板都是继承BoolConstant<true>
is_union<int>::value
- 可以当作一种返回类型被使用
后续萃取使用
FalseType myfunc1();//返回真
TrueType myfunc2();// 返回假
举例:
using TrueType = BoolConstant<true>;
using FalseType = BoolConstant<false>;
template <typename T, bool val>
struct AClass {
AClass() {
cout << "AClass:AClass()执行了" << endl;
if (val) {
T tmpa = 15;
}
else {
T tmpa = "abc"
}
}
};
int main(int argc, char **argv) {
AClass<int, true> tmpobj1;
//AClass<string, false> tmpobj2;
return 0;
}
上述代码看上去没有问题，实则不能通过编译。
如果是int，int tmpa = "abc",是明显有问题的。
1>c:\users\liush\desktop\template\ture_typeandfalse_type\main.cpp(29): error C2440: “初始化”: 无法从“const char [4]”转换为“T”
1> with
1> [
1> T=int
1> ]
解决方案1：
用 if constexpr
template <typename T, bool val>
struct AClass {
AClass() {
cout << "AClass:AClass()执行了" << endl;
if constexpr (val) {
T tmpa = 15;
}
else {
T tmpa = "abc";
}
}
};
int main(int argc, char **argv) {
AClass<int, true> tmpobj1;
//AClass<string, false> tmpobj2;
return 0;
}
解决方案2：truetype falsetype 简单应用
template<bool var>
struct BoolConstant {
using type = BoolConstant;//写成 using type = BoolConstant<val>也行
static constexpr bool value = var;
};
using TrueType = BoolConstant<true>;
using FalseType = BoolConstant<false>;
template <typename T, bool val>
struct AClass {
AClass() {
cout << "AClass:AClass()执行了" << endl;
/*
if constexpr (val) {
T tmpa = 15;
}
else {
T tmpa = "abc";
}
*/
//AClassEx 是成员函数
AClassEx(BoolConstant<val>());//BoolConstant<val>() 创建临时对象
}
void AClassEx(TrueType abc) {
cout << "AClassEx(TrueType abc)" << endl;
T tmpa = 15;
}
void AClassEx(FalseType abc) {
cout << "AClassEx(FalseType abc)" << endl;
T tmpa = "abc";
}
};
int main(int argc, char **argv) {
AClass<int, true> tmpobj1;
AClass<string, false> tmpobj2;
return 0;
}
