如何在编译时确定这种返回类型？

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）一样。