如何将固定类型值分配给部分通用约束类型？

Question

我有一个基本接口，用于处理可能有 Id 的事物：

interface Identifiable {
    id?: number;
}

我有一个通用函数，可以将记录对象转换为具有 id 的事物：

function fromRowToObj1<T extends Identifiable>(row: { id: number; }): Partial<T> {
    return { id: row.id };
    // Type '{ id: number; }' is not assignable to type 'Partial<T>'.
}

我知道发生这种情况是因为有 Ts 扩展了 Identifiable，这会使 return 语句非法。例如，{ id: undefined } 或 { id: 1 } 类型。所以我决定稍微调整返回类型以强制使用数字 id：

type Identified<T extends Identifiable> = {
    [K in keyof T]?: K extends "id" ? number : T[K];
}
// Should give something like type C = { id?: number | undefined; ... }

function fromRowToObj2<T extends Identifiable>(row: { id: number; }): Identified<T> {
    return { id: row.id };
    // Type '{ id: number; }' is not assignable to type 'Identified<T>'.
}

为什么？哪个可能的T（例如T extends Identifiable）使得{ id: number } 不能分配给Identified<T>？

如果无法调整Identified 类型以使其工作，是否有另一种方法可以键入转换函数以使用Identifiable 的泛型子类型？

Link to playground.

Answer 1

您所面临的问题已在here 进行了详尽的描述。正如您注意到的那样，T extends Identifiable 的子类型会使您的返回值 { id: row.id } 无效。例如Identified<{id?: never}> 永远不会对{ id: row.id } 有效。 Never 仍然是 id 的有效类型，因为您将 Identified 的所有键声明为可选。如果T extends Identifiable，Identified<T> 实际上等于Partial<T>。 Typescript 在这里正确地抛出了一个错误。不过，如果您设置有效的默认值，您仍然可以解决这个问题（playground）：

interface Identifiable {
    id?: number;
}

// results in optional id
function fromRowToObj1<T extends Identifiable>(row: { id: number; }) {
    const result: Partial<T> = {} // valid for all subtypes of Partial<T>
    result.id = row.id
    return result;
}

// results in non optional id
function fromRowToObj2<T extends Identifiable>(row: { id: number; } ) {
    const partial: Partial<T> = {}; // valid for all subtypes of Partial<T>
    const result = {
        ...partial,
        id: row.id
    };
    return result;
}

interface TestObject {
    id: number,
    arg1: string;
    arg2: boolean;
}

const result1 = fromRowToObj1<TestObject>({id: 5});
result1.id // optional
result1.arg1 = "test" // intellisense works
result1.arg2 = true; // intellisense works

const result2 = fromRowToObj2<TestObject>({id: 5});
result2.id // not optional
result2.arg1 = "test" // intellisense works
result2.arg2 = true; // intellisense works