问题描述
所以我有以下接口和类型：
<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;
这应该可以解决您的问题。