c - 在 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__ 宏可能会派上用场。不会有范围界定，但至少您可以通过这种方式生成唯一的标签名称。

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