为什么 C 模板中对 std::enable_if 进行看似无意义的赋值？

了解 std::enable_if 的内部工作原理

在最近的一个问题中，讨论了 std::enable_if 作为条件返回类型的用法。虽然第一个用法很清楚，但第二个用法（其中包括对 std::enable_if 的看似毫无意义的赋值）仍然令人费解。

解锁概念

解开谜团，我们必须深入研究一下 std::enable_if 的定义：

template<bool Cond, class T = void> struct enable_if {};
template<class T> struct enable_if<true, T> { typedef T type; };

关键在于 typedef T 类型只有在 bool Cond 为 true 时才定义。

应用于示例

有了这个理解，我们再回顾一下代码：

template<typename T>
typename std::enable_if<std::numeric_limits<T>::is_integer, void>::type foo(const T &bar) { isInt(bar); }

这里，std::enable_if 用于定义 foo 函数的返回类型。如果 T 是整数，则返回类型将为 void；否则，该函数将无法编译。

默认值的作用

在第二个示例中：

template<typename T, typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void foo(const T& bar) { isInt(); }

= 0 默认参数确保这两个选项都可以使用 foo(1); 调用。如果没有默认，调用 foo 将需要两个模板参数，而不仅仅是 int。

不断加深理解

在 C 14 中，引入了 std::enable_if_t 类型，它应该用来代替 typedef 形式。这会产生更简洁的返回类型：

std::enable_if_t<std::numeric_limits<T>::is_integer>

以上是为什么 C 模板中对 std::enable_if 进行看似无意义的赋值？的详细内容。更多信息请关注PHP中文网其他相关文章！