c++ - 为什么这两个代码片段的效果是一样的呢？

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

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

您可以使用以下代码验证这一点

#include <type_traits>

int main ()
 {
   auto x = true ? 1 : 2l;

   static_assert( std::is_same<decltype(x), long>::value, "!" );
 }

true 不重要吗？ 1 : 2l 返回1；三元运算符返回 1 (int) 和 2l (long) 之间的通用类型。那是长。

换句话说:(目前)不存在 constexpr 三元运算符。