匹配守卫 Match guard

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