Tipizzare le chiavi di traduzione

In una configurazione i18n con sicurezza dei tipi, l'insieme delle chiavi di traduzione valide viene derivato dall'oggetto dei messaggi. Un errore di battitura come t("greetng") diventa un errore di compilazione, non un bug dovuto a una stringa mancante a runtime.

Si parte da un semplice oggetto di messaggi. È l'unica fonte autorevole sia per i valori sia per il tipo delle chiavi.

Per un oggetto piatto, keyof typeof restituisce l'unione delle chiavi.

I cataloghi reali dei messaggi sono annidati. Vogliamo percorsi separati da punti come "cart.empty", non solo chiavi di primo livello. Ci serve un tipo ricorsivo che attraversi l'oggetto.

Un tipo condizionale e un tipo mappato costruiscono percorsi separati da punti ricorrendo negli oggetti annidati e anteponendo le chiavi. Il prefisso usa un tipo letterale di modello, scritto con i backtick nel codice reale come [backtick]${K}.${Paths<T[K]>}[backtick]. Di seguito lo mostriamo come JoinPath(K, child) per mantenere pulito l'elenco.

Passando il tipo messages a Paths si ottengono tutte le chiavi separate da punti valide.

Spesso si desiderano solo i percorsi delle foglie, cioè le stringhe effettive, escludendo gli oggetti intermedi. Si modifica la ricorsione in modo da ignorare i nodi non stringa. Anche il prefisso K-punto-figlio usa un tipo letterale di modello, delimitato dai backtick nel codice reale, mostrato qui come JoinPath.

Si vincola il parametro della funzione di traduzione all'unione delle chiavi derivate, così in fase di compilazione sono ammesse solo chiavi valide.

È possibile andare oltre e dedurre il tipo del valore in corrispondenza di un percorso, utile quando i messaggi contengono elementi non stringa. Un tipo condizionale che indicizza il percorso attraversa i punti. Suddivide il percorso con un modello di tipo letterale che, nel codice reale, viene scritto con i backtick nella forma Head punto Rest con infer. Di seguito indichiamo questa suddivisione come SplitHead/SplitRest.

Senza as const, i valori stringa diventano più generici fino a string e si perdono le informazioni sui letterali necessarie in seguito, ad esempio per estrarre i segnaposto. Dichiari sempre i cataloghi come const.

Derivare le chiavi dal catalogo fa sì che l'aggiunta, la ridenominazione o la rimozione di un messaggio aggiorni immediatamente il tipo delle chiavi consentite ovunque. Non serve mantenere un enum centrale né gestire costanti stringa obsolete.

Confermi di aver compreso la tipizzazione delle chiavi di traduzione.

Ha derivato un'unione di chiavi valide da un oggetto messages usando keyof insieme a un tipo ricorsivo dei percorsi basato su tipi letterali di modello. Le varianti che includono solo le foglie escludono gli oggetti intermedi, una t tipizzata rifiuta le chiavi non valide e as const conserva le informazioni sui letterali necessarie al sistema dei tipi.