std::enable_if
是 C++11 中引入的一个模板编程特性,它用于在模板定义中启用或禁用特定的模板实例化。通过使用std::enable_if
,开发者可以基于编译时条件来控制模板函数、模板类或者模板成员函数的实例化。
std::enable_if
通常与 SFINAE(Substitution Failure Is Not An Error)原则一起使用,来实现在函数重载中基于类型特征的函数名称修饰(name mangling)。
std::enable_if
看不明白的话,直接看下面的例子,为了消除std命名空间对于初学者视觉上的影响,使用了using namespace std;
#include <iostream>
#include <type_traits>
using namespace std;
//以下两个print函数实际上是一个意思,选择一个函数和主函数运行即可
template <typename T>
typename enable_if<is_integral<T>::value, int>::type
print(T t) {
cout << t << endl;
return 0;
}
template <typename T,typename = typename enable_if<is_integral<T>::value>::type>
int print(T t) {
std::cout << t << endl;
return 0;
}
int main() {
int a = print(42);
print(3.14); // 错误,double 不是整数类型
return 0;
}
看到这里其实应能明白了大概了,print
函数模板利用 std::is_integral
类型特性检查来决定是否实例化。如果 T
是一个整数类型,那么 std::is_integral<T>::value
为 true
,print
函数会被正常实例化。如果不是整数类型,编译器将无法为 print
函数模板生成实例,因此尝试传递非整数类型的参数会导致编译错误。
这种类型检查有以下几种:
基本类型检查:
std::is_integral<T>
: 检查T
是否是整数类型(包括bool
,char
,short
,int
,long
,long long
等及其有符号和无符号版本)。std::is_floating_point<T>
: 检查T
是否是浮点类型(float
,double
,long double
)。std::is_array<T>
: 检查T
是否是数组类型。std::is_pointer<T>
: 检查T
是否是指针类型。std::is_enum<T>
: 检查T
是否是枚举类型。std::is_union<T>
: 检查T
是否是联合体类型。复合类型检查:
std::is_function<T>
: 检查T
是否是函数类型。std::is_class<T>
: 检查T
是否是类(包括struct
,class
,union
)类型。std::is结构性<T>
: 检查T
是否是结构体类型。容器类型检查:
std::is_same<T, U>
: 检查T
和U
是否是相同的类型。std::is_base_of<T, U>
: 检查T
是否是U
的基类。std::is_convertible<T, U>
: 检查T
是否可以被隐式转换为U
。特定类型修饰:
std::is_pointer_to_member<T>
: 检查T
是否是成员指针类型。std::is reference_to_member<T>
: 检查T
是否是成员引用类型。类型属性:
std::is_const<T>
: 检查T
是否是const
类型。std::is_volatile<T>
: 检查T
是否是volatile
类型。std::is_lvalue_reference<T>
: 检查T
是否是左值引用。std::is_rvalue_reference<T>
: 检查T
是否是右值引用。兼容性检查:
std::is_nothrow_convertible<T, U>
: 检查T
是否可以安全地转换为U
而不会抛出异常。
基础的enable::if{}的用法说完了,下面是SFINAE(Substitution Failure Is Not An Error)原则
SFINAE
SFINAE(Substitution Failure Is Not An Error)是C++模板编程中的一个重要原则,它涉及到模板函数名称修饰(name mangling)的过程以及如何选择重载函数。SFINAE原则允许编译器在模板函数名称修饰失败时,不是产生一个错误,而是尝试另一个重载函数。
简单来说,当编译器尝试将模板参数替换为具体类型,但发现替换后的代码不合法或者无意义时,编译器不会立即报错。相反,它会继续寻找其他可能的函数重载,如果找到一个合适的非模板函数或者其他模板函数,它将选择那个函数而不是产生错误。
SFINAE原则通常用于以下几种情况:
函数重载:当存在多个模板和非模板函数重载时,编译器会根据参数类型和参数数量来选择合适的函数。如果模板函数的实例化失败,编译器会尝试其他重载。
模板特化:当存在模板函数的特化版本时,如果特化版本的实例化失败,编译器会考虑其他模板函数或非模板函数重载。
模板参数推导:当编译器无法从函数参数推导模板参数时,它可能会尝试其他重载函数,而不是产生错误。
有兴趣的话可以看看官方文档的讨论,以下这个例子比较简单:
#include <iostream>
struct B { typedef int type; };
template<class T>
typename T::type h(typename B::type) {
std::cout << "h special\n";
return 0; //这里需要一个返回值
}
template<class T>
void h(T t) { std::cout << "h common\n"; }
int main() {
h<B>(10);
h<int>(10);
return 0;
}
第二个例子涉及左右值的使用
template <typename T>
void print(T t) {
std::cout << "print generic: " << t << std::endl;
}
template <typename T>
void print(const T& t) {
std::cout << "print lvalue: " << t << std::endl;
}
template <typename T>
void print(T&& t) {
std::cout << "print rvalue: " << t << std::endl;
}
int main() {
int a = 42;
const int b = 42;
print(a);
print(b);
print(42);
print(std::move(a));
}
concepts
concepts
是 C++20 中引入的一项特性,它提供了一种更加直观和易于理解的方式来要求模板参数必须满足特定条件。在概念之前,类型特性(如std::is_integral
)和 SFINAE(Substitution Failure Is Not An Error)是主要的工具,但它们的使用通常较为复杂,不易于阅读和维护。concepts
的设计目的之一就是简化模板编程,并使得模板的要求更加明确。概念可以看作是类型的要求或约束,它允许开发者定义一组规则,模板参数必须符合这些规则才能使用该模板。如果参数不满足这些规则,编译器会报错,而不是像 SFINAE 那样默默地忽略不合适的模板。
下面是一个简单的 concept
示例:
#include <concepts>
template <typename T>
concept Integral = std::is_integral<T>::value;
template <Integral T>
void process(T value) {
std::cout << "Processing integral value: " << value << std::endl;
}
int main() {
int x = 42;
process(x); // 正常,int 是整数类型
// process(3.14); // 错误,编译器会报错,因为 double 不是整数类型
}
concepts的引入极大地提升了 C++ 的模板编程能力,使得编写和使用模板更加容易,同时增加了代码的可读性和健壮性。由于concepts的引入,一些传统的 SFINAE 技巧变得不必要,因为concepts提供了更直接的解决方案。