只接受类型List派生的类型T的等效函数如下所示

template<typename T, 
         typename std::enable_if<std::is_base_of<List, T>::value>::type* = nullptr>
class ObservableList
{
    // ...
};

没有用于此类类型检查的关键字，但你可以放入一些至少会以有序方式失败的代码:

(1)如果你想让一个函数模板只接受某个基类X的参数，将它赋给函数中的X引用。 (2)如果你想接受函数但不接受原语，反之亦然，或者你想用其他方式过滤类，在你的函数中调用一个(空的)模板帮助函数，它只为你想接受的类定义。

你也可以在一个类的成员函数中使用(1)和(2)对整个类强制进行这些类型检查。

你可以把它放到一些智能宏来减轻你的痛苦。：）

这在普通c++中是不可能的，但是你可以在编译时通过概念检查来验证模板参数，例如使用Boost的BCCL。

从c++ 20开始，概念开始成为该语言的官方特性。

据我所知，这在c++中是不可能的。不过，我们计划在新的c++ 0x标准中添加一个称为“概念”的特性，它可以提供您正在寻找的功能。这篇关于c++概念的维基百科文章将更详细地解释它。

我知道这并不能立即解决您的问题，但有一些c++编译器已经开始从新标准中添加特性，因此可能会找到一个已经实现了概念特性的编译器。

class Base
{
    struct FooSecurity{};
};

template<class Type>
class Foo
{
    typename Type::FooSecurity If_You_Are_Reading_This_You_Tried_To_Create_An_Instance_Of_Foo_For_An_Invalid_Type;
};

确保派生类继承了FooSecurity结构，编译器就会在所有正确的地方出错。

只接受类型List派生的类型T的等效函数如下所示

template<typename T, 
         typename std::enable_if<std::is_base_of<List, T>::value>::type* = nullptr>
class ObservableList
{
    // ...
};