首页 > 解决方案 > 在包装器中保存抽象值对象和继承的使用

问题描述

我有关于 C++ 类继承的问题。我有一个具有虚拟方法的类,例如:

class IFoo {
public:
    virtual int sayFoo() = 0;
};

我有几个实现,例如:

class Foo1: public IFoo {
public:
    virtual int sayFoo() {
        return 1;
    }
};

class Foo2: public IFoo {
public:
    virtual int sayFoo() {
        return 2;
    }
};

我想将IFoo实例保存在一个虚拟容器类(如一种包装器)中,暴露相同的接口IFoo

class DummyWrapper : public IFoo {
public:
    DummyWrapper(IFoo& foo): foo{foo} {}
    virtual int sayFoo() {
        return foo.sayFoo(); //ALPHA
    }
private:
    IFoo& foo; //BETA
};

通常一切都应该工作,例如,像这样:

IFoo& foo = Foo1{};
DummyWrapper wrapper{foo};

wrapper.sayFoo();

我的问题是,foo它实际上只是一个 r 值,在其范围消失后被删除,如下所示:

DummyWrapper generateWrapper() {
    return DummyWrapper{Foo1{}};
}

这会导致“ALPHA”行出现读取问题。一个解决方案是将 r 值放在堆上并使用指针来访问 foo。由于我是 C++ 新手,也许我遇到了 XY 问题,我的问题是:

感谢您的回复

标签: c++c++11

解决方案


这是唯一的解决方案吗?难道没有更好的方法来解决这个问题吗?

不幸的是,一旦涉及多态性,是的,它是,不,没有。IFoo foo但是,如果您使用智能指针,您将获得与 storage 几乎等效的解决方案:

// member:
std::unique_ptr<IFoo> foo;

// constructor:
DummyWrapper(std::unique_ptr<IFoo>&& foo): foo(std::move(foo)) { }
// need to accept r-value         ^
// reference: std::unique_ptr is only movable, not copiable!
// for the same reason, you need to preserve the r-value reference
// on assignment to member...

// creation of the wrapper:
return DummyWrapper(std::make_unique<Foo1>(/* arguments for constructor, if there are */));

我不认为我可以用 IFoo foo 替换“BETA”行,因为这样 DummyWrapper 将始终存储 IFoo 的字节,而不是 IFoo 实现的字节。或者也许我可以使用值 IFoo foo 来调用派生的虚拟方法?

绝对正确:这是一种称为“对象切片”的效果,当您将派生对象分配给基本对象时,来自派生类型的所有多余内容都会丢失。很常见的问题(例如,当人们试图将派生对象存储在 a 中时std::vector<Base>)。


推荐阅读