c++ - 相当于 C++ 中的 ``

Question

在 Java 中，您可以通过 <T extends MyClass> void myMethod(T item) 定义一个泛型类型，它应该从另一个中插入。
cpp中是否有等价物？我试过template<class T : Draw_Shape> class MyClass ，但不工作。

Answer 1

阅读以下内容时，请注意我是不是 一个Java程序员。我对 Java 的了解几乎完全是抽象的，而且可能已经过时了。因此，如果 Java 在最后一两个版本中实现了泛型的具体化，我不知道。

所以 Java 泛型和 C++ 模板共享一些共同的语法和用途，但它们在底层是非常不同的东西。
Java 泛型是围绕单个核心类型自动编写的强制转换和编译时类型检查的包装器。
另一方面，C++ 模板为每组模板参数生成新的不相关类型。extends MyClass Java 中的语法有两件事。首先，它允许泛型的“核心”类型知道 T不仅仅是一个对象，实际上是某个接口(interface)的子类。这是“核心”类型安全使用方法所必需的(没有运行时可能失败的动态转换)。
在 C++ 中，这不会发生，因为模板实例化没有生成“核心”类型。每个模板实例化都是独立编译的，因此知道操作是否有效。
它所做的第二件事是，当错误的类型被传递给泛型时，它会给出类型错误。它所做的第三件事是它允许 Java 在实例化之前检查通用代码的有效性。
其次，C++ 可以使用概念(如果您的编译器足够新)或使用称为 SFINAE 的技术，该技术同样强大，但在语法上很糟糕，老实说，它解决这个问题的能力是语言开发的一个意外(它是偶然的图灵完全的)。
第三，在 C++ 中检查模板，它已被多次提出，但一直遇到编译时性能问题。因此，除了实例化模板之外，在 C++ 中没有办法做到这一点。
解决方案:
什么都不做:
不，认真的。拥抱鸭子类型，不要限制模板参数。唯一的大缺点是丑陋的错误消息，很少“同名操作有不同的含义”。
static_assert :

template<class T> class MyClass{
  static_assert(std::is_base_of_v<Draw_Shape,T>);
};

这会生成干净的错误消息。其他代码无法测试 MyClass<X> 存在一些缺点。是没有硬编译器错误的有效实例化。
SFINAE:

template<class T,
  std::enable_if_t<std::is_base_of_v<Draw_Shape,T>, bool> =true
>
class MyClass{
};

请注意 =true 不是 将测试与值 true 进行比较.不是 ==true .这里发生的事情非常复杂和烦人。为此目的使用 SFINAE 是一种 hack，这只是一种猴子看猴子做的方法来使其干净。
概念:

template<class T> requires std::is_base_of_v<Draw_Shape,T>
class MyClass{
};

或者

template<std::is_derived_from<Draw_Shape> T>
class MyClass{
};

请注意，概念需要现代 C++ 编译器和标准库。