Dinamik polimorfizmden kaçınmak için CRTP

Question

Sanal üye işlevlerinin ek yükünü önlemek için CRTP'yi C++'da nasıl kullanabilirim?

Answer 1

CRTP'a bakmak zorundaydım. Ancak bunu yaptıktan sonra, Static Polymorphism hakkında bir şeyler buldum. Bu sorunun cevabı olduğundan şüpheleniyorum.

ATL'un bu modeli oldukça kapsamlı bir şekilde kullandığı ortaya çıkıyor.

Answer 2

This Vikipedi cevabı ihtiyacınız olan her şeye sahiptir. Yani: Bu aslında ne kadar satın aldığımı bilmeme rağmen.

• Bellek:: Sanal fonksiyonu
• Süre başına bir fonksiyon işaretçisi: Tek işlev işaretçisi çağrı

cRTP yükü iken sanal bir işlev çağrısı havai (tabii bağımlı derleyici,) 'dir statik polimorfizmidir:

• Bellek: bir fonk: Çoğaltma Base şablon örnekleme
• Süre başına tion pointer call + her ne yapıyor static_cast
yapıyor

Answer 3

Kendimi iyi CRTP tartışmalar için arıyorum. Todd Veldhuizen Techniques for Scientific C++, bunun için harika bir kaynaktır (1.3) ve ifade şablonları gibi diğer birçok gelişmiş tekniktir.

Ayrıca, Coplien'in orijinal C++ Gems makalesinin çoğunu Google kitaplarında okuyabileceğinizi öğrendim. Belki de durum böyle.

Answer 4

İki yol vardır.

ilk türleri yapısına statik bir arayüz belirterek olup:

template <class Derived> 
struct base { 
    void foo() { 
    static_cast<Derived *>(this)->foo(); 
    }; 
}; 

struct my_type : base<my_type> { 
    void foo(); // required to compile. 
}; 

struct your_type : base<your_type> { 
    void foo(); // required to compile. 
}; 

ikinci referans ile taban veya işaretçi ile taban deyim ve kullanımından kaçınmak sürmektir derleme zamanında kablolama.

template <class T> // T is deduced at compile-time 
void bar(base<T> & obj) { 
    obj.foo(); // will do static dispatch 
} 

struct not_derived_from_base { }; // notice, not derived from base 

// ... 
my_type my_instance; 
your_type your_instance; 
not_derived_from_base invalid_instance; 
bar(my_instance); // will call my_instance.foo() 
bar(your_instance); // will call your_instance.foo() 
bar(invalid_instance); // compile error, cannot deduce correct overload 

Yani yapı/arayüz tanımı ve işlevleri derleme zamanı tür kesinti birleştirerek yerine dinamik sevk statik sevkini yapmak için izin verir: Yukarıdaki tanım kullanarak, bu gibi bakmak şablon işlevleri olabilir. Bu statik polimorfizmin özüdür.