Linux C++中如何使用多态

在C++的世界里，多态这个概念可以说是面向对象编程的灵魂所在。它让我们能用一套接口，去调用不同派生类的具体实现——说白了，就是通过基类的指针或引用，在运行时决定到底调用哪个类的成员函数。这个机制在Linux环境下用起来，其实并不复杂，但有几个关键步骤需要踩准。

第一步，先定义一个基类，里面放上虚函数。虚函数就是用virtual关键字声明的那类函数，它的存在就是为了让派生类能覆盖重写。举个例子：

class Base {
public:
    virtual void print() const {
        std::cout << "Print from Base" << std::endl;
    }
};

第二步，创建派生类，把基类里的虚函数重写一遍。这里有一个好习惯：用override关键字，它能帮编译器检查你是不是真的写对了重写签名，减少低级错误。

class Derived : public Base {
public:
    void print() const override {
        std::cout << "Print from Derived" << std::endl;
    }
};

第三步，也是最体现多态魅力的一步：用基类的指针或引用，指向一个派生类对象，然后通过这个指针或引用去调用虚函数。看这段代码：

int main() {
    Base* basePtr;
    Derived derivedObj;
    basePtr = &derivedObj;
    basePtr->print();  // 实际调用的是Derived::print()
}

你猜怎么着？这里basePtr是基类指针，但它指向的是派生类对象，所以print()调用的是派生类的版本。这就是动态绑定在起作用。

说到动态绑定，C++底层靠的是虚函数表（vtable）来实现。当程序通过基类指针或引用调用虚函数时，运行时才会去查表，决定具体调用哪个函数实现。这种“运行时决定”的机制，正是多态区别于静态绑定的核心所在。

再来谈谈纯虚函数和抽象类。如果你希望某个基类不能被实例化（比如它只是一个接口契约），可以把至少一个虚函数声明为纯虚函数——在函数声明后面加上= 0：

class AbstractBase {
public:
    virtual void pu reVirtualFunction() const = 0;  // 纯虚函数
};

任何包含纯虚函数的类都是抽象类，不能直接创建对象。派生类必须提供所有纯虚函数的具体实现，除非它自己也打算继续当抽象类。

最后，还有一个容易被忽略但极其重要的细节：虚析构函数。如果你的基类会被实例化，或者你打算通过基类指针来删除派生类对象，那么基类的析构函数必须声明为虚函数。否则，删除派生类对象时，只会调用基类的析构函数，派生类的资源就无法正确释放，内存泄漏就悄悄埋下了。

class Base {
public:
    virtual ~Base() {}  // 虚析构函数
};

以上就是Linux环境下用C++实现多态的几个基本步骤。多态让代码更灵活、更可扩展，也是面向对象设计里不可或缺的一环。掌握了这些，你就能写出更优雅、更符合“开闭原则”的代码了。