[typescript] assert 로 타입 보장하기

타입스크립트를 사용하면 기본적으로 타입 추론과 체크를 진행한다. 하지만 부분적으로 타입 보장이 안되는 경우가 있다. 왜냐하면 느슨하게 타입을 확인하기 때문이다.

 

 

 

1. nodejs에서 타입 단언 시키기

assert를 활용해서 type을 단언하여 함수를 만들어 보자. assert() 함수는 런타임 시 불변 조건(invariant)를 검사하는 함수이다.

 

const assert = require('assert')

function add(x, y) {
  assert(typeof x === 'number')
  assert(typeof y === 'number')

  return x * y // number * number
}

add(1, 1) // 2
add('1', 1)
// AssertionError [ERR_ASSERTION]: The expression evaluated to a falsy value: assert(typeof y === 'number')

 

위와 같은 경우는 assert 에 넣은 타입이 들어오지 않으면, AssertionError를 던진다. 이러한 방식으로 느슨한 type 체크 부분을 강화 할 수 있다.

 

 

2. assert

assert 모듈은 특정 조건이 참인지 거짓인지를 확인하여, 조건이 거짓인 경우 오류를 발생시킨다.

 

let a = 1;
let b = 2;

assert(a < b); 
console.log("assert가 통과한다.")

 

a< b 라는 값이 참이므로 오류를 발생하지 않는다. 아래의 예를 다시 확인해 보자.

 

let a = 1;
let b = 2;

assert(a > b); // AssertionError [ERR_ASSERTION]: The expression evaluated to a falsy value
console.log("이 부분의 console은 작동하지 않는다.")

 

assert가 false인 경우는 위와 같이 AssertionError [ERR_ASSERTION]: The expression evaluated to a falsy value Error를 발생 시킨다. 위와 같은 방식으로 null 타입을 아래와 같이 체크 할 수있다.

 

import assert from 'assert'

const target = null
assert(target !== null) // error 발생