对scala’match’编译规则的误解

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

导读：我必须对 Scala‘匹配’语义或编译器逻辑有一些基本的误解.这段代码： val stageStart:Int = 0val stageShutDown:Int = Int.MaxValueval stageErrorReport:Int = Int.MinValuedef stageString(stage:Int):String = stage match { case stageStart = "Start"

我必须对 Scala‘匹配’语义或编译器逻辑有一些基本的误解.这段代码：

val stageStart:Int = 0
val stageShutDown:Int = Int.MaxValue
val stageErrorReport:Int = Int.MinValue

def stageString(stage:Int):String = stage match {
  case stageStart       => "Start"
  case stageShutDown    => "End"
  case stageErrorReport => "Error"
  case _                => "Step " + String.valueOf(stage)
}

导致最后3’案例’陈述中出现“无法访问的代码”错误？如果你用实际值(0,Int.MaxValue,Int.MinValue)代替名称而不是它编译 – 但现在我已经硬编码了应该由它们的名称引用的值(出于所有通常的原因).既然’val’永远不会改变,那么第一个版本也不应该有效吗？

解决方法

有一个微妙但重要的特性：如果案例规则中的标识符以小写字母开头,则它们始终被视为变量.因此,第一种情况始终匹配(将阶段存储到变量stageStart),其余3则无法访问.您需要使用大写字母定义常量

val StageStart:Int = 0
val StageShutDown:Int = Int.MaxValue
val StageErrorReport:Int = Int.MinValue

def stageString(stage:Int):String = stage match {
  case StageStart       => "Start"
  case StageShutDown    => "End"
  case StageErrorReport => "Error"
  case _                => "Step " + String.valueOf(stage)
}

然后它们不会被视为变量,而是作为模式匹配的常量.

有关Naming convention for Scala constants?,请参见this answer

（编辑：李大同）

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