c++11_14学习之-泛型编程

一、类型别名

using 可完成typedef的功能，还可以用于template的部分特化的别名，从而简化模板类的使用

using alias=type

using int64=long;
using llong=long long;

template<typename T>
using int_map=std::map<int, T>
int_map<string> m;//使用别名省略一个模板参数


template<typename T, typename U>
class demo final{};
template<typname T>
using demo_lang=demo<T, long>

demo<char, int> d1;//使用原模板，使用两个参数
demo_lang<char> d2; //模板别名，只需一个参数

二、编译期常量

constexpr相当于编译期的const，令所修饰的表达式和函数具有编译期的常量性
const是运行时不可修改的变量

constexpr long giga()
{
	return 1000*1000*1000;
}

三、静态断言

static_assert(condition, message)编译期断言
assert运行期断言

static_assert(sizeof(int) == 4, "int must be 32bit")

四、可变参数模板

用了可变参数模板后，还需要解包才能使用，直接在类名后"…"即可

template<typename ...T>
class variadic_class{
	using type = x<T...>;
}

template<typename ...Args>
class variadic_func(Args ... args){
	cout<<sizeof...(Args)<<endl;//sizeof...计算参数数量
}

解包时可以对类型附件const /&/&&

template<typename ...Args>
int print(const char *format, const Args& ... args)
{
	return printf(format, args...);
}