c++ - 返回转发的引用

Question

我想构建一个最大值函数，将较大的值转发给结果，同时保持引用类型(右值或左值)。

#include <utility>

template<typename T>
constexpr T&& mmax(T&& left, T&& right) {
    return left > right ? std::forward<T>(left) : std::forward<T>(right);
}

int main() {
    mmax(1, 2);
}

但是，这给了我

max.cc: In instantiation of 'constexpr T&& mmax(T&&, T&&) [with T = int]':
max.cc:9:14:   required from here
max.cc:5:72: warning: returning reference to temporary [-Wreturn-local-addr]
     return left > right ? std::forward<T>(left) : std::forward<T>(right);

这是为什么呢？我正在使用带有 -std=c++11 的 GCC 4.8.2。

编辑:clang++ 不会发生这种情况。

Answer 1

由于 C++ 11 5.16/4 中有关条件运算符的规则，您的原始代码应该可以工作:

If the second and third operands are glvalues of the same value category and have the same type, the result is of that type and value category

两个表达式forward<T>(left)和 forward<T>(right)要么都是左值要么都是xvalues，所以它们总是glvalues，并且它们都是T类型, 所以规则适用，条件表达式的类型应该是相同的类型和值类别。

但是，作为潜在编译器错误的变通方法，您可以使用以下表达式，它避免弄清楚条件表达式的类型和值类别(这似乎是错误所在):

return std::forward<T>(left > right ? left : right);