SFINAE 应用于返回类型与模板参数时有何不同？

SFINAE 在返回类型与模板参数中的适用性

在 C 编程中，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;

第一个实现在模板参数中使用 SFINAE 和 std::enable_if 元函数。这意味着模板函数 foo 只能使用满足条件 std::is_integral::value.

的类型来调用。然而，第二个实现在返回中使用带有 std::enable_if 的 SFINAE模板函数的类型。在这种情况下，可以使用任何类型调用函数 foo，但仅当 T 满足条件 std::is_integral::value 时，返回类型才是 void 类型。

在您的示例中，第一个实现无法编译，因为在确定第一个模板参数的模板是否已实例化时，没有考虑第二个模板参数的默认模板参数。因此，编译器假设您尝试两次重新声明相同的函数模板，从而导致错误。

另一方面，第二个实现可以工作，因为表达式类型名 std::enable_if<:is_integral t>::value>::type 在模板实例化期间计算并用作函数的返回类型。由于此表达式是模板函数签名的一部分，因此它允许 SFINAE 根据 T 的值区分不同的模板专业化。

以上是SFINAE 应用于返回类型与模板参数时有何不同？的详细内容。更多信息请关注PHP中文网其他相关文章！