std::enable_if 的使用

创想未来CTF

已于 2023-12-03 16:03:15 修改

阅读量55

点赞数

文章标签： C++

于 2023-12-03 15:58:39 首次发布

本文链接：https://blog.csdn.net/u013411873/article/details/134765549

版权

1.前置知识

1.1 C++函数形参名省略

c++函数形参名省略问题_c省略参数_超人不会飞）的博客-CSDN博客

1.2 C++非类型模板参数形参名也可以省略

下面四个模板都是正确的

template <typename T,int I>
void func1(T t) {}

template <typename T,int I=0>
void func2(T t) {}

template <typename T,int>
void func3(T t) {}

template <typename T,int=0>
void func4(T t) {}

func1<int,1>(1);
func2(2);
func3<int,3>(3);
func4(4);

2.参考文档

2.1

C++ 元模版编程 typename关键字的多种用法全解析的3.3节

2.2

C++ Template 进阶指南的 4.2. 后悔药：SFINAE

3.例子

template <typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
process(T t) {
    std::cout << t << " is an integral number.1" << std::endl;
    return t;
}
template <typename Integer,
              std::enable_if_t<std::is_integral_v<Integer>, Integer> Int = 0//Int可省略
    >
void process2(Integer t) {
    std::cout << t << " is an integral number.2" << std::endl;
}
void process3(int t,long=4) {//没有形参名
    std::cout << t << " is an integral number.2" << std::endl;
}