更改纯虚拟到虚拟，保持二进制兼容的

Question

我可以改变一个纯虚函数（基类），成为非纯而不运行到任意的二进制兼容性问题？ （Linux操作系统，GCC 4.1）

感谢

Answer 1

是什么意思维持二进制兼容性给你？

的对象布局将是相同的，但你会被打破的一个定义规则除非重新编译所有的代码，在这一点二进制兼容性基本上是无用的。如果不重新编译，那么ODR就会被破坏，虽然它可能会起作用，但它也可能不起作用。

特别地，如果所有的类中的虚方法是纯或内嵌定义，则编译器可能会产生在每个翻译单元，其包括报头中的虚表并将其标记为弱符号。然后链接器将选择其中一个并丢弃所有其他的。在这种情况下，链接器不需要验证所有的vtable是否完全相同，并且会随机选择一个（或以不确定的方式确定性地选择一个），并且可以选择一个这样的vtable，其中该方法是纯虚拟的，如果在基类的对象上调用该方法，最终可能会崩溃应用程序。

Answer 2

有不存在兼容性问题当你从纯virtual切换到virtual然后重新编译代码。 （然而，virtual纯virtual可能会导致问题。）

你应该照顾的唯一的事情是，非纯virtual方法必须有一个机构。它们不能保持不被实现。即

class A { 
public: 
    virtual int foo() 
    { 
    return 0; //put some content 
    } 
}; 

你不能简单地把像，

virtual int foo(); 

这将导致连接错误，即使你不使用它。