Scala函数参数名为何禁止使用后缀下划线？关键字冲突报错求解

这个问题的核心在于Scala的语法解析规则，尤其是对保留关键字type的特殊处理逻辑。

问题根源 #

你尝试定义的函数：

def foo(type_: Char): Char = type_

之所以报错，是因为type是Scala的保留关键字（用于定义类型别名、类型参数等场景）。当解析器在参数列表中看到type开头的标识符时，它会自动进入处理类型相关语法的状态，而非普通参数名的解析状态——此时它期望看到的是类型定义相关的语法（比如type T），而不是下划线加冒号的参数类型声明，因此抛出了: expected but identifier found的错误。

解决方案 #

有两种可行的解决办法：

1. 用反引号包裹关键字风格的参数名
   Scala允许用反引号将保留关键字（或包含关键字的标识符）转义为普通标识符，这样解析器就会将其当作普通参数名处理：

   def foo(`type_`: Char): Char = `type_`
   // 甚至可以直接用`type`作为参数名
   def bar(`type`: Char): Char = `type`
   

2. 换一个不含关键字的参数名
   最简单的方式是避开关键字，比如用Scala社区常用的tpe作为替代，或者用charType这类表意更清晰的名字：

   def foo(tpe: Char): Char = tpe
   def foo(charType: Char): Char = charType
   

补充说明 #

其他一些保留关键字（比如var、class）加下划线后可以正常作为参数名，是因为它们在参数列表的解析语境中没有特殊的语法冲突——而type因为常和类型声明绑定，解析器对它的上下文敏感度更高，所以会触发这个特殊的错误。

内容的提问来源于stack exchange，提问作者fantom