C++ Template Metaprogramming.Chapter 2

在C++中，可以在编译时进行操纵的实体称为元数据，可以分为两个类别：类型和非类型。任何种类的元数据都可以用做模版参数。