Typescript: Membuat tipe dari nilai dalam array

keyof hanya berfungsi karena menggunakan informasi yang diketahui secara statis pada waktu kompilasi. Jenis di TS sepenuhnya dapat dihapus dan tidak ada dalam kode yang ditranspilasi, jadi tidak mungkin untuk membuat jenis berdasarkan konten runtime dari sebuah larik.

Ini mungkin:

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

Jelas tidak jelas bagaimana melakukan ini. # 27179 terkait.

Itu masih menggunakan informasi yang dikenal secara statis oleh kompilator; pada saat itu saya tidak mengerti apa keuntungan dari sekedar mengatakan ”A” | “B” .

@fatcerberus Berguna untuk menghindari pengulangan informasi - jika Anda hanya menulis const values = ["A", "B"]; type Foo = "A" | "B"; , mudah bagi seseorang untuk mengubah salah satunya sementara lupa untuk mengubah yang lain. Anda dapat menulis const values: Foo[] =["A", "B"]; , tetapi itu masih rentan dengan menambahkan entri tambahan ke Foo dan lupa memasukkannya ke dalam values .

Di mana kita sekarang?

Seperti yang dikatakan @ andy-ms, akan sangat berguna untuk menghindari pengulangan informasi secara manual.
Dan seperti yang dikatakan @fatcerberus , tipe sepenuhnya dapat dihapus. Terkadang kita perlu memeriksa data runtime yang kita dapatkan misalnya dari bagian aplikasi yang tidak murni (seperti layanan web, atau dari pengguna).

Berdasarkan jawaban @ andy-ms, dan menggunakan pernyataan konstanta yang diperkenalkan dalam skrip ketikan 3.4, sekarang mungkin untuk melakukan sesuatu seperti ini

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"

Masalah ini telah ditandai sebagai 'Pertanyaan' dan tidak melihat aktivitas terbaru. Itu telah ditutup secara otomatis untuk keperluan rumah tangga. Jika Anda masih menunggu jawaban, pertanyaan biasanya lebih cocok untuk stackoverflow .

di [email protected] dan di atasnya. selesaikan seperti ini

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

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

Daripada ini:

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

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

Kamu bisa melakukan ini:

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

export type Item = typeof items;

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

_Sangat tidak suka menggunakan type sebagai nama variabel._

@ 7

di [email protected] dan di atasnya. selesaikan seperti ini

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

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

Sekarang bagaimana jika saya memiliki ini di kelas?

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

 const withType: typeof list[number];
}

Tidak bekerja. Saya juga tidak bisa melakukan this.list[number] . Juga, khusus saya
usecase, saya tidak dapat menyetel list menjadi static

@ 7

di [email protected] dan di atasnya. selesaikan seperti ini

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

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

Sekarang bagaimana jika saya memiliki ini di kelas?

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

 const withType: typeof list[number];
}

Tidak bekerja. Saya juga tidak bisa melakukan this.list[number] . Juga, khusus saya
usecase, saya tidak dapat menyetel list menjadi static

@vegerot Anda tidak dapat menggunakan const secara langsung dalam lingkup class , jadi sintaksnya salah.

@ 7

di [email protected] dan di atasnya. selesaikan seperti ini

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

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

Sekarang bagaimana jika saya memiliki ini di kelas?

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

 const withType: typeof list[number];
}

Tidak bekerja. Saya juga tidak bisa melakukan this.list[number] . Juga, khusus saya
usecase, saya tidak dapat menyetel list menjadi static

@vegerot Anda tidak dapat menggunakan const secara langsung dalam lingkup class , jadi sintaksnya salah.

@ 7Saya buruk. Saya menyalin dan menempel terlalu banyak. Yang ingin saya katakan adalah

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

 private withType: typeof list[number];

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

}

dll semua tidak bekerja.
Juga, untuk kasus penggunaan khusus saya, saya tidak dapat menyetel daftar menjadi statis

@ 7

di [email protected] dan di atasnya. selesaikan seperti ini

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

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

Sekarang bagaimana jika saya memiliki ini di kelas?

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

 const withType: typeof list[number];
}

Tidak bekerja. Saya juga tidak bisa melakukan this.list[number] . Juga, khusus saya
usecase, saya tidak dapat menyetel list menjadi static

@vegerot Anda tidak dapat menggunakan const secara langsung dalam lingkup class , jadi sintaksnya salah.

@ 7Saya buruk. Saya menyalin dan menempel terlalu banyak. Yang ingin saya katakan adalah

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

 private withType: typeof list[number];

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

}

dll semua tidak bekerja.
Juga, untuk kasus penggunaan khusus saya, saya tidak dapat menyetel daftar menjadi statis

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

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

@vegerot Bagaimana dengan ini?

@eyal itu luar biasa! Terima kasih. Saya pikir solusinya akan melibatkan typeof atau sesuatu. Apakah Anda akan memberikan penjelasan singkat tentang cara kerjanya, atau tautkan saya ke buku pegangan di mana hal ini dibahas?

@eyal itu luar biasa! Terima kasih. Saya pikir solusinya akan melibatkan typeof atau sesuatu. Apakah Anda akan memberikan penjelasan singkat tentang cara kerjanya, atau tautkan saya ke buku pegangan di mana hal ini dibahas?

@vegerot Tentu, saya yakin ini adalah "Jenis indeks". Ini dia di Buku Pegangan: https://www.typescriptlang.org/docs/handbook/advanced-types.html#index -types

Senang aku dapat membantu!

Hai% username%, jika ElementType solusi juga tidak berfungsi untuk Anda,
perhatikan as const after array . Ini penting