强制 TypeScript 接口包含特定密钥是否可行？

Question

假设我有一个从类似这样的东西推断出来的类型：

const foo = { a: 1, b: 2 };
type FooType = typeof foo;

是否可以使用该类型的密钥来强制执行接口中的密钥？ 例如，我希望它通过 TypeScript 编译器：

interface OkInterface {
  a: string; // the type should not matter
  b: string;
}

但这不应该：

interface NotOkInterface {
  a: string;
  c: string; // b is missing and an extra key 'c' is present
}

我在想这样的事情：

interface FooKeys implements {[key: keyof FooType]: any} {
  ...
}

Answer 1

类型更灵活，是处理用例的唯一方法：

const foo = { a: 1, b: 2 }
type FooType = typeof foo

type EnforceFooInterface<T extends Record<keyof FooType, any>> = T

type OkInterface = EnforceFooInterface<{
  a: string // the type should not matter
  b: string
}>

type NotOkInterface = EnforceFooInterface<{
  a: string
  c: string // b is missing and an extra key 'c' is present
}>