TypeScript中如何在接口函数内访问泛型D并正确实现接口？

你遇到的核心问题是实现接口泛型方法时未明确参数类型，同时需要确保泛型D的约束生效。以下是正确的实现方案：

首先，接口定义中foo方法的参数类型为pipeline?: Document[] | undefined，实现时必须显式标注该类型——否则TypeScript会将参数推断为any，导致不符合接口约束。同时保留泛型D的extends Document约束，就能在函数内部正常访问D类型。

正确实现代码 #

export interface MyInterface<T extends Document> {
    foo<D extends Document>(pipeline?: Document[] | undefined): Promise<D[]>;
}

export function makeMyObject<T extends Document>(): MyInterface<T> {
    return {
        // 显式标注参数类型，保留泛型D的约束
        async foo<D extends Document>(pipeline?: Document[]): Promise<D[]> {
            console.log(pipeline);
            // 示例中创建空数组，若需生成实际D类型实例，需结合构造函数或类型断言
            const d: D[] = [];
            return Promise.resolve(d);
        }
    };
}

补充说明 #

如果需要在foo函数内实际创建D类型的实例（而非空数组），直接断言D[]不够严谨，建议让调用方传入D的构造函数，示例如下：

async foo<D extends Document>(pipeline?: Document[], ctor?: new () => D): Promise<D[]> {
    console.log(pipeline);
    const d: D[] = [];
    if (ctor) {
        d.push(new ctor());
    }
    return Promise.resolve(d);
}

这样既能安全生成符合D类型的实例，也完全匹配接口定义。

内容的提问来源于stack exchange，提问作者asant-leitha