Баг тайпчекинга параметров функции?

Question

[Alexandroppolus]

Код:

type AB = {
    a: number
    b: string
}

type A = {
    a: number
}

interface Int1 {
    f(p: A): void
    // f: (p: A) => void
}

class Class1 implements Int1 {
    f(p: AB): void { console.log(p) }
    // f = (p: AB) => { console.log(p) }
}

var o: Int1 = new Class1();

o.f({a: 1})

По закону контравариантности, Class1 не реализует интерфейс Int1, потому что классовый метод f не сможет принимать параметр типа А.
Тем не менее, тайпчекинг помалкивает.

Если в интерфейсе поменять определение f (закомментить-раскомментить), то ошибка подсвечивается, независимо от того, как запишем функцию в классе.

Может я чего не понимаю в этой форме? f(p: A): void Но если тут вместо А подставить, например, число, то всё норм, есть ошибка.

Answer 1

[Станислав Макаров]

Отличный вопрос.

Strict function types:

The stricter checking applies to all function types, except those originating in method or constructor declarations. Methods are excluded specifically to ensure generic classes and interfaces (such as Array) continue to mostly relate covariantly.

При замене методов на обычные функции сразу появляется ошибка:

type AFnc = (p: A) => void

function foo(p: A): void { }
function bar(p: AB): void { }

const f: AFnc = foo;
const b: AFnc = bar; // не компилируется с сообщением о том, что AB требует ещё и свойство b

Comments

[Alexandroppolus]

Ага, спасибо.
Я так понял, данное поведение не изменить, и надо просто избегать формы f(p: A): void в интерфейсах, чтобы не было сабжа?

[WbICHA]

При замене методов на обычные функции сразу появляется ошибка:

Это тут вообще причём? Ты сделал новый тип type AFnc = (p: A) => void и пытаешься в него запихнуть другой тип, который ждёт больше свойств в аргументе.
Для этого типа type AFnc = (p: AB) => void всё также.

[Станислав Макаров]

WbICHA А при вызове метода f в примере кода из вопроса разве не тоже самое происходит? TS фактически разрешает "запихнуть" функцию типа (p: AB) => void в функцию (p: A) => void за счёт того, что помалкивает на счёт разных типов аргумента.

Когда мы работаем с объектом через интерфейс Int1 мы имеем дело с методом типа (p: A) => void (this опустим из рассмотрения), при этом фактически там будет (p: AB) => void, если это будет объект класса Class1

Answer 2

[WbICHA]

Потому что АВ ─ это частный случай А.
Грубо говоря, тайпскрипт сравнивает не названия интерфейсов, а их свойства и их типы. То есть ты можешь передавать любой тип, который является частным случаем типа, который необходим.
Если поменяешь в АВ тип свойства а на string, то ошибка сразу же появится.

Comments

[Alexandroppolus]

Потому что А ─ это частный случай АВ.

так ведь наоборот.
АВ - это "такое А, у которого ещё есть строковое поле b"

[WbICHA]

Alexandroppolus, что наоборот. Частный случай всегда уже общего.
А - это яблоки.
АВ - это яблоки и груши.
Если тебе нужны яблоки, тебе имеет значение, есть груши у того, у кого ты яблоки берёшь, или нет?
[яблоки] - это частный случай группы [яблоки, груши].

[Alexandroppolus]

WbICHA, ну вот этот же пример с другими типами

interface Int1 {
    f(p: string | number): void
}

class Class1 implements Int1 {
    f(p: number): void { console.log(p) }
}

var o: Int1 = new Class1();

o.f('qqq')

ссылка

здесь очевиднее, что в классовом методе частный случай интерфейсного? и какое "число" выводит лог? )

[Alexandroppolus]

WbICHA, пример с яблоками и грушами не совсем верный.
в понимании TS расклад такой:
А - это "любой объект с числовым полем а, и, возможно, какими-то другими полями"
АВ - "любой объект с числовым полем а, строковым полем b, и, возможно, какими-то другими полями"

А более общее.

[WbICHA]

Alexandroppolus, тс не совершенен, в данном случае он не должен был выдать ошибку тут: var o: Int1 = new Class1();.
И да, в классе частный случай, но поскольку это класс, то если не присваивать тип, то всё будет работать как надо. Собственно, поэтому прописывать лишние типы и не стоит, они могут заменить реальный тип без какого либо указания на ошибку. Или не писать интерфейсы тогда.

[Alexandroppolus]

WbICHA, ну вот пример без лишних типов. Просто указываю, какой должен быть параметр у функции. И тайпчекер спокойно пропускает ошибку. Если поменять закомменченое, то тайпчекер работает как надо

[WbICHA]

Alexandroppolus, да, всё правильно, я ошибся.
Ох уж эти частные и общие случаи...
В любом случае общую логику это не меняет, ответ щас перепишу.

[WbICHA]

Alexandroppolus, интересно. Честно говоря, всегда функции стрелочными типизирую, поэтому с таким поведением не сталкивался, но теперь хотя бы есть серьёзный аргумент в пользу стрелок, если кто спросит.)

[Alexandroppolus]

WbICHA,

Ох уж эти частные и общие случаи...

то что по факту тип AB - сужение типа А, забавно. Визуально он выглядит шире ))

теперь хотя бы есть серьёзный аргумент в пользу стрелок, если кто спросит.)

ага, тоже теперь только форму "f: (p: A) => void" буду юзать. Причем этот момент в доке прописан, см. второй ответ, Стас нашел.
Надо глянуть, может для линтера есть правило