Erlang的判断语句以模式匹配为核心，通过`if`、`case`和函数守卫提供灵活的条件控制。必须有至少一个分支为true，否则会抛出异常，因此通常包含`true -> ...`作为默认分支。这类似于将条件嵌入函数头部。`Pattern` 是匹配模式，`when Guard` 是可选的守卫条件。如果没有匹配模式，会抛出异常，因此建议包含`_ -> ...`作为默认分支。`when` 后是守卫条件