TypeScript: pourquoi un nombre est-il assignable à une référence de type Object?

Question

Pourquoi ce type de code est-il légal?

var x: number = 5 
var y: Object = x 

Sûrement un nombre n'est pas un Object. On pourrait penser que x est sous la contrainte implicite (auto-boxed) à un objet, mais non:

if (!(y instanceof Object)) { 
    console.log(typeof y) 
} 

impressions

number 

Pour mémoire:

$ tsc --version 
Version 1.8.10 

Answer 1

Compatibilité Type dactylographiée est basé sur structurel sous-typage, pas typage nominal. Cela dit, tenez compte des deux définitions d'interface suivantes:

interface IFoo { X: number } 
interface IBar { X: number; Y: number } 

Est-ce que IBarIFoo étendent? Mais est-ce que IFoo est compatible avec IBar? Oui.

Les membres de IFoo sont un sous-ensemble de IBar membres, vous pouvez ainsi assigner une IBar-IFoo. Mais cela ne fonctionne pas dans l'autre sens:

var x: IFoo; 
var y: IBar; 

x = y // all good 
y = x // type error, x has no Y member 

De cette façon dactylographiée tous les types sont compatibles avec Object si vous pensez que l'interface vide. De cette façon, vous pouvez passer n'importe quelle valeur tapuscrite valide aux fonctions acceptant Object et bien jouer avec la façon dont les librairies Javascript sont écrites.

Je suggère de lire Type Compatibility dans les docs et le dernier paragraphe à propos de Sous-type vs Affectation.