Typescript 输入具有相同键但值类型不同的对象

解决错误的最低更改如下:

type ArrayItem<A extends unknown[]> = A[number];

class BaseConsumer<T extends Source> {
    public readonly action: Collection<ArrayItem<T['action']>>;
    public readonly device: Collection<ArrayItem<T['device']>>;

    public constructor(language: Language) {
        const data = this.getData(language);
        this.action = new Collection<ArrayItem<T['action']>>(data.action);
        this.device = new Collection<ArrayItem<T['device']>>(data.device);
    }

    protected getData(language: Language): T { return null! }
}

我已经将ArrayItem从您的conditional type更改为更简单的indexed access type. 类型Array<X>的数组具有类型{[k: number]: X}的数字index signature，因为TypScript将数组建模为在数字键处具有元素. 因此，如果您有一个string[]并使用数字键对其进行索引，您将得到一个string. 您的条件类型是conceptually相同，但对于编译器来说，通用条件类型比通用索引访问类型更难推理.

我还手动将通用类型参数指定为Collection作为相应的通用类型.如果您不这样做，那么编译器会try infer该类型，最终将data从T扩展到constraint Source，并且不再知道union对应于this.action和this.device的类型.TypScript将通用值扩展到其约束是一个常见的trap ，避免这种情况的一种方法是手动为函数指定通用类型参数.

这一切都很好，但你得不到BaseConsumer个中所需的通用行为. 由于构造函数参数是非通用的Language，因此您从中得到了无用的BaseConsumer<Source>:

const pl = new BaseConsumer(Language.PL)
//const pl: BaseConsumer<Source>
pl.device
// ^? (property) BaseConsumer<Source>.device: Collection<string | NounForms>

这不是你想要的. pl.device的类型应该是Collection<NounForms>吧？ 所以我们需要一种不同的方法.

为了使其发挥作用，我们应该在language 构造函数参数的类型L中设置BaseConsumer<L> generic，然后使用映射类型将这些语言名称连接到相应的action和device数据类型，而没有任何数组妨碍. 也就是说，我们可以使用像这样的映射

interface LanguageSourceMap {
    en: {
        action: string,
        device: string,
    },
    pl: {
        action: string,
        device: NounForms,
    }
}

然后，例如，LanguageSourceMap[L]['action']是语言L的action数据类型(使用indexed access types深入挖掘到LanguageSourceMap的键和子键).

一旦我们有了它，我们就可以将BaseConsumer写为:

class BaseConsumer<L extends Language> {
    public readonly action: Collection<LanguageSourceMap[L]['action']>;
    public readonly device: Collection<LanguageSourceMap[L]['device']>;

    public constructor(language: L) {
        const data = this.getData(language);
        this.action = new Collection(data.action);
        this.device = new Collection(data.device);
    }

    protected getData(language: Language):
        { [K in keyof LanguageSourceMap[L]]:
            LanguageSourceMap[L][K][] } { return null! }
}

它工作得很好，因为现在getData()返回mapped type而不是LanguageSourceMap[L]，并且用action或device索引到that会准确给出我们对this.action和this.device的索引访问类型. 编译器在L extends Language和K extends keyof LanguageSourceMap[K]处得出关于LanguageSourceMap[L][K][]的结论比在T extends Source处得出关于LanguageSourceMap[L][K][]的结论要高兴得多. 映射类型和索引访问类型比联合类型和条件类型更容易让编译器推理.请参阅microsoft/TypeScript#47L extends Language了解这种方法的基础，其中我们从LanguageSourceMap等基本映射类型开始，并通过该类型和该类型上的映射类型的通用索引来表达事物.

让我们确保new BaseConsumer人按照我们想要的方式行事:

const pl = new BaseConsumer(Language.PL)
// const pl: BaseConsumer<Language.PL>
pl.device
// ^? (property) BaseConsumer<Language.PL>.device: Collection<NounForms>

看起来不错

我们快完成了.唯一的问题是，当您已经拥有SourceEn和SourcePl类型时，我们不想手动写出LanguageSourceMap. 所以让我们重写LanguageSourceMap，以便它显式地消耗这些:

type ToBaseSource<T extends Record<keyof T, any[]>> =
    { [K in keyof T]: T[K][number] };

interface LanguageSourceMap {
    [Language.EN]: ToBaseSource<SourceEn>;
    [Language.PL]: ToBaseSource<SourcePl>;
}

这里，ToBaseSource<T>接受任何属性都是数组的T(它使用一个循环约束，T extends Record<keyof T, any[]>.像X extends Record<keyof X, Y>这样的约束对于约束属性的值类型而不关心键类型是有用的)，并且对于每个数组属性T[K]，它使用number索引访问来获取数组元素类型.这与简化的ArrayItem映射到t的属性上相同.

现在我们完成了.这里的LanguageSourceMap相当于上面写的手册.

请注意，如果你用started和LanguageSourceMap和computed、SourceEn和SourePl来计算，所有这些都会更简单.但事实并非如此，显然你无法控制这些类型.所以这是我能建议的最好的.

Playground link to code