Сужение типа в массиве объектов

// потому что x: неизвестно

// Случай 1: объект массива => typeof y === 'object'

f([{ "ключ": "значение" }])

// Случай 2: строка массива => typeof y === 'string'

е(['а'])

y — это элемент массива, его тип не указан, поэтому TypeScript интерпретирует его как any. Рассмотрите возможность использования Универсальных типов, чтобы обеспечить безопасность типов и выполнять операции на основе типа входных данных.

function f<T>(x: T[]) {
  if (!x || !Array.isArray(x)) {
    throw new Error('bad');
  }

  for (const y of x) {
    if (!y || typeof y !== 'object') {
      throw new Error('bad');
    }

    y; // y does intellisense think this has type `any`
  }
}

f([1, 2, 4]);

Тип функции приведенного выше вызова функции будет автоматически выведен function f<number>(x: number[]): void, поскольку вы передаете числа.

Это сочетание двух проблем.

Первая проблема описана по адресу microsoft/TypeScript#43865 . Метод Array.isArray() в настоящее время действует как функция защиты типа , которая сужает входные данные до any[]. Это вполне разумное поведение, но есть много крайних случаев, когда оно не делает того, чего хотят люди. Тип элемента — намеренно небезопасный любой тип , а это означает, что как только вы получите доступ к элементам, они будут иметь тип any. В вашем случае более желательным поведением было бы, если бы оно сужалось до unknown[], где элементы имеют типобезопасный неизвестный тип.

Вторая проблема описана по адресу microsoft/TypeScript#54239 . Определенные операции защиты типа, такие как сужение истинности, просто не работают со значениями типа any. Предположительно, проверка правдивости any должна сузиться как минимум до {}, а затем typeof существо "object" сузится до object. Но этого не происходит, к сожалению. Однако это случается с unknown.

Вот почему это происходит.

Чтобы продолжить, вам нужно обойти хотя бы одну из этих двух проблем. Есть бесчисленное множество способов сделать это (вы всегда можете просто отказаться от Asserty as object внизу кода), но я бы, вероятно, порекомендовал один из них:

Чтобы обойти проверку Array.isArray(), дающую any[], вы можете переназначить результат any[] на unknown[], как показано здесь:

const f = (x: unknown) => {
  if (!x || !Array.isArray(x)) {
    throw new Error("bad");
  }
  for (const y of x satisfies unknown[] as unknown[]) {
    if (!y || typeof y !== "object") {
      throw new Error("bad");
    }
    ((y))
    //^? const y: object
  }
};

Написав x satisfies unknown[] as unknown[], я использую оператор satisfies , чтобы убедиться, что TypeScript в порядке с присвоением xunknown[] (поэтому вы получите ошибку, если, скажем, измените тест !Array.isArray(x) на Array.isArray(x)), а затем я используя оператор утверждения типа as, чтобы рассматривать x как unknown[]. (Вы могли бы сделать это без satisfies, но тогда вы можете не получить ошибку, если x не может быть присвоен unknown[]. Тогда for (const y of x будет видеть y как тип unknown, а остальная часть кода будет работать, потому что его можно сузить до object.

Точно так же вы можете просто использовать новую переменную, например

const f = (x: unknown) => {
  if (!x || !Array.isArray(x)) {
    throw new Error("bad");
  }
  const _x: unknown[] = x;
  for (const y of _x) {
    if (!y || typeof y !== "object") {
      throw new Error("bad");
    }
    ((y))
    //^? const y: object
  }
};

Или вы можете оставить проверку Array.isArray() в покое и обойти сужение y от any до object, написав собственную функцию защиты типа для сужения произвольных значений до object:

function isObject(z: unknown) {
  return !!z && typeof z === "object"
}

Здесь isObject подразумевается, что является функцией предиката типа формы (z: unknown) => z is object (но если вы используете более старую версию TypeScript, вам может потребоваться аннотировать возвращаемый тип самостоятельно). И теперь вы можете просто использовать isObject() вместо встроенной проверки:

const f = (x: unknown) => {
  if (!x || !Array.isArray(x)) {
    throw new Error("bad");
  }
  for (const y of x) {
    if (!isObject(y)) {
      throw new Error("bad");
    }
    ((y))
    //^? const y: object
  }
};

Выглядит хорошо.

Детская площадка, ссылка на код