template模板实现max任意不同类型的比较

问题描述

我们再使用C++自带的max比较时， 只能比较相同类型的数据：

cout << max(4.5, 6) << endl; // 这句话就会报错

故此我们可以使用模板来进行改写。
先上代码：

#include <iostream>
using namespace std;
namespace haizei {
    class Max{
    public:
        template<typename T, typename U>
        auto operator()(T const &a, U const &b) -> decltype((a > b) ? a : b) { 
        //deltype: 用来推倒返回值的类型,返回值后置 进行类型推导
		//auto 不能作为函数的返回值类型，但是返回值后置的情况下可以
            return a > b ? a : b;
        }
    };
}


int main() {
    haizei::Max  max; // 在这里我们再海贼命名空间里定义的max，重写的（）
    cout << max(4, 2) << endl;
    cout << max(1, 2.2) << endl;
    return 0;
}

结果输出：
4
2.2 和预期的结果一样。看到这里呢，如果你已经彻底明白了，那么下面就可以不再看了，如果想要了解更多呢，相信下面可以给你更多的收获的。

浅谈模板

接下来我们简单的了解一下模板。
二更，还没吃饭，饿啊-----------------------------------
我们用template 来声明一个可以代表任意类型的T，他的用法相当与int, 可以定义 int a, T a;
我们用一个模板T来实现任意类型的加法：

template <typename T> 
T add(T a, T b) {
	return a + b
}

但是这样有一个问题，就是，只能传入相同的类型，不同的类型会匹配不上而报错。
所以能，我们需要用两个不同的类型：template<typename T, typename U>

template<typename T, typename U>
T add(T a, U b) {
	return a + b
}

这样的话，就可以对两个不同类型的数据进行加法运算，这样的返回值是T，也就是和第一个参数a的类型是一样的，看到这里你可能就想到了这个问题所在了，没错，当我们使用add(3, 4.5)的时候，本来的值应该是7.5，但却返回一个整型值7,不符合我们正常的逻辑，所以要想办法了！之前我们用的是隐式推导，现在我们可以使用显示调用。即：

add<double>(2.3, 2); // 输出4.3

这样还是和我们想要用的不一样呀，所以呢C++里面有一个关键字：deltype: 用来推倒返回值的类型，我们可以使用他来自动推导:

template<typename T, typename U>
decltype(T() + U()) add(T const& a, U const& b) { // deltype: 用来推倒返回值的类型  要调用默认构造比较
    return a + b;
}

这里就可以实现大部分的类型的加法了，包括自己定义的class，在注释里面，或者仔细的你可能会发现我们利用了构造函数来推导他们的返回值类型，思路新颖，但是为什么会说是大部分呢，大家可以先思考一下。

好，bug就出现在构造函数里面，我们构造一个类:

class A {
public:
	A(int x){}
	int x;
};

如果调用A类的话，就会出现错误，因为A没有默认构造函数，是的，当有了我们自己写的构造函数后，默认构造函数就会消失！
最后的话有一个方法可以解决这个问题，就是返回值后置

template<typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
    return a + b;
}

所以我们实现一个max就可以用下面的：

template<typename T, typename U>
auto max(T a, U b) -> decltype(a + b) {
    return a < b ? b : a;
}

根据上面这几行代码，那现在我们实现一个min怎么实现呢？很简单对吧，但是我们要注意要写成

return a < b ? a : b;

因为这样a b 对象不必重载 >