C++覆盖子类创建的对象的函数

Question

我想知道是否可以只覆盖类中的一个函数而不创建一个全新的类。

我希望 bObj1.foo(); 输出“foo!”和 bObj2.foo() 输出“foo?”，但目前它们都输出“foo!”。

#include <iostream>
using namespace std;

class B {
    public:
    virtual void foo() { cout << "foo!" << endl; }
};

class A {
    public:
    B f();
};

B A::f() {
    B bObj;
    return bObj;
}

class C : public A {
};

int main()
{
    A aObj;
    B bObj1 = aObj.f();
    bObj1.foo(); // "foo!"

    C cObj;
    B bObj2 = cObj.f();
    bObj2.foo(); // "foo?"
}

Answer 1

您可以通过简单的更改获得所需的行为，其中包括将“虚拟”行为移至 A 类和 C 类。

在这里，我修改了您的应用程序以返回预期结果：

#include <iostream>
using namespace std;

class A;

class B {
public:
    B(A& a) : aref(a) {}
    void foo();
private:
    A& aref;
};

class A {
public:
    B f();
    virtual void foo() { cout << "foo!" << endl; }
};

B A::f() {
    B bObj(*this);
    return bObj;
}

class C : public A {
public:
    virtual void foo() { cout << "foo?" << endl; }
};

void B::foo() { aref.foo(); }

int main()
{
    A aObj;
    B bObj1 = aObj.f();
    bObj1.foo(); // "foo!"

    C cObj;
    B bObj2 = cObj.f();
    bObj2.foo(); // "foo?"
}

Answer 2

为了更改虚函数，您必须创建一个新类型 - 在 C++ 中没有办法解决这个问题。然而，另一种机制 - 函数对象 - 可能会做你想做的事情。

#include <functional>
#include <iostream>

using namespace std;

class B {
public:
    B(function<void ()> foo_impl) : foo_impl(foo_impl) {}

    void foo() {foo_impl();}
private:
    function<void()> foo_impl;
};

class A {
public:
    virtual B f();
};

B A::f() {
    B bObj([](){cout << "foo!" << endl;});
    return bObj;
}

class C : public A {
public:
    virtual B f() override;
};

B C::f() {
    B bObj([](){cout << "foo?" << endl;});
    return bObj;
}

int main()
{
    A aObj;
    B bObj1 = aObj.f();
    bObj1.foo(); // "foo!"

    C cObj;
    B bObj2 = cObj.f();
    bObj2.foo(); // "foo?"
}