Соответствие шаблону Nil с альтернативой

Question

Я ожидаю, что этот код напечатает «a», но печатает «b». Зачем ?

Nil match { 
    case Nil | _ if 1 > 1 => println("a") 
    case x => println("b") 
} 

Но этот код печатает «а», как и ожидалось

Nil match { 
    case Nil => println("a") 
    case x => println("b") 
} 

Answer 1

| является частью выражения совпадает со значением, и if это совершенно отдельная вещь. Я подозреваю, что вы интерпретируете эту строку как case (Nil) | (_ if 1 > 1), но на самом деле это больше похоже на case (Nil | _) if 1 > 1.

Таким образом, часть if 1 > 1 проверяется, если согласованное значение равно Nil или что-либо (_), в результате чего этот случай никогда не будет согласован.