空函数宏

Question

如果我定义一个没有实际主体的函数宏,它是否像编译器的空字符串(即它在编译时不生成任何额外的指令)？

例:

#define SomeMacro(a)

SomeMacro("hello"); // This line doesn't add any instructions, does it?

Answer 1

你是绝对正确的,空宏不会生成任何代码.

我见过两个有用的地方.第一种是在不使用函数参数时消除警告:

#define UNUSED(x)

int foo(int UNUSED(value))
{
    return 42;
}

第二种是当你使用条件来确定是否应该有代码时.

#ifdef LOGGING_ENABLED
#define LOG(x) log_message(x)
#else
#define LOG(x)
#endif

Answer 2

你的代码不完全正确,我建议你在宏中添加空括号

#define somemacro(a) {}

原因很简单,你的代码会更安全!

举个例子:

if(Value)
    somemacro(a)
else
    somemacro(b)

如果宏为空,则代码将无法编译!(在"else"之前的预期主要表达).无论如何某些风格规则迫使你写

if(Value)
{
    somemacro(a)
}
else
{
    somemacro(a)
}

这样不会有问题.

另一种选择是使用";" 而不是"{}",但在相同的情况下,该选项将给你编译时警告,而空括号不会给出警告或错误!(即使发出警告,分号仍然更好);)

采取以下案例

if(value)
    somemacro(a);
else
    somemacro(b);

将扩大到

if(value)
{};
else
{};

那不能编译!

这就是为什么宏是邪恶的

(因为宏是简单的文本替换,所以哑巴的规则应该是总是尝试手动替换代码并看看会发生什么,还有一些工具可以代替显示扩展代码的宏.)

还是猜想是否有一个完全安全的宏？是的它被称为"NOP"

#define somemacro(a) ((void)0)

在任何情况下都可以工作(甚至编译器的源文件也使用它作为NOP,例如只看"assert.h")

Answer 3

预处理器对所有宏执行文字替换.

因此,如果您定义一个"空"宏,那么在编译器运行之前,预编译器将使用空语句替换标识符中出现的每个位置.

是的 不会为您的问题中给出的示例生成代码.

Answer 4

那是对的.您的代码扩展为

;

经过预处理.

请注意,您可以要求编译器在预处理后向您显示代码(在gcc中,这是-E选项;您的编译器可能会有所不同).