TypeScript(compileOptions-4)

Dev_Go·2022년 7월 8일

TypeScript Essentials

목록 보기

14/24

compileOptions : strict

엄격하게 파일을 확인하는 옵션을 활성화한다.

{
  "strict": {
    "description": "Enable all strict type checking options.",
    "type": "boolean",
    "default": false,
    "markdownDescription": "Enable all strict type checking options.\n\nSee more: https://www.typescriptlang.org/tsconfig#strict"
  }
}

Enable all strict type checking options.

--noImplicitAny
--noImplicitThis
--strictNullChecks
--strictFunctionTypes
--strictPropertyInitialization
--strictBindCallApply
--alwaysStrict

--noImplicitAny

명시적이지 않게 any타입을 사용하여, 표현식과 선언에 사용하면 에러를 발생.

타입스크립트가 추론을 실패한 경우, any사 맞으면 any라고 지정하라.
아무것도 쓰지 않으면 에러를 발생
이 오류를 해결하면 any라고 지정되어 있지 않은 경우는 any가 아닌 것이다. (타입 추론이 되었으므로)

--noImplicitThis

명시적이지 않게 any타입을 사용하여 this 표현식에 사용하면 에러를 발생.

첫번째 매개변수에 this를 놓고, this에 대한 타입을 어떤 것이라도 표현하지 않으면, noImplicitAny가 오류를 발생시킨다.
JavaScript에서는 매개변수에 this를 넣으면 이미 예약된 키워드라 SyntaError를 발생시킨디ㅏ.
call / apply / bind와 같이 this를 대체하여 함수 콜을 하는 용도로도 쓰인다.
그래서 this를 any로 명시적으로 지정하는 것은 합리적이다. (물론 구체적인 사용처가 있는 경우 타입을 표현하기도 함)

Class에서는 this를 사용하면서, noImplicitThis와 관련한 에러가 당연히 나지 않는다.
Class에서 constructor를 제외한 멤버 함수의 첫번째 매개변수도 일반 함수와 마찬가지로 this를 사용할 수 있다.

----strictNullChecks

strictNullChecks 모드에서는 null 및 undefined 값이 모든 유형의 도메인에 속하지 않으며, 그 자신을 타입으로 가지거나, any일 경우에만 할당이 가능하다.
한 가지 예외는 undefined에 void 할당 가능
strictNullChecks를 적용하지 않으면
- 모든 타입은 null, undefined 값을 가질 수 있다.
- string으로 타입을 지정해도, null 혹은 undefined 값을 할당할 수 있다는 것이다.
strictNullChecks를 적용하면
- 모든 타입은 null, undefined 값을 가질 수 없고, 가지려면 union type을 이용해서 직접 명시해야 한다.
- any 타입은 null과 undefine를 가진다. 예외적으로 void 타입의 경우 undefined를 가진다.

strictNullChecks를 적용하지 않고, 어떤 값이 null과 undefine를 가진다는 것을 암묵적으로 인정하고 계속 사용하다 보면 정확히 어떤 타입이 오는지를 개발자 스스로가 간과할 수 있다.
정말로 null과 undefine를 가질 수 있는 경우, 해당 값을 조건부로 제외하고 사용하는 것이 좋다.
이 옵션을 사용하는 경우, 사용하려는 함수를 선언할 때부터 매개변수와 리턴 값에 정확한 타입을 지정하려는 노력을 기울여야 하고, 기울이게 될 것이다.

--strictFunctionTypes

함수에서 인자로 어떤 다른 함수를 받아갈 때, 함수의 타입이 맞는지를 검사하는 방식이 공변과 반변이라고 하는 용어로 있다.

(Amimal -> Greyhound) <: (Dog -> Dog)

반환 타입은 공변적(covariant)
인자 타입은 반공변적(contravariant)
그런데 타입스크립트에서 인자 타입은 공변적이면서, 반공변적인게 문제
이 문제를 해결하는 옵션이 strictFunctionTypes
이 옵션을 키면, 에러가 안나던걸 에러 나게함

이전에는 위와 같은 코드도 에러를 발생시키지 않았지만, 이제는 에러가 발생하게 된다.

--strictPropertyInitialization

정의되지 않은 클래스의 속성이 생성자에서 초기화되었는지 확인한다.
이 옵션을 사용하려면 --striNullChecks를 사용하도롤 설정해야한다.

constructor에서 초기 값을 할당한 경우 에러가 발생하지 않는다.

constructor에서 안하는 경우

보통 다른 함수로 이니셜라이즈 하는 경우(async 함수)
constructor에는 async를 사용할 수 없다.

--strictBindCallApply

bind, call, apply에 대한 더 엄격한 검사 수행

Function의 내장 함수인 bind, call, apply를 사용할 때, 엄격하게 체그하도록 하는 옵션이다.
bind는 해당 함수안에서 사용할 this와 인자를 설정해주는 역할을 하고, call과 apply는 this와 인자를 설정한 후 실행까지 한다.
call과 apply는 인자를 설정하는 방식에서 차이점이 있다.
- call은 함수의 인자를 여러 인자의 나열로 넣어서 사용하고, apply는 모든 인자를 배열 하나로 넣어서 사용한다.