Estoy tratando de crear una función de clase o constructor, en la que especifico una lista de valores para usar en el tipo de uno de sus métodos.
Como ejemplo tengo este código.
const MyAnimal = function (animal: string[]) { type Animal = typeof animal[number] this.getAnimal = (url: Animal) => { console.log(url) } } const animalTest = new MyAnimal(['sheep', 'dog', 'cat']) // I would like this to fail as 'mouse' is not part of the array ['sheep', 'dog', 'cat'] animalTest.getAnimal('mouse') Quiero que getAnimal tenga el tipo 'sheep' | 'dog' | 'cat' y para que el intellisense me avise si agrego algo diferente
es posible?
Puede hacerlo a través de un parámetro de tipo genérico y una matriz de animales de readonly , como esta;
class MyAnimal<Animal> { constructor(public animals: readonly Animal[]) { } getAnimal(url: Animal) { console.log(url); } } const animalTest = new MyAnimal(['sheep', 'dog', 'cat'] as const); animalTest.getAnimal('mouse'); // Error as desired animalTest.getAnimal('sheep'); // Works TypeScript puede inferir el tipo de unión literal de cadena para proporcionar como argumento de tipo para el parámetro de tipo Animal porque la matriz es de readonly (que satisfacemos cuando llamamos al constructor a través as const ), por lo que TypeScript sabe que no cambiará en tiempo de ejecución.
Para inferir el tipo literal, puede usar tipos de tuplas variádicas :
type Animal<Name extends string> = { name: Name, url: `https://${string}` } class MyAnimal< Name extends string, Item extends Animal<Name>, List extends Item[] > { constructor(public animals: [...List]) { } // You should get "url" from infered list and not from Item["url"] getAnimal<Url extends List[number]['url']>(url: Url) { console.log(url); } } const animalTest = new MyAnimal( [ { name: 'sheep', url: 'https://sheep.com', }, { name: 'dog', url: 'https://dog.com', }, { name: 'cat', url: 'https://cat.com', } ]); animalTest.getAnimal('https://dog.com'); // ok animalTest.getAnimal('https://mouse.com'); // expected errorSi desea obtener más información sobre la inferencia de tipos literales, puede consultar mi artículo . El objetivo es proporcionar tantas restricciones como sea posible al parámetro genérico. Si hay suficientes restricciones, TS inferirá el tipo literal.