📘 타입스크립트 개념 정리04

📌 타입 단언(Type Assertion)

✅ 1. 타입 단언이란?

👉 "이 값은 이 타입이야!" 라고 TypeScript에게 알려주는 것

실제로 값이 바뀌는 게 아님 ❌
컴파일러만 속이는 용도 ✔️

let value = {} as Person;

👉 “이건 Person 타입이야!” 라고 믿게 만드는 것

✅ 2. 왜 사용하는가?

📌 문제 상황

let person = {};
person.name = "army"; // ❌ 에러

👉 이유: {} 빈 객체로 추론됨

📌 해결 방법 (타입 단언)

let person = {} as Person;
person.name = "army"; // ⭕️
person.age = 2;

👉 처음부터 Person 타입이라고 알려줌

✅ 3. 초과 프로퍼티 문제 해결

type Cat = {
  name: string;
  color: string;
};
let cat = {
  name: "army",
  color: "white",
  breed: "코리안 숏"
} as Cat;

👉 원래는 breed 때문에 에러 ❌
👉 as Cat 하면 검사 안 함 ✔️

⚠️ 주의:
👉 너무 많이 쓰면 위험함 (타입 검사 무력화됨)

✅ 4. 타입 단언 규칙 ⭐️ (중요)

👉 아무 타입이나 막 바꿀 수 없음!

✔️ 가능 조건

A → B 단언하려면

👉 둘 중 하나는 만족해야 함

1. A가 B의 슈퍼타입
2. A가 B의 서브타입

📌 예시

let num1 = 10 as never;    // ⭕️
let num2 = 10 as unknown;  // ⭕️
// let num3 = 10 as string; ❌

📌 꼼수 (다중 단언)

let num3 = 10 as unknown as string; // ⭕️

👉 위험하지만 가능
⚠️ 실무에서는 진짜 필요할 때만!

✅ 5. const 단언

👉 값을 더 "고정" 시킴

let num = 10 as const;

👉 타입: 10 (리터럴 타입)

📌 객체에서 중요!

let dog = {
  name: "hani",
  color: "white"
} as const;

👉 결과:
readonly 자동 적용됨
값 수정 불가 ❌

dog.name = "tom"; // ❌ 에러

✅ 6. Non-null 단언 (!)

👉 "이 값 절대 null/undefined 아님!" 이라고 확신할 때

📌 문제

type Post = {
  title: string;
  author?: string;
};


const len: number = post.author?.length; // ❌

👉 undefined 가능성 때문

📌 해결

const len: number = post.author!.length;

👉 "author 무조건 있어!" 라고 선언

⚠️ 주의
실제로 없으면 런타임 에러 터짐 💥

🚨 꼭 조심해야 할 것

1. 타입 단언 남발 ❌
   👉 타입스크립트 쓰는 의미 없어짐

2. Non-null (!) 남용 ❌
   👉 진짜 있을 때만 써야 함

3. as const 오해 ❌
   👉 "상수처럼 만든다" = 값 변경 금지 + 더 정확한 타입

4. 다중 단언 위험 ⚠️

   as unknown as string

👉 거의 마지막 수단

💡 핵심 요약 (진짜 중요)

• as = 타입 강제 지정 (컴파일러 속이기)
• 안전하지 않을 수 있음 ⚠️
• as const = 값 고정 + readonly
• ! = null 아님 보장 (위험함)
• 다중 단언 = 가능하지만 최소화

✍️ 한줄 정리

👉 타입 단언은 타입을 바꾸는 것이 아니라, 컴파일러에게 타입을 "믿게 하는" 기능이다

.

🔥 실무

👉 실무에서 자주 쓰는 패턴

const input = document.getElementById("id") as HTMLInputElement;

👉 DOM 다룰 때 많이 사용함