scala - "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 检查此类内容。编译器的选项。这也不足为奇，这有效，因为它只是一个未使用的类型参数。