溫馨提示×

C++函數對象怎樣進行類型擦除

c++
小樊
82
2024-10-30 16:18:25
欄目: 編程語言

在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)建了兩個派生類CircleRectangle,分別表示圓形和矩形。這兩個派生類都覆蓋了area()函數,以提供各自的實現。

main()函數中,我們使用基類指針shape1shape2分別指向CircleRectangle對象。當我們調用area()函數時,實際調用的函數將由對象的實際類型決定。這就是類型擦除的基本原理。

0