인프런 커뮤니티 질문&답변

수현일래븐님의 프로필 이미지
수현일래븐

작성한 질문수

[리뉴얼] 타입스크립트 올인원 : Part1. 기본 문법편

타입을 집합으로 생각하자(좁은 타입과 넓은 타입)

잉여속성검사?

작성

·

585

0


잉여속성검사를 통과하기 위해 객체를 따로 선언해서 할당하면 된다고 하셨는데 이전에 했던 타입 상속 코드를 조금 고쳐서 객체를 선언해서 해보니까

'{ breath: boolean; breed: boolean; think: boolean; hungry: boolean; }' 형식은 'Human' 형식에 할당할 수 없습니다. '{ breath: boolean; breed: boolean; think: boolean; hungry: boolean; }' 형식은 'Animal' 형식에 할당할 수 없습니다. 'breath' 속성의 형식이 호환되지 않습니다. 'boolean' 형식은 'true' 형식에 할당할 수 없습니다.이렇게 뜨는데 이유가 무었인가요?

 

type Animal = {breath: true} 
type Mammal = Animal&{breed: true} 
type Human = Mammal& {think : true} 
const test = {breath : true ,breed : true, think : true, hungry:true } 
const sumin: Human = test
type AA = {name:string}
type BB = {age :number}
type AB = AA|BB
type C = AA&BB 
const ab:AB = {name:'suhyeon'}

const obj5 = {name:'suhyeon',age:25,married:true} // 객체를 따로 변수로 빼서 할당하면 가능
const cc:C = obj5

왜 위에 코드는 되고 아래코드는 안되는지 궁금합니다!


답변 1

0

제로초(조현영)님의 프로필 이미지
제로초(조현영)
지식공유자

위에 건 잉여속성검사가 문제가 아니고요. 타입넓히기가 적용돼서 breath: boolean으로 추론되어버렸습니다. 그래서 breath: true 타입에 안들어가는 겁니다.

수현일래븐님의 프로필 이미지
수현일래븐

작성한 질문수

질문하기