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