临时物品类型和使用寿命

Temporary objects type and life time

本文关键字：类型      更新时间：2023-10-16

在我工作的项目中，我看到的代码与下一个代码非常相似：

std::string str = (std::string() += "some string") += "some other string";

由于明显的原因，我无法重现原始代码，但我可以说它使用了自定义的String和operator<<，其行为与operator+=对std::string的行为相同。

除了创建/销毁不必要的临时物品外，我觉得这里有些不对劲，但我不知道具体是什么。

临时对象是const吗？是的，由于operator +=变异了对象，这个代码是如何编译的（VS2010）？你能解释一下这里有什么问题吗？

临时对象不是const；它们是右值。这意味着它们可以绑定到常量引用（C++03）或（常量或非常量）右值引用（C++11）。

此外，您可以在临时表上调用非常数成员函数，包括成员运算符；这大概就是本案中发生的事情。调用非常数成员运算符是危险的，因为它可能会导致悬空引用的泄漏，但在这种情况下，您可以接受，因为在表达式之外没有持久的引用。

在C++11中，我们有右值引用，因此表达式可以更清晰、更安全地重写为：

std::string str = std::string() + "some string" + "some other string";

临时string的内容由空闲operator+通过移动构造函数重用；临时工处于迁出状态。

(std::string() += "some string") += "some other string";

可以分解成

temp1(std::string());
temp1 += "some string"
temp1 += "some other string";

括号定义了两个+=运算的优先级。它没有定义作用域，因此在执行此语句时，temp1不会以任何方式被破坏。

另一方面，C++标准保证两个字符串文字都有程序的生存期。

因此，在这个代码示例中只有少量的临时对象。

它可以用于任意数量的文字

 std:string str =  ((((((std::string() += "a") += "b") += "c") += "d") += "e") += "f");

为了使寿命点更清晰，标准规定（12.2）：

临时对象被销毁，这是评估完整表达式（1.9）的最后一步，该表达式（词法上）包含创建它们的点。

和（1.9）：

完整表达式是指不是另一个表达式的子表达式的表达式。

在这种情况下，（据我所知）这将是用(std::string() += "some string") += "some other string"调用std::string的move构造函数（从技术上讲，这是对=初始化所做的）。所以，简单地说，临时的生命周期在;结束，这意味着你在这里是安全的。

相关文章：