Dlaczego TypeScript pozwala konwertować z ciągu na numer bez ostrzeżenia

Question

Podczas pisania tego kodu TypeScript byłem zaskoczony, że kompilator TypeScript nie ostrzega mnie, gdy konwertuję z ciągu na numer.

var a = new string[]; 
a.push('a') 
a.push('b') 
a.push('c') 

var i:string; 
for (i in a) { 
    var c : number = a[i]; <---- Here a is string[] but I assign it to c which is number 
    alert(c.toString()) 
} 

Answer 1

Krótka odpowiedź: a[i] jest typu any nie string.

Długa odpowiedź: a jest typu string[]. W TypeScript obiekty typu T[], które są indeksowane przez number, dają wartość typu T, ale indeksowanie ich przez string daje w rezultacie any. Wartości typu any można dowolnie konwertować na dowolny inny typ.

Dlaczego?

Kiedy indeksujesz tablicę za pomocą ciągu znaków, kompilator po prostu nie ma możliwości przewidzenia, co się stanie, i utknąłeś w any. Rozważmy:

// Elsewhere... 
Array.prototype.danger = 35; 

// Meanwhile, back at the ranch: 
var a = [ 'z' ]; 

var i: string; 
for (i in a) { 
    var x = a[i]; // i = 'danger', a[i] = 35... 
} 

Jeśli jesteś naprawdę pewien, że nikt nie będzie mucking z obiektem, czy bierzesz indeksy od znanego, bezpiecznego zestawu wartości łańcuchowych, można napisać typ indeksowania. W przypadku indeksowania za pomocą ciągu znaków prawdopodobnie lepiej jest użyć obiektu niż tablicy:

var a: {[s: string]: string; } = {}; 
a['hello'] = 'world'; 
var i:string; 
for (i in a) { 
    var c : number = a[i]; // Issues an error 
}