TypeScript类型不匹配为何未触发编译时错误？

问题场景 #

你定义了如下函数：

export async function removeUser(deleteUserId: Types.ObjectId)

错误调用时传入Mongoose文档的id属性：

await removeUser(deleteUser.id);

后续调用ObjectId的.equals()方法时触发运行时异常；改为传入_id（类型为Types.ObjectId）则正常运行：

await removeUser(deleteUser._id);

原因分析 #

你发现的id类型为any正是问题的核心：

• TypeScript中any类型是类型系统的“豁免权”，它可以与任意类型兼容。当你把any类型的值传给期望Types.ObjectId的参数时，TypeScript会直接跳过类型校验，不会触发编译错误。
• Mongoose文档的.id本质是_id的字符串形式，但它的类型被定义为any，这让TypeScript无法识别它的实际类型是字符串，自然无法提前拦截错误。而.equals()是Types.ObjectId实例独有的方法，字符串没有这个方法，因此会在运行时抛出异常。

验证与解决方法 #

• 验证：如果给deleteUser.id添加类型断言deleteUser.id as string，TypeScript会立刻报错，提示无法将string类型赋值给Types.ObjectId类型。
• 解决：
  • 优先使用_id传递参数：它的类型天然是Types.ObjectId，能被TypeScript正确校验；
  • 若必须使用.id，先将其转换为Types.ObjectId：new Types.ObjectId(deleteUser.id)，同时在你的Mongoose Schema接口中给id定义更严格的类型（比如string），让TypeScript能提前拦截类型不匹配的问题。

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