F-Lab
🚀
상위 1% 개발자에게 1:1로 멘토링 받아 성장하세요

타입스크립트에서의 unknown과 never 타입의 이해와 활용

writer_thumbnail

F-Lab : 상위 1% 개발자들의 멘토링

AI가 제공하는 얕고 넓은 지식을 위한 짤막한 글입니다!



타입스크립트의 기본 타입 이해

타입스크립트는 자바스크립트에 타입 시스템을 추가한 언어입니다. 타입스크립트의 타입 시스템은 개발자가 더 명확한 코드를 작성하도록 돕고, 컴파일 시점에서 오류를 발견할 수 있게 해줍니다. 왜냐하면 타입스크립트의 타입 시스템은 변수, 함수의 매개변수, 반환값 등에 대한 타입 정보를 명시적으로 선언함으로써 프로그램의 오류 가능성을 줄이고 코드의 가독성을 높이기 때문입니다.

타입스크립트에서는 다양한 기본 타입을 제공합니다. 이러한 기본 타입에는 number, string, boolean, array, tuple, enum, any 등이 포함됩니다. 왜냐하면 이러한 기본 타입들은 자바스크립트의 데이터 타입을 기반으로 하며, 타입스크립트에서 타입 안정성을 제공하기 위해 필요하기 때문입니다.

타입스크립트의 타입 시스템 중에서도 특히 unknown과 never 타입은 독특한 용도와 기능을 가지고 있습니다. 이 두 타입은 타입스크립트의 고급 타입 시스템을 이해하는 데 중요한 역할을 합니다. 왜냐하면 unknown과 never 타입은 타입스크립트의 타입 안정성을 더욱 강화하고, 특정 상황에서의 타입 처리를 가능하게 하기 때문입니다.

unknown 타입은 타입스크립트 3.0에서 도입되었습니다. 이 타입은 any 타입보다 타입 안정성을 강화한 타입으로, 변수의 타입을 미리 알 수 없을 때 사용됩니다. 왜냐하면 unknown 타입은 any 타입과 달리, 타입 체크 없이는 해당 변수에 대해 아무런 연산도 수행할 수 없게 함으로써 런타임 오류의 가능성을 줄이기 때문입니다.

never 타입은 함수가 정상적으로 종료되지 않거나 절대 반환되지 않는 값을 나타내는 데 사용됩니다. 예를 들어, 함수 내에서 예외를 던지거나 무한 루프에 빠지는 경우에 never 타입이 사용됩니다. 왜냐하면 never 타입은 함수의 반환 타입으로 사용될 때, 해당 함수가 종료되지 않음을 타입 시스템 수준에서 명시적으로 표현하기 때문입니다.



unknown 타입의 활용 사례

unknown 타입은 API 호출 결과와 같이 런타임에 타입이 결정되는 경우에 유용하게 사용됩니다. 예를 들어, 외부 API로부터 데이터를 받아오는 함수의 반환 타입을 unknown으로 지정할 수 있습니다. 왜냐하면 이 경우, API 호출 결과의 구체적인 타입을 미리 알 수 없기 때문입니다.

unknown 타입을 사용할 때는 타입 가드를 통해 변수의 타입을 좁혀나가는 과정이 필요합니다. 타입 가드란 특정 조건을 통해 변수의 타입을 더 구체적인 타입으로 좁혀나가는 기법입니다. 왜냐하면 unknown 타입의 변수에 대해 직접적인 연산을 수행하기 전에, 해당 변수의 실제 타입을 확인하고 안전하게 사용하기 위해서입니다.

예를 들어, API 호출 결과를 unknown 타입으로 받은 후, if문을 사용하여 타입 가드를 적용할 수 있습니다. 이를 통해 API 호출 결과가 특정 타입인 경우에만 해당 타입에 맞는 처리를 수행할 수 있습니다. 왜냐하면 타입 가드를 통해 런타임에 변수의 타입을 안전하게 확인하고, 타입에 따른 조건 분기를 할 수 있기 때문입니다.

unknown 타입은 타입스크립트에서 타입 안정성을 유지하면서도 유연한 타입 처리를 가능하게 합니다. 왜냐하면 unknown 타입은 any 타입보다 엄격한 타입 체크를 요구하므로, 개발자가 타입에 대해 더 신중하게 고려하도록 유도하기 때문입니다.



never 타입의 활용 사례

never 타입은 주로 에러 처리나 끝나지 않는 함수의 반환 타입으로 사용됩니다. 예를 들어, 예외를 던지는 함수의 반환 타입으로 never를 지정할 수 있습니다. 왜냐하면 이러한 함수는 정상적인 반환값을 가지지 않으므로, never 타입을 통해 이를 명시적으로 표현할 수 있기 때문입니다.

