Question

我在模板参数列表中遇到class = std::enbale_if<condition, type>::type两次，我知道std::enable_if<B,T>::type做了什么但不确定class =做了什么？我的意思是我知道class type_name = type，但为什么class =中没有类型名称？我什么时候用它？

编辑：此示例来自here

template <class T, class U, class = typename enable_if
          <is_lvalue_reference<T>::value ? is_lvalue_reference<U>::value : true>::type>
inline T&& forward(U&& u)
{
    return static_cast<T&&>(u);
}

Answer 1

这是SFINAE（替换失败不是错误）。下面是两个示例，其中约束放在struct和class上，以禁止实例化的类型不正确。

但不确定class =是什么？我的意思是我知道类type_name = type但为什么class =中没有类型名称？我什么时候使用它？

这是一个未命名的模板参数类型，您可以为其指定名称，但不需要它，因为此参数仅在重载重新使用期间使用（以删除无效的候选项）。实际上给它一个名字可能会显示警告。

http://coliru.stacked-crooked.com/a/25162a3eb107943f

// Allow only T to be floating type (!! actually static_assert would be preferred here)
template<class T,
         class = typename std::enable_if<std::is_floating_point<T>::value>::type>
struct foo {

};

template <class T,
          class = typename std::enable_if<std::is_integral<T>::value>::type>
bool is_even(T i) {return !bool(i%2);}

int main()
{
  // foo<int> f;  //error
  foo<float> f;   //ok

  //is_even(1.1); //error
  is_even(1); //ok

  return 0;
}

[编辑]

我必须说上面的例子不是最好的，并且建议使用static_assert，因为它允许生成信息性错误消息。 SFINAE不应用于参数验证，而应根据提供的类型选择其他实现。

Answer 2

它是一个未命名的模板类型参数。就像您可以在未使用的函数参数中省略变量名一样，您可以在未引用的模板参数中省略参数名称。

在std::enable_if<...>::type的特定情况下，这仅用于SFINAE目的。具体来说，如果enable_if中的布尔值为false，则模板参数推断将失败。

模板类型扣除

2 个答案: