我有一个A类,它是B和C类的父类.
还有一个X类,它是Y和Z的父类.
class A {};
class B : public A {};
class C : public A {};
class X
{
void foo(A) { std:: cout << "A"; }
};
class Y : public X
{
void foo(B) {std::cout << "B"; }
};
class Z : public X
{
void foo(c) {std<<cout <<"C"; }
};
int main()
{
B b;
C c;
Y y;
Z z;
y.foo(b);//prints B // b is a B, and Y::foo takes a B, hence print B
y.foo(c);//prints A // mismatch between types, fall back and print A
z.foo(b);//prints A // mismatch between types, fall back and print A
z.foo(c);//prints C // c is a C, and Y::foo takes a C, hence print C
std::vector<A> v;
v.push_back(b);
v.push_back(c);
//In this loop, it always prints A, but *this is what I want to change*
for (size_t i = 0; i < v.size(); ++i)
{
z.foo(v.at(i));
y.foo(v.at(i));
}
}
是否有可能使项目打印出与硬编码调用相同的结果?
这意味着我会将它们视为原始类型,而不是其父类型?
或者,一旦我把它们放在A的矢量中,它们将永远属于A型?
解决方法:
你看到的是Object Slicing.
您将Derived类的对象存储在一个向量中,该向量应该存储Base类的对象,这会导致对象切片,并且被存储的对象的派生类特定成员被切掉,因此存储在向量中的对象就像基类的对象.
解:
您应该在向量中存储指向Base类对象的指针:
vector<X*>
通过存储指向Base类的指针,就没有切片,你可以通过使函数虚拟来实现所需的多态行为.
正确的方法是使用合适的Smart pointer而不是在向量中存储原始指针.这将确保您不必手动管理内存,RAII将自动为您执行此操作.