C ++仮想関数を安全にオーバーライドする

仮想関数を含む基本クラスがあり、派生クラスでその関数をオーバーライドしたい。派生クラスで宣言した関数が実際に基本クラスの関数をオーバーライドするかどうかをコンパイラに確認させる方法はありますか？古い関数を上書きするのではなく、誤って新しい関数を宣言していないことを保証するマクロまたは何かを追加したいと思います。

この例を見てみましょう：

class parent {
public:
  virtual void handle_event(int something) const {
    // boring default code
  }
};

class child : public parent {
public:
  virtual void handle_event(int something) {
    // new exciting code
  }
};

int main() {
  parent *p = new child();
  p->handle_event(1);
}

のparent::handle_event()代わりにここで呼び出されますchild::handle_event()。これは、子のメソッドがconst宣言を欠落しているため、新しいメソッドが宣言されているためです。これは、関数名のタイプミスまたはパラメータータイプのわずかな違いの可能性もあります。また、基本クラスのインターフェイスが変更された場合や、派生クラスが変更を反映するように更新されなかった場合にも、簡単に発生する可能性があります。

この問題を回避する方法はありますか？コンパイラまたは他のツールにこれをチェックするように指示することはできますか？役立つコンパイラフラグ（できればg ++）これらの問題をどのように回避しますか？

g ++ 4.7以降では、新しいC ++ 11 overrideキーワードを理解しています。

class child : public parent {
    public:
      // force handle_event to override a existing function in parent
      // error out if the function with the correct signature does not exist
      void handle_event(int something) override;
};

C＃のoverrideキーワードのようなものはC ++の一部ではありません。

gccでは-Woverloaded-virtual、同じ名前の関数で基本クラスの仮想関数を非表示にすることに対して警告しますが、それをオーバーライドしないように十分に異なるシグネチャを使用します。ただし、関数名自体のスペルを間違えたために関数のオーバーライドに失敗するのを防ぐことはできません。

私の知る限り、それを抽象化することはできませんか？

class parent {
public:
  virtual void handle_event(int something) const = 0 {
    // boring default code
  }
};

www.parashift.comを読んで、抽象メソッドを実際に実装できると思いました。それは個人的には理にかなっていますが、サブクラスがそれを実装することを強制することが唯一のことです。

MSVCでは、CLR override用にコンパイルしていない場合でも、CLR キーワードを使用できます。

g ++では、すべての場合にそれを強制する直接的な方法はありません。他の人々は、を使用して署名の違いを見つける方法について良い答えを出しました-Woverloaded-virtual。将来のバージョンでは、誰かが__attribute__ ((override))C ++ 0x構文を使用して、同等または同等の構文を追加する可能性があります。

MSVC ++では、キーワードを使用できますoverride

class child : public parent {
public:
  virtual void handle_event(int something) <b>override</b> {
    // new exciting code
  }
};

override MSVC ++のネイティブコードとCLRコードの両方で機能します。

関数を抽象化して、派生クラスがそれをオーバーライドする以外に選択肢がないようにします。

@Rayコードが無効です。

class parent {
public:
  virtual void handle_event(int something) const = 0 {
    // boring default code
  }
};

抽象関数は、本体をインラインで定義することはできません。になるように変更する必要があります

class parent {
public:
  virtual void handle_event(int something) const = 0;
};

void parent::handle_event( int something ) { /* do w/e you want here. */ }

ロジックを少し変更することをお勧めします。何を実行する必要があるかによって、機能する場合と機能しない場合があります。

handle_event（）は「退屈なデフォルトコード」を実行できますが、仮想ではなく、「新しいエキサイティングなコード」を実行したい時点で、基本クラスに抽象メソッド（つまり、オーバーライドする必要がある）メソッドを呼び出しますそれはあなたの子孫クラスによって提供されます。

編集：そして、子孫クラスの一部が「新しいエキサイティングなコード」を提供する必要がないと後で決定した場合は、抽象を仮想に変更して、その「挿入された」機能の空の基本クラス実装を提供できます。

コンパイラには、基本クラスの関数が非表示になった場合に生成される可能性があるという警告が表示される場合があります。含まれている場合は、有効にします。これは、パラメーターリストのconstの衝突と違いをキャッチします。残念ながら、これはスペルミスを明らかにしません。

たとえば、これはMicrosoft Visual C ++の警告C4263です。

C ++ 11 overrideキーワードを派生クラス内の関数宣言で使用すると、宣言された関数が実際に一部の基本クラス関数をオーバーライドしていることをコンパイラーにチェックさせます。そうでない場合、コンパイラーはエラーをスローします。

したがって、override指定子を使用して動的なポリモーフィズム（関数のオーバーライド）を保証できます。

class derived: public base{
public:
  virtual void func_name(int var_name) override {
    // statement
  }
};