Определите универсальный тип функции и применитесь к назначению функции

Question 1

Я могу определить и использовать такую универсальную функцию, как эта:

const fetchData = <T>(): T[] => {
  const arr: T[] = []
  // if stuff push to arr
  return arr
}

const emptyStringArray = fetchData<string>();

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

Я пытался написать вот так:

type IFetchData = <T>() => T[]

const fetchData2: IFetchData = () => {
  const arr: T[] = []
  // if stuff push to arr
  return arr
}

const emptyStringArray = fetchData2<string>();

Однако теперь определение функции не распознает T как доступный тип.

Не удается найти имя "Т".

Я перепробовал множество различных конфигураций для размещения <T>, но, похоже, ничего не работает - есть какие-нибудь идеи?

Демонстрация на игровой площадке TS

Связанные с Этим Вопросы

Question 2

IFetchData выполняет обратный ввод для вас, поэтому он должен работать, чтобы исключить родовое значение из fetchData2 функция возврата. Работает ли следующее?

type IFetchData = <T>() => T[]
const fetchData2: IFetchData = () => {
  return [];
}

Question 3

Прежде всего, эта функция:

const fetchData = <T,>(): T[] => {
    const arr: T[] = []
    arr.push(2) // error
    arr.push('str') // error

    return arr
}

трудно использовать.

Поскольку ни один из ваших аргументов не связан с T, TS не позволит вам push любая ценность для arr. Конечно, вы можете использовать утверждение типа as, но это очень небезопасно:

const fetchData = <T,>(): T[] => {
    const arr: T[] = []
    arr.push('str' as any as T) // error

    return arr
}

const emptyStringArray = fetchData<number>(); // number[]
emptyStringArray[0].toExponential() // runtime error

Связанный вопрос/ответ, моя статья

Ответ прост и прост: в этом случае невозможно отделить T из определения функции без обходных путей.

Здесь у вас есть самый простой способ:

const fetchData = <T,>() => {
  const arr: T[] = []
  return arr
}

Однако, если вы хотите изменить свой массив внутри fetchData, эта сигнатура функции бесполезна. Эта функция не позволяет что-либо делать с arr. Все, что вы можете сделать, это вернуться arr без каких-либо мутаций.

Чтобы изменить этот список, вам нужно создать функцию более высокого порядка и во время вызова fetchData предоставьте явный общий аргумент:

type FetchData = <T>() => T[]
const fetchData: FetchData = () => []

const higherOrder = <T,>(elem: T) => {
  const arr = fetchData<T>();
  arr.push(elem)

  return arr
}



const test = higherOrder('str'); // ok, string[]
const test2 = higherOrder(42); // ok, number[]

Игровая площадка

Question 4

Не могли бы вы попробовать?

type IFetchData = <T>() => T[]
const fetchData2: IFetchData = <T>() => {
  return [];
}

Nick · Answer 1 · 2021-11-24T02:18:56