为什么 SFINAE 返回类型失败但模板参数成功？

返回类型与模板参数中的 SFINAE

假设我们有一个区分整数和浮点数的函数模板 foo：

template<typename T, typename = typename std::enable_if<std::is_integral<T>::value>::type>
auto foo(T) -> void;

template<typename T, typename = typename std::enable_if<std::is_floating_point<T>::value>::type>
auto foo(T) -> void;

但是，当使用 double 调用时，此代码会失败并出现错误value:

foo(3.4);
// Error: no matching function for call to 'foo(double)'

为什么这种方法会失败？

在这种情况下，SFINAE 用于有条件地定义 foo 的返回类型。但是，这违反了函数模板重载的规则，该规则不考虑默认模板参数。因此，编译器将两个 foo 模板视为具有相同签名的相同函数。

使用表达式引用模板参数的替代方法

要解决此问题，我们可以改为在返回类型中使用引用模板参数的表达式：

template<typename T>
auto foo(T) -> typename std::enable_if<std::is_integral<T>::value>::type;

template<typename T>
auto foo(T) -> typename std::enable_if<std::is_floating_point<T>::value>::type;

通过此修改，表达式 std::enable_if 成为函数签名，允许 SFINAE 区分两个 foo 模板。

因此，第二个版本的 foo 可以正常工作，而第一个版本会触发错误。

以上是为什么 SFINAE 返回类型失败但模板参数成功？的详细内容。更多信息请关注PHP中文网其他相关文章！