了解复制构造函数的工作

问题描述

要了解构造函数，复制构造函数，析构函数的工作原理，我编写了以下代码。

#include <iostream>
 using namespace std; 
 class Cat
{
 public:
  Cat();
  Cat(Cat&);
  ~Cat();
  int itsage;
};
 
 Cat::Cat()
{
 cout << "Constructor called\n";
 cout << this << endl;
 itsage=2;
}
 
 Cat::Cat(Cat& theCat)
{
 cout << "copy constructor called\n";
 cout << this << endl;
 itsage=theCat.itsage;
}

 Cat::~Cat()
{
 cout << "Destructor called\n";
 cout << this << endl;
}
 
 Cat myFunction(Cat Frisky)
{
 cout << "Inside myFunction\n";
 cout << "Frisky's address : " << &Frisky ; 
 cout << "\nFrisky's age: " << Frisky.itsage << "\n";
 Frisky.itsage=100;
 cout << "Reassigned Frisky's age: "<< Frisky.itsage << "\n";
 return Frisky;
}
 
 int main()
{
 Cat Mani;
 cout << "Mani's address : " << &Mani ;
 cout << "\nMani's age: " << Mani.itsage << "\n";
 myFunction(Mani);
 return 0;
}

@H_502_4@

我得到的输出如下：

Constructor called
0x61ff04
Mani's address : 0x61ff04
Mani's age: 2
copy constructor called
0x61ff0c
Inside myFunction
Frisky's address : 0x61ff0c
Frisky's age: 2
Reassigned Frisky's age: 100
copy constructor called
0x61ff08
Destructor called
0x61ff08
Destructor called
0x61ff0c
Destructor called
0x61ff04

@H_502_4@

一切正常，除了第二次调用复制构造函数时存储在地址0x61ff08@H_502_4@上的东西之外？意味着我们可以看到存储在地址0x61ff0c@H_502_4@和0x61ff04@H_502_4@上的内容，它们不过是Frisky@H_502_4@和Mani@H_502_4@。那么0x61ff08@H_502_4@上那看不见的东西是什么？

我想通过在main@H_502_4@函数中进行一些小的更改来使该对象可见。

#include <iostream>
 using namespace std; 
 class Cat
{
 public:
  Cat();
  Cat(Cat&);
  ~Cat();
  int itsage;
};
 
 Cat::Cat()
{
 cout << "Constructor called\n";
 cout << this << endl;
 itsage=2;
}
 
 Cat::Cat(Cat& theCat)
{
 cout << "copy constructor called\n";
 cout << this << endl;
 itsage=theCat.itsage;
}

 Cat::~Cat()
{
 cout << "Destructor called\n";
 cout << this << endl;
}
 
 Cat myFunction(Cat Frisky)
{
 cout << "Inside myFunction\n";
 cout << "Frisky's address : " << &Frisky ; 
 cout << "\nFrisky's age: " << Frisky.itsage << "\n";
 Frisky.itsage=100;
 cout << "Reassigned Frisky's age: "<< Frisky.itsage << "\n";
 return Frisky;
}
 
 int main()
{
 Cat Mani;
 cout << "Mani's address : " << &Mani ;
 cout << "\nMani's age: " << Mani.itsage << "\n";
 Cat Sweety = myFunction(Mani); 
 cout << "Sweety's age : " << Sweety.itsage ;
 return 0;
}

@H_502_4@

但是收到如下错误：

ppp.cpp: In function 'int main()':
ppp.cpp:47:25: error: invalid initialization of non-const reference of type 'Cat&' from an rvalue of type 'Cat'
  Cat Sweety = myFunction(Mani);
               ~~~~~~~~~~^~~~~~
ppp.cpp:19:2: note:   initializing argument 1 of 'Cat::Cat(Cat&)'
  Cat::Cat(Cat& theCat)
  ^~~

@H_502_4@

我真的没弄错。

解决方法

您的第一个代码从Frisky返回myFunction的副本，这是附加副本的来源。

您的第二个代码不起作用，因为您的副本构造函数错误地采用了非常量引用，并且您无法将myFunction返回的临时值传递给非常量引用。

与您的问题没有直接关系，但是您应该服从rule of three并实现赋值运算符。

,

Cat(Cat &);

在此处使用const。

Cat(const Cat &);

不相关，但考虑使用这种初始化方式。

Cat Sweety{myFunction(Mani)};