具有选定属性的递归嵌套类型

如何解决具有选定属性的递归嵌套类型

所以我有以下接口和类型：

<ehcache xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xsi:noNamespaceSchemaLocation="ehcache.xsd"
     updateCheck="true"
     monitoring="autodetect"
     dynamicConfig="true">

  <diskStore path="java.io.tmpdir"/>

  <cache name="userCache"
       maxEntriesLocalHeap="10000"
       maxEntriesLocalDisk="1000"
       eternal="false"
       diskSpoolBufferSizeMB="20"
       timeToIdleSeconds="300" timeToLiveSeconds="600"
       memoryStoreEvictionPolicy="LFU"
       transactionalMode="off">
    <persistence strategy="localTempSwap"/>
  </cache>

</ehcache>

我想提取方法的一部分，并创建另一个嵌套级别，该级别可以递归执行相同的操作：[打字稿版本4.1.0]

interface A {
    A(): void;
}

interface B {
    B(): void;
}

interface C {
    C(): void;
}

type All = A & B & C;

• 采取部分type SelectMethods< METHODS extends Partial<All>,MORE extends Record<string,SelectMethods<any>> = {} > = Pick<All,Extract<keyof All,keyof METHODS>> & MORE;
• 仅选择相关的选定方法
• 与All合并以使每个属性都执行相同操作

这允许我执行以下操作，效果很好：

Record

但是在移除内部const obj: SelectMethods<A & B,{ x: SelectMethods<A & B & C> }> = { A() { },B() { },x: { A() { },B() { },C() { } } }; 中的C（或其他任何一个）时，它停止工作： [星号之间的文字类型出现错误]

SelectMethods

到目前为止我尝试过的事情：

• 条件类型尝试向编译器证明是可以的：

const obj: SelectMethods<A & B,**{ x: SelectMethods<A & B> }**> = {  // Property 'C' is missing in type 'Pick<All,"A" | "B">' but required in type 'Pick<All,"A" | "B" | "C">'.
    A() {
    },B() {
        }
    }
};

但是我得到type SelectMethods<METHODS extends Partial<All>,SelectMethods<any>> = {}> = Pick<All,keyof METHODS>> & ( MORE extends Record<string,infer DEEP> ? DEEP extends SelectMethods<infer SUBMETHODS> ? SUBMETHODS extends Partial<All> ? MORE : never : never : never );

有什么想法吗？ ：）

解决方法

问题出在

Pick<All,Extract<keyof All,keyof METHODS>>

让我们将其设为自己的类型，以便我们可以使用它：

type MethodPick<METHODS extends Partial<All>> = Pick<All,keyof METHODS>>

这在第一级上工作正常。 type AB = MethodPick<A & B>只是A和B。

但是SelectMethods<any>或SelectMethods<Partial<All>>的实际类型是什么？您可能会认为这只是方法的部分选择，但事实并非如此。实际上，它要求A，B和C都已设置。这是因为当我们执行MethodPick时，我们将获取所选择的键并获得这些方法。但是缺点是我们尚未检查是否需要这些密钥。 keyof Partial<All>是'A' | 'B' | 'C'，所以type P = MethodPick<Partial<All>>是A＆B＆C。这意味着SelectMethods<any>是A＆B＆C，其中需要全部三种方法。

MORE extends Record<string,SelectMethods<any>>

因此，以上语句意味着该记录的值必须扩展All，而不是Partial<All>。那不是我们想要的。

如果我们已经知道METHODS extends Partial<All>，为什么我们需要Pick？

我们将类型简化为 = METHODS & MORE，并用SelectMethods<any>替换SelectMethods<Partial<All>>，因为any实际上不是有效的输入，我们得到了：

type SelectMethods<
    METHODS extends Partial<All>,MORE extends Record<string,SelectMethods<Partial<All>>> = {}
> = METHODS & MORE;

这应该可以解决您的问题。

Typescript Playground Link