在我看来，在MSVC（版本15.7.3）中评估另一个constexpr-if语句的废弃分支内的constexpr-if语句。
请考虑以下代码：
#include <tuple>
#include <type_traits>
template <size_t I>
int test() {
if constexpr(I != 0) {
return 0;
}
else { // This branch is discarded, but it seems that the constexpr-if below is still evaulated?
if constexpr(std::is_same_v<int, std::tuple_element_t<I, std::tuple<int>>>) { // some constexpr check that is valid only when I == 0
return 1;
}
else {
return 2;
}
}
}
int main() {
test<1>();
return 0;
}
上面的代码无法在MSVC中编译，因为 std::tuple_element_t 将失败的静态断言 I 超过了元组的界限。这表明，不管怎样，废弃分支中的代码也会被评估，即使它依赖于模板参数 I。
根据 cppreference，constexpr-if要求“丢弃的陈述不能为每一种可能的专业化而形成错误”，但我很难确定这是否属于这种情况。
似乎GCC和Clang接受此代码没有问题（在Compiler Explorer上测试）。
编译错误是否可以被C ++标准接受，或者MSVC在此处不兼容？
（另外，如果标准不能保证我期望代码做什么，是否有另一种方法来完成嵌套的constexpr-if语句？）