Использование reinterpret_cast для проверки наследования во время компиляции

Question

Что касается этого вопроса: When to use reinterpret_cast?

Я нашел н. как это:

template<typename T> bool addModuleFactoryToViewingFactory(ViewingPackage::ViewingFactory* pViewingFactory) 
{ 
static_cast<ModuleFactory*>(reinterpret_cast<T*>(0)); // Inheritance compile time check 

    ... 
} 

Это хороший способ проверить, может ли T быть отлиты в ModuleFactory во время компиляции?
Я имею в виду, чтобы проверить, помещает ли программист действительный материал в <> из addModuleFactoryToViewingFactory<T>(...)
Это хорошо, хорошо или, может быть, единственный способ?

Приветствия

Answer 1

Вы пытаетесь решить проблему, которая не нужно решать. Начиная с C++ 11, у нас есть Type Traits, которые позволяют нам точно проверять такие вещи в шаблоне Metaprogramming.

Например, is_base_of

http://en.cppreference.com/w/cpp/types/is_base_of