1. 元编程的引入

● 从泛型编程到元编程

– 泛型编程 使用一套代码处理不同类型 ——
– 对于一些特殊的类型需要引入额外的处理逻辑 —— 引入操纵程序的程序 
– 元编程与编译期计算（优选编译期计算）
– std::vector<int>不同，因为bool使用了01二进制表示

● 第一个元程序示例 Erwin Unruh

– 在编译错误中产生质数

● 使用编译期运算辅助运行期计算

– 不是简单地将整个运算一分为二
– 详细分析哪些内容可以放到编译期，哪些需要放到运行期

● 如果某种信息需要在运行期确定，那么通常无法利用编译期计算

2. 顺序、分支、循环代码的编写方式

3. 减少实例化的技巧