为什么这两个代码段具有相同的效果？

Question

template <typename T1, typename T2>
auto max (T1 a, T2 b) -> decltype(b<a?a:b);

template <typename T1, typename T2>
auto max (T1 a, T2 b) -> decltype(true?a:b);

我不明白为什么这两个代码段可以具有相同的效果。请给我一些提示和基本解释。

欢呼声。

Answer 1

因为三元运算符返回的类型是根据第二个和第三个参数的类型而不是第一个参数的值决定的。

Answer 2

条件表达式的类型不取决于条件是否为真。

Answer 3

确定条件表达式类型的规则在here中进行了描述。

正如其他人已经说过的那样，关键是要意识到这种表达方式>>

E1 ? E2 : E3