TypeScript查询类型分配编译报错，请求排查问题原因

你的代码逻辑符合预期，但编译报错的核心问题在于泛型映射时的键名类型推断不足。

错误原因解析 #

报错提示KnownQueryResult<K, V>无法赋值给string | number | symbol，本质是TypeScript在处理泛型T extends BodyRequestQuery时，没办法确定K（即keyof T）一定是KnownQueryPrimaryKey的有效成员。虽然你知道T是BodyRequestQuery的子类型，但TypeScript的类型检查器无法在泛型上下文里自动推断这层关联，因此它无法确认KnownQueryResult<K, V>最终会是合法的对象键名类型（字符串字面量）。

另外，BodyRequestQuery里的属性可以是boolean类型，但原代码没有处理这种情况，也会加剧类型推断的模糊性。

解决代码 #

修改BodyRequest类型，给泛型参数加上明确约束，并分情况处理不同的属性类型：

const knownQueries = <const>{
    query: {
        layerToken: 'layer-token'
    },
    test: {
        tId: 'id',
    }
}

type KnownQueries = typeof knownQueries
type KnownQueryPrimaryKey = keyof KnownQueries
type KnownQueryKey<P extends KnownQueryPrimaryKey> = keyof KnownQueries[P]
type KnownQueryResult<P extends KnownQueryPrimaryKey, K extends KnownQueryKey<P>> = KnownQueries[P][K]

type BodyRequestQuery = {
    [P in KnownQueryPrimaryKey]?: boolean | { [K in KnownQueryKey<P>]?: boolean }
}

type BodyRequestValue = string | number | boolean | { [key: string]: BodyRequestValue }

type BodyRequest<T extends BodyRequestQuery> = {
    [K in keyof T & KnownQueryPrimaryKey]: 
        T[K] extends true 
            ? { [V in KnownQueryResult<K, keyof KnownQueries[K]>]: BodyRequestValue }
            : T[K] extends Record<string, boolean>
                ? { [V in keyof T[K]as T[K][V] extends true ? KnownQueryResult<K, V> : never]: BodyRequestValue }
                : never
}

修改说明 #

1. 给K添加约束：通过keyof T & KnownQueryPrimaryKey确保遍历的键K一定是knownQueries的有效主键，让TypeScript能明确KnownQueryResult<K, V>的类型是合法的字符串字面量。
2. 分情况处理属性类型：
   • 当T[K]为true时，直接生成该主键下所有对应的结果键名。
   • 当T[K]为嵌套对象时，保留原有的条件映射逻辑，此时类型检查器能正确推断键名合法性。
   • 当T[K]为false或其他无效值时，返回never过滤掉该属性。

测试验证 #

可以通过以下案例验证修改后的类型是否符合预期：

// 案例1：开启整个query模块
type Test1 = BodyRequest<{ query: true }>
// 结果：{ query: { 'layer-token': BodyRequestValue } }

// 案例2：只开启test下的tId
type Test2 = BodyRequest<{ test: { tId: true } }>
// 结果：{ test: { 'id': BodyRequestValue } }

// 案例3：无效属性会被过滤
type Test3 = BodyRequest<{ query: false }>
// 结果：{}

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