TypeScript中为何无法获取对象键的字面量联合类型？如何解决？

问题根源 #

核心问题是显式类型标注CountryConfig导致TypeScript丢失了对象键的字面量类型信息：

• CountryConfig是带有字符串索引签名的类型，当你将balkanCountries标注为该类型时，TypeScript会将对象的类型拓宽为索引签名对应的通用类型——此时typeof balkanCountries不再是包含具体键的对象类型，而是{ [country: string]: { countryCode: string; callingCode: string; ... } }。
• 因此keyof typeof balkanCountries只能得到string | number（JavaScript中对象键会被隐式转换为字符串或数字），用Extract提取string类型后仍为宽泛的string，无法限制为具体的国家名称。

解决方案 #

方法1：使用satisfies运算符（推荐，TypeScript 4.9+） #

satisfies运算符可以让对象满足指定类型的结构约束，同时保留自身的字面量类型信息，完美兼顾类型检查和键的精确性：

type CountryConfig = {
  [country: string]: {
    countryCode: string,
    callingCode: string,
    // 其他属性定义
  }
}

// 用satisfies替代显式类型标注
const balkanCountries = {
  Albania: { countryCode: "AL", callingCode: "+355" },
  Bulgaria: { countryCode: "BG", callingCode: "+359" },
  Croatia: { countryCode: "HR", callingCode: "+385" },
  // 其他国家配置
} satisfies CountryConfig;

// 现在能正确获取具体键的联合类型
type BalkanCountry = keyof typeof balkanCountries;
// 类型为 "Albania" | "Bulgaria" | "Croatia" | ...

// 验证：合法赋值正常，非法赋值报错
const valid: BalkanCountry = "Albania"; // 无错误
const invalid: BalkanCountry = "Spain"; // 类型错误，符合预期

方法2：去掉显式标注 + as const（无需结构约束时） #

如果不需要强制对象符合CountryConfig的结构，直接去掉类型标注并通过as const锁定字面量类型：

const balkanCountries = {
  Albania: { countryCode: "AL", callingCode: "+355" },
  Bulgaria: { countryCode: "BG", callingCode: "+359" },
  Croatia: { countryCode: "HR", callingCode: "+385" },
} as const;

type BalkanCountry = keyof typeof balkanCountries;
// 同样得到精确的联合类型

方法3：工具类型验证（兼容旧版TypeScript） #

如果需要同时约束结构又保留键类型，可以用工具类型验证对象是否符合CountryConfig，同时让TypeScript推断键的字面量：

type CountryConfig = {
  [country: string]: {
    countryCode: string,
    callingCode: string,
  }
}

// 定义工具类型，用于验证对象是否符合CountryConfig
type AssertConfig<T extends CountryConfig> = T;

// 让TypeScript推断T的类型，同时验证其符合CountryConfig
const balkanCountries = AssertConfig({
  Albania: { countryCode: "AL", callingCode: "+355" },
  Bulgaria: { countryCode: "BG", callingCode: "+359" },
  Croatia: { countryCode: "HR", callingCode: "+385" },
});

type BalkanCountry = keyof typeof balkanCountries;

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