为什么“if constexpr”的错误分支会被编译？

Question

为什么这段代码在编译时会出错？我对“if constexpr”的了解（以及this）表明不应编译else 块。

if constexpr (true) {
    int a = 10;
} else {
    int b = 10
}

错误是：

error: expected ‘,’ or ‘;’ before ‘}’ token

使用的编译器：g++ 版本 7.5.0
编译时我使用了 -std=c++17 标志。

P.S. 缺少的 ';'是故意的，只是为了检查else是否正在编译。

Answer 1

这里有 2 个独立但相关的问题。

首先，if constexpr 只会有条件地编译模板中的分支。在模板之外，所有的分支都将被编译并且必须是良好的格式。

其次，即使在模板中，if constexpr 的废弃分支也不能针对所有可能的实例化格式错误。您的代码中不是这种情况，因为：

int b = 10

总是格式不正确（由于缺少;）。

所以编译器给出编译错误是正确的。从技术上讲，如果丢弃的分支对于所有实例都是非良构的，则编译器不需要给出编译器错误，但代码仍然是错误的。