泛型 – 可以将“forSome”的所有用法替换为“_”的等效用法？

发布时间：2020-12-16 09:13:34 所属栏目：安全来源：网络整理

导读：例如,List [T] forSome {type T}等价于List [_],但是对于forSome的每个可能的用法都是这样,或者有些情况下,forSome不能被第二个语法的等效替换？解决方法不,并不是所有的用法都可以这样转化.这样的事情(感谢下面的代码,谁应该在这一个上获得upvote) def fo

例如,List [T] forSome {type T}等价于List [_],但是对于forSome的每个可能的用法都是这样,或者有些情况下,forSome不能被第二个语法的等效替换？

解决方法

不,并不是所有的用法都可以这样转化.这样的事情(感谢下面的代码,谁应该在这一个上获得upvote)

def foo(xs: Map[T,T] forSome { type T})

这里的一点是,我可以在多个地方使用存在,但它是一样的存在.显然,如果你使用通配符,你会指的是不同的存在

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!