为何TypeScript要求对该合法对象进行显式类型转换？

先看你的代码场景：

type BaseDocument = {
  _id: string;
};

class MongoDbService<T extends BaseDocument> {
  find(where: Partial<T>) {
    // ...
  }

  findById(_id: string) {
    return this.find({ _id }); // 此处触发类型错误
  }
}

报错的核心原因是：TypeScript的泛型约束T extends BaseDocument仅保证T包含_id属性，但不保证T的_id类型就是string——它可以是string的子类型。

举个实际的例子，假设你定义了一个继承自BaseDocument的类型，把_id限定为更具体的子类型：

// _id必须是带user_前缀的字符串字面量类型
type UserDocument = BaseDocument & {
  _id: `user_${string}`;
};

此时，MongoDbService<UserDocument>的find方法接受的Partial<T>参数中，_id的类型是user_${string}，而非普通string。你传入的{ _id: '123' }显然不符合这个类型要求，因为它缺少规定的前缀。

TypeScript在编译时会考虑所有符合T extends BaseDocument约束的可能类型，因此无法默认认定{ _id: string }一定能兼容Partial<T>——毕竟存在T的_id是更具体子类型的情况。

你用<Partial<T>>显式转换能临时解决问题，但本质是跳过了TypeScript的类型检查，相当于强制告诉编译器“我确定这个值符合要求”，这会丢失类型安全性，比如上面的UserDocument场景就可能出现不匹配的问题。

如果想更安全地解决这个问题，可以把findById的参数类型改为T['_id']，这样能精准匹配T中实际的_id类型：

class MongoDbService<T extends BaseDocument> {
  find(where: Partial<T>) {
    // ...
  }

  findById(_id: T['_id']) {
    // 用Pick<T, '_id'>更精准，明确只传递_id属性
    return this.find({ _id } as Pick<T, '_id'>);
  }
}

这样既保留了类型检查的严谨性，又避免了不必要的强制类型转换。

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