Typescript: Crear tipos a partir de valores en una matriz

keyof solo funciona porque usa información conocida estáticamente en tiempo de compilación. Los tipos en TS se pueden borrar por completo y no existen en el código transpilado, por lo que simplemente no es posible crear un tipo basado en el contenido de tiempo de ejecución de una matriz.

Esto es posible:

function stringLiterals<T extends string>(...args: T[]): T[] { return args; }
type ElementType<T extends ReadonlyArray<unknown>> = T extends ReadonlyArray<infer ElementType> ? ElementType : never;

const values = stringLiterals('A', 'B');
type Foo = ElementType<typeof values>;

const v1: Foo = 'A' // This should work
const v2: Foo = 'D' // This should give me an error since 'D' doesn't exist in values

Sin embargo, definitivamente no tengo claro cómo hacer esto. # 27179 está relacionado.

Sin embargo, eso sigue usando información conocida estáticamente por el compilador; en ese momento, no entiendo cuál es la ventaja de simplemente decir ”A” | “B” .

@fatcerberus Es útil evitar la repetición de información: si solo escribe const values = ["A", "B"]; type Foo = "A" | "B"; , es fácil que alguien cambie uno de ellos y olvide cambiar el otro. Podría escribir const values: Foo[] =["A", "B"]; , pero aún es susceptible de agregar una entrada adicional a Foo y olvidarse de ponerla en values .

¿Dónde estamos ahora en esto?

Como dijo @ andy-ms, sería realmente útil evitar la repetición de información manualmente.
Y como dijo @fatcerberus , los tipos son completamente borrables. A veces necesitamos verificar los datos en tiempo de ejecución que obtenemos, por ejemplo, de una parte no pura de la aplicación (como el servicio web o del usuario).

Sobre la base de la respuesta de @ andy-ms, y usando las aserciones const introducidas en el mecanografiado 3.4, ahora es posible hacer algo como esto

const values = ['A', 'B'] as const
type ElementType < T extends ReadonlyArray < unknown > > = T extends ReadonlyArray<
  infer ElementType
>
  ? ElementType
  : never

type Foo = ElementType<typeof values> // this is correctly inferred as literal "A" | "B"

Este problema se ha marcado como "Pregunta" y no ha tenido actividad reciente. Se ha cerrado automáticamente por motivos de limpieza. Si todavía está esperando una respuesta, las preguntas suelen ser más adecuadas para stackoverflow .

en [email protected] superior. resuélvelo así

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

En lugar de esto:

export const items = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof items[number];
}

Puedes hacerlo:

export const items = [
  'room',
  'room_with_gifter',
  'user_send'
] as const;

export type Item = typeof items;

export interface Activity {
  id?: string;
  type: Item;
}

_Realmente no me gusta usar type como nombre de variable._

@ 7kms

en [email protected] superior. resuélvelo así

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Ahora, ¿qué pasa si tengo esto en una clase?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

No funciona. Tampoco puedo hacer this.list[number] . Además, por mi particular
caso de uso, no puedo establecer list como static

@ 7kms

en [email protected] superior. resuélvelo así

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Ahora, ¿qué pasa si tengo esto en una clase?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

No funciona. Tampoco puedo hacer this.list[number] . Además, por mi particular
caso de uso, no puedo establecer list como static

@vegerot No puede usar const directamente en el alcance de class , por lo que la sintaxis es incorrecta.

@ 7kms

en [email protected] superior. resuélvelo así

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Ahora, ¿qué pasa si tengo esto en una clase?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

No funciona. Tampoco puedo hacer this.list[number] . Además, por mi particular
caso de uso, no puedo establecer list como static

@vegerot No puede usar const directamente en el alcance de class , por lo que la sintaxis es incorrecta.

@ 7kms Mi mal. Copié y pegué demasiado. Lo que quise decir es

class Class {
  private list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 private withType: typeof list[number];

// OR
  private withType2: typeof this.list[number];

}

etc. todos no funcionan.
Además, para mi caso de uso particular, no puedo configurar la lista para que sea estática

@ 7kms

en [email protected] superior. resuélvelo así

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Ahora, ¿qué pasa si tengo esto en una clase?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

No funciona. Tampoco puedo hacer this.list[number] . Además, por mi particular
caso de uso, no puedo establecer list como static

@vegerot No puede usar const directamente en el alcance de class , por lo que la sintaxis es incorrecta.

@ 7kms Mi mal. Copié y pegué demasiado. Lo que quise decir es

class Class {
  private list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 private withType: typeof list[number];

// OR
  private withType2: typeof this.list[number];

}

etc. todos no funcionan.
Además, para mi caso de uso particular, no puedo configurar la lista para que sea estática

class Class {
  private list = [
    "room",
    "room_with_gifter",
    "user_send"
  ] as const

  private withType: Class["list"][number]
}

@vegerot ¿Qué tal esto?

@eyalch ¡ eso es increíble! Gracias. Pensé que la solución involucraría typeof o algo así. ¿Podría darme una explicación rápida de cómo funciona esto o me vincularía al manual donde se habla de esto?

@eyalch ¡ eso es increíble! Gracias. Pensé que la solución involucraría typeof o algo así. ¿Podría darme una explicación rápida de cómo funciona esto o me vincularía al manual donde se habla de esto?

@vegerot Seguro, creo que es un "tipo de índice". Aquí está en el manual: https://www.typescriptlang.org/docs/handbook/advanced-types.html#index -types

¡Me alegro de haber podido ayudar!

Hola,% username%, si la solución ElementType no funciona para ti también,
preste atención a as const después de la matriz . Es crucial