Jak zadeklarować zmienną typu A lub B, gdy jedna rozszerza drugą w Typescript

To jest standardowe zachowanie związków: jeśli nie zrobisz czegoś, aby sprawdzić, z jakim typem mamy do czynienia, typescript pozwoli ci uzyskać dostęp tylko do właściwości, istniejącym u wszystkich członków związku.

Oto kilka przykładów tego, jak można zawęzić typ. Możesz sprawdzić, czy jest to właściwość:

if ('currentTeam' in userData) {
  console.log(userData.currentTeam);
}

Lub, jeśli utworzono klasy (których może nie być), można użyć egzemplarz:

if (userData instanceof Student) {
  console.log(userData.currentTeam);
}

Czy można zmienić typy, aby u wszystkich z nich była ogólna właściwość, którą można następnie sprawdzić, z jakim typem mamy do czynienia. To jest czasami nazywane "dyskryminujące europejską".

interface User {
  type: 'user',
  // rest of the type here
}

interface Student extends User {
  type: 'student',
  currentTeam: // something,
  // rest of the type here
}

if (userData.type === 'student') {
  console.log(userData.currentTeam);
}