TS. Tuple / any / unknown / never / void

Tuple

Tuple은 array를 생성할 수 있게 한다.

const players: readonly [string, number, boolean] = ["imae", 99, true]

players[0] = "hi" // error! readonly!

let a: undefined = undefined
let b: null = null

배열인데 타입이 한가지가 아닌 경우이다. 마찬가지로 객체이고 꺼내 사용할 때, 주의가 필요하다.

배열을 Destrurctuting하면 타입이 제대로 얻어진다.

let x: [string, number];

x = ["hello", 39]; // 순서, 타입, 길이도 맞아야한다.
x = [10, "Imae"]; // 순서가 바뀌니 에러가 발생한다.

x[3] = "world"; // 에러가 발생 ts(2322)

const person: [string, number] = ["Imae", 32];
const[first, second, third] = person; // first는 string, second는 number, third는 오류 발생

any

기본적으로 any는 비어있는 값을 사용할 때 사용한다.

Typescript로부터 빠져나오고 싶으면 쓰는 타입 즉, any는 JavaScript처럼 아무 타입이나 될 수 있다.

any 사용을 자주 하는 것은 좋지 않다. 왜냐하면 TypeScript의 장점인 TypeScript의 보호장치가 없어진다.

const c: any[] = [1, 2, 3, 4]
const d: any = true
c + d

어떤 타입이어도 상관없는 타입이다. 이걸 최대한 쓰지 않는게 핵심이다. 왜냐하면 컴파일 타임에 타입 체크가 정상적으로 이뤄지지 않기 때문이다. 그래서 컴파일 옵션 중에는 any를 써야하는데 쓰지 않으면 오류를 뱉도록 하는 옵션인 nolmplicitAny도 있다.

function returnAny(message: any): any {
  console.log(message);
}

const any1 = returnAny("리턴은 아무거나");

any

• any는 계속해서 개체를 통해 전파된다.
• 결국, 모든 편의는 타입 안전성을 잃는 대가로 온다.
• 타입 안전성은 TypeScript를 사용하는 주요 동기 중 하나이며 필요하지 않은 경우에는 any를 사용하지 않도록 해야한다.

any1.toString(); 

let looselyTyped: any = {};

const d = looselyTyped.a.b.c.d; // const d: any

Avoid leaking any

any는 존재할 수 밖에 없다. any로 지정된 값을 이용해서 새로운 값으로 만들어 사용하는 지점에서 누수를 막아주도록 노력이 필요하다.

function leakingAny(obj: any) {
  const a = obj.num; // a를 number로 규정하면 b도 number, c도 넘버
  const b = a + 1;
  return b;
}

const c = leakingAny({num: 0}); // const c = any
c.indexOf("0") // a를 number로 규정하면 오류가 발생한다.

unknown

• unknown은 JavaScript에는 존재하지 않고 TypeScript에만 존재하는 것이다. 
• 만약 API로부터 변수를 받는데 어떤 타입인지 모른다면 unknown을 사용한다.
• unknown을 사용하기 전에 type of를 알아보아야 한다.

let a:unknown;

let b = a + 1 // a가 number인지 모르기 때문에 error 발생

if(typeof a=== 'number'){
    let b = a + 1
}

iif(typeof a === "string"){
    let b = a.toUpperCase();
}

• 응용 프로그램을 작성할 때 모르는 변수의 타입을 묘사해야 할 수도 있다.
• 이러한 값은 동적 콘텐츠 (예: 사용자로부터, 또는 우리 API의 모든 값을 의도적으로 수락하기를 원할 수 있다.)
• 이 경우, 컴파일러와 미래의 코드를 읽는 사람에게 이 변수가 무엇이든 될 수 있음을 알려주는 타입을 제공하기를 원하므로 unknown타입을 제공한다.

typeof 검사, 비교 검사 또는 고급 타입 가드를 수행하여 보다 구체적인 변수로 좁힐 수 있다.

declare const maybe: unknown;

const aNumber: number = maybe; // unknown은 number에 바로 할당할 수 없다.

if (maybe === true) {
  const aBoolean: boolean = maybe;

  const aString: string = maybe; // string에 선언할 수 없다.
}

if (typeof maybe === 'string') {
  const aStirng: string = maybe;
  
  const aBoolean: boolean = maybe; // boolean으로 선언할 수 없다. 
}

• TypeScript 3.0 버전부터 지원한다. 
• any와 짝으로 any보다 Type-safe한 타입이다.
  • any와 같이 아무거나 할당할 수 있다.
  • 컴파일러가 타입을 추론할 수 있게끔 타입의 유형을 좁히거나 타입을 확정해주지 않으면 다른 곳에 할당 할 수 없고, 사용할 수 없다.
• unknown 타입을 사용하면 runtime error를 줄일 수 있을 것 같다.
  • 사용 전에 데이터의 일부 유형의 검사를 수행해야 함을 알리는 API에 사용할 수 있을 것 같다.

never

never은 JavaScript에는 존재하지 않고 TypeScript에만 존재하는 것이다. 

never은 함수가 절대  return하지 않을 때 발생한다. 즉, 함수에서 exception(예외)이 발생할 때 사용한다.

function hello(name:string|number):never{
    if(typeof name === "string"){
        name
    } else if (typeof name === "number") {
        name
    } else {
        name
    }
}

리턴에 사용된다. 리턴에 사용되는 경우, 아래 3가지 정도가 대부분이다.

function error(message: string): never {
  throw new Error(message);
}

function fail() {
  return error("failed");
}

function infiniteLoop(): never {
  while(true) {}
}

never 타입은 모든 타입의 subtype이며, 모든 타입에 할당할 수 있다. 하지만, never에는 그 어떤 것도 할당할 수 없다.

any 조차도 never에게 할당할 수 없다. 잘못된 타입을 넣는 실수를 막고자 할 때 사용하기도 한다.

declare const a: string | number;

if (typeof a !== 'string') {
  a; // const a: number
}

type Indexable<T> = T extends string ? & {[index: string]: any} : never;

type ObjectIndexable = Indexable<{}>; // 잘못된 타입을 넣는 실수를 막는 용도로 사용한다.
const b: Indexable<{}> = ''; // 잘못된 타입을 넣어서 오류 발생

void

void는 JavaScript에는 존재하지 않고 TypeScript에만 존재하는 것이다. 

그리고 어떤 타입도 가지지 않는 빈 상태를 의미한다.

즉, 아무것도 리턴하지 않는 함수다.

function hello(){
    console.log('x')
}
const a = hello(); // void값
a.toUpperCase() // error!

값은 없고 타입만 있다. 그리고 소문자로 이루어져 있다.

일반적으로 값을 반환하지 않는 함수의 리턴 타입으로 사용한다. 그외에는 사용할 일이 거의 없다.

할당이 가능한 값은 undefined이다.

function returnVoid(message: string): void { 
  // function returnVoid(message: string): void
  console.log(message);

  return undefined; // undefine만 유일하게 void에 할당할 수 있는 형태이다.
}

const r = returnVoid("리턴이 없다."); // const r: void