C++ 多重继承和纯函数

Question

我对“多重继承问题”有点困惑。考虑以下代码块：

#include <iostream>

struct iface
{
    virtual void foo () = 0;
    virtual ~iface () {}
};

struct wrapped
{
    virtual void foo ()
    {
        std::cerr << "wrapped\n";
    }
};

struct impl : public wrapped, public iface
{
};

iface* factory ()
{
    return new impl;
}

int main ()
{
    iface *object = factory ();

    object->foo();

    delete object;

    return 0;
}

这是从一些使用 pimpl 习惯用法的代码中抽象出来的。这个想法是wrapped 是一个复杂的类，有各种各样的花里胡哨。 iface 只是使wrapped 的一个特定方面可见，factory() 函数通过使用wrapped 构建一个实现iface 的impl 类。在我的真实代码中，wrapped 类来自一个具有巨大标题树的库，因此我在一个单独的编译单元中定义了impl，以避免我的应用程序的其余部分不得不将它们拉入。

反正我贴的东西编译不通过，报如下错误：

$ g++ -o test test.cc
test.cc: In function ‘iface* factory()’:
test.cc:23:16: error: cannot allocate an object of abstract type ‘impl’
     return new impl;
                ^
test.cc:17:8: note:   because the following virtual functions are pure within ‘impl’:
 struct impl : public wrapped, public iface
        ^
test.cc:5:18: note:     virtual void iface::foo()
     virtual void foo () = 0;
                  ^

显然，我可以通过在impl 中编写foo 的具体实现来避免该错误，该实现转发到wrapped::foo()，但我不明白为什么编译器不从@987654335 中获取实现@类。

我假设 iface 中的“foo”和 wrapped 中的“foo”在为 impl 进行名称解析时最终会有所不同（这是正确的词），但我真的不明白为什么。

有人可以解释发生了什么吗？

Answer 1

如果类的任何虚函数是纯虚函数，则该类是抽象的。 类 impl 有两个同名的成员函数

iface::foo

和

wrapped::foo

类impl的第一个成员函数是纯虚的，所以类是抽象的。编译器可能不会创建抽象类的对象。

Answer 2

impl 有两个完全独立的方法，iface::foo（纯方法）和wrapped::foo。没有名称解析——虚函数调用由一个名为 vtable 的结构分派，该结构包含指向实现的指针。一个类对于它的每个直接祖先都有单独的 vtable，至少在没有虚拟继承的情况下是这样。来自不同祖先的同义虚函数最终出现在不同的 vtable 中；编译器无法“组合”它们。 C++ 没有 mixins。

显然，我可以通过在 impl 中编写 foo 的具体实现来避免该错误，该实现转发到 Wrapped::foo()

更好的是，不要使用双重继承——做类似的事情

struct impl : public iface
{
    virtual void foo ()
    {
        wr.foo ();
    }
private:
    wrapped wr;
};