罗剑锋的C++实战笔记6-编译阶段能做什么：属性和静态断言

前面我讲了 C++ 程序生命周期里的“编码阶段”和“预处理阶段”，它们的工作主要还是“文本编辑”，生成的是人类可识别的源码（source code）。而“编译阶段”就不一样了，它的目标是生成计算机可识别的机器码（machine instruction code）。

今天，我就带你来看看在这个阶段能做些什么事情。

编译阶段编程

编译是预处理之后的阶段，它的输入是（经过预处理的）C++ 源码，输出是二进制可执行文件（也可能是汇编文件、动态库或者静态库）。这个处理动作就是由编译器来执行的。

和预处理阶段一样，在这里你也可以“面向编译器编程”，用一些指令或者关键字让编译器按照你的想法去做一些事情。只不过，这时你要面对的是庞大的 C++ 语法，而不是简单的文本替换，难度可以说是高了好几个数量级。

编译阶段的特殊性在于，它看到的都是 C++ 语法实体，比如 typedef、using、template、struct/class 这些关键字定义的类型，而不是运行阶段的变量。所以，这时的编程思维方式与平常大不相同。我们熟悉的是 CPU、内存、Socket，但要去理解编译器的运行机制、知道怎么把源码翻译成机器码，这可能就有点“强人所难”了。

比如说，让编译器递归计算斐波那契数列，这已经算是一个比较容易理解的编译阶段数值计算用法了：

template<int N>

struct fib // 递归计算斐波那契数列

{

static const int value =

fib<N - 1>::value + fib<N - 2>::value;

};

template<>

struct fib<0> // 模板特化计算fib<0>

{

static const int value = 1;

};

template<>

struct fib<1> // 模板特化计算fib<1>

{

static const int value = 1;

};

// 调用后输出2，3，5，8

cout << fib<2>::value << endl;

cout << fib<3>::value << endl;

cout << fib<4>::value << endl;

cout << fib<5>::value << endl;

对于编译器来说，可以在一瞬间得到结果，但你要搞清楚它的执行过程，就得在大脑里把 C++ 模板特化的过程走一遍。整个过程无法调试，完全要靠自己去推导，特别“累人”。（你也可以把编译器想象成是一种特殊的“虚拟机”，在上面跑的是只有编译器才能识别、处理的代码。）

简单的尚且如此，那些复杂的就更不用说了。所以࿰