使用boost::mp11::mp_quote_trait的例子程序

使用boost::mp11::mp_quote_trait的例子程序

boost::mp11是一个进化自boost库的C++元编程库，旨在更加简单和现代化地编写模板元程序。其中，mp_quote_trait用于将类型别名转换为类型trait，可以用于变量类型推导和函数参数类型推导。

下面是一个使用boost::mp11::mp_quote_trait的例子程序，演示了如何使用该函数来处理类型特征：

#include <type_traits>
#include <iostream>
#include <boost/mp11.hpp>

namespace mp = boost::mp11;

template<typename T>
struct type_is{
    using type = T;
};

template<typename T>
using type_is_t = typename type_is<T>::type;

template<template<typename...>class Trait,typename...Ts>
void test_trait(Trait<Ts...>){
    std::cout<<mp::mp_quote_trait<Trait>()<<"\n";
}

int main() {
    //测试1：std::is_integral特征
    test_trait(type_is_t<std::is_integral<int>