提问人:CSstudZ 提问时间:12/13/2019 最后编辑:CSstudZ 更新时间:12/13/2019 访问量:341
在 C++ [duplicate] 的继承上下文中按值传递对象
Pass by value an object in context of inheritance in C++ [duplicate]
问:
我正在学习C++,在我老师的课程中,他解释说多态性与传递值不兼容。
他解释说,当你按值将对象传递给方法时,编译器会在堆栈中生成对象的副本,出于优化原因,他选择创建父类类型的副本。
例如,假设我有一个名为 A 的类,而类 B 是 A 的子类。 如果我按值传递一个 B 类型的对象,编译器会在堆栈上创建一个 A 类型的副本。
我的问题是:
总是这样吗?
假设我为类 B 创建了一个复制构造函数,那么当我将 B 类型的对象按值传递给方法时,编译器会使用它吗?或者它是否仍然将 B 复制为 A(对象切片)?如果不是,为什么?
谢谢!
编辑:示例
// in headers file
// for A
class A
{
public :
virtual void Display() const
{ cout << "A::Display() was called << endl; }
};
// for B
class B : public A
{
public :
void Display() const
{ cout << "B::Display() was called << endl; }
};
现在,另一个名为 main.cpp 的文件中有 3 种可能的情况:
案例 1:
void f( const A & anA)
{
anA.Display();
}
int main()
{
B anB;
f (anB);
return 0;
}
案例 2:
void f( const A * anA)
{
anA->Display();
}
int main()
{
A * anB = new B;
f ( anB );
return 0;
}
案例 3:
void f( A anA)
{
anA.Display();
}
int main()
{
B anB;
f ( anB );
return 0;
}
据我了解,案例 1 和案例 2 将显示所需的输出(意思是“B::D isplay() 被调用”),而案例 3 不会(它将输出:“A::D isplay() was called”),即使 Display 方法在 A 类中被指定为 virtual。
答:
1赞
Richard Critten
12/13/2019
#1
案例(1)通过引用传递,不切片。
情况(2)按(指针的)值传递,不切片。
案例 (3) 按值传递:仅取顶部切片构建的复制。 没有部分。anA
anB
A
anA
B
与案例 (3) 相同的切片发生在这里:
B b;
A a = b;
我们创建一个并从中复制构造一个。B
A
评论
0赞
CSstudZ
12/13/2019
好吧,我现在明白了。谢谢。另一个问题:您说过“anA 是从 anB 构造的复制”,因此如果我创建一个复制构造函数,我可以防止这种行为发生吗?
0赞
Richard Critten
12/13/2019
@CSstudZ SO 不鼓励每个问题超过 1 个问题(这会将网站变成论坛而不是问答网站)。如果您发布另一个问题,我很乐意尝试在那里回答。
0赞
Ted Lyngmo
12/30/2020
@CSstudZ 由于这个答案有助于您理解该主题,请考虑接受它。
评论