C
например
interface IExample1 = {
a: number;
make: string;
}
interface IExample2 = {
a: number;
model: string;
}
interface IExample3 = {
a: number:
weight: number
}Size: a a a
2021 June 09
C
имеем следующие интерфейсы
C
type UnionType = IExample1 | IExample2 | IExample3
funciton evalExample(yourEntity: UnionType) {
return yourEntity.weight;
}
C
на этой функции тс упадет с ошибкой ибо не знает о проперти weight для
IExample1 и IExample2C
но если в функцию добавить тайпгарды, что и в любом случае стоило бы сделать - тс еще и подскажет о наличии проперти
C
в общем логично
AK
для мене не логічно, що він не свариться коли приходить {a: 1, model: tesla, weight: 1000}
AK
тут не очевидно в який if воно зайде першим
EO
Тайпскрипт не номинально проверяет, а структурно
C
function isExample3(entity : UnionType) : entity is IExample3 {
return entity.weight !== undefined
}C
+1
EO
| это не ИЛИ в типах, это операция объединения множеств
EO
Ты не сказал что мне нужно ИЛИ то ИЛИ это. Ты сказал что мне нужно И то И это
C
и соответственно функция evalExample будет содержать в себе тайпгарды и будет результат, который Вы ожидаете
C
но вообще проще объяснение действительно звучит так)
EO
Ещё проще это вспомнить диаграммы Венна
EO
И нарисовать там две диаграммы на эти два типа
EO
| объединит два подмножества
& сделает пересечение подмножеств
& сделает пересечение подмножеств
C
это пересекающиеся “круги” множеств?)
EO
Ага