在C++中,類型擦除通常是通過虛函數實現的。虛函數允許你在基類中定義一個接口,然后通過派生類來覆蓋這個接口。這樣,當你使用基類指針或引用調用虛函數時,實際調用的函數將由對象的實際類型決定。這里有一個簡單的例子來說明如何使用虛函數實現類型擦除:
#include <iostream>
#include <string>
// 基類
class Shape {
public:
// 虛函數,用于計算面積
virtual double area() const = 0;
// 虛析構函數,確保派生類的析構函數被正確調用
virtual ~Shape() = default;
};
// 派生類:圓形
class Circle : public Shape {
public:
Circle(double radius) : radius_(radius) {}
// 覆蓋基類的虛函數
double area() const override {
return 3.14159 * radius_ * radius_;
}
private:
double radius_;
};
// 派生類:矩形
class Rectangle : public Shape {
public:
Rectangle(double width, double height) : width_(width), height_(height) {}
// 覆蓋基類的虛函數
double area() const override {
return width_ * height_;
}
private:
double width_;
double height_;
};
int main() {
Shape* shape1 = new Circle(5.0);
Shape* shape2 = new Rectangle(4.0, 6.0);
std::cout << "Circle area: " << shape1->area() << std::endl;
std::cout << "Rectangle area: " << shape2->area() << std::endl;
delete shape1;
delete shape2;
return 0;
}
在這個例子中,我們定義了一個名為Shape
的基類,其中包含一個純虛函數area()
。然后,我們創(chuàng)建了兩個派生類Circle
和Rectangle
,分別表示圓形和矩形。這兩個派生類都覆蓋了area()
函數,以提供各自的實現。
在main()
函數中,我們使用基類指針shape1
和shape2
分別指向Circle
和Rectangle
對象。當我們調用area()
函數時,實際調用的函數將由對象的實際類型決定。這就是類型擦除的基本原理。