C++ std::enable_if - 第二个参数的功能

Question

我开始使用经常使用模板功能的代码，但我发现这部分语言非常陌生，尽管我非常熟悉 C++ 的许多其他功能。

我正在写一些测试代码如下:

#include <iostream>

template <class T,
          typename std::enable_if<std::is_integral<T>::value, T>::type* = nullptr>
void foo(T arg) {
  std::cout << "Integral template" << std::endl;
}

template <class T,
          typename std::enable_if<std::is_class<T>::value, T>::type* = nullptr>
void foo(T arg) {
  std::cout << "Class template" << std::endl;
}

class MyClass{
 public:
  MyClass() {}
};

int main() {
  foo(3);
  foo(MyClass());

  return 0;
}

给出输出

Integral template
Class template

此时我关心的是 std::enable_if 的第二个参数中的类型 T，因为我看不到它有任何作用。如果我只是用像 int 这样简单的东西替换它呢？

#include <iostream>

template <class T,
          typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void foo(T arg) {
  std::cout << "Integral template" << std::endl;
}

template <class T,
          typename std::enable_if<std::is_class<T>::value, int>::type = 0>
void foo(T arg) {
  std::cout << "Class template" << std::endl;
}

class MyClass{
 public:
  MyClass() {}
};

int main() {
  foo(3);
  foo(MyClass());

  return 0;
}

---

我确信它在一般情况下很重要，但在这种情况下输出是相同的。在表面之下，有什么不同？编译器究竟是如何读取和解释这种类型的声明的？

我查看了 this question 的答案，但我无法从他们那里收集到足够的理解来回答我的问题。

Answer 1

在您的情况下，您可以放置​​任何您可以为模板提供默认值的类型，因此 int 是完全有效的。指针也是一种常见的替代方法(因此在您的情况下为 T*)。