GaramX

이 문서는 읽기 전용입니다. 원본을 볼 수는 있지만 바꿀 수는 없습니다. 문제가 있다고 생각하면 관리자에게 문의하세요.
====== Type Inference(타입추론) ======
<code javascript>
let x = 3;
</code>
''x''의 타입은 ''number''로 유추된다. 이러한 종류의 추론은 변수와 멤버를 초기화하고, 매개변수 기본값을 설정하고, 함수 반환 타입을 결정할 때 발생합니다.

대부분의 경우 타입유추는 간단하지만 그 미묘한 차이를 알아보자!

===== Best common type =====
<code javascript>let x = [0, 1, null];</code>
best common type 알고리즘은 각각의 후보들(number, null)을 고려한 뒤에, 모든 후보군을 포괄할 수 있는 타입을 선택합니다.

<code javascript>
let zoo = [new Rhino(), new Elephant(), new Snake()];
</code>
이상적으로 zoo가 ''Animal[]''로 추론되기를 원하지만, 배열에 Animal 타입이 후보군에 없음으로, 타입의 추론이 불가능합니다. 이걸 고치기 위해서, 어떤 타입도 다른 타입의 super 타입이 아닐 경우 명시적으로 super 타입을 적어주어야 합니다.
<code javascript>
let zoo:Animal[] = [new Rhino(), new Elephant(), new Snake()];
</code>
만약 best common type이 발견되지 않았을 경우, 추론의 결론은 union 배열타입(Rhino | Elephant | Snake)이 됩니다.

===== Contextual Typing =====
타입스크립트의 몇가지 경우에서 타입 추정은 또한 “다른 지시자” 작동하기도 합니다. 이건 "contextual typing"이라고 불립니다. Contextual typing은 타입이 타입이 필요한 장소에서 암시가 되었을 때 발생합니다.
<code javascript>
window.onmousedown = function(mouseEvent) {
    console.log(mouseEvent.button);   //<- OK
    console.log(mouseEvent.kangaroo); //<- Error!
};
// window.onmousedown 함수의 매개변수를 유추하여 mouseEvent의 타입을 유추할 수 있다
</code>

<code javascript>
window.onscroll = function(uiEvent) {
    console.log(uiEvent.button); //<- Error!
}
// window.onscroll 함수에 대응되는 함수이므로 uiEvent를 유추합니다.(앞의 예는 mouseEvent을 유추하였지만)
</code>

<code javascript>
// 이 함수는 문맥적 타입 위치에 있지 않으므로, 함수의 매개변수는 암묵적 타입은 ''any''이다. --noImplicitAny옵션을 사용하지 않는다면, 발생되는 error는 없다.
const handler = function(uiEvent) {
    console.log(uiEvent.button); //<- OK
}
</code>

<code javascript>
// 명시적으로 타입정보를 준다면...
window.onscroll = function(uiEvent: any) { // override function
    console.log(uiEvent.button);  //<- Now, no error is given
};
</code>

<code javascript>
function createZoo(): Animal[] {
    return [new Rhino(), new Elephant(), new Snake()];
}
</code>
Animal, Rhino, Elephant, 그리고 Snake라는 4개의 타입 후보군이 있습니다. 이들 중에서 Animal은 best common type 알고리즘에 의해 선택받습니다.
GaramX

사용자 도구

사이트 도구

문서 도구
