将初始化列表传递给宏

Passing an initialization list to a macro

本文关键字：初始化 列表      更新时间：2023-10-16

为什么下面程序中注释掉的行不能编译?

#include <iostream>
#include <vector>
using namespace std;
#define F1(a) 1
int F2(vector<int>) { return 2; }
int main() {
    vector<int> v;
    v = vector<int>{1,2,3};
    cout << F1( v ) << endl;
    //The following line doesn't compile. The error is:
    //error: macro "F" passed 3 arguments, but takes just 1
    //cout << F1( vector<int>{1,2,3} ) << endl; // <- error!
    cout << F1( vector<int>({1,2,3}) ) << endl;
    cout << F1( (vector<int>{1,2,3}) ) << endl;
    cout << F2( v ) << endl;
    //The following line compiles fine
    cout << F2( vector<int>{1,2,3} ) << endl;
    cout << F2( vector<int>({1,2,3}) ) << endl;
    cout << F2( (vector<int>{1,2,3}) ) << endl;
    return 0;
}

预处理器不知道{}初始化。它看到逗号，就认为这是一个新的宏参数的开始。然后下一个。只有括号()是它知道的东西。

[C++11: 16.3/11]:预处理令牌的序列由最外面匹配的圆括号包围，形成了类函数宏的参数列表。列表中的单个参数由逗号预处理标记分隔，但是匹配的内括号之间的逗号预处理标记不会分隔参数。 [. .]

宏不是函数。它将您的输入vector<int>{1,2,3}解释为3个输入，即vector<int>{1, 2和3}。您可以通过将其设置为表达式(vector<int>{1,2,3})来改变这一点(就像您已经做的那样)。

括号中的所有内容都是表达式

， vector<int>(...)是一个(*特殊成员-)函数，因此预处理器将其视为一个表达式。

另一个解决方法是将MACRO转换为可变的MACRO

#define F1(...) 1

或者在更一般的情况下;转:

#define M(a) a

这:

#define M(...) __VA_ARGS__
相关文章：