类模板接口的静态断言

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什么，因为函数的参数不能是常量表达式。