模板函数中if constexpr分支未使用参数为何无-Wall警告？

#include <type_traits>
#include <iostream>

template <class T>
void func(const T& a)
{
    if constexpr(std::is_same_v<T,int>)
    {
        static_cast<void>(a);
    }
    else if constexpr(std::is_same_v<T,double>)
    {
        // oops forgot to use it here   
    }
    else
    {
        
    }
}

int main() {
    func(4);
    func("this");
}

当使用-Wall编译选项时，编译器为何不会针对else分支（包括double类型对应的分支）中的未使用参数a发出警告？模板的不同实例化逻辑上完全独立，若某模板实例化中未使用参数，理应属于未使用变量，想了解语言或编译器是否并非如此解读。

原因解析 #

1. if constexpr的分支丢弃规则
   if constexpr是C++17引入的编译期分支特性，针对模板的具体实例，只有满足条件的分支会被实例化，其余分支的代码会被编译器直接丢弃，不会生成到目标代码中：

• 对于func<int>实例，第一个if constexpr分支被保留，代码里通过static_cast<void>(a)使用了参数，因此不会触发未使用参数警告。
• 你的代码并未实例化func<double>（main函数里没有调用func传入double类型的参数），对应的else if分支根本不会被编译器处理，自然不会产生警告。

2. 编译器对模板函数参数的特殊处理
   模板是通用代码设计，编译器默认不会因某个特定实例化未使用参数就发出警告——它会认为该参数可能在其他实例化场景中被使用（比如你的代码里int实例就用到了a）。
   即便像func<const char*>实例那样，选中的else分支完全没用到a，-Wall也不会触发警告。如果要针对模板函数的未使用参数强制发出警告，需要额外启用-Wunused-template-parameter选项（以GCC为例）。

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