自动推断模板返回值类型

在泛型编程中，常常会遇到一些问题，例如

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


int main(){

    int a = 4;
    double b = 10.5;

    auto c = add<decltype(a + b)>(a,b);

    cout<<c<<endl;

    return 0;
}

我们在这里直接用decltype去推导类型，但很多时候我们是不知道函数内部是怎么具体实现的，所以很难用这种办法。

 

因为不知道内部是怎么具体实现的，那么可以不可以用下面这种办法呢：

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

在逻辑上看来没有问题，但是却无法通过编译，提示‘a’ was not declared in this scope 、‘b’ was not declared in this scope。原因是c++的返回值是前置语法，在返回值定义的时候，a 和 b 都还不存在。

 

既然是这样的话，那么我们可以稍稍改进下decltype中的表达式。

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

在改进后，发现可以通过编译，对于初始的10.5 + 4 是可以得到正确答案的，但是继续思考一下，如果U类型或者T类型中没有无参数的构造函数怎么办？这边可以利用一个技巧：对于NULL来说可以转成任意类型的指针。

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

这样就解决了对于没有无参数的类无法调用函数的问题。

虽然说以上的写法是可以通过编译，并且得到正确答案的，但是它还是有点复杂的。所以这边就有更简洁的写法：

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

通过auto 和 decltype结合起来，成功解决了返回值类型的推导。