Question

如何定义两个类A和B（B是A的派生类），使得在程序中能够创建一个与指针变量p（类型为A类）所指向的

如何定义两个类A和B（B是A的派生类），使得在程序中能够创建一个与指针变量p（类型为A类）所指向的对象是同类的对象？
下面是答案：

class A
{
public:
virtual A* create()
{
return new A;
}
}
class B:public A
{
...
public:
A* create
{
return new B;
}
}

int main()
{
A* p;
if(...)
p= new A;
else
p= new B;
A* q;
q=p->create();
...
}

我想求一段关于这个答案解析，解析的越全面越能切近要点越好。 因为我对这个代码似懂非懂。
尤其是基类的指针，用派生类来创建这个问题。

Answer 1

答案中的create方法是virtual（虚函数）。当用 p->create() 时，真正执行的是哪个create函数要看当时p指向的对象的实际类型。如果p（虽然是A类型指针）指向的对象是B类型的，那么p->create()就会调用B::create()，从而构造出一个B类型对象。