【c++11】static_assert: 静态断言 type traits：类型特征

static_assert提供一个编译时的断言检查

1、static_assert与assert的不同：

    assert(表达式)：运行时断言，表达式为false，在运行时打印固定的错误信息，并终止程序。
    static_assert(表达式，“想让编译器显示的出错信息”)：编译时断言，表达式为false，在编译时显示给定的出错信息。

    表达式为true,两者都不做任何事。

assert(true);
static_assert(true, "will do nothing");
assert(false); // assert宏：运行时断言，将打印一条出错（含cpp文件名、行号）信息并强制终止程序运行
static_assert(false, "make a error message"); // 产生一个编译时错误，并提供给定的错误信息：error C2338: make a error message

从颜色上可以分辨：static_assert貌似是C++关键字？而assert是一种自定义类型（带参数的宏）

2、type traits是一些class，在编译时提供关于类型的信息。在头文件<type_traits>中可以找到它们

// 同时使用static_assert与type traits实现模板类型编译时检查
template <typename T1, typename T2>
auto add(T1 t1, T2 t2) -> decltype(t1 + t2)
{
	// 确保T1、T2的类型是integral，否则触发编译器报错
	static_assert(std::is_integral<T1>::value, "Type T1 must be integral");
	static_assert(std::is_integral<T2>::value, "Type T2 must be integral");

	return t1 + t2;
}

void test()
{
	std::cout << add(1, 3.14) << std::endl;  // error C2338: Type T2 must be integral
	std::cout << add("one", 2) << std::endl; // error C2338: Type T1 must be integral

	auto r = add(3L, '2');			 // ok! long、char都属于整型
	// typeid用于运行时类型检查，而type traits则是编译时判断
	std::cout << typeid(r).name() << std::endl; // long
}