또한, never 타입은 유니온 타입에서 모든 가능성을 제거한 후 남는 타입으로도 사용될 수 있습니다. 예를 들어, 두 타입을 구분하는 함수에서 모든 경우의 수를 처리한 후에도 반환되는 값이 없는 경우, 해당 함수의 반환 타입은 never가 됩니다. 왜냐하면 이 경우, 함수가 정상적으로 종료될 가능성이 없기 때문입니다.

never 타입은 타입스크립트의 타입 시스템에서 중요한 역할을 합니다. 왜냐하면 never 타입은 프로그램의 흐름을 분석할 때, 불가능한 상태나 도달할 수 없는 코드 영역을 타입 시스템 수준에서 표현할 수 있기 때문입니다.



결론

타입스크립트의 unknown과 never 타입은 타입 시스템의 안정성과 유연성을 동시에 제공합니다. unknown 타입은 런타임에 결정되는 타입을 안전하게 처리할 수 있게 해주며, never 타입은 프로그램의 불가능한 상태를 타입 시스템에서 표현할 수 있게 해줍니다. 왜냐하면 이 두 타입은 타입스크립트의 타입 시스템을 보다 강력하고 표현력 있게 만들어, 개발자가 더 안전하고 명확한 코드를 작성할 수 있도록 돕기 때문입니다.

이 글을 통해 타입스크립트의 unknown과 never 타입에 대한 이해를 높이고, 이를 활용하여 보다 타입 안정성이 높은 애플리케이션을 개발하는 데 도움이 되기를 바랍니다.

ⓒ F-Lab & Company

이 컨텐츠는 F-Lab의 고유 자산으로 상업적인 목적의 복사 및 배포를 금합니다.

조회수

멘토링 코스 선택하기

  • 코스 이미지
    Java Backend

    아키텍처 설계와 대용량 트래픽 처리 능력을 깊이 있게 기르는 백앤드 개발자 성장 과정

  • 코스 이미지
    Frontend

    언어와 프레임워크, 브라우저에 대한 탄탄한 이해도를 갖추는 프론트엔드 개발자 성장 과정

  • 코스 이미지
    Android

    아키텍처 설계 능력과 성능에 대한 경험을 바탕으로 딥다이브하는 안드로이드 개발자 성장 과정

  • 코스 이미지
    Python

    대규모 서비스를 지탱할 수 있는 대체 불가능한 백엔드, 데이터 엔지니어, ML엔지니어의 길을 탐구하는 성장 과정

  • 코스 이미지
    iOS

    언어와 프레임워크, 모바일 환경에 대한 탄탄한 이해도를 갖추는 iOS 개발자 성장 과정

  • 코스 이미지
    Node.js Backend

    아키텍처 설계와 대용량 트래픽 처리 능력을 깊이 있게 기르는 백앤드 개발자 성장 과정

  • 코스 이미지
    ML Engineering

    머신러닝과 엔지니어링 자체에 대한 탄탄한 이해도를 갖추는 머신러닝 엔지니어 성장 과정

  • 코스 이미지
    Data Engineering

    확장성 있는 데이터 처리 및 수급이 가능하도록 시스템을 설계 하고 운영할 수 있는 능력을 갖추는 데이터 엔지니어 성장 과정

  • 코스 이미지
    Game Server

    대규모 라이브 게임을 운영할 수 있는 처리 능력과 아키텍처 설계 능력을 갖추는 게임 서버 개발자 성장 과정

  • 코스 이미지
    Game Client

    대규모 라이브 게임 그래픽 처리 성능과 게임 자체 성능을 높힐 수 있는 능력을 갖추는 게임 클라이언트 개발자 성장 과정

  • 코스 이미지
    해외취업 코스

    해외 취업을 위한 구체적인 액션을 해보고, 해외 취업에 대한 다양한 정보를 얻을 수 있는 과정

  • 코스 이미지
    Devops 코스

    대규모 아키텍처를 설계할 수 있고, 그 인프라를 구성할 수 있는 엔지니어로 성장하는 과정

F-Lab
소개채용멘토 지원
facebook
linkedIn
youtube
instagram
logo
(주)에프랩앤컴퍼니 | 사업자등록번호 : 534-85-01979 | 대표자명 : 박중수 | 전화번호 : 0507-1315-4710 | 제휴 문의 : info@f-lab.kr | 주소 : 서울특별시 강남구 테헤란로63길 12, 438호 | copyright © F-Lab & Company 2024