Почему Typescript считает аргумент функции корректным?

Question

[VladMokrousov]

Привет) На днях столкнулся с интересным поведением Typescript. Я явно дал знать, какой интерфейс должен использовать аргумент функции. Тем не менее, если передать в качестве аргумента значение, которое будет использовать интерфейс с дополнительными полями, ошибки не будет. Почему?

interface IValidUser {
  name: string
}
interface IInvalidUser {
  name: string,
  age: number
}

const validUser: IValidUser = {name: 'Pavel'}
const invalidUser: IInvalidUser = {name: 'Nadya', age: 45}
  
const printUser = (user: IValidUser): void => {
  console.log(user)
}

printUser(validUser)
printUser(invalidUser)

Comments

[RAX7]

https://www.typescriptlang.org/docs/handbook/type-...

Answer 1

[Василий Банников]

Тайпскрипт использует структурную типизацию, а не номинативную.
Это значит, что он смотрит не на имена типов, а на их содержимое-структуру.
И вот по структуре Invalid user расширяет Valid user.

Побороться с этим можно, если ввести какую-нибудь несовместимость между этими интерфейсами.
Например добавив поле type с некоторым константным строковым знаяением

Comments

[VladMokrousov]

Ага, читал про это. Если интерфейсы содержат одинаковые поля, но называются по-разному, вопросов нет. Удивляет именно то, что тайпскрипт позволяет передавать в функцию переменную с интерфейсом, расширяющим интерфейс, который я указал для аргумента...

[Василий Банников]

VladMokrousov, они между собой совместимы? Совместимы.
Какие тогда тут вопросы?
Вам тут в комментах ещё хорошую ссылку на документацию дали:
https://www.typescriptlang.org/docs/handbook/type-...

Answer 2

[Sun_Day]

Насколько я помню, это известная проблема в тайпскрипте. Здесь нет такой точности типов на уровне дизайна языка, но то что вы ожидаете есть во Flow.
Обсуждалось здесь:
https://github.com/Microsoft/TypeScript/issues/12936
Почти 5 лет, да, взгляните на количество ишьюс). Все обсуждение не читал, руки не доходят, но вроде подвижки есть.

Answer 3

[Алексей Ярков]

А почему нет? Попробуйте передать в функцию не переменную, а сам объект - увидите разницу.
https://www.typescriptlang.org/play?#code/JYOwLgpg...

Comments

[VladMokrousov]

Алексей, эта разница меня и удивляет)

[Алексей Ярков]

VladMokrousov, ну там выше уже объяснили причину )) Просто знайте это и живите с этой болью ))