std::true_type和std::false_type详解

std::true_type和std::false_type

认识

我们先通过一个例程来认识下它吧。

#include <iostream>
using namespace std;
int main()
{
    std::true_type a;
    std::false_type b;
    std::cout << a << std::endl;
    std::cout << b << std::endl;
	return 0;
}

分别输出了1和0.
接下来，再看看它的源码，其实挺简单的。

template <bool _Val>
using bool_constant = integral_constant<bool, _Val>;

using true_type  = bool_constant<true>;
using false_type = bool_constant<false>;

// STRUCT TEMPLATE integral_constant
template <class _Ty, _Ty _Val>
struct integral_constant {
    static constexpr _Ty value = _Val;

    using value_type = _Ty;
    using type       = integral_constant;
    constexpr operator value_type() const noexcept {
        return value;
    }
    _NODISCARD constexpr value_type operator()() const noexcept {
        return value;
    }
};

通过源码我们可以知道，其实它就是一个结构体模板。这里用到了using定义的模板，称为别名模板，这个知识点可以参考我这个系列的其它博客。

与true和false的区别

true_type，false_type：代表类型（类/结构体类型）
true,false：代表值
而bool既可以代表true也可以代表false。而true_type类型代表的就是true，false_type类型代表的就是false.

作用

我们知道要代表true和false用bool不就可以了吗？为什么还要整出这个玩意来，其实用处还是挺多的，一般是当作基类被继承，当作为基类被继承时，派生类也就具备了真或假的这种意味。比如标准库当中的is_pointer、is_union、is_function等类模板，都是继承自类似BoolConstant或者BoolConstant这样的基类来实现的。
下面我们先通过一个例程来认识下这个东西的用途吧。

#include <iostream>
using namespace std;
template <typename T, bool val>
struct AClass
{
    AClass() //构造函数
    {
        cout << "AClass::AClass()执行了" << endl;
        if (val)
        {
            T tmpa = 15;
        }
        else
        {
            T tmpa = "abc"; //这里有问题
        }
    }
};
int main()
{
    AClass<int, true> obj;
	return 0;
}

像上面这段代码大家可以知道，编译时就会报错的，
我们可以通过改成如下的方式去解决。

#include <iostream>
using namespace std;
template <typename T, bool val>
struct AClass
{
    AClass() //构造函数
    {
        cout << "AClass::AClass()执行了" << endl;
        if constexpr (val)
        {
            T tmpa = 15;
        }
        else
        {
            T tmpa = "abc";
        }
    }
};
int main()
{
    AClass<int, true> obj;
	return 0;
}

当然，最后我们还是要看看std::true_type 和std::false_type是怎么解决这个问题的。

#include <iostream>
using namespace std;
template <typename T, bool val>
struct AClass
{
    AClass() //构造函数
    {
        cout << "AClass::AClass()执行了" << endl;
        fun(bool_constant<val>());
    }
    void fun(std::true_type)
    {
        T tmpa = 15;
    }
    void fun(std::false_type)
    {
        T tmpa = "abc";
    }
};
int main()
{
    AClass<int, true> obj;
	return 0;
}

顺利通过编译。