削除オブジェクト

Question

は、この1つは私が考えて作ったのですか？ G ++ 4.5.1は3つの警告できます：

warning: possible problem detected in invocation of delete operator: 
warning: 'p' has incomplete type 
warning: forward declaration of 'struct X' 

をし、それは言う：

注：デストラクタもクラス固有のオペレータ を削除どちらが呼び出されます、たとえクラスが定義されたときに宣言されます。

ワウ... g ++のようにこの状況を診断するために必要なコンパイラはありますか？それとも未定義の動作ですか？

Answer 1

：

削除されるオブジェクトが 削除の時点で 不完全クラス型を有し、完全なクラスが 非自明なデストラクタまたは 解除されている場合関数は、 は未定義です。

それでは、面倒なことがなければUBだし、そうでなければOKです。 UBにとって警告は必要ではありません。

Answer 2

これは未定義の動作であり、pImplパターンを実装する際の共通の問題点です。私の知る限りでは、コンパイラが発行する必要があるという警告はありません。警告は選択肢です。コンパイラの作者が彼らが役に立つと思ったからです。標準[expr.delete]から

Answer 3

これは未定義の動作です。

ただし、ブーストのように、不完全型のコンパイラのチェックを行うことができます。

// verify that types are complete for increased safety 

template<class T> inline void checked_delete(T * x) 
{ 
    // intentionally complex - simplification causes regressions 
    typedef char type_must_be_complete[ sizeof(T)? 1: -1 ]; 
    (void) sizeof(type_must_be_complete); 
    delete x; 
} 

がエラーをトリガする必要があり、不完全な型にsizeofを適用し、それはその後、いくつかのコンパイラは、配列を渡す場合、私は考えます負のサイズの場合、エラーが発生します。