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

No.

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

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

如果子类关系确实是你想知道的，你可以在构造函数中断言T instanceof list(除非它在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结构，编译器就会在所有正确的地方出错。

我认为之前所有的答案都是只见树木不见森林。

Java泛型与模板不同;它们使用类型擦除，这是一种动态技术，而不是编译时多态性，这是一种静态技术。这两种截然不同的策略不能很好地融合在一起的原因应该是显而易见的。

与其尝试使用编译时构造来模拟运行时构造，不如让我们看看extends实际上做了什么:根据Stack Overflow和Wikipedia, extends用于指示子类化。

c++也支持子类化。

还显示了一个容器类，它以泛型的形式使用类型擦除，并扩展以执行类型检查。在c++中，您必须自己执行类型擦除机制，这很简单:创建一个指向超类的指针。

让我们把它包装成一个类型定义，让它更容易使用，而不是一个完整的类，等等:

Typedef std::list<superclass*> subclasses_of_superclass_only_list;

例如:

class Shape { };
class Triangle : public Shape { };

typedef std::list<Shape*> only_shapes_list;
only_shapes_list shapes;

shapes.push_back(new Triangle()); // Works, triangle is kind of shape
shapes.push_back(new int(30)); // Error, int's are not shapes

现在，List似乎是一个接口，表示一种集合。c++中的接口只是一个抽象类，也就是说，一个只实现纯虚方法的类。使用这种方法，您可以轻松地在c++中实现java示例，而不需要任何概念或模板专门化。由于虚拟表查找，它的执行速度也会像Java样式的泛型一样慢，但这通常是可以接受的损失。

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

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

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

No.

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

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

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

执行摘要:不要那样做。

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