c++函数调用时拷贝构造函数和析构函数

问题描述

c++函数调用时拷贝构造函数和析构函数
先上代码

 class A{      public:          A(){cout<<""构造函数""<<endl;}          ~A(){cout<<""析构函数""<<endl;}          A(const A &a){cout<<""拷贝构造函数""<<endl;};          A& operator=(const A &a)          {                             cout<<""赋值操作符""<<endl;                             return *this;          }};A show(A a){          return a;}

main中这样写的话

  A a;  show(a);

执行一次构造函数,两次拷贝构造函数,两次析构函数。这我可以理解。但是如果这样写

   A a;  A b=show(a);

执行了两次拷贝构造函数,和一次析构函数。这我有点不能理解。show函数中,不是应该产生两个临时对象么,需要两个拷贝构造函数和两次析构,再加上对b=show(a);不是一共应该有三个拷贝构造函数,两个析构函数么。。。。

解决方案

因为编译器还有可能优化,你这里没有产生那么多临时对象,因为采用了RVO优化。

解决方案二:
operator=不是构造函数!!!

解决方案三:
看错了。show内部只有一个临时对象又返回了一个对象。其实两次执行的结果是一样的。

解决方案四:
楼主可以参考认识一下:
RVO--Return Value Optimization
概述
返回值优化(Return Value Optimization,简称RVO)是一种编译器优化机制:

当函数需要返回一个对象的时候,如果自己创建一个临时对象用户返回,那么这个临时对象会消耗一个构造函数(Constructor)的调用、一个复制构造函数的调用(Copy Constructor)以及一个析构函数(Destructor)的调用的代价。而如果稍微做一点优化,就可以将成本降低到一个构造函数的代价这样就省去了一次拷贝构造函数的调用和一次析构函数的调用。

编译使用原则
在使用GNU/g++编译器时可以使用""-fno-elide-constructors""选项来强制g++总是调用copy构造函数,即使在用临时对象初始化另一个同类型对象的时候。

但是在使用VS架构的编译器的时候 貌似编译器默认直接使用RVO的 并没有找到什么选项来关闭返回值优化。。。

例子
我们都知道三种拷贝构造函数调用的时机

①最明显的就是用一个类对象初始化另外一个对象的时候
②函数的参数是类对象,这个是函数按值传参数的时候,包括指针在内都是对原有的值的拷贝.
③函数返回一个类对象,这是一个对象以值传递的方式从函数返回.

但是这些都只是语义上的分析 现在的编译器的编译策略 很多情况下会把这些临时对象的创建都隐藏掉...

编译器无法进行RVO的几种情况
RVO是一个很有帮助的编译优化策略 但是它的优化实现是依赖于编译器的,也就是说编译器只能对指定的符合其规则的代码, 进行RVO优化对于不符合要求的却无能为力了,

下面我们总结一下有哪些情况会阻止编译器进行这种优化。

① 函数使用exeception 为了保证异常的正确捕获 编译器不会进行RVO

② 不对命名的函数对象(Different Named Objects) 这个情况是说,函数有可能有多个分支,最终导致有多个不同位置的return语句。对于此项优化,要求所有return返回的对象的名字都是一致的。如写成下面的情况,就不行:

③ 嵌入的汇编代码中引用了返回对象。

时间: 2024-11-01 03:58:09

c++函数调用时拷贝构造函数和析构函数的相关文章

浅析拷贝构造函数

这篇文章,主要是受Jinhao (辣子鸡丁·GAME就这样OVER了 )在CSDN上一篇题为<有关拷贝构造函数的说法不正确的是>的帖子启发,鸡丁就这四个问题回答如下.    拷贝构造函数的名字和类名是一样的 [错]    类中只有一个拷贝构造函数 [错]    拷贝构造函数可以有多个参数 [对]          拷贝构造函数无任何函数类型 [错] 在这里我不想讨论以上问题的正确与错误,只是讨论一下构造函数,拷贝构造函数,可能还会涉及到赋值函数,析构函数,这些都属于类中的特殊函数.至于以上问题

c++中拷贝构造函数的参数类型必须是引用

