在C语言中声明未使用的const变量是否会导致未定义行为？

首先明确：普通情况下，仅声明但未使用的const变量不会引发未定义行为，编译器的警告只是针对冗余代码的提示，和标准定义的未定义行为无关。但存在两个符合C标准的边缘场景，即便const变量未被使用，也会触发未定义行为：

1. 带_Thread_local存储类的const变量 #

如果const变量同时被声明为_Thread_local（线程局部存储），且其初始化操作涉及线程不安全的行为，那么即便变量从未被访问，初始化过程本身就可能导致未定义行为。例如：

_Thread_local const int init_flag = some_non_threadsafe_function();

根据C标准，线程局部变量的初始化时机由实现决定，但如果初始化调用的函数不具备线程安全性（比如在多线程环境下调用未同步的标准库函数），这个初始化过程会直接违反标准规则，触发未定义行为，和变量是否被使用无关。

2. 类型为可变修改类型的const变量 #

当const变量的类型属于可变修改类型（比如基于运行时表达式定义的变长数组或其指针类型），且声明时用于确定类型的表达式求值本身存在未定义行为，那么不管变量是否被使用，这个求值过程都会引发问题。例如：

const int invalid_size = INT_MAX + 1; // 整数溢出触发未定义行为
const int vla[invalid_size];          // 即便vla未被使用，invalid_size的求值已导致UB

这里invalid_size的初始化表达式INT_MAX +1属于整数溢出，本身就是未定义行为，后续vla的声明是否被使用不影响这个错误的性质。

总结 #

只有当const变量的初始化过程或类型定义过程本身违反C标准时，才会在未使用的情况下触发未定义行为。常规的const变量（无线程局部属性、类型合法、初始化表达式无错误）仅声明未使用是完全符合标准的，不存在未定义行为。

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