Restrict C++ Template Parameter to Subclass

Question

How can I force a template parameter T to be a subclass of a specific class Baseclass? Something like this:

template <class T : Baseclass> void function(){     T *object = new T();  } 

Answer 1

With a C++11 compliant compiler, you can do something like this:

template<class Derived> class MyClass {      MyClass() {         // Compile-time sanity check         static_assert(std::is_base_of<BaseClass, Derived>::value, "Derived not derived from BaseClass");          // Do other construction related stuff...         ...    } } 

I've tested this out using the gcc 4.8.1 compiler inside a CYGWIN environment - so it should work in *nix environments as well.