Почему тип never у пустого массива?

Question

[ivan0512]

const test1 = []; // тут будет any[]
test1.push('');

const test2 = {
  field: [] // тут будет never[]
};
test2.field.push('') // соттветственно ошибка

Почему так происходит? Почему пустому массиву присваивается тип never, когда он внутри объекта?
Знаю, что можно пофиксить ошибку, если явно задать тип, но хочется разобраться, если ли в этом какой-то смысл или это скорее баг тайпскрипта

Comments

[Sergey]

Или у вас ошибка в коже, или вы скопировали с ошибкой.
На второй строке у вас test2, когда он ещё не инициализирован.

[ivan0512]

Sergey, Сюда написал с ошибкой. Так или иначе на вопрос это не влияет. Ошибки в первом случае нет

Answer 1

[Руслан Лопатин]

Вот соответствующий баг. А вот объяснение почему это не баг.

В общем случае пустой массив имеет тип never[]. Но в простом случае TypeScript умеет выводить тип изначально пустого массива по последующим операциям над ним. Типа push.

Так что реально тип test1 из вашего примера станет string[], как только будет "зафиксирован". Например, возвращён из функции или назначен в другую переменную.

Так что следующий код будет работать:

function buildArray() {
  const test1 = []; // тут будет any[]
  test1.push('str');
  test1.push(1);
}
const array = buildArray(); // тип (string | number)[]

А вот такой - уже нет

const test1 = []; // тут будет any[]
test1.push('');
const test2 = test1;
test2.push(2); // Argument of type '2' is not assignable to parameter of type 'string'.

Comments

[ivan0512]

Спасибо, я понял. Только выглядит это как очередная недоработка тайпскрипта, которые тут, как я уже успел заметить, называют несовершенной системой типов, а не багами) Придется с этим мириться)
Только один вопрос, а в чем смысл never[], понимаю, что это интерпретируется, как пустое множество, но в пустом массиве нет же никого смысла. Почему бы тогда не обработать этот случай)

[Руслан Лопатин]

never[] чтобы не делать any[], очевидно. Поскольку из выражения не понятно, какой тип делать, а any - всегда плохой вариант.

Во всех случаях обработать пустой массив не получается, очевидно. Никто этого ещё не реализовал. Может и появится реализация со временем.