在 C99/C11 中使用预处理器嵌套 goto 标签？

Question

是否可以使用 C 预处理器在 C11 或 C99 中嵌套 goto 标签？通过查看以下代码可能最好地说明我的情况。使用gcc -std=c99 -pedantic -Wall -Wextra 编译干净。

#include <stdio.h>

// Macro for mangling the identifier to avoid collisions
#define CTX_ID_(NAME) context_label_ ## NAME ## _
#define CTX_ID(NAME) CTX_ID_(NAME)

// The context keyword starts a block that can be exited with break (ID);
// Just syntactic sugar to keep it structured.
#define context(ID) \
    if (0) { CTX_ID(ID): ; } else

// Overloaded break keyword. Doesn't prevent using the plain break;    
#define break(ID) \
    do { goto CTX_ID(ID); } while (0)

// Example run
int main(void) {
    context (c) {
        while (1) {
            puts("Outer loop, visible.");
            while (1) {
                puts("Inner loop, visible.");
                break (c);
                puts("You won't see me.");
            }
        }
        puts("Nor me.");
    }
}

我正在尝试取消标识符（在本例中为 c）。但是，与变量不同，goto 标签不能嵌套/限定范围，因为它们在函数中必须是唯一的。是否可以在 C 预处理器中实现可用作 goto 标签的唯一范围标识符？

GCC 支持获取标签地址，但它不是 ISO 标准的一部分。此外，由于开销和易失性问题，我特别试图避免 setjmp。最后，如果您没有看到上述构造的用处，请考虑进一步使用，例如 try-catch 子句或 Python 样式的 with-expressions 来启用类似 RAII 的功能。

Answer 1

我确定__LINE__ 宏可能会派上用场。不会有作用域，但至少您可以通过这种方式生成唯一的标签名称。

但是，这也不能立即解决您的问题。我会大胆地声明这是无法解决的，尽管我确定可能有人会出现并证明我错了！

Answer 2

你的想法看起来不错，我唯一想念的是你的break(c) 可以在函数的任何地方发出。我会在这两个宏中添加类似的内容：

#define CONTEXT(ID)                                     \
    if (0) { CTX_ID(ID): ; }                            \
    else for (register bool CTX_ID(ID ## ID) = true;    \
              CTX_ID(ID ## ID);                         \
              CTX_ID(ID ## ID) = false)

#define BREAK(ID)                \
    do {                         \
       CTX_ID(ID ## ID) = false; \
       goto CTX_ID(ID);          \
   } while (0)

如果在依赖块之外使用BREAK(c)，这将导致语法错误。根据我的经验，这里使用的 for 变量很容易被现代编译器优化掉。