非仮想ベースデストラクタを使用してクラスが誤って削除されているかどうかを検出する方法はありますか？

Question

非常によく知られているシナリオ：

#include <memory> 

class A{}; 
class B : public A {}; 

int main() 
{ 
    std::unique_ptr<A> a = std::make_unique<B>(); 
    // bam, when a gets deleted, we have undefined behavior. 
    return 0; 
} 

また、いなくてもValgrindのは、AとBの大きさが同じであることは、このようなエラーをキャッチすることができます。

少なくともデバッグビルドや、指定されたクラスのエラーを検出するイディオムでこのようなエラーをキャッチできるツールはありますか？

Answer 1

GCCについて次のように指定できます。

-Wdelete-non-virtual-dtor -Wsystem-headers 

がdelete-non-virtual-dtor警告がby std::default_deleteを生成見るために、次のようになります

/usr/local/include/c++/5.3.0/bitsを/unique_ptr.h:76:2：警告：ポリモーフィッククラス型のオブジェクトを削除する非仮想デストラクタを持つ 'B'は未定義の動作を引き起こす可能性があります[-Wdelete-non-virtual-dtor] delete __ptr;ところで

live

。サンプルクラスには、基底クラスに少なくとも1つの仮想関数がありません。

エラーの使用にそれをオンにし、[編集]

：

-Werror=delete-non-virtual-dtor -Wsystem-headers 

Answer 2

それは1が厳密に独立した「値ベース」のクラスとは「OOベース」のクラスを（必要があることを私の強い意見でありますより良い言葉の欠如）。

バリューベースのクラスは公開拠点を持たず、通常はコピーセマンティクスをサポートする必要があります（コピーを無効にするように特別に設計されていない限り）。そのようなクラスのオブジェクトには、その値とは別の識別情報がありません。それらはコピーと互換性があります。

OOベースのクラスには仮想デストラクタが必要であり、一般にアクセス可能なコピーメンバを決して使用しないでください。そのようなクラスのオブジェクトは、仮想cloneメソッドを介してのみコピーする必要があります。このようなオブジェクトは、その値とは別個のIDを持ちます。

非仮想デストラクタ、パブリックコピー/ムーブctorまたはパブリックコピー/ムーブ代入演算子（ベース内）を持つパブリックベースを持つクラスは存在しません。

この分離を維持すると、非ポリモフィックベースポインタを使用したオブジェクトのスライスまたは削除で事故が発生しなくなります。

残念ながら、この分離を維持するのに役立つツールはありません。それで、あなたは相続しながらデューデリジェンスを行う必要があります。それは本当に簡単です。それは仮想のdtor とアクセス不可能な/削除されたコピーctorとコピー割り当てを持っていますか？あなたは公に継承することができます。いいえ？潜在的な混乱、構成の使用、または個人の継承を避ける。

継承のために設計された優れたクラスは、子孫クラスでの複製を容易にするために、コピーメンバーを保護します。

残念ながら、第三者のクラスでは選択肢がありません。作成者は一般にコピーメンバーを公開しているので、オブジェクトをスライスする危険性があります。しかし、あなたはベースポインタを介して不適切な削除のリスクがありません。

TL; DRツールなし、プログラマーのデューデリジェンスのみ。