169 похожих чатов

Всем привет. Подскажите пожалуйста, почему в песочнице на 20 строке


task: T extends BaseEntity
а на 23
task: T | S
В чем ошибка? Нужно чтоб на 20 был тип T, а на 23 тип S в соответствии работы тайпгарда isTaskEntity
Linkkk

9 ответов

22 просмотра

кажется ты хчешь использовать else

Alexey- Автор вопроса

? написал конструкцию if else, разницы 0

значит не работают так TypeGuard

Alexey- Автор вопроса

ты наугад отвечаешь или что? тайпгард взят из доки и если передавать конкретные типы то все ок работает

удачи

Это довольно забавное поведение, которое становится слегка более очевидным, если написать так

С точки зрения структурной типизации WithoutId<T> ⊆ T. Поэтому тайпскрипт не утруждает себя сужением типов от T | WithoutId<T> к WithoutId<T>

Alexey- Автор вопроса

интересно, но даже в вашей реализации в ветках if/else у task нет конкретного одного типа

Всё так. В ветке else → T, как и говорит нам тайпгард. В ветке if → казалось бы WithoutId<T>, но не совсем, в силу описанного мною выше бага (особенности, если на то пошло, но имхо — бага)

Похожие вопросы

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Я вот подумал. SSE выполняет операции максимум с 64-битной точностью. А FPU - всегда с 80-битной. Разве не должно быть FPU точнее тогда?
The Bird of Hermes
13
как быть с принтером? такой подход прокатит?
zamtmn
12
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Я не понимаю, это троллинг или что? Швабрика поддерживают, который буквально пишет на ассемблере взаимодействия с винапи. Я это ещё написал загрузчик и хоть что-то изучаю в о...
Shadow Akira
6
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Карта сайта