打印表达式并对其求值的宏（使用 __STRING）

Question

为了学习和演示，我需要一个宏来打印其参数并对其进行评估。 我怀疑这是一个非常常见的案例，甚至可能是一个常见问题解答，但我找不到实际的参考资料。

我当前的代码是：

#define PRINT(expr) (fprintf(stdout, "%s -> %d\n", __STRING(expr), (expr)))

然后：

PRINT(x & 0x01);

它工作正常，但我不确定 __STRING 宏的合法状态，特别是因为它位于私有 __ 命名空间中。

所以，我的问题是：

1. 有没有更好的方法来编写这个宏？
2. __STRING 是标准/伟大/邪恶吗？
3. 如何利用现有的搜索工具来查找__STRING？ SO 的搜索引擎只搜索包含字符串的任何内容:-(

Answer 1

类似的东西

#define PRINT(expr) (fprintf(stdout, "%s -> %d\n", #expr, (expr)))

可能就是你想要的。 # 是字符串化运算符。

Answer 2

您可以使用 # 预处理器标记，将其后面的参数转换为字符串文字：

#include <stdlib.h>
#include <stdio.h>

#define STR(x) #x
#define PRINT(expr) (fprintf(stdout, "%s -> %d\n", STR(expr), (expr)))

int main(void)
{
    int x = 7;

    PRINT(x & 0x01);

    return EXIT_SUCCESS;
}

2. 这绝对不是标准的，这是我第一次遇到它； 这并不奇怪，因为乍一看，它似乎并没有比上面的 STR() 宏做更多的事情。

3. Google 似乎工作正常。

Answer 3

glibc 自（至少）版本 1.04 (1992-09-03) 甚至更早以来一直提供 __STRING。

/usr/include/sys/cdefs.h：

#define __CONCAT(x,y)   x ## y
#define __STRING(x) #x

当时它们都在glibc中使用。 目前，__STRING 未在 glibc 中使用，但保留在那里供应用程序使用。

在 Linux 上，您可以依赖这些。 IIUC、__STRING 和 __CONCAT 在 NetBSD 1.3 中被采用； Solaris 两者都不提供。 其他操作系统可能有所不同。

Answer 4

对于产生可能未定义的值的宏，我能想到的最好的方法（可怕但有效）：

#define PRINT_UNDEF(x) printf("The macro " #x " is not defined.\n")
#define PRINT_INT(x) printf("The macro " #x " has a value of %d.\n", x)
// More definitions for macros producing string, float etc. 

然后你可以这样称呼它：

#ifndef MACRO_NAME
    PRINT_UNDEF(MACRO_NAME);
#else
    PRINT_INT(MACRO_NAME);
#endif

为要打印的每个宏复制这五行，并将 MACRO_NAME 替换为宏的名称。 在 PRINT_UNDEF 和 PRINT_INT 内部，您可以使用表达式而不仅仅是宏名称，但 #ifndef 必须仅包含宏名称。