最小和完美的转发

最小算法通常如下所示:

template <typename T>
const T& min(const T& x, const T& y)
{
    return y < x ? y : x;
}

但是,这不允许构造表单 min(a, b) = 0 . 您可以通过额外的过载来实现这一点:

template <typename T>
T& min(T& x, T& y)
{
    return y < x ? y : x;
}

我要做的是通过完美的转发来统一这两个重载:

template <typename T>
T&& min(T&& x, T&& y)
{
    return y < x ? std::forward<T>(y) : std::forward<T>(x);
}

然而,G++4.5.0发出了一个警告 min(2, 4) 我返回一个临时的引用。我做错什么了吗?

好吧,我明白了。条件运算符有问题。在我的第一个解决方案中,如果我打电话 min(2, 4) 条件运算符看到一个xvalue,因此从转发的 x 生成临时对象。当然,以引用方式返回是很危险的!如果我转发整个表达式而不是 X 和 y 另外,编译器不再抱怨:

template <typename T>
T&& min(T&& x, T&& y)
{
    return std::forward<T>(y < x ? y : x);
}

好吧,我去掉了算术类型的引用:)

#include <type_traits>

template <typename T>
typename std::enable_if<std::is_arithmetic<T>::value, T>::type
min(T x, T y)
{
    return y < x ? y : x;
}

template <typename T>
typename std::enable_if<!std::is_arithmetic<T>::value, T&&>::type
min(T&& x, T&& y)
{
    return std::forward<T>(y < x ? y : x);
}