any의 진화를 이해하기

TS 상에서 일반적인 타입들은 모두 정제되기만 하는 반면, noImplicitAny가 설정된 상태에서 암시적으로 any 또는 any[] 타입으로 추정되는 변수는 진화(evolve)합니다. 다시 말해, 이는 문맥에 따라 다른 타입으로 확장해나갑니다.

const result = []; // any[]
result.push('a'); // string[]
result.push(1); // (string | number)[]

let val = null; // any -> null인 경우도 암시적 any입니다.
if (Math.random() < 0.5) {
val = /hello/; // RegExp
} else {
val = 12; // number
}
val // number | RegExp

명시적인 any에서는 진화하지 않습니다

다만, 명시적으로 직접 any 타입으로 선언한 경우에는 진화가 일어나지 않습니다.

let val: any;
if (Math.random() < 0.5) {
val = /hello/; // any
} else {
val = 12; // any
}
val // any

any를 진화시키기 보다는, 명시적 타입 구문을 사용하세요

원래 number[] 타입이어야 하는 변수에 실수로 string이 섞여 잘못 진화했을 경우에도 타입 상 문제가 없습니다. 하지만 타입을 안전하게 지키기 위해서는 암시적인 any를 진화시켜나가는 방식보다 명시적인 타입 구문을 사용하는 것이 더 좋은 설계입니다.