Question

我正在学习构造函数和析构函数，并学习了rule of three。

我现在正在播放tutorialspoint的一个小例子。我注意到该示例没有赋值运算符，但代码运行良好。例如，对于Line a(b)，当我更改a中的内容时，例如*（a.ptr），*（b.ptr）不会改变。

我还写了一个赋值运算符（注释），代码也可以。

现在我很困惑。在某些情况下，似乎只有复制构造函数就足够了。任何人都可以对此发表评论，以帮助我更好地了解调用复制构造函数所涉及的内存分配机制吗？

谢谢！

#include <iostream>

using namespace std;

class Line
{
   public:
      int getLength( void );
      Line( int len );             // simple constructor
      Line( const Line &obj);  // copy constructor
      ~Line();                     // destructor
      void doubleLength(void);
     Line &operator=(const Line &);

   private:
      int *ptr;
};

// Member functions definitions including constructor
Line::Line(int len)
{
    cout << "Normal constructor allocating ptr" << endl;
    // allocate memory for the pointer;
    ptr = new int; //simply allocates memory for one integer, and returns a pointer to it.
    *ptr = len;
}

Line::Line(const Line &obj)
{
    cout << "Copy constructor allocating ptr." << endl;
    ptr = new int;
   *ptr = *obj.ptr; // copy the value
}

//  // copy assignment operator, added by me
//  Line& Line::operator=(const Line& that)
//  {
//      if (this != &that)
//      {
//          delete ptr;
//          // This is a dangerous point in the flow of execution!
//          // We have temporarily invalidated the class invariants,
//          // and the next statement might throw an exception,
//          // leaving the object in an invalid state :(
//          this->ptr = new int;
//          this->ptr = that.ptr;

//      }
//      return *this;
//  }


Line::~Line(void)
{
    cout <<  "Freeing memory " << ptr << endl;
    delete ptr;
}
int Line::getLength( void )
{
    return *ptr;
}

void Line::doubleLength(void)
{
    *ptr = *ptr * 2;
}

void display(Line obj)
{
   cout << "Length of line : " << obj.getLength() <<endl;
}

// Main function for the program
int main( )
{
   Line line1(10);

//     Line line2 = line1; // This also calls copy constructor
   Line line2(line1);   // performed by copy assignment operator    
   line2.doubleLength();
   display(line1);
   display(line2);


   return 0;
}

我得到了输出：

Normal constructor allocating ptr
Copy constructor allocating ptr.
Copy constructor allocating ptr.
Length of line : 10
Freeing memory 0x836c028
Copy constructor allocating ptr.
Length of line : 20
Freeing memory 0x836c028
Freeing memory 0x836c018
Freeing memory 0x836c008

Answer 1

Line line2 = line1; //assignment operator but copy constructor will be called implicitly
Line line3(line1); //copy constructor will be called explicitly

从现有对象创建新对象时，将调用复制构造函数。此处line2和line3是从现有line1新创建的，因此即使您使用=也会调用复制构造函数。

Line line2; //default constructor is called
line2 = line1; //assignment operator is called

这里第一行用默认构造函数声明并初始化它，第二行是赋值。所以在这里调用赋值运算符。即当一个对象被分配给一个已经初始化的对象时，就会调用赋值运算符。

Answer 2

不需要赋值运算符，但可能需要。

如果您有课程Foo，

Foo a;     // calls normal constructor
Foo b(a);  // calls copy constructor explicitely
Foo c = b; // calls copy constructor (initialization)
b = a;     // calls assignment operator

当作为函数调用（value参数）的结果复制对象时，将调用复制构造函数。

Answer 3

以下情况可能会导致对复制构造函数的调用：

按值返回对象时
当一个对象以值作为参数传递给一个函数时
投掷对象时
捕获对象时
当对象放置在括号内的初始化列表

这些案例统称为复制初始化，相当于 Obj x = a;

但是，不能保证将调用复制构造函数   在这些情况下，因为C ++标准允许编译器   在某些情况下优化副本，一个例子是返回   价值优化（RVO）

术语返回值优化是指中的特殊子句   C ++标准如下：实现可能会忽略由return语句产生的复制操作，即使复制构造函数具有side effects

RVO特别值得注意的是，允许通过C ++标准更改结果程序的可观察行为

可以使用以下两种技术之一为对象分配值：

表达式中的显式赋值
初始化

表达式中的显式赋值 （调用简单副本，而不是复制构造函数！）

Object a;
Object b;
a = b;//translates as Object::operator=(const Object&)thus a.operator=(b)is called

初始化 （调用复制构造函数）

可以通过以下任何一种方式初始化对象。

a。通过声明

Object b = a; // translates as Object::Object(const Object&)

b。通过函数参数

type function(Object a);

c。通过函数返回值

Object a = function();

当有复制构造函数时，是否总是需要赋值运算符？

复制构造函数仅用于初始化，而不是适用于使用赋值运算符的赋值。

Answer 4

您的代码似乎可以正常运行，但有些情况可能会崩溃。看看你的dtor，它释放了ptr指向的内存。如果将对象分配给另一个对象，则默认赋值运算符将仅复制指针的值（浅拷贝），然后您有两个对象，每个对象都指向同一个内存块。这就是问题。不禁止这样做，但是在释放内存时需要注意等等。当您使用复制ctor获取深层复制时，您还需要使用赋值运算符来制作相同的深层复制。这就是为什么有一个规则三（所有对象的统一行为＆＃34;复制/分配＆＃34;场景）......

Answer 5

//     Line line2 = line1; // This also calls copy constructor

是的，因为单独存在=字符并不表示调用赋值运算符。正如cppreference.com所解释的那样：

命名变量的复制初始化中的等号=不是与赋值运算符有关。赋值运算符重载有对复制初始化没有影响。

然后代码中有以下行：

   Line line2(line1);   // performed by copy assignment operator

此评论错误。为什么要在这里调用复制赋值运算符？

复制构造函数和复制赋值运算符之间有一个重要的关系，那就是通常应该使用copy-and-swap idiom来实现另一个。

当有复制构造函数时，是否总是需要赋值运算符？

5 个答案: