l108103t
Cirfe
2015-05-24 06:37
采纳率: 35.1%
浏览 1.9k

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);不是一共应该有三个拷贝构造函数,两个析构函数么。。。。

  • 点赞
  • 写回答
  • 关注问题
  • 收藏
  • 邀请回答

4条回答 默认 最新

  • oyljerry
    oyljerry 2015-05-24 07:02
    已采纳

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

    点赞 评论
  • Isaactl
    isaactl 2015-05-24 07:00

    operator=不是构造函数!!!

    点赞 评论
  • Isaactl
    isaactl 2015-05-24 07:16

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

    点赞 评论
  • alwaysalex
    alwaysalex 2015-05-24 09:07

    楼主可以参考认识一下:
    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返回的对象的名字都是一致的。如写成下面的情况,就不行:

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

    点赞 评论

相关推荐