TypeScript中为对象添加已知类型属性时如何保留类型信息？

问题根源 #

你当前的FoobarType通过继承FoobarEntries定义，而FoobarEntries的字符串索引签名会覆盖显式声明的foo、bar属性类型——TypeScript会认为所有字符串键的属性都属于EntryType | AnotherEntryType | any，导致访问foobar.foo时无法保留MyFooType的精确类型。同时直接给foobar赋值{}会因缺少必填属性报错，初始化逻辑的类型约束也没生效。

解决方案 #

方案一：用交叉类型替代接口继承，保留精确类型 #

将FoobarType改为交叉类型，既保留显式属性的精确类型，又允许其他符合FoobarEntries的任意属性：

type MyFooType = string[];
type MyBarType = (sound: string) => () => string;
type EntryType = () => (sound: string) => string;
type AnotherEntryType = Record<string, string>;

const foo: MyFooType = ['foos'];
const bar: MyBarType = (bleep: string) => () => bleep;

interface FoobarEntries {
  [key: string]: EntryType | AnotherEntryType | any; // 保留原有索引约束
}

// 用交叉类型替代继承，避免索引签名覆盖显式属性类型
type FoobarType = FoobarEntries & {
  foo: typeof foo;
  bar: ReturnType<typeof bar>;
};

// 先声明为Partial类型，避免初始化时的必填属性报错
const foobar: Partial<FoobarType> = {};

const init = (sound: string) => {
  foobar.foo = foo;
  foobar.bar = bar(sound);
  // 其他15-20个属性赋值，自动符合FoobarEntries约束
};

init('hello');

// 使用时转为完整类型（或用类型守卫确保初始化完成）
const typedFoobar = foobar as FoobarType;
console.log(typedFoobar.foo); // 类型为MyFooType，保留精确类型

方案二：利用typeof自动推断已知属性类型，避免重复定义 #

如果不想手动重复声明每个属性的类型，可以通过模板对象让TypeScript自动推断已知属性的类型，再结合FoobarEntries：

type MyFooType = string[];
type MyBarType = (sound: string) => () => string;
type EntryType = () => (sound: string) => string;
type AnotherEntryType = Record<string, string>;

const foo: MyFooType = ['foos'];
const bar: MyBarType = (bleep: string) => () => bleep;

interface FoobarEntries {
  [key: string]: EntryType | AnotherEntryType | any;
}

// 模板对象：仅用于推断类型，无需实际赋值有效数据
const knownPropertiesTemplate = {
  foo,
  bar: bar('') as ReturnType<typeof bar>,
};

// 自动推断已知属性的类型
type KnownProperties = typeof knownPropertiesTemplate;
// 组合成完整类型
type FoobarType = KnownProperties & FoobarEntries;

const foobar = {} as Partial<FoobarType>;

const init = (sound: string) => {
  foobar.foo = foo;
  foobar.bar = bar(sound);
  // 其他属性赋值，自动受FoobarEntries约束
};

init('hello');

const typedFoobar = foobar as FoobarType;
console.log(typedFoobar.bar()); // 类型为string，保留精确类型

关键原理 #

• 接口继承时，索引签名的优先级高于显式属性类型，会导致显式属性的类型被降级；而交叉类型会保留两边的精确类型，显式属性类型优先级更高。
• 使用Partial<T>允许初始化时为空对象，避免必填属性报错，初始化完成后再转为完整类型。
• 通过typeof推断模板对象的类型，避免手动重复编写属性类型定义，减少代码冗余。

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