Intl.DateTimeFormat传入独立options触发TypeScript类型错误问题

问题场景 #

以下代码可正常运行：

const option = {
    year: "numeric",
    month: "short",
    day: "numeric",
    weekday: 'long',
}

const myDate = new Intl.DateTimeFormat('de', {
    year: "numeric",
    month: "short",
    day: "numeric",
    weekday: 'long',
}).format(date)

const myDateTest2 = new Intl.DateTimeFormat('de', option as any).format(date)

但执行以下代码时会触发TypeScript错误：

const myDateTest = new Intl.DateTimeFormat('de', option).format(date)

错误信息 #

Argument of type '{ year: string; month: string; day: string; weekday: string; }' is not assignable to parameter of type 'DateTimeFormatOptions'.
  Types of property 'weekday' are incompatible.
    Type 'string' is not assignable to type '"short" | "long" | "narrow"'.ts(2345)

当前环境配置 #

TypeScript版本："typescript": "^4.8.4"
tsconfig.json配置：

"compilerOptions": {
    "allowJs": false,
    "emitDecoratorMetadata": true,
    "experimentalDecorators": true,
    "target": "ES2020",
    "sourceMap": true,
    "outDir": "./.tmp/build/",
    "moduleResolution": "node",
    "declaration": true,
    "lib": [
      "ES2020",
      "ES2020.Intl",
      "dom"
    ],
    "resolveJsonModule": true,
    "allowSyntheticDefaultImports": true
  },

错误原因 #

核心在于TypeScript的类型推断逻辑差异：

• 直接传对象字面量：TS会自动将属性值推断为精确的字面量类型（比如"long"会被推断为"long"类型，而非宽泛的string），刚好匹配DateTimeFormatOptions中weekday要求的"short" | "long" | "narrow"联合类型，因此不会报错。
• 赋值给变量后传入：TS默认会将变量的属性值推断为宽泛的string类型（因为TS默认认为变量后续可能被修改，属性值可能变成任意字符串），此时option的类型是{ year: string; month: string; day: string; weekday: string; }，string类型无法匹配weekday的特定字面量联合类型，因此触发类型不兼容错误。
• 用as any断言：这种做法会直接绕开TypeScript的类型检查，所以不会报错，但属于不安全的类型操作，不推荐。

可选解决方法 #

如果需要保留预定义的配置变量，可通过以下方式修复：

• 给变量指定明确的类型：

  const option: Intl.DateTimeFormatOptions = {
      year: "numeric",
      month: "short",
      day: "numeric",
      weekday: 'long',
  }
  

• 使用as const断言让TS推断为字面量类型（禁止后续修改变量）：

  const option = {
      year: "numeric",
      month: "short",
      day: "numeric",
      weekday: 'long',
  } as const
  

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