c++ true_type与false_type

std::true_type和std::false_type

实际上是类型别名

是两个类型(类模板)

注意区分true_type与false_type与true和false区别

• true_type，false_type代表类型

• true,false代表值

nmsp1::FalseType myfunc1();//返回假这种含义
nmsp1::TrueType myfunc2();//返回真这种含义

自己模拟实现

namespace nmsp1 {
    template<bool val>
    struct BoolConstant {
        using type = BoolConstant<val>;

        static constexpr bool value = val;
    };

    using TrueType = BoolConstant<true>;
    using FalseType = BoolConstant<false>;


    template<typename T,bool val>
    struct AClass
    {
        AClass() {
            cout << "AClass()执行了" << endl;
            //if(val) {
            //    T tmpa = 15;
            //}
            //else {
            //    T tmpa = "abc";    //int tmpa = "abc";
            //}

            //if constexpr (val) {
            //    T tmpa = 15;
            //}
            //else {
            //    T tmpa = "abc";    //int tmpa = "abc";
            //}

            AClassEx(BoolConstant<val>());//创建一个临时对象
        }

        void AClassEx(TrueType) {
            T tmpa = 15;
        }
        void AClassEx(FalseType) {
            T tmpa = "abc";
        }

        //当为ture时只会去编译重载版本的TureType
    };
}

nmsp1::AClass<int, true> tmpobj1;
//如果是第一条注释的if语句会报const char[4]无法转换为int
nmsp1::AClass<string, false> tmpobj2;
//如果是第一条注释的if语句会报无法从int转换为string

编译器设计时的考量，编译器是能够在编译器时期判断出来执行AClass类模板构造函数的哪个分支的,但从编译出代码这个角度来说，不管是哪个条件分支都会去编译，那么编译false分支就会报错.

if constexpr:属于编译期间if语句,可以解决上面
角度来说，不管是哪个条件分支都会去编译，那么编译false分支就会报错.

if constexpr:属于编译期间if语句,可以解决上面

原文链接：https://blog.csdn.net/m0_51271123/article/details/121780266