3

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

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

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

除了不必要的临时对象的创建/销毁之外，我觉得这里有些地方很不对劲，但我不知道到底是什么。

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

4

3 回答 3

2 
(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");
于 2013-07-22T14:58:38.110 回答
2

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

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

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

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

string临时的内容由 freeoperator+通过移动构造函数重用；临时工处于搬离状态。

于 2013-07-22T14:55:29.280 回答
1

为了使寿命点更清楚，标准说（12.2）：

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

和（1.9）：

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

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

于 2013-07-22T15:12:01.260 回答