如何在編譯時確定這種返回類型？

Question

可能重複：
Why is this 「min」 template of cpp-next at fault?

從另一個問題，我得到這個函數模板：

template <class T, class U> 
auto min(T x, U y) -> decltype(x < y ? x : y) { 
    return x < y ? x : y; 
} 

它編譯並似乎很好地工作，但我不確定爲什麼有用。如何在編譯時推導返回類型？ —我認爲它可以是T或U，具體取決於哪個參數較小，並且只能在運行時確定。

Answer 1

無論a是否爲真值，a ? b : c形式的表達式總是返回相同的類型。如果b和c屬於不同類型，則會發生類型提升，就像3 + 4.2的計算結果爲7.2（通過double(3) + 4.2）一樣。