C++ 函数模板默认的模板参数

函数的默认模板参数

你可以为模板参数定义默认值，它们被称作 default template arguments（默认模板参数）。

它们甚至可以指向前一个模板参数。

1. 可以直接使用 operator?:

#include <iostream>

// 引入这个玩意儿生成共同类型
#include <type_traits>

template<typename T1, typename T2,
         typename RT = std::decay_t<decltype(true ? T1() : T2())>>
RT max(T1 a, T2 b) {
    return b < a ? a : b;
}

int main() {
    using namespace std;
    // 这个 double 专门为了 RT 而指定的, T1 和 T2 都可以通过调用参数推导出来
    auto a = ::max(2, 3.2);
    auto b = ::max(5, 1.2);
    cout << "max(2, 3.2) = " << a << endl;
    cout << "max(5, 1.2) = " << b << endl;
    return 0;
}

这里要求我们能调用传入类型的默认构造函数。

2. 用 std::common_type<> 追踪返回的默认值

#include <iostream>

// 引入这个玩意儿生成共同类型
#include <type_traits>

template<typename T1, typename T2,
         typename RT = std::common_type_t<T1, T2>>
RT max(T1 a, T2 b) {
    return b < a ? a : b;
}

int main() {
    using namespace std;
    // 这个 double 专门为了 RT 而指定的, T1 和 T2 都可以通过调用参数推导出来
    auto a = ::max(2, 3.2);
    auto b = ::max(5, 1.2);
    cout << "max(2, 3.2) = " << a << endl;
    cout << "max(5, 1.2) = " << b << endl;
    return 0;
}

由于 std::common_type<> decays，所以这里的返回值不能是引用。

但是这两种方法还是避免不了要显式指定参数列表的情况。

这里可以用一个其主要作用的默认模板参数。

#include <iostream>

// 引入这个玩意儿生成共同类型
#include <type_traits>

template<typename RT = long, typename T1, typename T2>
RT max(T1 a, T2 b) {
    return b < a ? a : b;
}

int main() {
    using namespace std;
    // 这个 double 专门为了 RT 而指定的, T1 和 T2 都可以通过调用参数推导出来
    int a = ::max(2, 3.2);      // 返回 int 类型
    long b = ::max(5, 1.2);     // 返回 long 类型
    cout << "max(2, 3.2) = " << a << endl;
    cout << "max(5, 1.2) = " << b << endl;
    return 0;
}

这里我们还是需要依赖于之前模板参数的默认了类型，所以最简单的方法还是让编译器自动推导返回类型。

也就是用 auto。