Option буквальных против переменной Option

Question

может кто-нибудь объяснить поведение этого фрагмента:

def test = { 
    val xt: Option[String] = Some("1") 
    val xx: String = "2" 
    xt match { 
    case Some(xx) => println("match") 
    case _ => println("no match") 
    } 
    xt match { 
    case Some("2") => println("match") 
    case _ => println("no match") 
    } 
} 

Результат является

match 
noMatch 

Почему есть разница, когда я изменить Вэла против строкового литерала?

Answer 1

Выражение case Some(xx) не соответствует по отношению к значению xx, который находится в области видимости, а, скорее, соответствует ничего и связывает этот результат к новой переменной под названием xx, затенения внешнее определение.

Если вы хотите, чтобы соответствовать против существующей переменной, либо использовать обратные кавычки:

def test = { 
    val xt: Option[String] = Some("1") 
    val xx: String = "2" 
    xt match { 
    case Some(`xx`) => println("match") 
    case _ => println("no match") 
    } 
    xt match { 
    case Some("2") => println("match") 
    case _ => println("no match") 
    } 
} 

или переименовывать переменную, чтобы начать с прописной буквы:

def test = { 
    val xt: Option[String] = Some("1") 
    val Xx: String = "2" 
    xt match { 
    case Some(Xx) => println("match") 
    case _ => println("no match") 
    } 
    xt match { 
    case Some("2") => println("match") 
    case _ => println("no match") 
    } 
} 

редактировать: Это называется как Stable Identifier Pattern, определенный в §8.1.5 в спецификации языка Scala