8.2.3 严格类型检查