复制构造函数、析构函数和临时构造函数

copy constructor,destructor and temporaries

提问人:Luca 提问时间:9/9/2015 更新时间:9/9/2015 访问量:327

问:

我编写了这个类来测试默认构造函数、复制构造函数、赋值运算符和析构函数的行为:

#include <iostream>

class Test {

  public:
    Test();

    Test(const Test&);

    ~Test();

    Test &operator=(const Test&);

  private:
    static int count;
    int label;

};

Test::Test() : label(count++) 
{
  std::cout<<"constructor of "<<label<<std::endl;
}

Test::Test(const Test &other) : label(count++)
{
  std::cout<<"copy-constructor of "<<label<<std::endl;
}

Test::~Test()
{
  std::cout<<"destructor of "<<label<<std::endl;
}

Test &Test::operator=(const Test &other)
{
  std::cout<<"copy assignment operator of "<<label<<std::endl;
}

int Test::count=0;

我在不同的上下文中使用了这个类,以深入了解每个函数的调用方式和时间: 我希望注释中的行为:

#include "Test.h"



// argument passed and returned by reference 
const Test &funct_by_ref(const Test &ref)
{
  return ref;
}

// argument passed and returned by value
// call copy constructor to initialize parameter
Test funct_by_val(Test val)
{
  // calls copy constructor to initialize temporary
  return val;
}  // exits local scope,val is destroyed,calls val destructor 



int main()
{
  // creates a temporary,calls 0 default constructor 
  Test();  // the temporary is destroyed at the end of the expression that created it
           // calls 0 destructor
  // creates a temporary (calls 1 default constructor) and calls 2 copy constructor 
  Test t2=Test(); // same as Test t2((Test()));
  std::cout<<"--------------------------------"<<std::endl;
  // calls 3 copy constructor
  Test t3=t2;
  // calls 4 default constructor
  Test t4;
  {
    // calls 5 copy constructor
    Test t5(t4);
  } // local scope,t5 is destroyed,calls 5 destructor
  // calls 4 assignment operator 
  t4=t2;
  std::cout<<"-------------------------------"<<std::endl;
  // nothing happens here
  funct_by_ref(t4);
  std::cout<<"-------------------------------"<<std::endl;
  // calls copy constructor twice 6,7
  funct_by_val(t4);
  // temporary is destroyed at the end of the expression,calls destructor
}

但我得到以下输出:

constructor of 0
destructor of 0
constructor of 1
------------------------
copy-constructor of 2
constructor of 3
copy-constructor of 4
destructor of 4
copy assignment operator of 3
--------------------------
---------------------------
copy-constructor of 5
copy-constructor of 6
destructor of 6
destructor of 5
destructor of 3
destructor of 2
destructor of 1

一切都很好,直到第一个-----------------它似乎跳过了一个对象的创建(我想到了初始化 t2 的临时用途,因为它没有在那行之后立即被销毁),所以计数少了一个。.

C++ 析构函数 复制构造函数赋 运算符 临时值

评论

0赞 Jarod42 9/9/2015
从 C++11 开始,您还必须添加才能看到移动构造函数。Test(Test&&);
0赞 Luca 9/9/2015
@Jarod42是的,但现在让我们保持简单......
0赞 Gombat 9/9/2015
更改变量名称的索引,开始用 1 计算变量,用 0 计算内部值,这就是“偏移量”为 1 的原因。
2赞 Jarod42 9/9/2015
你有 Copy ellision : 等价于Test t2=Test();Test t2;
2赞 Jarod42 9/9/2015
您可以尝试获得预期的结果。-fno-elide-constructors

答:

3赞 NathanOliver 9/9/2015 #1
Test t2=Test(); // same as Test t2((Test()));

在这里,编译器(并且可以)省略副本,并且将具有与执行相同的操作:

Test t2;
0赞 Peter 9/9/2015 #2

该标准有具体的规定,允许(但不要求)实现省略(即省略创建)临时对象,如果检测它们存在的唯一方法是通过跟踪构造函数和析构函数调用。

您看到的差异是因为您预期的行为是基于临时对象的创建和销毁,而编译器选择不创建这些临时对象。请注意,省略临时值的决策因实施情况而异(并且通常受优化设置的影响)。