純粋仮想からバーチャルに変更してバイナリ互換性を維持する

Question

バイナリ互換性の問題を起こさずに、純粋仮想関数を（ベースクラス内で）非純粋に変更することはできますか？あなたは純粋なvirtualからvirtualに切り替え、その後、再コンパイルしたコードとき（Linuxでは、GCC 4.1）

おかげ

Answer 1

バイナリ互換性を維持することは何を意味しますか？

オブジェクトのレイアウトは同じになりますが、あなたはバイナリ互換性は基本的に役に立たない、その時点ですべてのコードを、再コンパイルない限り、あなたは一つの定義ルールを破壊されます。再コンパイルをしないと、ODRは破損し、正常に機能している可能性がありますが、機能しない可能性もあります。特に

クラスの仮想メソッドのすべてが、純粋なまたは定義されたいずれかのインラインされている場合、コンパイラは、ヘッダを含む各翻訳単位で仮想テーブルを生成し、弱いシンボルとしてマークかもしれません。リンカはそれらのうちの1つを選択し、他のすべてを破棄します。この状況では、リンカはすべてのvtableがまったく同じであることを確認する必要はなく、ランダムに（または未定義の方法で確定的に）1つを選択し、メソッドが純粋仮想であるvtableを1つ選択することがあります。そのメソッドが基本クラスのオブジェクトに対して呼び出されると、アプリケーションのクラッシュが発生する可能性があります。

Answer 2

は互換性がありませんがを発行します。 （ただし、virtualから純粋なvirtualまでは問題を引き起こす可能性があります）。

純粋でないvirtualメソッドにはボディが必要です。彼らは実装されていないままにすることはできません。あなたは、単にのように置くことができない、すなわち

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

、

virtual int foo(); 

それはあなたがそれを使用しない場合でも、リンカエラーが発生します。