TypeScript交叉类型示例报错疑问：thisWeek.toISOString()调用失败原因？

先看问题代码：

const ONE_WEEK = 1000 * 60 * 60 * 24 * 7 // 1w in ms
function makeWeek(): Date & { end: Date } {
  const start = new Date()
  const end = new Date(start.valueOf() + ONE_WEEK)

  return { ...start, end } // 类似Object.assign的效果
}

const thisWeek = makeWeek()
thisWeek.toISOString() // 此处报错
thisWeek.end.toISOString()

问题核心原因 #

你遇到的是类型声明与实际返回值不匹配的问题：

• 函数声明返回Date & { end: Date }，TypeScript会认为返回值既是Date实例，又带有end属性。
• 但{...start, end}返回的是一个普通JavaScript对象：扩展运算符...只会复制Date实例的自身可枚举属性，不会继承Date的原型链。这个对象没有Date原型上的方法（比如toISOString），所以不管是TypeScript类型检查还是实际运行，都会报错。

简单说：你告诉TypeScript返回的是Date实例，但实际返回的只是个长得像Date部分属性的普通对象，两者不匹配。

解决方法 #

要让返回值真正成为带有end属性的Date实例，应该用Object.assign把end属性直接添加到Date实例上，而不是创建新对象：

const ONE_WEEK = 1000 * 60 * 60 * 24 * 7 // 1w in ms
function makeWeek(): Date & { end: Date } {
  const start = new Date()
  const end = new Date(start.valueOf() + ONE_WEEK)
  // 将end属性挂载到Date实例上
  Object.assign(start, { end })
  return start
}

const thisWeek = makeWeek()
thisWeek.toISOString() // 正常运行
thisWeek.end.toISOString() // 正常运行

这样返回的start是真正的Date实例，同时拥有额外的end属性，类型声明和实际值完全匹配，不会再出现报错。

补充说明 #

交叉类型Date & { end: Date }本身是合法的，它表示同时满足Date类型和带有end属性的对象类型。问题出在你构造返回值的方式，而非交叉类型本身。

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