控制流程先关注输入覆盖与退出条件。switch 表达式产生值，语句形式组织动作，模式匹配还受类型与空值规则约束。