Question

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

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

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

我觉得这里的东西是非常错误的，除了创造/破坏不必要的临时物品，但我不确切知道是什么。

是临时对象const吗？是的，这段代码如何编译（VS2010），因为operator +=会改变对象？你能解释一下这里有什么问题吗？

Answer 1

临时对象不是const;他们是左撇子。这意味着它们可以绑定到const引用（C ++ 03）或（const或非const）右值引用（C ++ 11）。

此外，您可以在temporaries上调用非const成员函数，包括成员运算符;这可能是在这种情况下发生的事情。调用非const成员运算符是危险的，因为它可能导致泄漏的悬空引用，但在这种情况下你没关系，因为表达式之外没有引用。

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

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

免费string通过移动构造函数重用operator+临时内容;临时工作者处于移居状态。

Answer 2

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

可以闯入

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

括号定义两个+ =操作的优先级。它没有定义范围，因此执行此语句时不会以任何方式销毁temp1。

另一方面，C ++ Standard保证两个字符串文字都具有程序的生命周期。

因此，此代码示例中存在最少量的临时对象。

可以使用任意数量的文字

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

Answer 3

为了使生命点更清晰，标准说（12.2）：

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

和（1.9）：

full-expression是一个表达式，它不是另一个表达式的子表达式。

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