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

Question

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

умный и явно объявил тип аргумента sayHello(user: { firstName: string, lastName: string })
если стереть тип (и как раз ипользовать вывод) то компилятор сразу подскажет в чем неправ

#programming #russian #typescript

0

08.02.2019

2 ответов

16 просмотров

Богдан

вот я убрал лишний, код чтобы явно показать ошибочность вывода - в этом примере function getUserGreetings(user: { sayHello(user: { firstName: string }): string }) { user.sayHello({firstName: ""}) } getUserGreetings({ sayHello(user: { firstName: string, lastName: string }): string { return user.lastName } }) тайпскрипт не показывает ошибку (чтение поля lastName которого не передали) даже если включить все флаги строгости. Но достаточно заменить метод на стрелочную функцию sayHello: (user: { firstName: string }) => string так сразу покажет ошибку function getUserGreetings(user: { sayHello: (user: { firstName: string }) => string }) { user.sayHello({firstName: ""}) } getUserGreetings({ sayHello(user: { firstName: string, lastName: string }): string { return user.lastName.toUpperCase(); } }) Type '(user: { firstName: string; lastName: string; }) => string' is not assignable to type '(user: { firstName: string; }) => string'. Types of parameters 'user' and 'user' are incompatible. Property 'lastName' is missing in type '{ firstName: string; }' but required in type '{ firstName: string; lastName: string; }'. кароче это известная проблема с бивариантными параметрами методов, мне просто интересно - они по прежнему ее не решили или не придумали никаких ли фич которые решают этот баг с выводом параметров у метода?

0

08.02.2019

Богдан · Accepted Answer

Богдан

правильно, я определил что метод принимает объект у которого должны быть такие-то поля (firstName и lastName), но почему-то при вызове user.sayHello({ firstName: "vasya" }) тайпскрипт не видит что лишнего поля не хватает

0

08.02.2019

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

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

2 ответов

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