0

по идее он же должен ругаться на unknownLengthResArray: [] ведь в методе указано что это массив объектов которые должны иметь key

const args = {
    unknownLengthResArray: [],
    t,
    keyName: 'service',
    namespace: 'services'
}

const sectionBody = unknownLengthDatagridRowSectionBody(args)


interface IInnerObject {
    key: string;
}

type TArgsType = {
    unknownLengthResArray?: IInnerObject[];
    t: any;
    keyName: string;
    namespace: string;
}

type TReturnType = Dictionary<string>[];

export const unknownLengthDatagridRowSectionBody = ({
    unknownLengthResArray,
    t,
    keyName,
    namespace
}: TArgsType): TReturnType => {
    const sectionBody = []
    if(unknownLengthResArray?.length) {
        let section = {}
        let denominator = 3
        unknownLengthResArray.forEach(({ key }, i) => {
            const sectionInfo = {
                [`${t(keyName)} ${i+1}`]: t(`${namespace}:${key}`)
            }
            while(i < denominator){
                section = {...section, ...sectionInfo}
                return
            }
            sectionBody.push(section)
            section = {}
            denominator += denominator
        })
    }
    return sectionBody
}
7
  • 2
    Все элементы этого массива имеют поле key. Так уж устроена теория. Если вам нужен непустой массив, то возможно вам нужен кортеж (tuple)
    – Alexey Ten
    6 июл 2021 в 20:28
  • 1
    @AlexeyTen, в tuple вроде как проблема с количеством элементов, нужно явно задавать
    – Grundy
    6 июл 2021 в 21:52
  • 1
    @yar85, потому что это не массив тогда? :-) А внутри функции используются методы массива
    – Grundy
    7 июл 2021 в 1:04
  • 1
    @Grundy, на это я приведу неоспоримый аргумент против любой критики - "ой, всё" :D Если серьезно, то ответом добавил, милости прошу критиковать более "копипастный" вариант решения. //А коммент удалил, чтобы он не смущал "некопипастностью" подхода.
    – yar85
    7 июл 2021 в 1:42
  • 1
    @Grundy [T, …T[]] вроде как-то так должно работать typescriptlang.org/docs/handbook/2/objects.html#tuple-types
    – Alexey Ten
    7 июл 2021 в 5:13

1 ответ 1

3

почему typeScript допускает пустой массив?

Потому что пустой массив все же является массивом: когда тип самой переменной со значением [] описан как обычный массив - соответствие типов вполне соблюдается, независимо от типа элементов массива.

по идее он же должен ругаться на unknownLengthResArray: [] ведь в методе указано что это массив объектов которые должны иметь key

Это ожидание типизации "пустоты", отсутствия значения, которое типизировать невозможно по определению (за исключением спецтипа never, который тут по-моему неприменим).
Проще говоря: когда в массиве нет содержимого - нечего проверять на соответствие типов.


Как можно объявить тип непустого массива типизированных объектов:

interface IInnerObject {
  key: string;
}

interface INonEmptyArray<T> {
  0: T;
  [key: number]: T;
}

type ArrayOfInnerObject = Array<IInnerObject> & INonEmptyArray<IInnerObject>;

TS Playground

Индексы js-массива непрерывны, поэтому массив с как минимум одним значением всегда имеет элемент с индексом 0.

При этом, если допустить "пропуск" в значениях, (например) при массиве из двух элементов добавив еще один по индексу 3, сработает проверка типов - т.е., должна возникать ошибка(а фиг там) TS почему-то не могёт/не хочет проверять тип значений в промежуточных индексах (тут это индекс 2 со значением undefined), такой нюанс надо учитывать: в идеале, не допускать пропусков, следя за своими константами и явными присваиваниями по индексу; и фильтруя/преобразуя поступающие извне (например, от бэкэнда) входные данные, которые TS не сможет проверить в любом случае.

1
  • 1
    Комментарии не предназначены для расширенной дискуссии; разговор перемещён в чат.
    – Grundy
    7 июл 2021 в 7:51

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.