クラステンプレートへのインターフェイスの静的アサート

Question

私が作成しているコンストラクタテンプレートでは、クラステンプレートのインターフェイスに静的アサートをしたいと思います。状況の基本的な（非コンパイル）の例は次のとおりです。私の最高の推測では、バズに機能を追加しているが、これはテンプレート化することができないので、

class Baz 
{ 

} 

template<typename T> 
class Bar: public Baz 
{ 

} 

template<typename T> 
class Qux: public Baz 
{ 

} 

class Foo 
{ 
    template<typename T> 
    Foo(T typePar , Baz& baz) 
    { 
     // here I would like to assert that Baz is an interface to a class 
     specialized on T 
    } 
} 

、私は今どのように私はでそれを呼び出すことができませんコンパイル時。

Answer 1

あなたは「... BazはTに特化したクラスへのインタフェースであることを主張」したい場合は、私は、あなたがすることができ、「... TはBazのスーパークラスであることを主張」としてこれを解釈する可能性がある場合static_assert以下、このように：

class Foo 
{ 
    template<typename T> 
    Foo(T typePar , Baz& baz) 
    { 
     // assert that T is a base class of Baz 
     static_assert(std::is_base_of<T, Baz>::value, "T is not a base class of Baz."); 
    } 
}; 

このためにも推移から、Bazの任意のサブクラスにも当てはまる（TがBazのスーパークラスである場合、TはBazのすべてのサブクラスのスーパークラスでもあります）。

ただし、関数引数bazで静的に何もアサートできないことに注意してください。関数引数はconst式ではないためです。