C ++ sanal işlevlerini güvenle geçersiz kılın

Sanal işleve sahip bir temel sınıfım var ve bu işlevi türetilmiş bir sınıfta geçersiz kılmak istiyorum. Derleyicinin türetilmiş sınıfta tanımladığım işlevin temel sınıftaki bir işlevi gerçekten geçersiz kılıp kılmadığını kontrol etmesini sağlamanın bir yolu var mı? Eskisini geçersiz kılmak yerine yanlışlıkla yeni bir işlevi ilan etmemeyi sağlayan bazı makro veya başka bir şey eklemek istiyorum.

Bu örneği ele alalım:

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);
}

Çocuğun yöntemi bildirimi kaçırdığı ve bu nedenle yeni bir yöntem bildirdiği için parent::handle_event()bunun yerine burada çağrılır . Bu, işlev adında bir yazım hatası veya parametre türlerinde bazı küçük farklar olabilir. Temel sınıfın arabirimi değişirse ve bir yerde bazı türetilmiş sınıflar değişikliği yansıtacak şekilde güncellenmezse de kolayca gerçekleşebilir.child::handle_event()const

Bu sorunu önlemenin bir yolu var mı, derleyiciye veya başka bir araca bunu benim için kontrol etmesini bir şekilde söyleyebilir miyim? Herhangi bir yararlı derleyici bayrağı (tercihen g ++ için)? Bu problemlerden nasıl kaçınıyorsunuz?

G ++ 4.7'den beri, yeni C ++ 11 overrideanahtar sözcüğünü anlar :

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 # 'ın overrideanahtar sözcüğü gibi bir şey C ++ ' ın parçası değildir.

Gcc'de, -Woverloaded-virtualaynı ada sahip bir işleve sahip, ancak onu geçersiz kılmayacak kadar farklı bir imzaya sahip bir temel sınıf sanal işlevi gizlemeye karşı uyarır. Bununla birlikte, sizi işlev adının yanlış yazılması nedeniyle bir işlevi geçersiz kılmama konusunda korumaz.

Bildiğim kadarıyla, bunu soyut yapamaz mısın?

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

Www.parashift.com'da aslında soyut bir yöntem uygulayabileceğinizi okudum sanıyordum. Kişisel olarak bana mantıklı gelen bu, yaptığı tek şey alt sınıfları onu uygulamaya zorlamaktır, kimse bir uygulamanın kendisine sahip olmasına izin verilmediğinden bahsetmedi.

MSVC'de CLR'yi kullanabilirsiniz override olsanız bile anahtar sözcüğünü .

G ++ 'da, bunu her durumda uygulamanın doğrudan bir yolu yoktur; diğer insanlar, kullanarak imza farklılıklarının nasıl yakalanacağına dair iyi cevaplar verdiler -Woverloaded-virtual. Gelecekteki bir sürümde, birisi __attribute__ ((override))C ++ 0x sözdizimini kullanarak benzer veya eşdeğer bir sözdizimi ekleyebilir .

MSVC ++ 'da anahtar sözcük kullanabilirsinizoverride

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

override MSVC ++ 'da hem yerel hem de CLR kodu için çalışır.

Fonksiyonu soyut yapın, böylece türetilmiş sınıfların onu geçersiz kılmaktan başka seçeneği kalmaz.

@Ray Kodunuz geçersiz.

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

Soyut işlevlerin satır içi olarak tanımlanmış gövdeleri olamaz. Olmak için değiştirilmelidir

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

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

Mantığınızda ufak bir değişiklik öneririm. Neyi başarmanız gerektiğine bağlı olarak işe yarayabilir veya çalışmayabilir.

handle_event () hala "sıkıcı varsayılan kodu" yapabilir, ancak sanal olmak yerine, "yeni heyecan verici kodu" yapmasını istediğiniz noktada temel sınıfın soyut bir yöntem çağırmasını sağlayın (yani geçersiz kılınması gereken) alt sınıfınız tarafından sağlanacaktır.

DÜZENLEME: Ve daha sonra alt sınıflarınızdan bazılarının "yeni heyecan verici kod" sağlamasına gerek olmadığına karar verirseniz , özeti sanal olarak değiştirebilir ve bu "eklenen" işlevselliğin boş bir temel sınıf uygulamasını sağlayabilirsiniz.

Derleyiciniz, bir temel sınıf işlevi gizlendiğinde üretebileceğine dair bir uyarı alabilir. Varsa etkinleştirin. Bu, parametre listelerindeki const çakışmalarını ve farklılıkları yakalayacaktır. Maalesef bu bir yazım hatasını ortaya çıkarmaz.

Örneğin, bu Microsoft Visual C ++ 'da C4263'ü uyarıyor.

C ++ 11 overrideanahtar sözcüğü türetilmiş sınıf içinde işlev bildirimi ile kullanıldığında, derleyiciyi bildirilen işlevin aslında bazı temel sınıf işlevlerini geçersiz kıldığını kontrol etmeye zorlar. Aksi takdirde, derleyici bir hata atar.

Bu nedenle, overridedinamik polimorfizmi (işlev geçersiz kılma) sağlamak için tanımlayıcıyı kullanabilirsiniz .

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