TypeScript如何在带索引签名的对象中重写指定属性类型

你原本的写法无法通过类型校验，是TypeScript的基础规则限制：同个对象类型内，所有显式声明的属性类型必须兼容字符串索引签名的返回值类型。你定义的通用索引签名要求所有字符串属性返回Filter[]，但$or、$and显式声明为Filters[]，二者类型不兼容，因此会抛出错误。

严谨类型安全方案（推荐） #

使用「排除特殊键的基础映射类型 + 特殊属性类型交叉」的写法即可实现需求，兼容TS 4.1及以上版本，无类型宽化问题：

type Filter = {
    eq?: string | number;
    // 可在此扩展ne、gt、lt等其他查询操作符
}

// 基础索引类型：排除$or、$and两个特殊键，其余所有字符串键的属性值类型为Filter[]
type BaseFilters = {
    [K in Exclude<string, '$or' | '$and'>]?: Filter[];
}

// 交叉合并特殊键的类型定义，最终得到符合预期的Filters类型
type Filters = BaseFilters & {
    $or?: Filters[];
    $and?: Filters[];
}

效果说明 #

• 访问普通字段（非$or/$and）时，TS会自动推导为Filter[]类型，写入不符合类型的内容会直接报错
• 访问$or/$and字段时，TS会自动推导为Filters[]类型，支持任意层级的嵌套查询定义，和MongoDB类查询语法完全匹配

合法使用示例：

const userQuery: Filters = {
    username: [{ eq: "zhangsan" }],
    age: [{ eq: 25 }],
    $or: [
        { status: [{ eq: "active" }] },
        {
            $and: [
                { role: [{ eq: "admin" }] },
                { is_deleted: [{ eq: 0 }] }
            ]
        }
    ]
}

如果需要新增其他特殊操作符（比如$nor、$not等），只需要在Exclude的参数里追加对应的键名，同时在交叉的特殊属性类型里补充对应定义即可。

简化写法（适合快速实现场景） #

如果不需要极致的类型严谨性，可以直接把索引签名的返回值扩为联合类型再交叉特殊属性定义，写法更简洁，缺点是访问普通字段时类型会被宽化为联合，需要手动收窄：

type Filters = {
    [field: string]: Filter[] | Filters[];
} & {
    $or?: Filters[];
    $and?: Filters[];
}

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