"def someFun [_](a:Int)= a",没有警告也没有错误.正常？

Question

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

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

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

def someFun(a:Int) = a

Answer 1

编译器生成:

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

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