Typescript 有没有可能产生输出T，它在视觉上省略了T中的一些键

因此，您希望IntelliSense接受类似Responsify<T>的类型并将其显示为Responsify<{⋯}>，其中内部的类型是T的某个版本，并删除了从第二级开始的任何名为"$"的属性.(我之所以说是第二级，是因为您最初定义的Responsify<T>不会删除键为"$"的顶级属性.我不确定这是否重要，但这是一个小问题.)

您不能真正做到这一点；很难想象编写Responsify<X>并让编译器以某种方式将其求值为其他类型Y的显示Responsify<Y>.这大概意味着，有时Responsify<T>确实扩展了定义，而有些时候则不是.我认为这是不可能的.或者至少我还没找到办法.

我能想象的最接近的事情就是用其他类型来定义Responsify<T>，比如说，_Responsify<T>，这样前者将始终显示后者.所以这意味着我想要这个:

type Responsify<T> = _Responsify<{ [K in keyof T]: DeDollar<T[K]> }>

因此，在这里，_Responsify<T>或多或少是您的原始定义，DeDollar<T>是一种递归地从所有级别删除"$"键的类型.我们可以这样写:

type DeDollar<T> =
  T extends readonly any[] ? { [I in keyof T]: DeDollar<T[I]> } : 
  T extends object ? { [K in keyof T as Exclude<K, "$">]: DeDollar<T[K]> } :
  T

这与使用the Omit utility type非常相似，但通过写出{[K in keyof T as Exclude<K, "$">]: ⋯}，我们可以避免在文字显示中看到单词Omit.

基本上就是这样.当然，如果您只对已经被DeDollared的类型调用Responsify，那么_Responsify就不必再担心"$"了:

type _Responsify<T> = {
    [P in keyof T]: T[P] extends object
    ? (_Responsify<T[P]> & { id: string;[k: string]: any })[]
    : T[P][];
};

这应该不会改变任何事情.好的，让我们来测试一下:

const resOne = queryResponse({ users: { $: { where: { "foo": 1 } }, comments: {} } });
//    ^? const resOne: _Responsify<{ users: { comments: {}; }; }>

这就是你想要的.您可以验证此类型是否扩展到与原始版本相同，可能是使用类似于ExpandRecursively的代码，如How can I see the full expanded contract of a Typescript type?:

type ResOne = ExpandRecursively<typeof resOne>;
/* type ResOne = {
    users: {
        [x: string]: any;
        comments: {
            [x: string]: any;
            id: string;
        }[];
        id: string;
    }[];
} */

Playground link to code