只允许映射类型的一个属性

如何解决只允许映射类型的一个属性

让我们说这种类型：

type A = {
  prop1: string;
  prop2: string;
}

构造类型B的可能性很高，因此A的所有属性必须在B中，如下所示：

type B = {
  [k in keyof A]: number
}

但是我该如何构造B，使得 A的一个属性必须在那里？

解决方法

好吧，所以我们可以做到，但它并不琐碎。简单的是找出我们的类型是否至少有一个键。

type AtLeastOneProp<X,Pattern> = (keyof X & keyof Pattern) extends never ? never : X
// use
type B = AtLeastOneProp<{x: string},{x: string,y: string}> // ? correct has at least one prop - x
type C = AtLeastOneProp<{w: string},y: string}> // ?  never as has no props
type D = AtLeastOneProp<{x: string,y: number,z: number},y: string}> // ? ok has more than one prop

我们在这里所做的是检查键的交点是否给出任何结果。如果是这样，我们将返回原始类型。

更难的是强制我们的类型中只能存在一个密钥。

type IsSingleVariantOrMore<U extends PropertyKey,Result extends 0 | 1 | 'more' = 0,NextResult extends 0 | 1 | 'more' = Result extends 0 ? 1 : Result extends 1 ? 'more' : 'more'> = 
  ({
    [K in U]: Exclude<U,K> extends never ? NextResult : IsSingleVariantOrMore<Exclude<U,K>,NextResult>
  })[U]
type HasOnlyOneProp<X,Pattern> = IsSingleVariantOrMore<keyof X & keyof Pattern> extends 1 ? X : never;
// use
type E = HasOnlyOneProp<{x: string,y: string}>; // ? correct has only x 
type F = HasOnlyOneProp<{x: string,y: number},y: string}>; // ? wrong it has two props D is never

我在这里使用的是IsSingleVariantOrMore，它计算我们是否具有一个或多个可能元素的变体。函数HasOnlyOneProp只是简单地检查我们是否有1，是否表示类型只有一个共同的道具，其他任何结果都意味着该类型没有相交的道具或有多个道具。

the playground中的完整代码。