下面的多參數 function 模板的返回類型應該是什么？

Question

以下 function 模板的返回類型應該是什么 -

#include<iostream>
using namespace std;

template <class T1, class T2>
returntype biggerNum(T1 num1 , T2 num2){
    if(num1>num2)
        return num1;
    return num2;
}

int main(){
    cout<<biggerNum(2,3.4);
    return 0;
}

Answer 1

由於這兩種類型都需要轉換為某種通用類型，因此您可以使用std::common_type來獲取T1和T2之間的通用類型，例如

template <class T1, class T2>
std::common_type_t<T1, T2> biggerNum(T1 num1 , T2 num2){
    if(num1>num2)
        return num1;
    return num2;
}

如果沒有這樣的類型，那么你會得到一個編譯器錯誤。

Answer 2

評論中提到的解決方案是強制參數只有一種類型：

template <class T>
T biggerNum(T num1, T num2){
    if(num1>num2)
        return num1;
    return num2;
}

這將強制在用戶端進行轉換，例如std::min和std::max ：

float a = 9;
int b = 8;
biggerNum(a, static_cast<float>(b));