constexpr-if(false)与两阶段名称查找：#4代码是否合规？

void func4();

template<typename T>
void test(T t) {
    if constexpr(false) {
        func1(t);      // #1 OK
        //func2();     // #2 Error
        //::func3(t);  // #3 Error
        ::func4(t);    // #4 OK??
    }
}

int main() {
  test(0);
}

核心问题 #

代码中的#4是否属于良定义行为？

规则回顾与代码分析 #

先明确C++模板的两阶段编译规则，以及if constexpr的特殊处理：

1. 模板定义阶段（第一阶段）：仅检查语法正确性，完成非依赖名称的存在性查找，不处理依赖模板参数的语义检查。
2. 模板实例化阶段（第二阶段）：处理依赖模板参数的语义检查，比如重载决议、参数匹配等。
3. 模板中的if constexpr(false)分支代码永远不会被实例化，仅需通过第一阶段的基础检查。

逐个分析标记代码行：

• #1：func1(t)是依赖模板参数t的调用，属于依赖名称。第一阶段仅做语法检查，不会触发查找；因分支不会被实例化，第二阶段的ADL查找和语义检查也不会执行，因此合法。
• #2：func2()是非依赖名称，第一阶段查找时无对应声明，直接报错。
• #3：::func3(t)中的::func3是非依赖名称，第一阶段查找时全局命名空间无该函数声明，直接报错。
• #4：::func4(t)中的::func4是非依赖名称，第一阶段查找时能找到全局声明的void func4();，满足第一阶段检查要求。而函数调用的参数匹配、签名兼容性属于第二阶段的实例化检查，由于分支不会被实例化，这部分检查不会触发。因此编译器不会报错，该代码属于良定义行为。

结论 #

#4是良定义行为，主流编译器接受该代码符合C++标准规定——仅需通过第一阶段的非依赖名称存在性检查，第二阶段的签名匹配检查因分支不会实例化被跳过。

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