如何从我的专用 std::max 返回临时值？

Question

你好！ 我想将 std::max 专门用于特定于平台的分数类型。

我想要使​​用的特定于系统的 max 的原型如下所示：

fract builtin_max(fract a, fract b);

我对专门的 std::max 的想法如下所示：

template <> inline
const fract& std::max<fract>(const fract& a, const fract& b) {
    return builtin_max(a, b);
}

然而，编译器会抱怨返回对本地临时对象的引用。有什么办法可以解决这个问题吗？

Answer 1

您可以按值返回结果。那么RVO很可能会发生。最终你会得到你想要的行为。

我会将 builtin_max 声明更改为

fract builtin_max(const fract& a, const fract& b);

它将帮助编译器识别 RVO 的可能性。

最后你的 max 看起来像：

template <> 
fract std::max<fract>(const fract& a, const fract& b) {
    return builtin_max(a, b);
}

Answer 2

如果您可以修改builtin_max，那么要采取的方法是更改​​签名，以便它需要两个常量引用并返回一个常量引用（除非类型足够小以至于按值传递有意义） ，以及它的非常量版本的重载。然后，您可以通过简单的方法调整签名：只需转接呼叫即可。

fract const & builtin_max( fract const & lhs, fract const & rhs );
fract & builtin_max( fract & lhs, fract & rhs );

template <>
fract const & std::max( fract const & lhs, fract const & rhs ) {
   return builtin_max( lhs, rhs );
}
template <>
fract & std::max( fract & lhs, fract & rhs ) {
   return builtin_max( lhs, rhs );
}

您可以做的另一件简单的事情是不要重载 std::max ，而是在命名空间中生成您自己的 max 函数。所有采用 fract 值的 max 的不合格使用都会在尝试使用 std::maxmax 函数代码>默认模板。话又说回来，这对于对 std::max 的完全限定调用不起作用：

namespace x {
   class fract;
   fract max( fract lhs, fract rhs ) { return builtin_max( lhs, rhs ); }
}
// force a link time error if fully qualified std::max is used (undefined)
// instead of silently getting std::max to use < (if it is defined)
// if there is no operator<( fract const &, fract const & ), leave this out
// to get an earlier compile time error
template <> fract const & std::max( fract const &, fract const & );
template <> fract & std::max( fract &, fract & );

int main() {
   using namespace std;
   fract a,b;
   max( a, b );          // x::max
   // std::max( a, b )   // ouch, link time error
}

Answer 3

我的解决方案是这样做：

fract std::max(fract a, fract b) {
    return builtin_max(a, b);
}

超级简单，并且就像我想要的那样工作:)