一、测试程序1
#include <iostream>
#include <type_traits>
using namespace std;
template <typename T>
typename std::enable_if<std::is_integral<T>::value, bool>::type
gt_zero (T i) {
cout << "is integral" << endl;
return i>0;
}
template <typename T>#注意下面这里有个!,也是两个函数唯一的区别
typename std::enable_if<!std::is_integral<T>::value, bool>::type
gt_zero (T i) {
cout << "is NOT integral" << endl;
return i>0;
}
int main() {
short int i = 2;
float f = 3.1;
std::cout << i << " greater than zero : " << gt_zero(i) << std::endl;
std::cout << f << " greater than zero : " << gt_zero(f) << std::endl;
return 0;
}
首先gt_zero是一个模板函数,typename std::enable_if<std::is_integral<T>::value,bool>::type是函数的返回值类型,std::enable_if<>一般是由两部分组成,第一个参数是一个判定式,当判定式为真时,std::enable_if<std::is_integral<T>::value,bool>::type的这个type数据成员存在,且值为bool,如果没有第二个参数,则默认值为void。如果判定式为假,type这个数据成员就是未定义的,更不存在值是什么。
但是编译器并不会因为type值不存在就报错,因为泛型编程中存在一个最优匹配原则,这个模板不成立,就去推断其他模板,所以gt_zero实际上同时是一个重载函数。
当第一个参数std::is_integral<T>::value为假时,非!std::is_integral<T>::value肯定为真,所以第二个模板函数符合要求,同样std::enable_if<std::is_integral<T>::value,bool>::type的值为true。
执行结果:
is integral
1 greater than zero : 1
is NOT integral
3.1 greater than zero : 1
根据上文分析可以得到两次调用gt_zero函数第一次调用是第一个版本,第二次调用是第二个版本。
二、测试程序2
#include <iostream>
#include <type_traits>
using namespace std;
template <typename T>
bool
gt_zero (T i, typename std::enable_if<std::is_integral<T>::value, T>::type j=0) {
cout << "is integral" << endl;
return i>0;
}
template <typename T>
bool #注意下面这里也有一个!
gt_zero (T i, typename std::enable_if<!std::is_integral<T>::value, T>::type j=0) {
cout << "is NOT integral" << endl;
return i>0;
}
int main() {
short int i = 2;
float f = 3.1;
std::cout << i << " greater than zero : " << gt_zero(i) << std::endl;
std::cout << f << " greater than zero : " << gt_zero(f) << std::endl;
return 0;
}
有了第一个程序的铺垫,第二个测试程序就简单许多了。首先gt_zero函数的返回值类型已经被指定为bool类型了,gt_zero函数的第二个参数typename std::enable_if<std::is_integral<T>::value, T>::type j=0表明定义了一个j变量,但是type同样是在std::is_integral<T>::value成立的条件下才会有定义,成立时type的值是T,定义j这个变量大多时候的作用只是限制函数接收数据类型的种类,重载模板函数使得模板函数可以根据不同的数据类型执行不同的函数。
执行结果:
is integral
2 greater than zero : 1
is NOT integral
3.1 greater than zero : 1
三、测试程序3
#include <iostream>
#include <type_traits>
using namespace std;
template <typename T, typename std::enable_if<std::is_integral<T>::value>::type* = nullptr>
bool
gt_zero (T i) {
cout << "is integral" << endl;
return i>0;
}
template <typename T, typename std::enable_if<!std::is_integral<T>::value>::type* = nullptr>
bool
gt_zero (T i) {
cout << "is NOT integral" << endl;
return i>0;
}
int main() {
short int i = 2;
float f = 3.1;
std::cout << i << " greater than zero : " << gt_zero(i) << std::endl;
std::cout << f << " greater than zero : " << gt_zero(f) << std::endl;
return 0;
}
执行结果:
is integral
2 greater than zero : 1
is NOT integral
3.1 greater than zero : 1
四、std::is_integral
函数原型:template< class T > struct is_integral;
功能:检查 T 是否为整数类型。若 T 为 bool 、 char 、 char8_t 、 char16_t 、 char32_t 、wchar_t 、 short 、 int 、 long 、
long long 类型,或任何实现定义的扩展整数类型,包含任何有符号、无符号及 cv 限定的变体。则提供等于 true 的成员常量 value 。
否则, value等于 false 。