Swift类型推理和类型检查问题

Swift类型推理和类型检查问题