抽象基类不能被直接实例化,因为其包含至少一个纯虚函数(如virtual void func() = 0),这些函数没有具体实现。1. 抽象类用于定义接口或规范,要求子类继承并实现纯虚函数;2. 技术上,纯虚函数无函数体,导致虚函数表项为空,调用会引发运行时错误;3. 抽象类仍可提供已实现的成员函数供派生类复用;4. 可通过派生类对象间接使用抽象类指针或引用操作,实现多态。例如,shape和animal类无法创建对象,但其派生类可实现功能并被实例化。
抽象基类不能被直接实例化,这是 C++ 语言设计中一个明确的规则。原因也很简单:如果一个类中有至少一个纯虚函数,那它就被定义为“抽象类”,而抽象类只能作为派生类的基类使用,不能创建对象。
什么是纯虚函数和抽象类?
在 C++ 中,
纯虚函数
是指没有具体实现(函数体)的虚函数,通常写法是:
只要一个类中包含至少一个这样的纯虚函数,那么这个类就自动成为
抽象基类(abstract class)
。
立即学习
“
C++免费学习笔记(深入)
”;
这时候你尝试去创建这个类的对象,比如:
编译器就会报错。因为抽象类中存在未实现的方法,不具备完整的定义。
为什么抽象类不能被实例化?
这个问题其实可以从两个角度来理解:
语义上
:抽象类表示的是一种接口或规范,而不是具体的实现。它存在的意义就是让子类继承并实现那些纯虚函数。
技术上
:C++ 的虚函数机制依赖虚函数表(vtable),而纯虚函数没有实际的函数体,因此对应的虚函数表项是空的。如果允许实例化,调用这些无实现的函数就会导致运行时错误。
举个例子:
C函数速查手册(CHM版)
C函数速查手册(CHM版)
下载
只有当你从
派生出一个具体类,并实现了
后,才能创建对象。
抽象类还能干什么?
虽然抽象类不能直接实例化,但它仍然有几个非常有用的用途:
定义统一的接口供派生类实现
提供一些已经实现的普通成员函数,供派生类复用
支持多态行为,比如通过基类指针或引用操作派生类对象
例如:
在这个例子里,
是抽象类,但它的
函数可以被
对象直接调用。
能否间接创建抽象类的对象?
虽然不能直接实例化抽象类,但在某些情况下,可以通过派生类来“绕过”限制:
创建派生类对象,然后用抽象基类的指针或引用来操作它:
这种做法非常常见,是实现运行时多态的基础。
基本上就这些。抽象类不能实例化是因为它有纯虚函数,而纯虚函数意味着这个类还没准备好被使用。要真正用起来,得靠子类来补全功能。
virtual void func() = 0;BaseClass obj; // 错误!无法实例化抽象类class Shape {
public:
virtual void draw() = 0; // 纯虚函数
};
int main() {
Shape s; // 编译失败,Shape 是抽象类
}Shapedraw()class Animal {
public:
virtual void speak() = 0; // 纯虚函数
void sleep() { cout << "Sleeping..." << endl; } // 非纯虚函数
};
class Dog : public Animal {
public:
void speak() override { cout << "Woof!" << endl; }
};Animalsleep()DogAnimal* animal = new Dog(); // 合法,指向派生类对象
animal->speak(); // 输出 Woof!