标签: 类型推导