执行摘要:不要那样做。

J_random_hacker的答案告诉您如何做到这一点。然而，我也想指出，你不应该这样做。模板的全部意义在于它们可以接受任何兼容的类型，而Java样式类型约束打破了这一点。

Java的类型约束是一个错误，而不是一个特性。它们存在的原因是Java对泛型进行了类型擦除，因此Java无法弄清楚如何仅根据类型参数的值调用方法。

另一方面，c++没有这样的限制。模板形参类型可以是与使用它们的操作兼容的任何类型。不需要有一个公共基类。这类似于Python的“Duck Typing”，但在编译时完成。

一个简单的例子展示了模板的力量:

// Sum a vector of some type.
// Example:
// int total = sum({1,2,3,4,5});
template <typename T>
T sum(const vector<T>& vec) {
    T total = T();
    for (const T& x : vec) {
        total += x;
    }
    return total;
}

这个求和函数可以对支持正确运算的任何类型的向量求和。它既适用于int/long/float/double等原语，也适用于重载+=操作符的用户定义数字类型。你甚至可以使用这个函数来连接字符串，因为它们支持+=。

不需要对基本类型进行装箱/解装箱。

注意，它还使用T()构造T的新实例。这在使用隐式接口的c++中是微不足道的，但在使用类型约束的Java中是不可能的。

虽然c++模板没有显式的类型约束，但它们仍然是类型安全的，并且不会使用不支持正确操作的代码进行编译。

在c++中是否有与此关键字简单等价的东西?

No.

根据你想要实现的目标，可能会有足够的(甚至更好的)替代品。

我已经看了一些STL代码(在linux上，我认为它是从SGI的实现派生出来的)。它有“概念断言”;例如，如果您需要一个能够理解*x和++x的类型，则概念断言将在一个什么都不做的函数(或类似的东西)中包含该代码。它确实需要一些开销，所以把它放在一个定义依赖于#ifdef debug的宏中可能是聪明的。

如果子类关系确实是你想知道的，你可以在构造函数中断言T instanceof list(除非它在c++中“拼写”不同)。这样，你就可以通过测试来避免编译器无法为你检查它。

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

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

我建议使用Boost的静态断言特性与Boost Type Traits库中的is_base_of一致:

template<typename T>
class ObservableList {
    BOOST_STATIC_ASSERT((is_base_of<List, T>::value)); //Yes, the double parentheses are needed, otherwise the comma will be seen as macro argument separator
    ...
};

在其他一些更简单的情况下，你可以简单地前向声明一个全局模板，但只为有效类型定义(显式或部分专门化):

template<typename T> class my_template;     // Declare, but don't define

// int is a valid type
template<> class my_template<int> {
    ...
};

// All pointer types are valid
template<typename T> class my_template<T*> {
    ...
};

// All other types are invalid, and will cause linker error messages.

[Minor EDIT 6/12/2013:使用声明但未定义的模板将导致链接器，而不是编译器，错误消息]

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

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

执行摘要:不要那样做。

J_random_hacker的答案告诉您如何做到这一点。然而，我也想指出，你不应该这样做。模板的全部意义在于它们可以接受任何兼容的类型，而Java样式类型约束打破了这一点。

Java的类型约束是一个错误，而不是一个特性。它们存在的原因是Java对泛型进行了类型擦除，因此Java无法弄清楚如何仅根据类型参数的值调用方法。

另一方面，c++没有这样的限制。模板形参类型可以是与使用它们的操作兼容的任何类型。不需要有一个公共基类。这类似于Python的“Duck Typing”，但在编译时完成。

一个简单的例子展示了模板的力量:

// Sum a vector of some type.
// Example:
// int total = sum({1,2,3,4,5});
template <typename T>
T sum(const vector<T>& vec) {
    T total = T();
    for (const T& x : vec) {
        total += x;
    }
    return total;
}

这个求和函数可以对支持正确运算的任何类型的向量求和。它既适用于int/long/float/double等原语，也适用于重载+=操作符的用户定义数字类型。你甚至可以使用这个函数来连接字符串，因为它们支持+=。

不需要对基本类型进行装箱/解装箱。

注意，它还使用T()构造T的新实例。这在使用隐式接口的c++中是微不足道的，但在使用类型约束的Java中是不可能的。

虽然c++模板没有显式的类型约束，但它们仍然是类型安全的，并且不会使用不支持正确操作的代码进行编译。