Şablon parametresinin türü nasıl kontrol edilir?

Question

Bir şablon işlevi ve iki sınıfları

T onay hayvandır nasıl yapacağım

class animal { 
} 
class person { 
} 

template<class T> 
void foo() { 
    if (T is animal) { 
    kill(); 
    } 
} 

varsayalım? Çalışma zamanında kontrol eden bir şey istemiyorum. Teşekkür

Answer 1

Kullanım is_same:

#include <type_traits> 

template <typename T> 
void foo() 
{ 
    if (std::is_same<T, animal>::value) { /* ... */ } // optimizable... 
} 

Genellikle bu olsa tamamen işlemez bir dizayn ve uzmanlaşmak gerçekten istiyorum:

template <typename T> void foo() { /* generic implementation */ } 

template <> void foo<animal>() { /* specific for T = animal */ } 

Not da onunla işlev şablonları olması alışılmadık olduğunu açık (çıkarımsız) argümanlar. Hiç duyulmuyor, ama çoğu zaman daha iyi yaklaşımlar var.

Answer 2

Böyle onların parametreye geçirilen unsurları temel alarak Şablonlarınızı uzmanlaşabilir: Bu T olarak geçirilen türüne göre tamamen yeni bir fonksiyon oluşturur

template <> void foo<animal> { 

} 

Not. Bu genellikle dağınıklığı azalttığı için tercih edilir ve esas olarak ilk etapta şablonlara sahip olmamızın sebebidir.

Answer 3

Bugünün kullanımının daha iyi olduğunu düşünüyorum ama sadece C++ 17 ile. Eğer constexpr olmadan eğer ifade vücutta bazı tip spesifik işlemleri kullanırsanız

#include <type_traits> 

template <typename T> 
void foo() { 
    if constexpr (std::is_same_v<T, animal>) { 
     // use type specific operations... 
    } 
} 

, bu kod derlemek olmaz.