C++的std::enable_if

一、介绍

enable_if 的主要作用就是当某个 condition 成立时，enable_if可以提供某种类型。

源码

// STRUCT TEMPLATE enable_if
template    //泛化版本
struct enable_if {}; // no member "type" when !_Testtemplate  //偏特化版本:怎么理解：只有这个偏特化版本存在，才存在一个名字叫做type的类型别名（类型）
struct enable_if { // type is _Ty for _Testusing type = _Ty;
};

二、实例

2.1类型偏特化

在使用模板编程时，经常会用到根据模板参数的某些特性进行不同类型的选择，或者在编译时校验模板参数的某些特性。例如

template 
struct check;template 
struct check::type> {static constexpr bool value = T::value;
}; 

上述的 check 只希望选择 value==true 的 T，否则就报编译时错误。如果想给用户更友好的提示，可以提供结构体的原型定义，并在其中进行 static_assert 的静态检查，给出更明确的字符串说明

2.2校验函数模板参数类型

有时定义的模板函数，只希望特定的类型可以调用，参考 cppreference 官网示例，很好的说明了如何限制只有整型可以调用的函数定义：

// enable_if example: two ways of using enable_if
#include 
#include // 1. the return type (bool) is only valid if T is an integral type:
template 
typename std::enable_if::value,bool>::typeis_odd (T i) {return bool(i%2);}// 2. the second template argument is only valid if T is an integral type:
template < class T,class = typename std::enable_if::value>::type>
bool is_even (T i) {return !bool(i%2);}int main() {short int i = 1;    // code does not compile if type of i is not integralstd::cout << std::boolalpha;std::cout << "i is odd: " << is_odd(i) << std::endl;std::cout << "i is even: " << is_even(i) << std::endl;return 0;
}

 打印

参考：

std::enable_if - cppreference.com

std::enable_if 的几种用法_jeffasd的博客-CSDN博客_std::enable_if

C++ std::enable_if解析_xiongping_的博客-CSDN博客

本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！