在C++的面向对象编程中，抽象类是一种特殊的类，它不能直接被实例化，这一特性和类中定义的纯虚函数有直接关系。纯虚函数通过特定的语法形式声明，会直接限制类的实例化行为，同时也会影响派生类的实例化规则。
什么是C++抽象类
当一个类中包含了至少一个纯虚函数时，这个类就被称为抽象类。抽象类的核心作用是作为基类，为派生类提供统一的接口规范，本身不负责实现具体的功能逻辑。需要注意的是，抽象类不能用于创建对象，只能被继承，派生类需要实现抽象类中的所有纯虚函数，才能成为可以实例化的普通类。
纯虚函数的定义与语法
纯虚函数是在基类中声明的虚函数，它在基类中没有具体的实现，而是要求派生类必须重写该函数。纯虚函数的声明语法是在虚函数声明的末尾加上=0，具体格式如下：
// 基类中的纯虚函数声明示例
class Base {
public:
// 纯虚函数，没有具体实现，末尾加=0
virtual void func() = 0;
// 普通虚函数，有默认实现
virtual void normalFunc() {
// 默认逻辑
}
// 普通成员函数
void commonFunc() {
// 逻辑实现
}
};
纯虚函数对对象创建的限制规则
纯虚函数对对象创建的限制主要体现在两个层面：
- 包含纯虚函数的抽象类本身无法直接实例化，尝试创建抽象类的对象会导致编译错误。
- 如果派生类没有重写基类中的所有纯虚函数，那么派生类也会成为抽象类，同样无法实例化。
下面通过代码示例验证这些规则：
#include <iostream>
using namespace std;
// 抽象类，包含纯虚函数
class Shape {
public:
// 纯虚函数，计算面积
virtual double getArea() = 0;
// 纯虚函数，计算周长
virtual double getPerimeter() = 0;
};
// 派生类，重写了所有纯虚函数，成为普通类
class Circle : public Shape {
private:
double radius;
public:
Circle(double r) : radius(r) {}
// 重写getArea
double getArea() override {
return 3.14 * radius * radius;
}
// 重写getPerimeter
double getPerimeter() override {
return 2 * 3.14 * radius;
}
};
// 派生类，只重写了一个纯虚函数，仍然是抽象类
class Rectangle : public Shape {
private:
double width, height;
public:
Rectangle(double w, double h) : width(w), height(h) {}
// 只重写了getArea，没有重写getPerimeter
double getArea() override {
return width * height;
}
};
int main() {
// 错误：Shape是抽象类，无法实例化
// Shape s;
// 正确：Circle重写了所有纯虚函数，可以实例化
Circle c(5);
cout << "Circle area: " << c.getArea() << endl;
// 错误：Rectangle没有重写所有纯虚函数，仍然是抽象类，无法实例化
// Rectangle r(3, 4);
return 0;
}
上述代码中，Shape类包含两个纯虚函数，属于抽象类，直接创建Shape对象会编译失败。Circle类重写了所有纯虚函数，因此可以正常实例化。Rectangle类只重写了一个纯虚函数，仍然属于抽象类，无法创建对象。
抽象类的其他注意事项
除了实例化限制之外，使用抽象类还需要注意以下几点：
- 抽象类可以有构造函数和析构函数，构造函数用于初始化基类成员，析构函数建议声明为虚函数，避免派生类对象析构时出现内存泄漏。
- 抽象类的指针和引用是可以使用的，通常用来指向或引用派生类的对象，实现多态特性。
- 纯虚函数也可以在基类中提供默认实现，但即使有默认实现，只要声明为纯虚函数，基类仍然是抽象类，无法实例化。
下面的示例展示了抽象类指针的使用：
#include <iostream>
using namespace std;
class Animal {
public:
// 纯虚函数
virtual void speak() = 0;
// 虚析构函数
virtual ~Animal() {}
};
class Dog : public Animal {
public:
void speak() override {
cout << "Dog barks" << endl;
}
};
class Cat : public Animal {
public:
void speak() override {
cout << "Cat meows" << endl;
}
};
int main() {
// 抽象类的指针可以指向派生类对象
Animal* animal1 = new Dog();
Animal* animal2 = new Cat();
animal1->speak(); // 输出 Dog barks
animal2->speak(); // 输出 Cat meows
delete animal1;
delete animal2;
return 0;
}
总结来说，C++的抽象类无法直接实例化，这一限制由类中的纯虚函数决定。纯虚函数强制派生类实现统一的接口，保证了继承体系下的接口规范性，是C++实现多态和接口约束的重要机制。开发者在使用抽象类时，需要明确纯虚函数的重写要求，避免出现实例化抽象类的错误。