Comment vérifier le type d'objet sur l'exécution dans la Machine?

Modifier: je veux montrer aux gens qui viennent ici, à partir de recherches que cette question est précisément de traiter avec les types de classe, c'est à dire de l'objet
les formes sont définies par interface ou type alias. Pour les types de classe vous
pouvez utiliser du JavaScript instanceof pour déterminer la classe une instance vient de, et la Machine sera de préciser le type dans le type-checker automatiquement.

Types sont retirés au moment de la compilation et ne pas exister au moment de l'exécution, de sorte que vous ne pouvez pas vérifier le type à l'exécution.

Ce que vous pouvez faire est de vérifier que la forme d'un objet est ce que vous attendez, et la Machine peut faire valoir le type au moment de la compilation à l'aide d'un type défini par l'utilisateur garde qui retourne true (annoté type de retour est de type "prédicat" de la forme arg is T) si la forme correspond à vos attentes:

interface A {
  foo: string;
}

interface B {
  bar: number;
}

function isA(obj: any): obj is A {
  return obj.foo !== undefined 
}

function isB(obj: any): obj is B {
  return obj.bar !== undefined 
}

function func(obj: any) {
  if (isA(obj)) {
    //In this block 'obj' is narrowed to type 'A'
    obj.foo;
  }
  else if (isB(obj)) {
    //In this block 'obj' is narrowed to type 'B'
    obj.bar;
  }
}

Exemple dans l'aire de Jeux

À quelle profondeur vous prendre la garde de la mise en œuvre est vraiment à vous, il suffit de retourner la valeur true ou false. Par exemple, comme Carl l'a fait remarquer dans sa réponse, l'exemple ci-dessus vérifie seulement que ces propriétés sont définies (suite de l'exemple dans les docs), pas qui ils sont, ils sont affectés au type attendu. Cela peut se complique avec des types nullables et objets imbriqués, c'est à vous de déterminer quel niveau de détail pour faire la forme de la vérifier.

OriginalL'auteur Aaron Beall

J'ai été jouer avec la réponse d'Aaron et pense qu'il serait mieux de tester pour typeof au lieu de simplement pas défini, comme ceci:

interface A {
  foo: string;
}

interface B {
  bar: number;
}

function isA(obj: any): obj is A {
  return typeof obj.foo === 'string' 
}

function isB(obj: any): obj is B {
  return typeof obj.bar === 'number' 
}

function func(obj: any) {
  if (isA(obj)) {
    console.log("A.foo:", obj.foo);
  }
  else if (isB(obj)) {
    console.log("B.bar:", obj.bar);
  }
  else {console.log("neither A nor B")}
}

const a: A = { foo: 567 }; //notice i am giving it a number, not a string 
const b: B = { bar: 123 };

func(a);  //neither A nor B
func(b);  //B.bar: 123

OriginalL'auteur Carl Sorenson