กำหนดทั่วไปฟังก์ชันประเภทและปรับใช้กับฟังก์ชันงาน

IFetchData กำลังทำอะไรกลับคืนพิมพ์สำหรับคุณดังนั้นมันควรจะทำงานไม่ลงรายละเอียคนจากทั่วไป fetchData2 ฟังก์ชันกลับมา ทำต่อไปนี้ทำงาน?

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

อย่างแรกทั้งหมดนี่ฟังก์ชัน:

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

    return arr
}

มันยากที่จะใช้.

ตั้งแต่ไม่ใช่ของอาร์กิวเมนต์ไม่ได้เกี่ยวข้องกับ T,TS จะไม่ยอมให้คุณ push มีค่าไป arr. แน่นอนคุณสามารถใช้ประเภท assertion 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
}

อย่างไรก็ตามถ้าคุณอยากจะ mutate ของคุณอาเรย์ข้างใน fetchDataนี่ฟังก์ชันลายเซ็นต์ไม่ได้เป็นประโยชน์หน่อย ฟังก์ชันนี้คือไม่ได้รับอนุญาตให้ทำอะไรกับ arr. ทั้งหมดที่คุณทำได้คือต้องกลับไป arr โดยที่ไม่มี mutations.

เพื่อที่จะ mutate องรายการนี้,คุณต้องการสร้างระดับสูงฟังก์ชั่นและตอเรีย fetchData ให้ explicit ทั่วไปอาร์กิวเมนต์:

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[]

สนามเด็กเล่น

คุณน่าจะลองมัน?

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