通过引用传递和返回参数时的整体提升？

Question

我正在阅读一些有关重载解析的内容，发现了一些让我困扰的内容...在以下代码中：

int const& MaxValue(int const& a, int const& b)
{
    return a > b ? a : b;
}

void SomeFunction()
{
    short aShort1 = 3;
    short aShort2 = 1;
    int const & r2 = MaxValue(aShort1, aShort2); // integral promotion
    //is it safe to pass r2 around before function SomeFunction completes
    // CallSomeOtherFunctionThatCallsSomethingElse(r2);

}

我的理解是创建了两个临时 int，并将它们分配在属于 SomeFunction 的堆栈上。 因此，当 MaxValue 返回时，r2 引用这些临时变量之一（在本例中为保存值 3 的变量）。 因此，传递 r2 应该是安全的。

问题是，如果我的理解没问题，这是标准行为吗（请验证）？如果没有，请解释上面代码中发生了什么。

非常感谢

Answer 1

欢迎了解为什么隐式转换很糟糕。您现在拥有对已被销毁的临时对象的引用。希望你不想用它做任何事。

Answer 2

是的，您的理解很好，这是标准行为。

除了这个：

因此，传递 r2 应该是安全的。

我不明白。

// 编辑

您应该在此处使用指针而不是引用来实现相同的目标，但不会出现问题。仅在函数内使用通过 const 引用传递的参数地址才可以，因为它可能指向对象的本地副本。

Answer 3

简短的回答：这是不安全的。

该标准保证临时变量可以绑定到常量引用，在这种情况下，临时变量的生命周期将扩展为绑定引用的生命周期。您的特定情况下的问题是实际绑定临时的引用是什么。

当您调用 MaxValue( s1, s2 ) 时，会创建两个 int 类型的临时变量，并将其绑定到 a 和 b 中的参数参数 a 和 b代码>最大值。这意味着这些临时对象的寿命延长到功能完成为止。现在，在函数的 return 语句中，您将对临时变量之一进行第二次引用，并且第二次引用不会延长生命周期。 r2 不会进一步延长对象的生命周期，并且您有一个悬空引用。

请注意，由于单独编译，编译器不可能从 MaxValue 外部知道返回的引用是对参数之一还是对非临时的完全不同的对象：

int const & OtherMaxValue( int const & a, int const & b ) {
   static int value = 0;
   value = (a > b? a : b);
   return value;
}

因此它不可能猜测是否需要延长任何或哪一个临时生命周期。

附带说明一下，对于小对象（例如所有整数类型），通过引用传递实际上可能比通过值传递更糟糕。此外，已经有一个 std::max 模板实际实现了此功能。

Answer 4

对于简单类型，您应该返回并按值传递。