Type narrowing with foo.constructor

TypeScript Version: 2.3.1

Code

class FooTask {
  foo: number;
}

class BarTask {
  bar: number;
}

type taskType = FooTask|BarTask;

function createEvent(task: taskType) {
  if (task instanceof FooTask) {
    task.foo; // Works.
  }

  switch (task.constructor) {
    case FooTask:
      task.foo; // Fails.
  }
}

It would be nice if the second worked like the first; narrowed the type of task appropriately.

Utilisez l’exemple FooTask/BarTask fourni avec TypeScript 2.3.1 pour reproduire la différence entre instanceof et le raffinement de type par task.constructor. Suivez le chemin de raffinement des types du compilateur pour le switch et comparez-le au cas instanceof. C’est terminé lorsque task.foo est accepté dans la branche FooTask sans affaiblir le comportement existant de raffinement.