TypeScript中如何在Filter<T>参数方法内访问$and操作符？

我有一段可运行的代码，但IDE持续抛出TypeScript错误，现将代码简化以说明问题：定义了TestModel类型、用于构建该模型查询的generateTestFilter方法，以及处理过滤条件逻辑的handleNameFilter方法。在generateTestFilter中访问filter.$and无问题，但在handleNameFilter中访问时却报错。

代码示例：

import { Filter } from "mongodb"

export interface TestModel {
    name: string,
    things: string[],
    stuff: number
}

function generateTestFilter(tm: TestModel) {
    const filter: Filter<TestModel> = { $and: [] }

    handleNameFilter(tm, filter)

    if (filter.$and && filter.$and.length) { // $and可正常访问
        return filter
    }
    return null
}

function handleNameFilter(tm: TestModel, filter: Filter<TestModel>) {
    const condition: Filter<TestModel> = {name: 'Steve'}
    filter.$and.push(condition) // 报错：Property '$and' does not exist on type 'Filter<TestModel>'...
}

核心问题是TypeScript对Filter<TestModel>类型的类型窄化规则差异：

• 在generateTestFilter中，你直接将filter初始化为{ $and: [] }，TypeScript会自动窄化该变量的类型，认定它是包含$and属性的具体对象，因此访问filter.$and不会触发类型错误。
• 但当你把这个filter传入handleNameFilter时，函数参数的类型是宽泛的Filter<TestModel>——这是MongoDB定义的联合类型，涵盖了所有合法过滤条件的形式（比如直接匹配字段的对象、包含$or/$and的对象等）。TypeScript无法确定传入的Filter<TestModel>一定包含$and属性，所以会抛出类型错误。

方案1：参数类型断言 #

在handleNameFilter中明确断言filter包含$and属性：

function handleNameFilter(tm: TestModel, filter: Filter<TestModel>) {
    const condition: Filter<TestModel> = {name: 'Steve'}
    (filter as { $and: Filter<TestModel>[] }).$and.push(condition)
}

方案2：定义精确子类型 #

创建专门包含$and的子类型，作为handleNameFilter的参数类型：

type AndFilter<T> = Filter<T> & { $and: Filter<T>[] }

function handleNameFilter(tm: TestModel, filter: AndFilter<TestModel>) {
    const condition: Filter<TestModel> = {name: 'Steve'}
    filter.$and.push(condition)
}

方案3：存在性检查兼容多场景 #

如果需要兼容多种Filter形式，可先做属性存在性检查：

function handleNameFilter(tm: TestModel, filter: Filter<TestModel>) {
    const condition: Filter<TestModel> = {name: 'Steve'}
    if ('$and' in filter) {
        filter.$and.push(condition)
    } else {
        Object.assign(filter, { $and: [condition] })
    }
}

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