C++ ziyaretçi kalıbı: Neden her bir türevi ziyaret edildi Accept()?

Question

Ziyaretçi modelini gösteren birkaç örnek gördüm. Hepsinde, türetilen ziyaret edilen öğeler genellikle Accept() yöntemi olarak adlandırılan şeyi uygular.

renklerin bir hiyerarşi içinde

, bu yöntem gibi görünebilir:

void Red::accept(Visitor *v) 
{ 
    v->visit(*this); 
} 

void Blue::accept(Visitor *v) 
{ 
    v->visit(*this); 
} 

Ziyaretçi yanı sıra varisleri, yöntemler varsa: Bu uygulamıyor neden

visit(Red red); 
visit(Blue blue) 

Benim sorum sadece (bu örnekte: Color) temel sınıfta aynı şekilde iş yapacak ve polimorfizm, yani doğru ziyareti nesne bu var dinamik tip böylece dereferencing bir Red bir Red ne zamandan beri adı verilecek Red'u verecek ve bu da ziyaretin (kırmızı) çağrılmasına neden olacak mı?

Neyi eksik? Sahip olduğun, tek accept olsaydı ...

Answer 1

Kalıtım polimorfizmi (dinamik sevk) argümanları çalışması için geçerli değildir. Diğer bir deyişle, aşılmış olan argümanların statik tipinde aşırı yüklenmiş fonksiyon seçilir. Color taban sınıfında uygulandığında, v->visit(*this) her zaman visit(Color c)'u arar.

Answer 2

void Color::accept(Visitor* v) 
{ 
    v->visit(*this); 
} 

visit sadece temel sınıf ile denilen olsun istiyorum. Doğru türetilmiş sınıf ile visit çağırabilmek için onlar bir doğru this Yazılan geçebilir böylece bunu uygulamak için her Color gerek, bu yüzden doğru visit aşırı yük denir.

Answer 3

Anlayışım, temel sınıf yöntemlerinde this işaretçisinin türetilmiş türden değil, türetilmiş sınıflardan oluşmasıdır, dolayısıyla yalnızca temel sınıf yöntemlerine erişebilir ve Color* this türüne geçirilir. Ziyaret yöntemine geçildiğinde, visit(Color* color)'u çalıştırarak polimorfik davranışlar yalnızca sınıfın kendi yöntemlerine (diğer sınıflara değil) uygulanır.