顺序代码的编写方式

类型转换示例

为输入类型去掉引用并添加const

#include<iostream>
#include<type_traits>
struct fun_
{
	using RemRef = typename std::remove_reference<T>::type;
	//using type = typename std::add_const<RemRef>::type;
	constexpr static int value = sizeof(T) - S;
};

用别名模板简化

可以采用别名模板的方式简化元函数的书写：

template<typename T, unsigned S>
constexpr auto fun = fun_<T, S>::value;

于是可以直接这样写元函数：

std::cout << fun<double&, 4> << std::endl;

输出得到：

4