使用boost::mp11::mp_all_of进行元组类型的编译期判断

使用boost::mp11::mp_all_of进行元组类型的编译期判断

在C++中，我们可以使用元组类型来存储一定量的数据，并使用std::get来获取其中的元素。但是当我们需要对元素的类型进行限制时，就需要在编译期进行判断。这时就可以使用boost::mp11::mp_all_of函数模板来实现。

boost::mp11是一组C++11风格的元编程库，其中包含了一些实用的函数模板，例如mp_all_of。mp_all_of的作用是判断给定类型集合中是否所有类型都满足给定的条件。在本文中，我们将演示如何使用mp_all_of来检查元组类型的成员类型是否都属于某个类型集合。

首先，我们需要定义一个类型集合，即一个模板类并提供其特化版本。比如，我们可以定义如下的类型集合：

template<class... Ts>
struct type_list {};

template<class T>
struct identity { using type = T; };

using arithmetic_types = type_list<int, long, float, double>;
using integral_types = type_list<char, signed char, unsigned char, short, unsigned short, int, unsigned int, long, unsigned long>;

这里，我们定义了两个类型集合：arithmetic_types和integral_types。arithmetic_types包含了int、long、float和d