12.2 严格的类型匹配