使用Object.create(null)创建的对象方法参数不匹配时TypeScript未报错，是否属于Bug？

咱们先拆解一下为什么会出现你遇到的这个问题：

• 当你用Object.create(null)创建对象时，TypeScript会自动把它推断为{}（空对象类型）。这个类型的特性是允许你随意添加任何属性，但TypeScript不会追踪后续添加属性的具体类型——也就是说，你给Mod.foo赋值了一个带类型注解的函数，但TypeScript并不会更新Mod的类型，仍然把它当成一个可以容纳任意属性的“松散”对象。
• 这就导致调用Mod.foo(33)时，TypeScript根本不知道foo有参数类型要求，自然不会做参数校验，也不会抛出错误。

解决方法：用TypeScript的类型系统约束你的“静态类” #

如果你想要实现类似静态类的结构，同时获得完整的类型检查，这里有几种更合适的写法：

1. 先定义接口，再做类型断言

先给你的Mod结构定义明确的接口，然后把Object.create(null)断言为这个接口类型，让TypeScript知道它的结构：

// mod.ts
interface ModInterface {
  foo(arg: string): string;
}

const Mod = Object.create(null) as ModInterface;
Mod.foo = function(arg: string) {
  return arg + "1"; // 注意：原代码的arg+1逻辑上是string拼接number，若要保持类型一致建议转成字符串
};

export { Mod };

这样再调用Mod.foo(33)时，TypeScript会立刻报错，提示你传入的number类型不符合string的要求。

2. 使用命名空间（Namespace）

TypeScript的命名空间天生就是用来组织这类工具函数/静态结构的，写法简单还自带类型检查：

// mod.ts
export namespace Mod {
  export function foo(arg: string): string {
    return arg + "1";
  }
}

调用时如果传错参数、参数数量不对，TypeScript都会直接给出错误提示。

3. 使用带静态成员的类

如果你更习惯类的写法，直接创建一个只有静态成员的类即可：

// mod.ts
export class Mod {
  static foo(arg: string): string {
    return arg + "1";
  }
}

这种写法完全符合TypeScript的类型系统，所有参数、返回值的检查都会正常工作。

总结 #

用Object.create(null)来构建需要类型约束的静态结构，本质上是绕过了TypeScript的类型追踪机制，所以才会出现不报错的情况。上面的几种写法都能帮你实现目标，同时获得完整的类型安全保障。

内容的提问来源于stack exchange，提问作者d.k