Question

这个问题与Does this C++ static analysis rule make sense as is?有关，但有些不同。我现在已经实现了一个静态分析规则来查找函数返回其const引用参数作为引用的情况，例如

const X& f(const X& x) { return x; }

当临时绑定到x时，这可能是狡猾的，因为临时的生命周期将在f的返回值绑定到调用者中的引用之前结束。换句话说，这会有问题：

const X& r = f(X());

在运行规则时，我在标准库中找到min的实现，如下所示：

template<typename _Tp>
inline const _Tp&
min(const _Tp& __a, const _Tp& __b)
{
  // concept requirements
  __glibcxx_function_requires(_LessThanComparableConcept<_Tp>)
  //return __b < __a ? __b : __a;
  if (__b < __a)
    return __b;
  return __a;
}

这显然将其const引用参数作为引用返回，但函数为inline。这在临时寿命方面是否有所不同，或者这真的有点狡猾？该函数标有以下注释，因此它显然可以在临时值上调用：

*  This is the simple classic generic implementation.  It will work on
*  temporary expressions, since they are only evaluated once, unlike a
*  preprocessor macro.

Answer 1

函数是否内联完全没有区别任何临时的生命。绑定函数的返回值就像你的f（或std::min）到具有局部范围的const引用一样肯定的方式结束悬挂参考。但我没有看到哪里有任何真正的危险，因为这不是你会做的事情合理的代码，除非引用是长期存在的东西第一名，例如：

T const& obj = std::min( myMap['x'], myMap['y'] );

除了在这种特殊情况下，局部变量将是值，而不是引用。

使内联函数影响与其参数绑定的临时值的生命周期？

1 个答案: