将 C++ 模板参数限制为子类

如何强制模板参数T成为特定类的子类Baseclass？ 像这样的东西：

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

}

使用 C++11 兼容的编译器，您可以执行以下操作：

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...
        ...
   }
}

我已经在 CYGWIN 环境中使用 gcc 4.8.1 编译器对此进行了测试 - 所以它也应该在 *nix 环境中工作。