c++ - 基于运算符推导模板返回类型？ : result

Question

考虑这段代码:

template <typename T1, typename T2>
auto max(T1 t1, T2 t2) -> decltype(true?t1:t2)
{
  return t2 < t1 ? t1 : t2;
}

当使用 ::max(5, 7.2) 调用此函数时，我希望返回的类型为 int 作为 decltype(t1) 在这种情况下是 int。

为什么上面代码中使用operator?:推导的返回类型double在decltype里面？

如果我执行 ->decltype(t1)，我会得到预期的返回类型 int。

Answer 1

注意 conditional operator 的结果类型在编译时确定。它不会根据条件返回不同的类型，但会返回操作数的通用类型作为结果。

6.2) If both E2 and E3 have arithmetic or enumeration type: the usual arithmetic conversions are applied to bring them to common type, and that type is the result.

对于这种情况，即一个操作数是 int，另一个是 double，结果类型将为 double。

• Otherwise, if either operand is double, the other operand is converted to double

顺便说一句:您可以使用 std::common_type (C++11 起)获取通用类型。