如何通过TypeScript泛型推断实现示例进行详细解析?