是不同的编译器吗？ C++ 虚拟继承实现不兼容？

Question

我有这样的公共接口层次结构：

struct ISwitchable {
    /* Obtain pointer to another implemented interface of the same instance. */
    virtual int switch(unsigned int interfaceId, void** pInstance) = 0;
};
struct IFoo : public ISwitchable { /* Methods */ };
struct IBar : public ISwitchable { /* Methods */ };
struct IFooBar : public IFoo, public IBar { /* Methods */ };

实现 IFooBar 的类与工厂函数一起放入 dll 中。 客户端代码加载 dll，使用工厂函数创建类实例并根据接口使用它（它们作为头文件提供）。

方案与 MSVC 制作的 dll 和 Borland C++ Builder 6 制作的客户端代码配合良好。

我将虚拟继承引入层次结构：

struct IFoo : public virtual ISwitchable { /* Methods */ };
struct IBar : public virtual ISwitchable { /* Methods */ };

并且当在相同情况下（MSVC 的 dll，Builder 的客户端）客户端代码请求他获取的类的实例时凌乱的 vtable。

除了回滚到普通继承还有什么解决办法吗？

Answer 1

我认为您不能指望任何构建的类在编译器之间兼容。 Borland 是否声称他们可以加载 MSVC 构建的类并与之互操作。 如果是这样，看起来他们有一个错误。 据我所知，C++ 规范中没有关于 VTable 的确切结构的内容，因此预计它不能跨编译器工作。

Answer 2

与 C 不同，C++ 没有交叉编译器 ABI——编译器可以以任何他们想要的方式自由实现虚拟继承（甚至普通继承）。

结果是：跨编译器调用 C++ 函数不能保证有效。 我知道这很丑陋，但如果您希望 DLL 能够与多个编译器愉快地交互，您最好提供一组简单的 extern "C" 函数和手动构建的函数指针表。

注意：支持构建 COM 对象（或具有这样做的选项）的编译器在其对象布局方面受到更多限制。 （我知道最新版本的 MSVC++ 会生成兼容 COM 的对象，至少在大多数情况下是这样——但不确定是否涵盖了虚拟继承。）

Answer 3

我对 void** 论点持怀疑态度。 使用 void 指针会丢失类型信息。

如果您正在使用多重继承，那么类型信息可能很重要。 考虑：

class Foo { ... };
class Bar { ... };

class Both: public Foo, public Bar { ... };

我们假设 Both 实例的内部布局是 Foo 实例后跟 Bar 实例。 我可以毫无问题地将 Both* 传递给需要 Foo* 的方法。 我还可以将 Both* 传递给需要 Bar* 的方法，前提是我调整指针以指向嵌入的 Bar。 我可以可靠地做到这一点，因为我知道我正在与两者一起工作。

现在：

Foo *foo = new Both(...);
Bar *bar = new Both(...);

void *p = foo;
void *q = bar;

Both *both = (which) ? (Both*)p : (Both*)q;

那么：当我分配给“两者”时，我如何知道如何调整 p 或 q ？ 我不能，因为类型信息通过 void 指针丢失了。

此问题的一个变体可能与您遇到的问题有关。

Answer 4

可能不会回答你的问题...
但强烈建议不要像您一样使用多重继承（称为“可怕的钻石”）。