Question

为什么在第一个代码中使用括号有效而第二个代码没有？

在第一个代码中，我只使用带有括号的variadic参数，而seconde的参数有一个带有可变参数的Integer参数，如果我在调用函数时使用括号，它将无效。

#include <bits/stdc++.h>

void func( char* szFormat, ... );

#define M1(a)  M2(a)
#define M2(b) func b

int main()
{
    M1(("Hello %s %d\n", "world",2015)); // this works
    return 0;
}

void func( char* szFormat, ... )
{
    char      trace_str[1000];
    va_list   arg_list;
    std::string str;

    va_start(arg_list, szFormat);
    vsprintf(trace_str, szFormat, arg_list);
    va_end(arg_list);

    str += trace_str;
    std::cout << str << std::endl;
}

以下代码无法使用括号。

#include <bits/stdc++.h>

void func( int year, char* szFormat, ... );

#define M1(a,...)  M2(a, __VA_ARGS__)
#define M2 func 

int main()
{
 // M1(2015, ("Hello %s", "world")); // this doesn't works
    M1(2015, "Hello %s", "world");   // this way works
    return 0;
}

void func(int year, char* szFormat, ... )
{
    char      trace_str[1000];
    va_list   arg_list;
    std::string str;


    va_start(arg_list, szFormat);
    vsprintf(trace_str, szFormat, arg_list);
    va_end(arg_list);

    str += trace_str;
    std::cout << str << " " << year << std::endl;

}

谢谢大家！

Answer 1

看到预处理输出就足以理解它了。

输入文件：

void func( int year, char* szFormat, ... );

#define M1(a,...)  M2(a, __VA_ARGS__)
#define M2 func 

int main()
{
    M1(2015, ("Hello %s", "world")); // this doesn't works
    M1(2015, "Hello %s", "world");   // this way works
    return 0;
}

c++ -E foo.cpp的输出：

# 1 "ess.cpp"
# 1 "<built-in>" 1
# 1 "<built-in>" 3
# 155 "<built-in>" 3
# 1 "<command line>" 1
# 1 "<built-in>" 2
# 1 "ess.cpp" 2
void func( int year, char* szFormat, ... );




int main()
{
    func(2015, ("Hello %s", "world"));
    func(2015, "Hello %s", "world");
    return 0;
}

相关部分在这里：

    M1(2015, ("Hello %s", "world")); // this doesn't works
    M1(2015, "Hello %s", "world");   // this way works

    func(2015, "Hello %s", "world");
    func(2015, "Hello %s", "world");

宏仅由预处理器解释。如果你把两个括号级别，你在函数调用中得到一个额外的，它不会给出预期的结果。这里编译器只会看到内部块中的逗号运算符，会看到空值计算或"Hello %s"后跟"world"，它将以func(2015, "world");结束。但是func(2015, ("Hello %d", 12));会以func(2015, 10);结尾，语法错误没有已知的从'int'转换为'char *'的第二个参数

在第一个代码中，您有#define M2(b) func b删除了一个括号级别，所以

M1(("Hello %s %d\n", "world",2015));

被（正确地）预处理为

func ("Hello %s %d\n", "world",2015);

带括号和不带括号的可变参数之间的差异

1 个答案: