Java cova真军片明_Java与Smalltalk - 协方差和逆变 (Java vs Smalltalk - covarince and contravariance)...

最新推荐文章于 2023-04-05 07:00:00 发布

六级苦工

最新推荐文章于 2023-04-05 07:00:00 发布

阅读量252

点赞数

文章标签： Java cova真军片明

本文链接：https://blog.csdn.net/weixin_33277243/article/details/114956947

版权

Covariance and contravariance are concepts that relate to declared types of arguments and return values. For example, method arguments are contravariant if the types of the arguments in subclass methods can specify a more general type than the types in the superclass.

Smalltalk has no static type declarations. You can apply the concepts of covariance and contravariance but since the language allows you to send any message to any object, it won't enforce any rules that covariance and contravariance may entail.

So, yes, Smalltalk supports covariance and contravariance in the sense that it allows you to use those concepts and no in the sense that it just doesn't care one way or the other.