匹配守卫 Match guard

case模式成功后、选择其分支前才会求值的条件。