C++编译时类型检查

Question

想知道是否有可以分支的模板函数，具体取决于类型是否从特定类派生。这大致是我在想什么：

class IEditable {}; 

class EditableThing : public IEditable {}; 

class NonEditableThing {}; 

template<typename T> 
RegisterEditable(string name) { 
    // If T derives from IEditable, add to a list; otherwise do nothing - possible? 
} 


int main() { 
    RegisterEditable<EditableThing>("EditableThing"); // should add to a list 
    RegisterEditable<NonEditableThing>("NonEditableThing"); // should do nothing 
} 

如果有人有任何想法，让我知道！ :)

编辑：我要补充，我不想实例/构造给定的对象只是为了检查其类型。

Answer 1

下面是std::is_base_of一个实现：

#include <type_traits> 

template <typename T> 
void RegisterEditable(string name) { 
    if (std::is_base_of<IEditable, T>::value) { 
     // add to the list 
    } 
} 

Answer 2

As @Lightness指出，type_traits是答案。

C++ 11已经包括该boost type_trait：http://en.cppreference.com/w/cpp/types/is_base_of