c ++中的抽象类声明

Question

假设foo是C++程序中的摘要 class,为什么声明类型的变量foo*而不是类型的变量是可接受的foo？

Answer 1

因为如果你声明一个foo,你必须初始化/实例化它.如果你声明一个*foo,你可以使用它来指向从foo继承但不是抽象的类的实例(因此可以实例化)

Answer 2

您不能实例化一个抽象类。以下声明之间存在差异。

// declares only a pointer, but do not instantiate.
// So this is valid
AbstractClass *foo;

// This actually instantiate the object, so not valid
AbstractClass foo;

// This is also not valid as you are trying to new
AbstractClass *foo = new AbstractClass();

// This is valid as derived concrete class is instantiated
AbstractClass *foo = new DerivedConcreteClass();