0

使用复制和交换方法时，我对赋值运算符有疑问。

String & operator = (String s) // the pass-by-value parameter serves as a temporary
{
   s.swap (*this); // Non-throwing swap
   return *this;
}// Old resources released when destructor of s is called.

假设我们有一个很好的复制构造函数，它可以深度复制所有指针和动态分配的变量。

那么，上面的代码和下面的代码有什么区别呢？

String & operator = (String s) // the pass-by-value parameter serves as a temporary
{
   return s;
}

由于我们有一个很好的复制构造函数，我认为另一个对象 s 是在 operator= 函数中创建的。那么，使用非抛出交换功能有什么意义呢？

4

3 回答 3

3

主要区别在于第二个operator=根本不改变当前对象（即*this）。

String a, b;
b = a; // b is not changed at all

并注意第二个通过引用operator=返回s（退出函数时将被销毁），所以它只是一个悬空引用。

更一般地说，我们使用copy & swap 习惯用法来提供强大的异常安全保证，类似于 commit-or-rollback 语义；如果操作因异常而终止，程序状态将保持不变。

String & operator = (String s) // Copy construct s. If exception happens here, 
                               // s won't be constructed, 
                               // and the state of the current object (*this) won't be changed
{
   s.swap (*this);             // Use non-throwing swap to commit the change
   return *this;               // Non-throwing operation
}
于 2016-10-01T13:35:32.053 回答
0

不同之处在于，在您的第二个代码块中，您创建对象的副本s，String返回对它的引用，然后在范围退出时破坏副本，这会导致您的程序具有未定义的行为。

于 2016-10-01T13:28:49.640 回答
0

有几个主要区别：

赋值运算符应该返回*this（而且几乎总是这样）。这就是使链接分配成为可能的原因。

String s1, s2, s3;
s1 = s2 = s3; // Now all strings ave the same value.

相反，您返回对局部变量的引用。然后它变成了一个悬空引用，因为它没有指向一个有效的内存位置。

此外，赋值运算符必须更改分配的对象，这在您的代码中不会发生。

最后，为什么我们需要非抛出交换？假设您的赋值运算符抛出异常。分配失败后分配对象的状态是什么？

某些实现可能会导致对象处于无效状态，因为异常是在更改它的过程中引发的。

这就是交换的用武之地。由于交换永远不会抛出，我们可以确定分配的对象处于有效状态。如果在交换之前抛出异常，则该对象仍具有其旧值，如果是在交换之后，则该对象具有其新值。

于 2016-10-01T13:44:12.930 回答