scala'match'編譯規則的誤解

Question

我必須對Scala'match'語義或編譯器邏輯有一些基本的誤解。此代碼：

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個'case'語句中的「Unreachable Code」錯誤？如果不是用名稱來代替它編譯的實際值（0，Int.MaxValue，Int.MinValue），但是現在我已經使用硬編碼的值來引用它們的名稱（出於所有常見原因）。由於'val'永遠不會改變，所以第一個版本不應該起作用嗎？

Answer 1

有一個微妙而重要的特性：如果case規則中的標識符以小寫字母開頭，則它們始終被視爲變量。因此，第一個case總是匹配（將stage存儲到變量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) 
} 

然後，他們將不會被視爲變量，但爲常數對模式匹配。

也this answer見Naming convention for Scala constants?

Answer 2

的問題是，當你使用以小寫字符開頭的變量，模式匹配認爲你正試圖分配該變量。所以，你得到此行爲：

val stageStart = 0 
val stage = 5 
def stageString(stage: Int) = stage match { 
    case stageStart => println(startStage) // prints "5" 
} 

當然，這僅僅是一個分配的變量將匹配任何一個模式，所以任何後續case將無法​​訪問。

要解決這個問題，您需要使用「穩定標識符」。這可以通過將小寫變量反引號來完成：

val stageStart = 0 
def stageString(stage: Int) = stage match { 
    case `stageStart` => "Start" 
} 

或重命名變量，以便它以大寫字母開頭：

val StageStart = 0 
def stageString(stage: Int) = stage match { 
    case StageStart => "Start" 
} 

另外：String.valueOf(stage)應改寫爲stage.toString。