これは不正な仮想関数を実装する正当な方法ですか？

Question

「不純な仮想関数」とは、診断目的で（http://www.gotw.ca/gotw/031.htmに記載されているような）実装も持つ純粋な仮想関数を意味します。

それらを実装するためのコーシャ方法を行うことです。

class Foo 
{ 
public: 
    ... 
    virtual void Bar() = 0; 
}; 

void Foo::Bar() { assert(false); } 

しかし、これは、特にクラスの、一種の退屈では純粋仮想メソッドの数を持っています。また、対応する実装を追加することなく、誰かが誤って新しい純粋仮想関数を追加しないようにすることは難しいです。

理想的には私が何をしたいのですが、何がある：

class Foo 
{ 
public: 
    ... 
    virtual void Bar() = 0 
    { 
     assert(false); 
    } 
}; 

が、C++標準では、明示的にこの（ISO C++ 2003規格におけるセクション10.4/2）を禁止します。

代わりに、私は次のハックを考えました。 Foo.hヘッダで：

#ifndef ABSTRACT_METHOD 
#define ABSTRACT_METHOD = 0 
#endif 

class Foo 
{ 
public: 
    ... 
    virtual void Bar() ABSTRACT_METHOD; 
}; 

と、対応するFoo.cppソースファイルに：

#define ABSTRACT_METHOD { assert(false); } 

#include "Foo.h" 

... 

それは単一のコンパイルされた実装を取得するようになっています。

これは法的なのでしょうか？

Answer 1

いいえ、合法ではありません。 1つの定義ルールでは、あるクラスが（異なる翻訳単位の）プログラム内に複数の定義を持つことができますが、それらの定義はすべて同じシーケンスのトークン（3.2/5）で構成されている必要があります。 ABSTRACT_METHODは（マクロ置換の前に）前処理トークンですが、それは十分ではありません。

したがって、.cppファイルは、ヘッダーを含む別の.cppと同じプログラムで有効に使用できません。

Answer 2

有効かどうかはわかりません。しかし、クラスのユーザーがソースファイル内の派生クラスを宣言した場合、コンパイラは派生クラスにBar()を実装する必要がありません（= 0が表示されないため）。私はこれだけでこのようなことをしない理由になると思います。