3.5.2 模式检查和类型强制转换