Почему возникает ошибка типов?

Question

[Александр Макаров]

Здравствуйте,
Подскажите, почему typescript выдает ошибку в такой ситуации:

type Test = {
  srn: number
}

const test: Test = { srn: 123 };

['srn', 'qre'].forEach((p) => {
  if (typeof test[p] === 'number') {
    test[p] = 34;
  }
})
Element implicitly has an 'any' type because expression of type 'string' can't be used to index type 'Test'.
  No index signature with a parameter of type 'string' was found on type 'Test'.

Answer 1

[Дмитрий Беляев]

Вариант 1:

type Test = {
    srn: number;
    qre?: unknown;
};
const test: Test = { srn: 123 };

(['srn', 'qre'] as const).forEach((p) => {
  if (typeof test[p] === 'number') {
    test[p] = 34;
  }
});

Вариант 2:

type Test = {
  srn: number
}

const test: Test = { srn: 123 };

['srn', 'qre'].forEach((p) => {
  if (p === 'srn') {
    test[p] = 34;
  }
});

Вариант 3:

type Test = {
  srn: number
}

const test: Test = { srn: 123 };

const isKeyofTest = (s: string): s is keyof Test =>
    s === 'srn';

['srn', 'qre'].forEach((p) => {
  if (isKeyofTest(p)) {
    test[p] = 34;
  }
});

https://www.typescriptlang.org/play?#code/PTAEEYCg...

Comments

[Александр Макаров]

Спасибо за ваш ответ, но...
Первый вариант предполагает опциональное свойство, которого там не должно быть даже опционально, не предусмотрено типом и не хотелось бы, чтобы оно предусматривалось.
Два других варианта построены на проверке строгого равенства переменной p строке 'srn'. Однако, пример этот тестовый и очень обощенный. Таких свойств, как 'srn' может быть и 5 и 10 и более, равно как и массив ['srn', 'qre'] может быть гораздо более длинным. Как быть тогда? Сравнивать переменную с каждым строковым значением?

[Дмитрий Беляев]

Александр Макаров, тогда нужно идти по пути 3 варианта, но проверять наличие полей в конкретном объекте:

const isKeyofTest = (s: string): s is keyof Test =>
    Object.keys(test).includes(s);

['srn', 'qre'].forEach((p) => {
  if (isKeyofTest(p)) {
    test[p] = 34;
  }
});

Такая вещь называется кастомный тайп гвард, но TS не проверяет устройство такой функции, и верит нам как программисту, что мы проверили тип правильно.

[Александр Макаров]

Дмитрий Беляев, Да, это выход конечно, равно как добавить в тип сигнатуру
[key: string]: number
Но я тогда напрочь не пойму ценность тайпскрипта, если мне приходится подставлять какие-то костыли только для того, чтобы накормить тайпскрипт, а не для того, чтобы извлечь пользу от его использования.

Answer 2

[Alexandroppolus]

Для переменной p выводится тип string, то есть по мнению тайпскрипта, здесь возможно обращение к произвольному полю объекта test.
Как правильно затипизировать, зависит от того что тут должно быть. На данный момент для test можно указать тип Record

Comments

[Александр Макаров]

Вот мне и не понятно, почему для тайпскрипта не очевидно, что это может быть произвольное поле, если я проверяю наличие этого поля.
Record - конечно выход. Но! Мне не нужно, чтобы в переменной test могли быть объявлены дополнительные, не указанные в типе, свойства.

[Alexandroppolus]

Александр Макаров, можно прямо перед циклом сделать
const map: Record<string, number> = test;

и в цикле использовать уже map.

А для TS как раз очевидно, что идет обращение к произвольному полю. Собственно, потому и ругается. Если в типе не указано поле, то прочтение такого поля дает тип any, а это плохо. Никаких any не должно быть.