scala – “def someFun [_](a：Int)= a”,没有警告也没有错误.

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

导读：出于好奇,我试图运行以下内容： def someFun[_](a:Int) = a 令我惊讶的是,没有发出任何错误或警告并且它按照您期望的方式运行(我认为这很好)但是编译器不理解类型参数的冗余是正常的,或者它可能意味着使它成为可能(语义上？)与此不同： def someFun(a:Int) =

出于好奇,我试图运行以下内容：

def someFun[_](a:Int) = a

令我惊讶的是,没有发出任何错误或警告并且它按照您期望的方式运行(我认为这很好)但是编译器不理解类型参数的冗余是正常的,或者它可能意味着使它成为可能(语义上？)与此不同：

def someFun(a:Int) = a

解决方法

编译器生成：

def someFun(a: Int): Int = a;

但这不是因为编译器知道这是未使用的,而是因为类型擦除.您可以使用编译器的-print选项来检查这样的事情.这也不足为奇,因为它只是一个未使用的类型参数.

（编辑：李大同）

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