テンプレートパラメータのタイプを確認するにはどうすればよいですか？

Question

は、私はテンプレート関数と二つのクラス

Tのためのチェックは動物であるどのようにすればいい

class animal { 
} 
class person { 
} 

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

があると？私は 実行時にチェックするものを持っていたくありません。これはTとして渡されたタイプに基づいて、全く新しい機能を作成すること

template <> void foo<animal> { 

} 

注：ありがとう

Answer 1

使用is_same：

#include <type_traits> 

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

は通常、それはしかし、全く実現不可能なデザインだし、あなたが本当にしたいを特化：

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

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

注意もそれがで関数テンプレートを持っている珍しいこと明示的（推論されない）の引数。それは聞いたことがありませんが、しばしばより良いアプローチがあります。

Answer 2

は、次のようなそれらのパラメータに渡されているものに基づいてテンプレートを特化することができます。これは通常、クラッタを減らし、本質的にテンプレートを最初に持っている理由として好ましいものです。

Answer 3

私は今日は、それを使用する方が良いと思っていますが、C++でしかないと思います。

#include <type_traits> 

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

あなたはconstexprなしif式の本体内のいくつかの種類の特定の操作を使用している場合、このコードはコンパイルされません。