C：常量初始化器和调试符号

Question

在代码审查中，我要求使用下面的选项 (1)，因为它会导致创建符号（用于调试），而 (2) 和 (3) 至少对于 gcc 和 icc 似乎没有这样做。但是 (1) 不是真正的 const 并且不能在所有编译器上用作数组大小。有没有更好的选择，包括调试符号并且对于 C 来说是真正的 const？

符号：

gcc f.c -ggdb3 -g ; nm  -a a.out | grep _sym
0000000100000f3c s _symA
0000000100000f3c - 04 0000 STSYM _symA

代码：

static const int symA = 1;  // 1

#define symB 2 // 2

enum { symC = 3 }; // 3

GDB 输出：

(gdb) p symA
$1 = 1

(gdb) p symB
No symbol "symB" in current context.

(gdb) p symC
No symbol "symC" in current context.

为了完整起见，来源：

#include <stdio.h>

static const int symA = 1;

#define symB 2

enum { symC = 3 };

int main (int   argc, char *argv[])
{
    printf("symA %d symB %d symC %d\n", symA, symB, symC);
    return (0);
}

Answer 1

-ggdb3 选项应该为您提供宏调试信息。但这是一种不同类型的调试信息（它必须不同——它告诉调试器如何扩展宏，可能包括参数和# 和## 运算符）所以你不能用@987654324 看到它@。

如果您的目标是在nm 中显示某些内容，那么我想您不能使用宏。但这是一个愚蠢的目标。您应该想要在调试器中实际工作的东西，对吗？在gdb 中尝试print symC，看看它是否有效。

由于可以重新定义宏，gdb 要求程序在宏存在的位置停止，以便找到正确的定义。在这个程序中：

#include <stdio.h>
int main(void)
{
  #define X 1
  printf("%d\n", X);
  #undef X
  printf("---\n");
  #define X 2
  printf("%d\n", X);
}

如果您在第一个 printf 和 print X 上打断，您将获得 1； next 到第二个printf 和gdb 会告诉你没有X；再次next，它将显示 2。

同样gdb 命令info macro foo 也很有用，如果foo 是一个接受参数的宏并且您想查看它的定义而不是用一组特定的参数扩展它。如果一个宏扩展为不是表达式的东西，gdb 不能print 它所以info macro 是你唯一可以用它做的事情。

为了更好地检查原始调试信息，请尝试使用objdump -W 而不是nm。

Answer 2

但是 (1) 不是真正的 const 并且不能在所有编译器上用作数组大小。

这可以用作所有支持 C99 和更高版本（gcc、clang）的编译器上的数组大小。对于其他人（如 MSVC），您只有最后两个选项。
首选使用选项 3 2。enums 与 #define 常量不同。您可以使用它们进行调试。您可以使用enum 常量作为左值，这与#define 常量不同。