[TypeScript] 다형성을 고려하여 함수 타입 정하기

 

 

다음 함수의 타입을 정해보자.

function filter(array, f) {
    let result = []
    for(let i=0; i<array.length; i++) {
        let item = array[i]
        if(f(item)) {
        result.push(item)
    }
    return result
}

 

 

 

array에는 number, string, object 등의 다양한 타입의 배열이 들어울 수 있다.

하지만 아래처럼 작성했다간 obejct의 실제 형태를 알 수 없는 타입스크립트는 오류라고 말한다.

// 모든 타입을 받아서 난리법석이 된다.
type Filter = {
    (array: number[], f: (item: number) => boolean): number[]
    (array: string[], f: (item: string) => boolean): string[]
    (object: string[], f: (item: Object) => boolean): object[] // error!
}

 

 

 

이 때 제네릭(Generic)을 사용하여 이렇게 표현해보자!

타입스크립트는 전달된 인수의 타입을 이용해 제네릭을 어떤 타입으로 한정할 지 추론한다.

number를 할당하면 number로 한정, string으로 할당하면 string으로 타입을 한정짓는다.

// 제네릭을 사용하여 이렇게 줄여보자!
// 이 타입이 무엇인지 지금은 알 수 없으니 누군가 filter를 호출할 때 마다 타입스크립트가 알아서 추론해달라는 뜻이다.
type Filter = {
    <T>(array: T[], f: (item: T) => boolean): T[]
}

 

 

💡 <T>에 대한 또 다른 정보

 

 

 

---

 

 

 

 

출처

보리스 체르니, 타입스크립트 프로그래밍 (프로그래밍 인사이트, 2020)

 

 

 

---

개인적으로 공부한 내용을 정리하는 블로그로
잘못된 개념을 게시하지않도록 주의하고 있으나 오류가 있을 수 있습니다.