[타입스크립트] 호출 시그니처

타입스크립트로 함수의 전체 타입을 표현하는 방법을 알아보자.

 

object로 모든 객체를 가리킬 수 있는 것처럼 function은 모든 함수의 타입을 뜻할 뿐이며, 그것이 가리키는 특정 함수와 타입과 관련된 정보는 아무 것도 알려주지 않는다.

 

function sum(a: number, b: number): number {
  return a + b;
}

 

그렇다면 위 sum의 타입을 표현할 수 있는 다른 방법을 모색해보자.

sum은 두 개의 number을 인수로 받아 한 개의 number를 반환한는 함수다. 타입스크립트에서는 이를 다음과 같이 표현할 수 있다.

(a:number, b:number)=> number

위 코드는 타입스크립트의 함수 타입 문법으로, 호출 시그니처(call signature) 또는 타입 시그니처(type signature)라 부른다. 화살표 함수와 비슷한 이 문법은 의도된 것이다. 함수에 함수를 인수로 전달하거나 함수에서 다른 함수를 반환하는 경우 이 문법으로 인수나 반환 함수의 타입을 지정할 수 있다.

(여기서 a,b라는 매개변수명은 문서화 용도일 뿐 함수의 타입과 할당 동작에는 아무 영향도 주지 않는다)

 

 

함수 호출 시그니처는 타입 수준 코드, 즉 값이 아닌 타입 정보만 포함한다.이는 함수 호출 시그니처로 매개변수 타입, this 타입, 반환 타입, 나머지 타입, 조건부 타입을 표현할 수 있지만 기본값은 표현할 수 없다. (기본값은 타입이 아니라 값이므로), 함수 호출 시그니처는 바디를 포함하지 않아 타입스크립트가 타입을 추론할 수 없으므로 반환타입을 명시해야 한다.

 

*참고: 타입수준코드와 값수준 코드?

- 타입수준코드 : 타입과 타입 연산자를 포함하는 코드를 의미한

- 값수준코드 : 타입수준코드 밖의 모든 것을 가리킨다. 

어떤 코드가 유효한 자바스크립트 코드라면 값수준이고, 유효한 자바스크립트 코드는 아니지만 유효한 타입스크립트 코드라면 타입수준으로 쉽게 구분할 수 있다.

function area(radius: number): number | null {
  if (radius < 0) {
    return null;
  }
  return Math.PI * radius ** 2;
}

let r: number = 3;
let a = area(r);
if (a != null) {
  console.info("result : ", a); //result :  28.274333882308138
}

console.log(3 ** 2); //9
console.log(3 ** 3); //27

타입 별칭으로 한정할 수 있는 독립 호출 시그니처를 추출해본다.

//greet(name:string) 함수
type Greet = (name: string) => string;

//log(message:string, userId?:string) gkatn
type Log = (message: string, userId?: string) => void;

//sumVariadicSafe(...numbers:number[]):number 함수
type SumVariadicSafe = (...numbers: number[]) => number;

위와 같이 함수의 호출 시그니처는 구현 코드와 거의 같다.

우연이 아니라 언어 설계상 의도한 결정으로, 이렇게 함으로 호출 시그니처를 쉽게 추론할 수 있다.

 

호출 시그니처와 구현의 관계를 더 구체적으로 확인하자면,

호출 시그니처가 주어졌을 때 어떻게 그 시그니처를 만족하는 함수를 구현할 수 있을까? 간단하게 호출 시그니처를 함수 표현식과 합칠 수 있다. 기존읜 Log 함수를 새로운 시그니처에 맞게 다시 구현해보면 다음과 같다. 

  type Log = (message: string, userId?: string) => void;

  let log: Log = ( //1 : 함수 표현식 log를 선언하면서 Log 타입 임을 명시했다.
      message, //2 : 매개변수의 타입을 다시 지정할 필요는 없다. Log에서 이미 타입 명시했으므로 
               //    타입스크립트는 Log를 통해 타입을 추론 
      userId = "Not signed in" //3 : 기본값을 지정한다. 호출 시그니처는 값을 포함할 수 없으므로
                               //Log에서는 userId의 타입은 지정할 수 있지만 기본값은 지정 못함
  ) => { //4 : Log 타입에서 반환 타입을 void로 이미 지정했으므로 반환 타입은 다시 지정할 필요가 없다.
      let time = new Date().toISOString();
      console.log(time, message, userId);
  };