JavaScript工具库类型声明文件index.d.ts编写详解
编写正确的TypeScript类型声明文件(.d.ts)对于JavaScript工具库至关重要,它能显著提升代码质量和开发体验。本文将详细阐述如何为一个名为singlePromise的函数编写index.d.ts文件。该函数实现单例模式,并根据返回值类型决定是否返回Promise对象。
singlePromise函数的目标是将传入的函数单例化,根据其返回值类型(是否为Promise)调整输出类型。为了在TypeScript中正确定义其类型,我们需要编写如下index.d.ts文件:
interface SingleOptions { cache?: number; } interface SingleFunc<P extends any[], T> { (...args: P): T extends Promise<infer U> ? T : Promise<T>; update(opt?: SingleOptions): void; clear(): void; } export function singlePromise<P extends any[], T>( fn: (...args: P) => T, opt?: SingleOptions ): SingleFunc<P, T>;
代码解释:
-
SingleOptions 接口: 定义了singlePromise函数的可选配置参数,cache属性用于指定缓存策略。
-
SingleFunc 接口: 定义了singlePromise函数返回的函数类型。
- P extends any[]: 泛型P表示传入函数的参数类型,any[]确保可以接受任何类型的参数数组。
- T: 泛型T表示传入函数的返回值类型。
- (...args: P): T extends Promise
? T : Promise ; 这是关键部分,利用条件类型判断T是否为Promise。如果是,则返回T本身;如果不是,则返回Promise 。infer U 用于提取Promise的类型参数,但这里我们并不需要使用它,所以直接使用T即可。
-
singlePromise 函数声明: 清晰地定义了singlePromise函数的参数和返回值类型。 P extends any[], T 确保泛型类型推断正确。
通过这个index.d.ts文件,TypeScript编译器可以准确理解singlePromise函数的类型,从而提供更精准的类型检查和代码提示,提升开发效率和代码可维护性。 此版本相比原文更简洁且更准确地表达了函数的类型。