`keyof` 使用泛型时报编译错误

Question

首先我有一个类型定义，使用keyof将所有属性映射到数字

type Numeric<T> = {
    [K in keyof T]: number
}

下面是我将使用的一个类。

class Entity {
    aNumber: number;
}

下面是一个接受泛型类型参数和类型为Numberic<T> 的局部变量的函数。但是当我分配{ aNumber: 1 } 时，它给出了编译错误。

const fn = <T extends Entity>() => {
    const n: Numeric<T> = {
//        ^
//        Type '{ aNumber: number; }' is not 
//        assignable to type 'Numeric<T>'
        aNumber: 1
    };
};

我不知道为什么不能将{ aNumber: number; } 分配给Numeric<T>，因为类型参数T 必须从Entity 扩展而来，并且它必须包含一个名为aNumber 的键。这意味着aNumber 必须是类型 T 的键并且应该能够分配给Numeric<T>。

Answer 1

错误信息具有误导性。但是有一个错误，这就是 TypeScript 正在捕获的。确实Entity没有错：

type Numeric<T> = {
    [K in keyof T]: number
}
interface Entity {
    aNumber: number
}

// No error
const n: Numeric<Entity> = {
    aNumber: 1
};

但是，当您说 T extends Entity 时，它会为非数字值打开它，例如

type Numeric<T> = {
    [K in keyof T]: number
}
interface Entity {
    aNumber: number
}

// No error
const n: Numeric<Entity> = {
    aNumber: 1
};

interface X extends Entity {
    notANumber: string
}
// Error. Thank you TypeScript
const o: Numeric<X> = {
    aNumber: 1
};

因此，当您在 Numeric 中使用 T extends Entity 时会出现错误。

Answer 2

<T extends Entity> 施加的约束应被视为T 应满足的最低要求。这意味着“T 至少应该包含aNumber: number 对”。

让我们看看const n: T。这意味着“n 至少应该包含T 中的任何键值对”。

现在我们知道，T 有一对 aNumber: number，但请记住，这只是最低要求。 T 也可能是 { aNumber: number; aString: string }。这就是为什么这也会给你错误。

// if you understand this:
const n: { aNumber: number; aString: string } = { aNumber: 42 }  // error, of course
// you see why this is an error:
const n: T = { aNumber: 42 }  // also error

你永远无法知道T 到底是什么。 keyof T 很好，因为我们至少知道 T 的密钥之一。

const k: keyof T = "aNumber"

---

为了证明我的观点，让我们回顾一个非通用案例。以@basarat 的代码为例，这里X 不是流派。

type Numeric<T> = {
    [K in keyof T]: number
}

type OptionalNumeric<T> = {
    [K in keyof T]?: number
}

interface Entity {
    aNumber: number
}

interface X extends Entity {
    notANumber: string
}

// Error, because `notANumber` is missing
const o: Numeric<X> = { aNumber: 1 };
// Correct
const o1: Numeric<X> = { aNumber: 1, notANumber: 2 };
// Also correct, because all keys are optional.
const o2: OptionalNumeric<X> = { aNumber: 1 };

---

旁注。以上应该解释你的情况。但是，我确实认为 TS 中存在错误。

我认为如果您在原始情况下使用OptionalNumeric，您想要的应该可以工作。但事实证明并非如此。涉及泛型类型参数时应该是缺陷。