définition de type tapuscrit correcte pour renvoyer un nouvel objet avec une clé existante

Question

Comment convertir correctement cette ligne en une seule ligne?

Je souhaite extraire une propriété d'un objet et retourner un nouvel objet avec juste cette propriété. Ceci est de filtrer certaines propriétés d'un objet:

const pick = <O, K extends keyof O>(obj: O, prop: K) => obj[prop] 
const toObj = <V>(key: string, value: V) => ({ [key]: value }) 
const select1 = <O, K extends keyof O>(obj: O, prop: K) => toObj(prop, pick(obj, prop)) 
// reduce some 
const select2 = <O, K extends keyof O>(obj: O, prop: K) => toObj(prop, obj[prop]) 
// worked... now a on-liner? 
const select3 = <O, K extends keyof O>(obj: O, prop: K) => ({ [prop]: obj[prop] }) 
// hmm... computed property must be string... 
const select4 = <O, K extends keyof O>(obj: O, prop: string) => ({ [prop]: obj[prop] }) 
// huh? now: implizit any because type '{}' 

// explicit version of toObj 
// type is: { [key: string]: V } 
const toObjExplicit = <V>(key: string, value: V): { [key: string]: V } => ({ [key]: value }) 
// test if that is okay 
const select5 = <O, K extends keyof O>(obj: O, prop: K) => toObjExplicit(prop, obj[prop]) 
// yes, now combine 
const select6 = <O, K extends keyof O>(obj: O, prop: K): { [key: string]: O[K] } => toObjExplicit(prop, obj[prop]) 
// works, try removing the toObj 
const select7 = <O, K extends keyof O>(obj: O, prop: K): { [key: string]: O[K] } => ({ [prop]: obj[prop]}) 
// why...??? this should be identical, why do I need an extra function 

La question est, pourquoi est-tapuscrit incapable d'utiliser la définition quand je l'utilise select7, alors qu'il est identique à select6 & toObjExplicit

Answer 1

toObjExplicit définit key comme string ce qui rend le compilateur heureux.

Vous pouvez faire la même chose en utilisant le type d'intersection (K & string):

const select7 = <O, K extends keyof O>(obj: O, prop: K & string): { [key: string]: O[K] } => ({ [prop]: obj[prop] })