5.24 타입 검사(type check)

Haxe 3.1.0 이후

다음 구문으로 컴파일 타임 타입 검사를 사용할 수 있어요:

(expr : type)

괄호는 필수입니다. 안전한 캐스트(safe casts)와 달리 이 구조는 런타임 영향이 없어요. 컴파일 타임에 두 가지 의미가 있습니다:

이것은 주어진 타입이 한정되지 않은 식별자 해석(unqualified identifier resolution)을 수행할 때 기대 타입으로 사용되고, 유니피케이션이 abstract 캐스트를 검사하는 등 두 연산의 일반적인 효과를 가져요.

출처: type check

본문

(expr : type) 구문은 런타임 영향 없이 컴파일 타임 타입 검사를 수행해요. 하향식 추론으로 expr을 type으로 타이핑하고 결과를 type과 유니파이합니다. 이는 식별자 해석의 기대 타입으로 사용되고 abstract 캐스트를 검사하는 효과가 있어요.