推导模板参数的constexpr std::array变量报未使用错误原因排查

核心逻辑：C++17 constexpr变量的inline特性与编译器未使用警告规则 #

在C++17及以后版本中，constexpr变量默认具备inline属性，允许在多个翻译单元（TU）中重复定义且符合ODR（单定义规则）。但编译器的-Wunused-variable警告（升级为错误后）对这类变量的触发逻辑，会结合以下两个条件：

• 变量所在TU中是否有其他同一命名空间下的符号被使用
• 变量的类型声明方式（显式模板参数 vs 类模板参数推导CTAD）

针对你的代码场景的具体解释 #

1. AAA::B触发错误的原因
   存在至少一个翻译单元，该单元包含头文件后，既没有使用AAA::A，也没有使用AAA::B。此时：

   • 由于你使用了**类模板参数推导（CTAD）**声明constexpr std::array B = {"aaa", "bbb"};，编译器在推导类型时，会将该变量视为需要生成具体实例的符号；
   • 因为该TU中没有任何AAA命名空间的符号被使用，编译器检测到这个未被使用的inline定义，触发defined but not used错误。

2. BBB::D未触发错误的原因
   所有包含头文件的翻译单元中，至少有一个单元使用了BBB::C或BBB::E。此时：

   • 编译器处理该TU时，由于BBB命名空间已有其他被使用的符号，会默认保留整个命名空间的相关定义，不会对未使用的BBB::D触发未使用警告；
   • 其他未使用BBB::D的TU，也会因为BBB有活跃符号而跳过对D的未使用检测。

3. 显式指定模板参数解决问题的原因
   当你将AAA::B改为constexpr std::array<const char*, 2> B = {"aaa", "bbb"};后：

   • 编译器明确识别这是一个标准的inline模板实例变量，即使在未使用它的TU中，也不会触发未使用错误——因为inline变量的定义允许存在于多个TU，无需强制被使用。

4. 添加static无效的原因
   static关键字会让每个TU生成独立的AAA::B副本，若某个TU中该副本未被使用，编译器依然会触发未使用变量错误，因此无法解决问题。

5. 仅修改BBB::D无效的原因
   错误本身来自AAA::B所在的TU场景，与BBB::D无关，因此单独修改BBB::D无法消除AAA::B的错误。

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