std::enable_if_t适配GCC/Clang但MSVC编译失败，求标准判定

我编写了一个包含友元函数模板operator<<的类模板Foo，该代码在GCC和Clang编译器下可以正常编译运行，但在MSVC中编译失败。我想明确根据C++标准，哪个编译器的行为是正确的。

代码示例 #

#include <iostream>
#include <type_traits>

template< typename T, std::enable_if_t< T{1}, int> =0 >
class Foo
{
    template< typename Ar, typename R> 
    friend Ar& operator<<(Ar& os, const Foo<R>& foo)
    {
        return os;
    }          
};

int main()
{
    Foo<int> i;
    std::cout << i;  // GCC和Clang可正常运行，MSVC编译失败
}

MSVC编译错误信息 #

<source>(4): error C2972: 'Foo': template parameter 'unnamed-parameter': the type of non-type argument is invalid
<source>(6): note: see declaration of 'Foo'
<source>(4): note: the template instantiation context (the oldest one first) is
<source>(11): note: see reference to class template instantiation 'Foo<T,__formal>' being compiled
<source>(15): error C2679: binary '<<': no operator found which takes a right-hand operand of type 'Foo<int,0>' (or there is no acceptable conversion)

标准合规性分析 #

1. 模板参数enable_if_t的合法性 #

代码中Foo的第二个模板参数std::enable_if_t<T{1}, int> = 0是核心争议点：

• std::enable_if的第一个模板参数要求是bool类型的非类型模板参数，实参需为该类型的转换常量表达式。
• 根据C++标准，转换常量表达式允许通过布尔转换（boolean conversion）将整数类型的常量表达式转为bool。当T为int时，T{1}是值为1的整数常量表达式，可隐式转换为bool(true)，属于标准允许的转换范畴。

因此，std::enable_if_t<T{1}, int>的写法符合C++标准，MSVC对这部分的报错属于实现问题。

2. 友元函数模板的匹配逻辑 #

当Foo<int>被实例化时，友元函数模板operator<<<Ar, int>会被正确声明。GCC和Clang能正常匹配该友元函数，而MSVC的第二个错误是由于第一个模板参数的编译失败，导致Foo<int>未被正确实例化，进而无法找到对应的operator<<。

结论 #

GCC和Clang的行为符合C++标准，MSVC的报错属于编译器实现缺陷。若要兼容MSVC，可将条件显式转为bool类型，修改后的模板参数如下：

std::enable_if_t<static_cast<bool>(T{1}), int> = 0

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