Почему можно переопредилить функцию, которая на входе требует иной сигнатуры?

Question

[Роман Якимчук]

Код:

let foo: ({ x: number }) => void

foo = () => null
foo = function () {}

По идее, сигнатура функции не соблюдена (аргумент "x" не требуется в присваиваемой функции), но ошибки нет.
Почему этот код валидный?

Answer 1

[Robur]

во первых, у вас код неправильный, должно быть видимо let foo: ( x: number ) => void
потому что проверка типов это не просто сравнивание сигнатур функций - это проверка что один тип может быть приведен к другому.
функция у которой нет параметра может быть вызвана в месте где ей передадут параметр, она просто его проигнорирует. То есть тип функции без параметров приводится к типу с параметрами.
По факту, если вы вызовите foo(123) то она отработает нормально, что система типов и учитывает.

попробуйте сделать наоборот и сразу получите ошибку:
let foo: () => void = (x: number) => null
То же самое если параметры будут не совпадать по типам

Comments

[Роман Якимчук]

Если у функции нет параметров, само собой что он будет проигнорирован. Другое дело, когда он должен быть, а он не передан. Почему нет ошибки?

И, почему вы решили что проверяется приведение типов? Мы можем любое значение привести к булевому, но это не значит что оно будет принято в TS (будет ошибка). Выходит, что вы неправы. Откуда ваша информация?

Ссылка: https://bit.ly/2v4raM4

[Роман Якимчук]

Судя по всему, понял в чем дело. Я не обнаружил приведения типов, но проверку TS всё же производит, даже если в сигнатуре присвоенной функции нет аргументов. Он проверяет не по фактической сигнатуре функции, а по сигнатуре функции, указанной в типе переменной. Таким образом проверяются лишь точки вызовов функции, и сигнатура функции на предмет соответствия ожидаемому типу. Даже подсказки при вводе показываются из типа, а не из самой функции.

https://bit.ly/2UTMhiR
В том числе автоматическое приведение, как видите, не работает.

[Антон Спирин]

RomanYakimchuk,

Другое дело, когда он должен быть, а он не передан. Почему нет ошибки?

У вас в коде нет вызова, напишите вызов без передачи аргумента и получите ошибку:

type Foo = (x: number) => void;

const foo: Foo = () => {};

foo();  // TS2554: Expected 1 arguments, but got 0.

Более того, в случае с void, вы можете возвращать значение из foo и ошибки тоже не будет:

type Foo = (x: number) => void;

const foo: Foo = () => 'value';

const str: string = foo(1) as any;

Он проверяет не по фактической сигнатуре функции, а по сигнатуре функции, указанной в типе переменной. Таким образом проверяются лишь точки вызовов функции, и сигнатура функции на предмет соответствия ожидаемому типу.

Неверно.

type Foo = () => void;

const foo: Foo = (x: string) => {};
// TS2322: Type '(x: string) => void' is not assignable to type 'Foo'.

type Bar = (x: number) => string;

const bar: Bar = () => 1;
// TS2322: Type 'number' is not assignable to type 'string'.

[Robur]

RomanYakimchuk, почитайте систему типов в тайпскрипте повнимательнее. Может быть я плохо объясняю но базовый принцип там крайне простой - тип приводится - все норм, не приводится ошибка.

Другое дело, когда он должен быть, а он не передан. Почему нет ошибки?

С чего вы взяли что нет? Если он должен быть но не передан - будет ошибка.