问亚型有什么问题？

EN

我经常听说，subtyping破坏了一些重要而有用的特性:许多由纯编程语言开发的优秀创新，由于子类型的存在，无法应用到Java或C++中。他们说，因为这个原因，Rust语言避免了子类型。

这样的说法正确吗？

有哪些很酷的东西不能应用到带有子类型的语言中？

是否有任何提供子类型的语言被完全诅咒，并且与许多酷特性不兼容？还是只有使用子类型的代码片段是不兼容的？

你能解释一下这对来自C++的人意味着什么吗？

我寻找解释，发现：

• 堆栈上的为什么要避免子类型溢出，但最上面的答案使用了一些概念和一种我无法理解的语言。
• 为什么有一个继承和子类型的机制是不好的呢？。他们解释了为什么只有一个接口继承+实现继承的机制是不好的。而不是为什么亚型本身是不好的。
• 子类、子类和OOP的问题。他们误用继承的例子IMHO: CSet应该由CBag组成，而不是继承它。但我认为，在其他任务中正确地使用Subtyping/Subclassing是可能的。