模板类型检查C++

Question

我有一个模板函数接受对象。我需要确定对象是否来自特定的基类。如果它是从基类派生的，我需要调用附加函数。无论如何，我可以在C++ Linux中做到这一点？

class baseA{ 
}; 

class derivedA:baseA{ 

}; 

class testB{ 
}; 

template<typename T> 
void functionA(const T& value){ 

//if T is derived from baseA, call an additional function 

//perform common operations for derivedA and testB... 

} 

为了澄清，附加函数是derivedA中的成员函数，但testB中没有。

Answer 1

不知道你想要做的额外工作的确切性质，可能有两种方法可以实现这一点。选择1： 说你想调用的函数是foo（）。你可以在baseA和testB上实现foo（）。 baseA :: foo（）可以为你提供额外的工作，而testB：foo（）将不会做任何事情。但是如果foo（）不属于这两个类中的任何一个，这种风格就没有意义了。

可选2： 专营泛函的baseA（或可选TESTB以及）

void function_specialized(baseA* param) 
{ 
    // Do your extra work 

    // Then call the common functionA 
    functionA<baseA>(*param); 
} 

template<typename T> 
functionA(const T& value) 
{ 
    //... 
} 

Answer 2

您可以使用运行时类型识别（RTTI）用于这一目的。示例如下：

class A{ 
public: 
virtual void func(){cout << "Base" << endl;} 
virtual ~A(){} 
}; 

class B:public A{ 
public: 
void func(){cout << "Derived" << endl;} 
}; 

int main(){ 
A * d1 = new B(); 
B * d2; 

d1 -> func() ; 

d2 = dynamic_cast<B*>(d1); 

if(d2 != NULL) 
     cout << "Base exists" << endl; 
else 
     cout << "No relation" << endl; 

return 0; 
} 

Answer 3

你可以做模板特殊化，这将是完全静态的：

template <typename T> 
void function(const T& value) 
{ 
    common_task(); 
} 

template <> 
void function<A>(const A& value) 
{ 
    common_task(); 
    // special A tasks 
} 

Answer 4

一个真正的模板特会更好:)

class A { 
public: 
    char c; 
}; 

template <typename T> void foo(const T & t) 
{ 
    std::cout << "this is generic."; 
} 

template <> void foo(const A & a) 
{ 
    std::cout << "this is specialized."; 
} 

int main(int argc, char * argv[]) 
{ 
    foo(A()); 

    foo(int()); 
} 

Answer 5

Boost.TypeTraits boost :: is_base_of

const bool is = boost::is_base_of<Base,Derived>::value; 

How does `is_base_of` work?

Answer 6

混合模板和继承有点困难。

麻烦：

template <typename T> 
void function(T const& t); 

void function(A const& a); 

如果使用struct B: A {}:，然后模板版本是首选，因为不需要转换，因此，它是一个“更好”的比赛。

如果您有权访问模板版本的定义，则可以使用is_base_of和disable_if的组合。

template <typename T> 
typename boost::disable_if< boost::is_base_of<A, T> >::type function(T const& t); 

这种简单的修改利用SFINAE，基本上它生成试图实例function从A和C++标准派生的任何类时的错误指定如果功能可以不被实例化，然后它要被去除来自所考虑的一组重载而不触发编译器错误。

如果您无法访问function的模板定义，那么您运气不好。