c++传递给 const 引用的右值

Question

我试图了解有关引用和右值的确切 C++（C++0x 之前）行为。以下内容有效吗？

void someFunc ( const MyType & val ) { 
    //do a lot of stuff
    doSthWithValue ( val);
} 

MyType creatorFunc ( ) { 
    return MyType ( "some initialization value" ); 
} 

int main () { 
    someFunc ( creatorFunc() ); 
    return 0; 
}

我在尝试修改的库中发现了类似的代码。我发现代码在 Visual Studio 2005 下崩溃。
我对上述内容的理解是，发生的事情是：
CreatorFunc 按值返回，因此创建了一个临时 MyType 对象 obj1。 （并保留......在堆栈上？） someFunc 正在引用该临时对象，并且随着计算的进行，临时对象将被覆盖/释放。
现在，令人难以置信的是代码大多数情况下都运行良好。更重要的是，用一段简单的代码我无法重现崩溃。
这里正在发生/应该发生什么？引用 (val) 是否为 const 有关系吗？从creatorFunc返回的对象的生命周期是多少？

Answer 1

返回值具有临时值的生命周期。在 C++ 中，这意味着创建类型的完整表达式，因此在调用 someFunc 返回之前不应调用 MyType 的析构函数。

我对你的“被覆盖/释放”很好奇。当然对这个对象调用delete是不行的；它存在于堆栈中，删除它可能会导致堆损坏。此外，覆盖/修改它也可能很糟糕。您的示例使用常量“C string”；在许多编译器上，像这样的值存储在只读内存中，因此稍后尝试修改它可能会导致崩溃/访问冲突。 （不过，我不确定 Visual C++ 是否执行此优化）。

通过 const 传递临时值与通过可变引用传递临时值之间存在很大差异。标准 C++ 不允许创建对临时对象的可变引用，并且大多数编译器（包括 GCC）都会拒绝它，但至少某些版本的 Visual C++ 允许这样做。

如果您使用可变引用传递它，您想要编写的是：

   MyType t = creatorFunc();
   someFunc(t);

Answer 2

由 creatorFunc() 创建的临时变量的生命周期是到 someFunc 调用结束为止。实际上，下一个序列点（宽松地，分号）。

someFunc 正在引用该临时对象，并且随着计算的进行，临时对象将被覆盖/释放”

听起来好像 someFunc 正在做“坏事”。您不应该覆盖或释放以下对象：由const&传递。

Answer 3

通常，临时对象（例如函数调用返回的对象）的生命周期可以延伸到“封闭表达式”的末尾。然而，临时绑定到引用的生命周期通常会“提升”到引用的生命周期。

因此，传递给 someFunc() 的临时变量应该保持活动状态并可访问，直到 someFunc() 返回。但是，如果 someFunc() （或任何它可能调用的内容，例如 doSthWithValue()）隐藏了对 val 的指针或引用，例如在集合或其他对象中，为了稍后使用，临时对象将不再存在，并且您可能会在尝试使用它时崩溃。这可能就是为什么您看到引用临时对象的简单代码没有崩溃，而更复杂的代码会崩溃。

有关更多详细信息，请参阅以下项目：

从函数返回值（不是引用），绑定到调用函数中的 const 引用；它的生命周期如何扩展到调用函数的范围？
C++ 常量引用生命周期（容器适配器）

另请注意，该标准允许临时变量仅绑定到 const 引用，但正如 Jack Lloyd 提到的 MSVC 的某些版本（根据 http://msdn.microsoft.com/en-us/library/cfbk5ddc.aspx）允许您将它们绑定到非常量引用。然而，在快速测试中，我发现VS 2010的编译器仍然允许临时变量绑定到非常量引用。

Answer 4

您只能将临时引用绑定到 const 引用。

Answer 5

是的，引用是 const 很重要。您不能将临时引用绑定到非常量引用，因此代码将无法编译。

除此之外，您的代码定义良好并且将按预期工作。

Answer 6

我也遇到过同样的问题，当我在 SO 上发表评论时，因为之前提到过而受到了批评。我觉得其他人也有这个问题是正确的！

我还在使用VS 2005 (SP1)，也许有一些编译器优化错误？

来自 creatorFunc() 的结果似乎对于调用 someFunc (creatorFunc() ); 来说并没有保持活动状态，我发现要做的唯一一件事就是将其分成两行从而删除临时变量。