I would like to determine at compile time if a pointer to Derived can be cast from a pointer to Base without dynamic_cast<>. Is this possible using templates and metaprogramm
Have you tried SUPERSUBCLASS from Loki?
http://loki-lib.sourceforge.net/