如何在生成器函数的每次yield中使用推断泛型？

你的代码报错是因为MyGenerator是带泛型参数的类型，但使用时未传入泛型参数，更关键的是单一泛型的定义无法适配多步yield的不同类型需求。要实现你想要的类型推断效果，有以下两种方案：

方案1：让TypeScript自动推断类型（推荐） #

直接去掉test变量的显式类型注解，TypeScript会自动根据生成器内部的yield语句推断每一步的变量类型：

const test = function* () {
    // 自动推断为Response类型
    const response = yield fetch("/");
    // 自动推断为string类型
    const text = yield response.text();
};

这种方式既简洁，又能完全满足你注释里的类型推断需求，无需手动维护泛型类型。

方案2：定义适配多步生成器的泛型类型（复杂场景可选） #

如果因特殊场景需要显式定义生成器类型，需要放弃单一泛型的设计——多步生成器的yield输出和next输入类型是动态变化的。可以利用TypeScript的递归类型或可变泛型定义，但复杂度较高，不如自动推断实用。针对你的示例，手动指定类型的演示如下：

type AsyncGeneratorStep<Y, N> = Generator<Promise<Y>, void, N>;

// 仅作演示，不推荐手动维护该类型
const test: AsyncGeneratorStep<Response, Response> & AsyncGeneratorStep<string, string> = function* () {
    const response = yield fetch("/");
    const text = yield response.text();
};

但这种方式需要手动枚举每一步的类型，失去了自动推断的便利性，仅适合特殊约束场景。

内容的提问来源于stack exchange，提问作者hf02