函数，它以父函数为参数调用子对象:复制两次的原因是什么？
函数，它以父函数为参数调用子对象:复制两次的原因是什么？
提问于 2012-02-09 10:48:23
具有以下代码：
#include <iostream>
struct A
{
int x;
A(){}
~A(){std::cout <<"~A("<<x<<")\n";}
};
struct B: public A
{
};
void f(A a)
{
a.x = 2;
}
void main()
{
B b;
std::cout <<"----------\n";
b.x = 1;
f(b);
b.x = 3;
std::cout <<"----------\n";
}在这种情况下，输出如下：
----------
~A(2)
~A(1)
----------
~A(3)将相同的代码但虚拟函数添加到父类：
#include <iostream>
struct A
{
int x;
A(){}
~A(){std::cout <<"~A("<<x<<")\n";}
virtual void ff() {}
A(A& ca): x(ca.x){}
};
struct B: public A
{
};
void f(A a)
{
a.x = 2;
}
void main()
{
B b;
std::cout <<"----------\n";
b.x = 1;
f(b);
b.x = 3;
std::cout <<"----------\n";
}在本例中，我们有以下输出：
----------
~A(2)
----------
~A(3)编辑：
编译器是: MSVCPP 10
问题如下：
- 为什么在第一种情况下我们有双拷贝？
- 为什么在第二种情况下我们只有一份拷贝？
- 第一种情况:为什么编译器不优化第一种情况(通过减少复制操作数量)？
- 是否执行下列代码： f(int)；//.f(d)；
也做双拷贝？
回答 1
Stack Overflow用户
回答已采纳
发布于 2012-02-09 10:59:36
gcc 4.3.4在这两种情况下的产出如下：
----------
~A(2)
----------
~B
~A(3)示例1
示例2
这一输出可以解释为：
当您调用f(b);时，会创建B类型对象的副本，因为它是通过值传递的。
但是存在对象切片，因为函数参数接受A类型的对象。因此，函数中的对象现在是A类型的，它在从函数返回时被销毁，从而导致调用输出~A(2)。
以下两个跟踪来自于销毁在b中创建的对象main()，因为它的类型是用于基类A的B析构函数和派生类B。
我不确定我是否遗漏了gcc在这种情况下可能执行的任何明显的优化，但对我来说，输出看起来与预期的差不多。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/9209448
复制相关文章
相似问题
腾讯云开发者
