C语言中标签属于指令还是常量？标签管理及相关未定义行为问询

首先明确：你给出的代码不属于未定义行为，完全符合C语言标准的规定，下面具体解释：

标签的核心规则 #

C标准规定，标签的作用域是整个函数——只要标签在当前函数内定义，不管它嵌套在if、for等任何代码块里，函数内的goto语句都能合法跳转到该标签，不会出现“未定义标签”的错误。而且标签本身不是可执行指令，它只是编译器记录的一个代码位置标记，所在代码块是否被执行，不影响标签的有效性。

示例代码分析 #

你的示例代码：

if (false)
label: printf("HELLO ");

printf("WORLD ");
goto label;

执行流程如下：

1. 进入if(false)分支，由于条件为假，分支内的printf("HELLO ")不会执行，但label:这个标记已经被编译器识别并记录了对应的代码位置。
2. 执行printf("WORLD ")，输出WORLD 。
3. 执行goto label，跳转到label:标记的位置，执行printf("HELLO ")，输出HELLO 。

最终输出WORLD HELLO是完全符合标准的预期结果，不存在未定义行为。

内容的提问来源于stack exchange，提问作者DDS