Видеоуроки, интерактивный редактор и сохранение прогресса — бесплатно, сразу после входа.
ВойтиСоздать аккаунт — бесплатноДженерик, который встречается только в возвращаемом типе, выглядит удобно, но обманывает. Вывести его не из чего, поэтому вызывающий код просто пишет нужный тип в угловых скобках, и функция «возвращает» его, ничего не проверив.
В задании парсер JSON:
Посмотри на последние две строки. Строка '{"name":"Макс"}' явно не пользователь, но fake имеет тип User, и fake.id компилируется. В рантайме там undefined. Это и есть «пообещать тип»: as T внутри функции ничего не проверяет, он только переклеивает этикетку.
Компилятор ругается в другом месте: «Expected 1 arguments, but got 2» на строке с maybeUser. Код уже пытается передать функцию-проверку isUser, это type guard, предикат вида value is User. Он проверяет данные в рантайме и одновременно сообщает компилятору тип. Но parseJson принимать его пока не умеет.
Подробнее: Using type predicates — справочник TypeScript.
Переделай parseJson так, чтобы она принимала вторым аргументом type guard, выводила T из него и возвращала T только если проверка прошла, а иначе null. Приведение через as должно исчезнуть. Строки с fake и fakeId перепиши под новую сигнатуру: проверяй через isUser и учитывай, что результат может быть null.
