为何TypeScript中泛型T未限制Object时调用createReactiveObject无报错？

我们有如下TypeScript代码：

function createReactiveObject<T extends Object>(raw: T, handlers: ProxyHandler<T>): T {
  return new Proxy(raw, handlers)
}

function foo<T>(raw: T) {
  // 预期应报错/警告
  return createReactiveObject(raw, {})
}

const sth = foo(1)

如你所见，createReactiveObject函数限制泛型T需继承Object，但foo函数的泛型T无此限制，为何调用createReactiveObject(raw, {})时未出现警告或错误提示？

问题核心在于你使用的大写Object类型并非你预期的“对象类型限制”：

• 大写Object是TypeScript的顶级类型之一，范围极广——所有类型（包括number、string这类原始类型）都能满足T extends Object的约束。这是因为TypeScript会自动将原始类型映射到对应的包装对象（比如number对应Number对象），所以原始类型也能通过这个泛型检查。
• 如果你想真正限制泛型只能接收非原始类型的对象（比如普通对象、数组、函数等，排除number/string/boolean等原始类型），需要改用小写的object类型，将泛型约束改为T extends object。

修改后的代码会触发预期的类型错误：

function createReactiveObject<T extends object>(raw: T, handlers: ProxyHandler<T>): T {
  return new Proxy(raw, handlers)
}

function foo<T>(raw: T) {
  // 此时会提示错误：类型“T”不满足约束“object”
  return createReactiveObject(raw, {})
}

const sth = foo(1)

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