关于Scala泛型的简单问题

发布时间：2020-12-16 18:07:23 所属栏目：安全来源：网络整理

导读：X [Any]和X [_]有什么区别？例如,让我们考虑以下两个函数： def foo(x:X[_]){} def foo(x:X[Any]){} 上面这些声明之间究竟有什么区别？解决方法第一种是存在型,第二种是普通型.第一种语法实际上意味着： def foo(x:X[t] forSome { type t }){} 这意味着x

X [Any]和X [_]有什么区别？

例如,让我们考虑以下两个函数：

def foo(x:X[_]){}

def foo(x:X[Any]){}

上面这些声明之间究竟有什么区别？

解决方法

第一种是存在型,第二种是普通型.第一种语法实际上意味着：

def foo(x:X[t] forSome { type t }){}

这意味着x是X [t]类型,其中t可以是任何未指定类型t.

直观地说,X [_]表示X的类型参数是无关紧要的,而X [Any]表示它必须是Any.

（编辑：李大同）

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