C++中抽象类的子类实现同一函数时能否使用不同参数？

你当前的代码无法正常编译：C++ 虚函数重写要求函数签名（函数名、参数列表、const/volatile 限定符）完全一致，基类定义的Sit()是无参函数，子类的Sit(obj*)带参数，不属于合法的重写行为，override关键字会直接触发编译错误。

你的需求是可以实现的，有几种常见的实现方案，可根据使用场景选择： #

方案1：统一抽象参数类型（最推荐，支持运行时多态） #

该方案符合面向对象设计逻辑，你示例中的chair、bench本身就是obj的派生类，直接统一基类虚函数的参数为抽象基类指针即可：

// 座位抽象基类
class obj {};
class Chair : public obj {};
class Bench : public obj {};

class Parent
{
public:
    // 统一虚函数签名，接收抽象座位基类指针
    virtual void Sit(obj* seat) = 0;
    virtual ~Parent() = default; // 抽象基类需定义虚析构函数避免内存泄漏
};

class Child1 : public Parent
{
public:
    void Sit(obj* seat) override {
        // 内部判断参数是否为当前子类需要的Chair类型
        if (auto* chair = dynamic_cast<Chair*>(seat)) {
            // 执行Child1坐椅子的专属逻辑
        }
    }
};

class Child2 : public Parent
{
public:
    void Sit(obj* seat) override {
        if (auto* bench = dynamic_cast<Bench*>(seat)) {
            // 执行Child2坐长凳的专属逻辑
        }
    }
};

优势：支持用Parent*统一持有所有子类实例，运行时动态调度对应逻辑，符合常规多态使用场景。

方案2：使用std::variant包装多类型参数（C++17及以上支持） #

如果入参类型没有共同的抽象基类，可以用变体类型封装所有可能的入参类型：

#include <variant>
class Chair {};
class Bench {};
// 定义所有可能的入参类型的变体
using SeatType = std::variant<Chair*, Bench*>;

class Parent
{
public:
    virtual void Sit(SeatType seat) = 0;
    virtual ~Parent() = default;
};

class Child1 : public Parent
{
public:
    void Sit(SeatType seat) override {
        std::visit([this](auto&& arg) {
            using T = std::decay_t<decltype(arg)>;
            if constexpr (std::is_same_v<T, Chair*>) {
                // 执行坐椅子的逻辑
            }
        }, seat);
    }
};

// Child2实现同理，判断是否为Bench*类型即可

方案3：CRTP静态多态（无需运行时多态时可选） #

如果不需要在运行时通过基类指针统一调用，仅需要复用基类接口定义，可以用静态多态实现：

template <typename Derived>
class Parent
{
public:
    template <typename... Args>
    void Sit(Args&&... args) {
        static_cast<Derived*>(this)->SitImpl(std::forward<Args>(args)...);
    }
};

class Child1 : public Parent<Child1>
{
public:
    void SitImpl(obj* chair) {
        // 对应逻辑
    }
};

class Child2 : public Parent<Child2>
{
public:
    void SitImpl(obj* bench) {
        // 对应逻辑
    }
};

注意：该方案中不同子类的Parent基类属于不同类型，无法用统一的基类指针存储，不支持运行时多态。

内容的提问来源于stack exchange，提问作者ImNewPleaseDontHurtMe