TypeScript中如何为动态合并的对象推导准确类型支持属性访问

TypeScript 完全支持该场景下的准确类型推导。当前代码无法获得属性提示与校验的核心原因有两点：

1. 初始化let config = {}时，TypeScript 会将其推导为无属性的空对象类型，变量的静态类型不会随着后续运行时的对象合并操作自动更新
2. 若loadWithReplace方法的Config参数定义为宽泛的索引类型（如Record<string, any>），TypeScript 无法捕获每次传入字典的精确结构，自然无法推导合并后config的完整类型

具体实现方案如下：

1. 定义基础字典类型约束 #

首先统一多语言字典的结构规范，避免后续字典定义不符合格式：

// 可放置在公共类型定义文件或util.ts中
// 支持的语言枚举，后续新增语言直接在此处添加即可
type SupportLocale = 'en' | 'fr';
// 单个多语言词条的结构
type LocaleItem = Record<SupportLocale, string>;
// 支持嵌套的字典结构
type BaseDict = Record<string, LocaleItem | BaseDict>;

2. 改造util.ts中的配置管理逻辑 #

使用泛型+类型断言的方式，让TypeScript可以追踪每次加载的字典类型，自动累加推导config的完整类型：

// util.ts
// 初始化config，指定基础类型
let config: BaseDict = {};

/**
 * 加载并合并配置到全局config
 * 泛型T会自动捕获传入配置的精确结构
 */
function loadWithReplace<T extends BaseDict>(_config: T): asserts config is typeof config & T {
  // 合并逻辑和原有运行时逻辑完全一致，不影响实际运行效果
  config = { ...config, ..._config };
}

export { config, loadWithReplace };

说明：类型断言仅在编译阶段生效，不会生成额外的运行时代码，不会改变原有逻辑的执行表现。

3. 项目入口处统一加载所有字典 #

在项目启动入口文件中，按顺序加载所有拆分定义的字典文件，TypeScript会自动识别每次加载的字典结构，累加到config的类型中：

// main.ts 项目启动入口
import { loadWithReplace } from './util';
import { dictionary } from './test.dictionary';
import { appDictionary } from './app.dictionary';

// 依次加载所有字典
loadWithReplace(dictionary);
loadWithReplace(appDictionary);

4. 业务代码中使用 #

在任意业务组件中导入config对象时，TypeScript会自动推导所有合并后的属性，提供完整的代码提示，同时对非法的属性访问做类型校验：

// app.component.ts
import { config } from './util';

// 访问一级属性会自动提示text_to_translate、APP_POINTER
// 嵌套属性访问也会有完整提示，输入不存在的键会直接抛出类型错误
console.log(config.text_to_translate.en); // 正常推导为string类型
console.log(config.APP_POINTER.header.fr); // 正常推导为string类型

• 不要手动给config指定宽泛的类型（如any、Record<string, any>），否则会覆盖TypeScript自动推导的精确类型
• 若存在异步加载字典的场景，该方案依然生效，只要在访问对应字典属性前完成loadWithReplace调用即可
• 若需要处理后加载字典覆盖同名字段的场景，可以将交叉类型typeof config & T替换为自定义的合并类型，按后加载优先级覆盖重复键的类型即可

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