TypeScript泛型指定`keyof`时被拒绝？附RXJS相关代码示例

咱们先拆解下你遇到的核心问题：你的代码里存在两处关键的类型不匹配，直接导致了keyof操作时TypeScript泛型校验失败：

1. 定义的IState接口要求key1是number、key2是string，但初始化时传入的void 0（即undefined）和接口类型约束冲突；
2. 虽然给Store标注了IState类型，但由于传入Subject的初始值类型不合法，TypeScript的类型推断会优先认可初始值的类型，导致后续keyof操作的泛型约束失效。

下面给你几个可行的解决方案：

方案1：传入符合接口类型的初始值 #

最直接的方式就是初始化时给属性赋合法的默认值，完全匹配IState的类型要求：

import { Subject } from 'rxjs';

interface IState {
  key1: number;
  key2: string;
}

// 传入符合类型约束的初始值
let Store: Subject<IState> = new Subject<IState>({ 
  key1: 0, // 用合法number默认值
  key2: ""  // 用合法string默认值
});

// 现在使用keyof完全正常
type StateKeys = keyof IState; // 类型为"key1" | "key2"

方案2：将接口属性改为可选（业务允许的情况下） #

如果你的业务场景允许属性暂时为undefined，可以把IState的属性改成可选类型，这样初始值用void 0就合法了：

interface IState {
  key1?: number;
  key2?: string;
}

let Store: Subject<IState> = new Subject<IState>({ 
  key1: void 0,
  key2: void 0,
});

type StateKeys = keyof IState; // 正常得到"key1" | "key2"

方案3：用类型断言强制匹配类型 #

如果必须保留接口的非可选属性，又要暂时用undefined初始化，可以通过类型断言告诉TypeScript你确认这个值符合类型要求：

let Store: Subject<IState> = new Subject<IState>({ 
  key1: void 0 as unknown as number,
  key2: void 0 as unknown as string,
});

type StateKeys = keyof IState; // 泛型约束正常生效

额外提醒：RXJS Subject的正确用法 #

顺便提一句：RXJS的普通Subject构造函数其实不需要传入初始值（只有BehaviorSubject才要求初始值）。如果只是用普通Subject，你可以直接这样写，从根源避免初始值类型问题：

let Store = new Subject<IState>();
// 后续通过Store.next({ key1: 123, key2: "test" })发送值即可

这样后续使用keyof IState也完全正常。

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