Visual C ++与gcc / clang的不同行为，同时对包含逗号的参数进行字符串化

Question

我正在使用字符串运算符将可能包含传递给宏的逗号的参数转换为字符串。 据我所知，某些字符无法进行字符串化-特别是逗号（，），因为它用于定界参数，而右括号（）），因为它标记了参数的结尾。 因此，我使用可变参数宏将逗号传递给字符串运算符，如下所示：

#include <stdio.h>

#define TEST 10, 20

#define MAKE_STRING(...)  #__VA_ARGS__
#define STRING(x)       MAKE_STRING(x)

int main()
{
    printf("%s\n", STRING(TEST) );
    return 0;
}

它工作正常。 但是它发生在我身上，如果没有可变参数宏，将会发生什么事情，所以我修改了宏： #define MAKE_STRING(x) #x 。 它在Visual c ++ 2008/2010中意外编译良好，并输出10, 20而gcc / clang给出了预期的编译错误：

宏“ MAKE_STRING”传递了2个参数，但只接受了1个

所以我的问题是：Visual c ++是在做其他工作还是行为未定义？

Answer 1

VS通常允许在宏中添加额外的参数，然后将其静默删除： STRING(10, 20, 30) -仍然有效并打印10 。 这里不是这种情况，但这在很大程度上意味着VS甚至没有向您抛出gcc错误。

这不是任何额外的工作，而是“仅”替换顺序上的差异。

Answer 2

我不确定这是否能回答您的问题，但我希望这会帮助您解决问题。 在C中定义字符串常量时，应在双引号中将其包括（用于空格）。 同样， #宏将变量名用双引号引起来，例如， #a变为"a" 。

#include <stdio.h>

#define TEST "hello, world"
#define MAKE_STRING(x) #x

int main()
{
    int a;
    printf("%s\n", TEST);
    printf("%s\n", MAKE_STRING(a));
    return 0;
}

我使用gcc 4.7.1编译了此代码，输出为：

hello, world
a

Answer 3

我不知道为什么这会投票赞成，或者答案被投票反对（所以海报将其删除了），但我不知道您期望什么！

#__VA_ARGS__没有任何意义，假设我有MACRO（a，b，c）您想要“ a，b，c”作为字符串吗？

http://gcc.gnu.org/onlinedocs/cpp/Variadic-Macros.html#Variadic-Macros

读取（已成为标准行为）后，宏中的可变长度参数允许它们在函数的可变长度参数中进行操作。 预处理器对文本进行操作！

涉及#的唯一特殊情况是##，如果没有多余的参数，它将删除##之前的逗号（从而防止语法错误）

注意：

阅读MACRO(a,b,c)部分非常重要MACRO(a,b,c)您期望字符串“ a，b，c”是什么呢？ 或“ a，b，c”（如果您想要字符串“ a，b，c”）写字符串“ a，b，c”

使用#运算符非常适合诸如

#define REGISTER_THING(THING) core_of_program.register_thing(THING); printf("%s registered\n",#THING);