为何GCC与Clang不对C++未使用const变量报警告？编译器差异原因？

代码示例 #

class Myclass
{
public:
    Myclass(int a): m_a {a} {
        m_a += 2;
    }

private:
    int m_a;    
};

const Myclass var = 3;

int main()
{

}

一、为何非constexpr构造函数时，两款编译器均不触发unused-const-variable警告？ #

unused-const-variable警告的触发逻辑是：当一个const变量被声明后既没有被引用，且其初始化过程没有可观测的副作用时，编译器才会判定它是“未使用”的并发出警告。

在上述代码中，Myclass的构造函数包含对成员变量m_a的修改操作（m_a += 2），这个操作属于可观测的副作用——编译器必须执行该构造逻辑完成变量初始化，即使变量var后续没有被使用，初始化过程本身已经产生了实际行为。因此两款编译器都不会将该变量判定为“未使用”，也就不会触发警告。

二、构造函数改为constexpr后，GCC与Clang的行为差异及标准符合性 #

修改后的代码如下：

class Myclass
{
public:
    constexpr Myclass(int a): m_a {a} {
        m_a += 2;
    }

private:
    int m_a;    
};

const Myclass var = 3;

int main()
{

}

此时两款编译器行为出现差异：

• Clang会触发unused-const-variable警告
• GCC仍然不会触发该警告

差异原因 #

这种差异源于两款编译器对“未使用const变量”的判定策略不同：

• Clang认为，当const变量通过constexpr构造函数初始化时，初始化过程可在编译期完成，且变量后续无引用，因此该变量属于“未使用”——初始化的副作用在编译期完成后，无后续代码依赖该变量，编译器可安全优化掉该变量的存在，因此发出警告。
• GCC的警告逻辑更保守：它认为即使构造函数是constexpr，用户显式声明的const对象的初始化过程（哪怕编译期执行）仍是用户意图的一部分，或认为构造函数中的修改操作即便在编译期执行，也属于需要保留的行为，因此不将其判定为“未使用”。

标准符合性 #

C标准并未强制要求编译器必须发出unused-const-variable这类警告——这类警告属于编译器的可选诊断特性，标准仅规定了必须诊断的语法错误、未定义行为等情况。因此两款编译器的行为都符合C标准，只是各自的警告策略不同。

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