我开始使用经常使用模板功能的代码,但我发现这部分语言非常陌生,尽管我非常熟悉 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 的答案,但我无法从他们那里收集到足够的理解来回答我的问题。
最佳答案
在您的情况下,您可以放置任何您可以为模板提供默认值的类型,因此 int
是完全有效的。指针也是一种常见的替代方法(因此在您的情况下为 T*
)。
关于C++ std::enable_if - 第二个参数的功能,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52211922/