如果拷贝构造函数中的参数不是一个引用,即形如CClass(const CClass c_class),那么就相当于采用了传值的方式(pass-by-value),而传值的方式会调用该类的拷贝构造函数,从而造成无穷递归地调用拷贝构 造函数.因此拷贝构造函数的参数必须是一个引用   在C++中, 构造函数,拷贝构造函数,析构函数和赋值函数(赋值运算符重载)是最基本不过的需要掌握的知识. 但是如果我问你"拷贝构造函数的参数为什么必须使用引用类型?"这个问题, 你会怎么回答? 或许你会回答为了

c++中拷贝构造函数的参数类型必须是引用_C 语言

在C++中, 构造函数,拷贝构造函数,析构函数和赋值函数(赋值运算符重载)是最基本不过的需要掌握的知识. 但是如果我问你"拷贝构造函数的参数为什么必须使用引用类型?"这个问题, 你会怎么回答? 或许你会回答为了减少一次内存拷贝? 很惭愧的是,我的第一感觉也是这么回答.不过还好,我思索一下以后,发现这个答案是不对的. 原因:如果拷贝构造函数中的参数不是一个引用,即形如CClass(const CClass c_class),那么就相当于采用了传值的方式(pass-by-value),而传

【C/C++学院】(6)构造函数/析构函数/拷贝构造函数/深copy浅copy

1.构造函数     类的初始化即为构造函数.也为:隐式的初始化. 构造函数在对象初始化的时候,自动被调用.隐式的调用. 构造函数分为三种:有参构造函数.无参构造函数.拷贝构造函数. 有参构造函数调用有三种:括号法.等号法.手工法. #include <iostream> using namespace std; class Test { private: int m_a; public: Test()//无参构造函数 { } Test(const Test &obj)//拷贝构造函数

拷贝构造,深度拷贝,关于delete和default相关的操作,explicit,类赋初值,构造函数和析构函数,成员函数和内联函数,关于内存存储,默认参数,静态函数和普通函数,const函数,友元

 1.拷贝构造 //拷贝构造的规则,有两种方式实现初始化. //1.一个是通过在后面:a(x),b(y)的方式实现初始化. //2.第二种初始化的方式是直接在构造方法里面实现初始化. 案例如下: #include<iostream> //如果声明已经定义,边不会生成 class classA { private: int a; int b; public: //拷贝构造的规则,有两种方式实现初始化 //1.一个是通过在后面:a(x),b(y)的方式实现初始化 //2.第二种初始化的方式是直

C++文件头,命名空间,new和delete,内联函数,引用,函数重载,构造函数和析构函数,深拷贝和浅拷贝,explict,this指针

   目  录 1       开始学习C++.............................................................................................................. 4 1.1       C++的头文件...............................................................................................

高质量C++/C编程指南-第9章-类的构造函数、析构函数与赋值函数(4)

类String的赋值函数比构造函数复杂得多,分四步实现: (1)第一步,检查自赋值.你可能会认为多此一举,难道有人会愚蠢到写出 a = a 这样的自赋值语句!的确不会.但是间接的自赋值仍有可能出现,例如 // 内容自赋值 b = a; - c = b; - a = c; // 地址自赋值 b = &a; - a = *b; 也许有人会说:"即使出现自赋值,我也可以不理睬,大不了化点时间让对象复制自己而已,反正不会出错!" 他真的说错了.看看第二步的delete,自杀后还能复制自

C++学习摘要之二:构造函数和析构函数

构造函数和析构函数是类的两个特殊的成员函数 1.构造函数 构造函数(constructor)是类的一个特殊的成员函数,它与类名同名.当定义该类的对象时,构造函数将被系统自动调用用以实现对该对象的初始化. 构造函数不能有返回值,因而不能指定包括void在内的任何返回值类型. 构造函数的定义与其他成员函数的定义一样可以放在类内或类外. 构造函数的定义格式为: 类名(形参说明) {函数体} 构造函数既可以定义成有参函数,也可以定义成无参函数,要根据问题的需要来定. 注意:程序中不能直接调用构造函数,构

c++怎样让返回对象的函数不调用拷贝构造函数

  我们知道拷贝构造函数有两种"默默"的方式被调用 1. 想函数传入 值参数 2. 函数返回 值类型 今天我们讨论函数返回值类型的情况. 得到结论是 1. 当对象有拷贝构造函数(系统为我们生成.或者我们自己写拷贝构造函数)可以被隐式调用时,函数返回时会使用拷贝构造函数. 2. 当对象的拷贝构造函数声明成为explicit(不能被隐式调用时),函数返回时会使用move构造函数. 先看开始的代码. #include <iostream> #include <memory&