TypeScript泛型推断示例如何具体实现?