Typescript: 문자열 리터럴에 대한 유형 어설 션 작동이 중지됨

예, 이것은 # 10676과 관련이 있습니다. 이전에는 문자열 리터럴이 특정 "리터럴 컨텍스트"(예 : 유형 어설 션 이후)에서만 리터럴 유형을 가지며 객체 리터럴 속성의 유추 된 유형으로 정확한 유형의 표현식을 사용했습니다. 이제 문자열 리터럴에는 항상 리터럴 유형이 있으며 대신 변경 가능한 위치 (예 : 객체 리터럴 속성)에 대해 유추 될 때 _widen_ 유형이 지정됩니다. 따라서 귀하의 예에서 유형 어설 션은 (a) 문자열 리터럴이 이미 리터럴 유형이므로 (b) 유형 어설 션 이후 전체 표현식의 결과를 넓히기 때문에 효과가 없습니다.

더 나은 이전 버전과의 호환성을 위해 이니셜 라이저 표현식이 유형 어설 션일 때 추론 된 유형을 넓 히지 _not_ 고려할 수 있습니다. 결국, 그렇지 않으면 유형 주장의 요점이 무엇입니까?

@ahejlsberg 응답

이니셜 라이저 표현식이 타입 어설 션일 때 추론 된 타입을 넓히는 것을 _not_ 고려할 수 있다면 좋을 것입니다. 그리고 동의합니다. 이것이 타입 어설 션의 요점입니다. :)

그것없이 작동을 멈출 또 다른 일반적인 경우는 다음과 같습니다.

function test(style: { align: 'left' | 'right', size: number }) {
}

const style = {
    align: 'left' as 'left',
    size: 5
}

test(style)

리터럴 유형 https://github.com/Microsoft/TypeScript/issues/10195에 대한 구문이 도움이 될 수 있지만 현실이 될지 확실하지 않습니다.

모든 것에 감사합니다

@wallverb 동의합니다. _some_ 형식의 구문을 사용하여 명시 적으로 유형을 명시하지 않고 확장을 원하지 않음을 나타내는 것이 좋습니다. 그러나 어쨌든 이전 버전과의 호환성을 위해 우리는 타입 단언이 그 의미를 갖도록 허용해야합니다.