Belirli türden türetilen tür için şablon nasıl uzmanlaşır?

Question

Nesnenin oluşturulmasını yöneten World sınıfım var ... Oluşturulduktan sonra afterCreation yöntemini çağırdım ve oluşturulan nesne Kullanıcıdan türetilmiş kullanıcı tanımlı tiptir (ör. MyEntity), addEntity'u aramak istiyorum. Nesne başka bir şeydi, hiçbir şey yapmak istemiyorum. o vb her türetilmiş sınıf İşte

için benzersiz kimlikler oluşturur çünkü addEntity uygun T çağrılmalıdır benim çözümdür:

template <int v> 
struct ToType 
{ 
    enum { value = v }; 
}; 

template <typename T> 
void World::afterCreation(T * t) 
{ 
    afterCreation(t, ToType<std::is_base_of<Entity, T>::value>()); 
} 

template <typename T> 
void World::afterCreation(T * t, ToType<true>) 
{ 
    addEntity(t); //here I cant pass Entity *, I need the real type, eg. MyEntity 
} 

template <typename T> 
void World::afterCreation(T * t, ToType<false>) 
{ 

} 

Benim soru - daha iyi bir yol yapılabilir mi?

Aşağıdaki kodu ToType veya benzeri olmadan nasıl simüle edebilirim?

template <typename T> 
void afterCreation(){/*generic impl*/} 

template <typename T where T is derived from Entity> 
void afterCreation(){/*some specific stuff*/} 

• başlığında niyetimi açıklamak için sadece "uzman", Sen polimorfik işaretçiler ile yapabilirsiniz

Answer 1

O çok daha iyi hale getirmek için gitmiyor, ancak SFINAE kullanarak dolaylama bir seviye kaldırabilirsiniz:

Bu nasıl çalışıyor

template <typename T> 
typename std::enable_if< std::is_base_of<Entity, T>::value >::type 
World::afterCreation(T * t) 
{ 
    // Derived from Entity 
} 
template <typename T> 
typename std::enable_if< !std::is_base_of<Entity, T>::value >::type 
World::afterCreation(T * t) 
{ 
    // generic 
} 

? Derleyici, afterCreation numaralı aramayı bulduğunda, aşırı yüklerden hangilerinin en iyi olduğunu bulmaya çalışır ve bunun için türlerle eşleşir ve değiştirmeyi dener. Her iki durumda da, eşleştirilen tür (argümanlardan) ve ikameyi tüm ifadeye uygular. İlk bağımsız değişken olarak iletilen değer true ise enable_if şablonu iç türü type içeriyorsa veya bu tür içermiyorsa. Tiplerin değiştirilmesi sırasında, aşırı yüklenmelerden biri geçersiz bir fonksiyon imzası (durumun yanlış olduğu durum) verecektir ve aday kümesinden düşülecektir.

Answer 2

şablon uzmanlık ile sorunu çözmek gerek:

template <typename T> 
void afterCreation(T* x) { 
    T* entity = dynamic_cast<Entity*> x; 

    if (!entity) { 
     // ... generic implementation 
    } else { 
     // ... entity implementation, use "entity" 
    } 
} 

Bu, (minik) bir çalışma süresi yüküne sahip olduğundan, bu en iyi çözüm olmayabilir. Çok akıllı bir derleyici bu ek yükü statik analizden çıkarabilir ancak derleyicilerin bunu seçeceğinden şüphe duyuyorum.