TypeScript限制方法返回对象失败：extends object为何不生效？

你遇到的核心问题有两个：

1. 函数属于object类型
   在TypeScript中，所有非原始类型（包括函数）都属于object的子类型。当你传入一个函数作为to方法的参数时，TypeScript会直接将泛型U推断为该函数类型——而函数本身满足U extends object的约束，完全绕过了对函数返回值的检查。

2. 联合类型的推断歧义
   由于fnOrObj是ChainFunction<T, U> | U的联合类型，TypeScript会优先选择让其中一个分支成立的推断逻辑。传入函数时，它既可以匹配ChainFunction<T, U>分支（要求返回值符合U），也可以直接匹配U分支（因为函数是object），而TypeScript选择了后者，导致返回值的约束完全失效。

最简洁且易维护的方案是使用函数重载，明确区分传入对象和传入函数两种场景，分别约束类型：

type ChainFunction<T, U extends object> = (value: T) => U | Promise<U>;
type Chainable<T> = {
  // 重载1：直接传入对象
  to<U extends object>(obj: U): Chainable<T & U>;
  // 重载2：传入函数，强制约束返回值为对象/Promise对象
  to<U extends object>(fn: ChainFunction<T, U>): Chainable<T & U>;
};

declare function chain<T extends {}>(initialValue: T): Chainable<T>

// 以下测试用例：
chain({ a: 1 })
  .to(({ a }) => 42) // ❌ 报错：类型 'number' 不能赋值给类型 'object | Promise<object>'
chain({ a: 1 })
  .to({ b: 2 }) // ✅ 正常
chain({ a: 1 })
  .to(({ a }) => ({ b: a + 1 })) // ✅ 正常
chain({ a: 1 })
  .to(({ a }) => Promise.resolve({ b: a + 1 })) // ✅ 正常

• 第一种写法中，U extends object的约束被函数类型直接满足，TypeScript根本不会去检查函数的返回值。
• 第二种条件类型写法，泛型推断时优先匹配了函数本身的object类型，导致返回值的约束逻辑从未被触发。

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