C++ Trick：宏函数与模板类之殇

这是一个小trick。虽然不难理解，但是可能经常会忘记，导致代码返工。看这段代码：

#include <iostream>
#include <map>
#include <vector>
#include <string>
using namespace std;

#define DECLARE(type, var) type var

int main() {

    DECLARE(vector<string>, vs);

    DECLARE(map<string, int>, msi);
    return 0;
}

g++和clang都会编译报错。g++错误信息如下：

map_m.cpp:13:34: 错误：宏“DECLARE”传递了 3 个参数，但只需要 2 个
     DECLARE(map<string, int>, msi);
                                  ^
map_m.cpp: 在函数‘int main()’中:
map_m.cpp:13:5: 错误：‘DECLARE’在此作用域中尚未声明
     DECLARE(map<string, int>, msi);

vector那句代码不报错，而map那句代码报错。原因是宏函数DECLARE接收两个参数，而如果把map传入，那么编译器预处理会把map<>里的逗号视作宏函数的分隔符，也就是拿到了三个参数：

1. map<string
2. int>
3. msi

尽管前面两个是语义无法解释的，但是在宏函数参数个数校验的环节就失败了。解决办法，比较简单。那就是typedef。

  typedef map<string, int> MSI;
    DECLARE(MSI, msi);

当然在C++11以后，也可以使用using。

using MSI = map<string, int>;
    DECLARE(MSI, msi);

注意编译的时候，g++加选项-std=c++11 。

也许你说，我根本不会定义一个DECLARE这样的宏函数（或者说函数宏）。类似的需求也可以用模板函数来实现。当然，我这里只是举例子，这个例子是基于我之前工作中遇到的一个代码场景简化后的demo。但是我相信你可能有机会接触到类似接口的宏函数，使用的时候慎重就可以了。