”更高级的宏“模板到底是怎么实例化的？

本文默认你已经拥有基本的gcc编译选项知识，如果没有，可以看看这篇文章 程序的编译过程gcc版。

从预编译的角度对比宏定义和模板

来测测宏定义

大家都知道，宏定义仅仅只作用于文本的替换，在预编译的时候，把用到宏定义的部分替换为真正的文本而已，缺点就是不会做类型检查，只要语法能过编译就行。

我们定义一个宏来求两者之间的最大值，为了防止预编译的代码太过冗长不易看懂，没有用 include 去包含其他函数库的声明。

代码如下：

#define MAX_VALUE(_1,_2) ((_1>_2)?_1:_2)

int main(){
   
    MAX_VALUE(1,2);
}

经过 gcc -E 命令后得到预处理后的代码如下：

# 0 ".\\test_template.cpp"
# 0 "<built-in>"
# 0 "<command-line>"
# 1 ".\\test_template.cpp"
# 10 ".\\test_template.cpp"
int main(){
   
    ((1>2)?1:2);
}

观察以上代码，我们发现，确实是直接的文本替换，前面的宏定义代码都不见了，只有，传入的替换文本了。

宏定义的害处

如果我们把下面这段代码传入到宏定义中：

#define MAX_VALUE(_1,_2) ((_1>_2)?_1:_2)


int main(){
   
    MAX_VALUE("abdcdf","fdf");
}

很明显，这个代码是可以过编译的，但我们肯定不想直接的如下的方式进行字符串的比较，这样的比较毫无意义，只不过是比较的地址而已。

# 0 ".\\test_template.cpp"
# 0 "<built-in>"
# 0 "<command-line>"
# 1 ".\\test_template.cpp"
# 10 ".\\test_template.cpp"
int main(){
   
    (("abdcdf">"fdf")?