是否有必要重建所有在具有虚函数的二进制文件中使用类的二进制文件？

Question

我有一个二进制 ABC.dll，它有一个 A 类，里面有虚函数。

ABC.dll

class A
{
    /* variables*/
    public:
    virtual func1(int x, int y, int z);
    /* other member functions and virtual functions*/
}

还有其他二进制文件正在创建此类的对象并使用其成员。

例如LIB.dll

A *obj = new A(/* constructor arguments*/);

以及其他使用此类的 dll。

现在我的软件有 ABC.dll、LIB.dll 和所有其他 dll，并且软件运行正常。 请注意，我上面的虚函数不会在任何其他二进制文件中的任何地方调用。

现在我需要更改虚函数的函数定义，为其添加参数化变量。

class A
{
    /* variables*/
    public:
    virtual func1(int x, int y, int z, int newVal = 0);
    /* other member functions and virtual functions*/
}

因此，在此处进行此更改后，我是否需要构建使用此 class A 的所有其他二进制文件或仅构建此二进制文件？

由于我的代码库很大，很难遍历每个项目并找到当前使用的地方。

如果我需要再次构建所有使用此class A 的 dll 并将其替换到我的软件位置，那么原因是什么。

当前问题：如果我不构建依赖项并在我的软件中替换它们，则当前正在使用此 dll 的进程正在崩溃。

如果是非虚函数，情况会一样吗？

注意：我也在那个实现这个虚函数的 dll 中进行了更改

Answer 1

更改 A 中的函数会更改它在二进制文件中的签名/位置，因此您的依赖库现在可能会尝试从不正确的偏移量执行该函数，因为它没有重新链接以知道 A 中的函数现在所在的位置。

Answer 2

当您更改任何函数的原型时，您正在破坏二进制兼容性。如果函数是虚拟的，它不会变得更丰富。

为额外参数提供默认值可让您保持源代码兼容性，但会破坏二进制兼容性。参数的默认值意味着如果编译器看到该函数的调用缺少参数，他必须隐含地将这个具有默认值的额外参数添加到调用代码中。这意味着需要重建调用者。

现在，既然您正在修改一个虚拟函数，那么您别无选择，您必须重新构建所有内容。 如果这个函数不是虚拟的，那么你可以提供一个重载，这样旧的原型仍然有效。 对于虚函数：添加、删除或更改 API 甚至更改它的顺序，都会破坏二进制兼容性。这就是为什么过载无法拯救的原因。