如何让Mongoose+TypeScript实现严格的文档类型校验

问题原因 #

之前的写法存在两个核心问题，导致类型校验不生效：

• 手动给Schema传入独立定义的IUser泛型时，TypeScript 无法关联Schema字段配置和TS类型的映射关系（比如Mongoose的String类型对应TS的string），会做宽松类型兼容，因此传入数字类型的username不会触发报错
• Mongoose 默认给写入类方法（create、update等）的参数类型加了通用字符串索引签名，用来兼容插件、中间件等扩展场景，默认不会触发TS的对象字面量超额属性检查，因此未定义的额外字段不会被拦截

可落地配置方案 #

推荐使用Mongoose 7.0+版本（类型已内置，无需额外安装@types/mongoose），采用官方推荐的类型推导写法，从根源解决类型不匹配问题：

import { Schema, model, InferSchemaType } from 'mongoose';

// 定义Schema时添加as const断言，让TS精确识别字段配置
const UserSchema = new Schema({
  username: {
    type: String,
    required: true
  }
}, {
  // 开启strict模式，既是运行时过滤多余字段的配置，也是TS层面校验额外字段的依据
  strict: true
} as const);

// 用内置工具类型自动推导文档类型，不需要手动重复定义IUser
type IUser = InferSchemaType<typeof UserSchema>;

// 传入推导的类型初始化模型
export const User = model<IUser>('user', UserSchema);

配置完成后，两种非法传参都会被TS直接拦截：

• 传入数字类型username: 43时，会提示Type 'number' is not assignable to type 'string'
• 传入未定义的random_field字段时，会提示Object literal may only specify known properties, and 'random_field' does not exist in type '...'

特殊场景适配 #

如果你必须手动定义IUser接口而非用自动推导，需要在初始化Schema时通过泛型参数明确传入strict配置，关闭默认的宽松索引签名：

import { Schema, model, Model } from 'mongoose';

export interface IUser {
  username: string
}

// 第七个泛型参数是Schema配置类型，明确标记strict: true
const UserSchema = new Schema<IUser, Model<IUser>, {}, {}, {}, {}, { strict: true }>({
  username: {
    type: String,
    required: true
  }
}, { strict: true });

export const User = model<IUser>('user', UserSchema);

注意：手动定义接口时需要保证接口字段和Schema配置完全一致，否则会出现TS类型和实际运行逻辑不一致的问题。

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