Typescript generic function. How use with other types?

Question

[Magnus Keef]

/** 
Example array
*/
arr = [
  {
    name: 'John',
    author: 'Bender',
    year: 2003,
    text: [
        'Lorem ipsum',
        'Lorem ipsum',
        'Lorem ipsum'
      ]
  }
]

/** 
Example generic function

This function should sort array
*/

function sortArray<T extends [], K extends keyof T>  (originArr: T, propertyName: K, cb: (a: T) => T): T {
    
    let arr: T = JSON.parse(JSON.stringify(originArr));  //deep copy array
    let resultSort: T = arr;
    
    resultSort = arr.sort((a: K, b: K) => {

        let nameA = a[propertyName].toLowerCase(), nameB = b[propertyName].toLowerCase();

        if (nameA < nameB)
            return -1;
        if (nameA > nameB)
            return 1;
        return 0;
    });

    return cb(resultSort);
}

На данный момент я вижу проблему только в строке:

let nameA = a[propertyName].toLowerCase(), nameB = b[propertyName].toLowerCase();

a[propertyName] : Type 'K' cannot be used to index type 'K'.
b[propertyName] : Type 'K' cannot be used to index type 'K'.

Screen of IDE

Answer 1

[Aetae]

Нет, проблем тут куча.

T extends [], K extends keyof T - K тут что-то производное от number, потому что ключи(keyof) массива([]) - только цифры.
let resultSort: T = arr; - бессмысленно, так как arr.sort в любом случае меняет исходный массив.
a[propertyName].toLowerCase() - упадёт если propertyName будет year, т.к. Number не имеет метода toLowerCase.
...

В итоге функция должна выглядеть как-то так:

function sortArray<T extends {[key: string]: unknown}, K extends keyof T>  (originArr: T[], propertyName: K, cb: (a: T[]) => T[]): T[] {
  let arr: T[] = JSON.parse(JSON.stringify(originArr));  //deep copy array

  arr.sort((a, b) => {
    let nameA = String(a[propertyName]).toLowerCase(),
        nameB = String(b[propertyName]).toLowerCase();

    if (nameA < nameB)
      return -1;
    if (nameA > nameB)
      return 1;
    return 0;
  });

  return cb(arr);
}

Можно не приводить строго к String, но тогда вместо unknown надо указать конкретные типы с которыми предполагается работать, и в самой функции сортировки их учесть.

Comments

[Interface]

вместо T extends {[key: string]: unknown}
Можно обойтись просто T:
function sortArray<T, K extends keyof T>
Такая запись короче + позволяет работать с массивами массивов (number) и Symbol (es6+), e.g.:

const a = Symbol('a');
const o = {[a]: 1}

sortArray([o], a, () => {})

[Aetae]

Interface, расширить тип всегда успеется, при необходимости. Предпочитаю всегда изначально писать максимально строгий по текущей задаче, чтоб если вдруг попытаюсь закинуть что-то не то - ts меня предупредил.

Answer 2

[abberati]

Вместо T extends [] должно быть T extends T[]

И везде по коду массив — это не Т, а Т[]