调用另一个 DLL 中的虚拟函数时出现段错误

Question

我有一个由两部分组成的程序，其中主核心需要注册一个适配器，然后回调到寄存器中。这些部分位于单独的 DLL 中，并且核心不知道适配器的细节（除了提前的方法和参数）。我尝试使用以下代码进行设置，并在每次核心尝试调用适配器方法时收到段错误：

Core.hpp/cpp（组合和简化）：

class Core
{
public:
    Core()
        : mAdapter(NULL)
    { }

    void DoStuff(int param)
    {
        if ( this->mAdapter )
        {
            this->mAdapter->Prepare(param);
        }
    }

    void Register(Adapter * adapter)
    {
        this->mAdapter = adapter;
    }

private:
    Adapter * mAdapter;
};

Adapter.hpp /cpp（在核心库中）：

class Adapter
{
public:
    Adapter(Core * core) { }

    virtual void Prepare(int param)
    {
        // For testing, this is defined here
        throw("Non-overridden adapter function called.");
    }
};

AdapterSpecific.hpp/cpp（第二个库）：

class Adapter_Specific
    : Adapter
{
public:
    Adapter_Specific(Core * core)
    {
        core->Register(this);
    }

    void Prepare(int param) { ... }
};

在构建第一个模块（核心）和核心时，所有类和方法都标记为 DLL 导出在构建适配器时将其标记为导出，将适配器标记为导入。

代码运行良好，直到调用 Core::DoStuff 为止。从整个程序集来看，它似乎解析了 vftable 中的函数，但最终的地址是 0x0013nnnn，而我的模块在 0x0084nnnn 及以上范围内。 Visual Studio 的源调试器和智能感知显示 vftable 中的条目是相同的，并且相应的条目确实转到非常低的地址（也有一个转到 0xF-something，这看起来同样奇怪）。

为清楚起见进行编辑：执行永远不会重新进入适配器特定的类或模块。假设的调用地址无效，并且执行会在那里丢失，从而导致段错误。适配器类中的任何代码都不是问题，这就是我将其排除在外的原因。

我在调试模式下多次重建了这两个库。这是纯 C++，没什么花哨的。我不确定为什么它不起作用，但我需要回调到另一个类，并且宁愿避免使用函数 ptrs 的结构。

有没有办法在模块之间使用像这样的简洁回调，或者它在某种程度上是不可能的？

Answer 1

你说你的所有方法都声明为 DLL 导出。方法（成员函数）不必以这种方式标记，导出类就足够了。我不知道如果这样做是否有害。

Answer 2

1. 您使用了很多指针。他们的生命周期在哪里管理？
2. 在您的示例中，Adapter_Specific 从 Adapter 继承私有。
3. 适配器有一个虚拟方法，因此可能也需要一个虚拟析构函数。
4. 适配器也没有默认构造函数，因此 Adapter_Specific 的构造函数将无法编译。您可能希望它使用相同的参数构造基类。这不会自动发生。不过，请参阅第 6 点。
5. 仅采用一个参数的构造函数（复制构造函数除外）通常应显式声明。
6. 基类 Adapter 采用一个它不使用的参数。

Answer 3

这个问题最终成为我的一个愚蠢的错误。

在代码中的另一个函数中，我不小心向函数提供了 Core * 而不是 Adapter *，并且在我的通读中没有捕获它。不知何故，编译器也没有捕获它（它应该失败，但没有给出隐式强制转换警告，可能是因为它是引用计数点）。

它试图将 Core * 转换为适配器并从该突变对象中获取 vftable，但结果惨败并导致了段错误。我将其修复为正确的类型，现在一切正常。

Answer 4

对类和类成员使用 __declspec(dllexport) 是一个非常糟糕的主意。最好使用接口（仅包含虚函数的基类，它本质上与您不想要的“函数指针结构”相同，除了编译器处理所有细节），并使用 __declspec(dllexport ) 仅适用于全局函数，例如工厂函数。特别是不要跨 DLL 边界直接调用构造函数和析构函数，因为您会得到不匹配的分配器，暴露包装特殊函数的普通函数。