跨编译器的诊断不一致，用于缩小非类型模板参数中的转换

Question

template <bool>
void f() { }

int main ()
{
    constexpr long long int num = 5;
    f<num & 4>(); // bitwise & is intended
    return 0;
}

gcc 9 有问题：

error: no matching function for call to 'f<(5 & 4)>()'
error: narrowing conversion of '4' from 'long long int' to 'bool' [-Wnarrowing]

clang 有问题：

error: no matching function for call to 'f'

gcc 8 和 msvc 编译没有错误。

谁是正确的？我认为错误是正确的，但想确认一下。

Answer 1

这是不正确的，因为对于template non-type argument，

可与非类型模板形参一起使用的模板实参可以是模板形参类型的任何converted constant expression。

并且窄转换不被视为converted constant expression。

T类型的转换后的常量表达式是implicitly converted到T类型的表达式，其中转换后的表达式是常量表达式，隐式转换序列只包含：

• ...
• 非窄化整数转换
• ...