模板中if constexpr丢弃子语句的编译规则与实现差异问询

我查阅了if语句的cppreference页面、C17标准草案及Stack Overflow相关问题，了解到模板中if constexpr的丢弃子语句通常不会被实例化（条件非值依赖时）。但结合C标准§13.8.1条款6及注记，以下是对应的技术疑问及解答：

1. 针对如下示例代码，编译器应如何处理？ #

template<typename T>
void f(){
    if constexpr(true){

    } else{
        char *p;
        float f;
        p = f;
    }
}

这段代码中，if constexpr(true)的条件是非值依赖的常量表达式，因此else分支属于标准定义的「丢弃子语句」。根据C++标准，丢弃子语句不需要被实例化，仅需满足语法正确性和基本名字查找要求，无需进行类型检查、隐式转换验证等语义分析操作。

也就是说，else分支里p = f的类型不匹配错误，不应该触发编译报错——因为该分支永远不会被实例化，编译器无需处理这个赋值操作的合法性。

2. 模板是否被实例化会导致编译行为差异吗？ #

会产生明显差异：

• 如果模板从未被实例化（比如没有任何代码调用f<T>），编译器不会深入处理模板体的细节，包括丢弃子语句的内容；
• 如果模板被实例化，编译器会根据if constexpr条件的性质处理：
  • 若条件为非值依赖的常量表达式（如示例中的true），丢弃子语句直接跳过实例化，仅做语法和名字检查；
  • 若条件为值依赖表达式（如std::is_integral_v<T>），丢弃子语句的处理会延迟到实例化阶段，只有当实例化后条件确定为假时，才会跳过该分支的语义分析。

3. 为何在Godbolt平台上Clang编译报错，而GCC无报错？ #

这是不同编译器对标准条款的实现细节差异：

• GCC严格遵循标准中「丢弃子语句无需进行语义分析」的规则，直接忽略else分支里的类型不匹配错误；
• Clang对丢弃子语句做了额外的语义检查，即使分支确定不会被实例化，也会验证赋值操作的类型兼容性，因此触发报错。

这种差异属于标准边界情况的解读分歧，并非某一方完全违反标准，而是编译器厂商对规则的执行范围有不同理解。

4. cppreference提及的CWG2518提案允许在丢弃子语句中使用static_assert(false)，这与前述标准规则存在矛盾吗？ #

不存在矛盾，这是标准的补充修正：
在CWG2518提案之前，static_assert(false)属于特殊的编译期构造，即使位于丢弃子语句中，编译器也会强制求值，因此会触发编译错误。而CWG2518明确了规则：如果static_assert所在的分支是if constexpr的丢弃子语句，且该分支的条件是非值依赖的常量表达式，那么static_assert(false)不会被求值，也就不会触发断言失败。

这个修正填补了之前的规则空白，允许开发者在确定不会执行的丢弃分支中，用static_assert(false)来实现模板实例化的静态限制（比如禁止某些类型实例化模板），和「丢弃子语句不实例化」的核心规则是一致的。

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