Question 1

infer 키워드의 동작 원리와 실무 활용법을 설명해주세요.

Accepted Answer

infer는 조건부 타입 내에서 타입을 추론하여 변수에 담는 키워드입니다. ```typescript // 함수 반환 타입 추출 type ReturnType = T extends (...args: any[]) => infer R ? R : never; // Promise 내부 타입 추출 type UnpackPromise = T extends Promise ? U : T; type A = UnpackPromise>; // string // 배열 요소 타입 추출 type ElementType = T extends (infer E)[] ? E : never; type B = ElementType; // number // 첫 번째 인자 타입 추출 type FirstArg = T extends (first: infer F, ...rest: any[]) => any ? F : never; // React

Question 2

TypeScript의 공변성과 반공변성이란 무엇인가요?

Accepted Answer

타입 호환성에서 서브타입 관계가 어떻게 전파되는지를 설명하는 개념입니다.

**공변성(Covariance):** 서브타입 관계가 그대로 유지
```typescript
interface Animal { name: string; }
interface Dog extends Animal { breed: string; }

// 배열은 공변적: Dog[] → Animal[] 할당 가능
const dogs: Dog[] = [{ name: 'Rex', breed: 'Husky' }];
const animals: Animal[] = dogs; // OK

// 함수 반환 타입도 공변적
type GetAnimal = () => Animal;
type GetDog = () => Dog;
const getDog: GetDog = () => ({ name: 'Rex', breed: 'Husky' });
const getAnimal: GetAnimal = getDog; // OK
```

**반공변성(Co

TypeScript

11infer 키워드의 동작 원리와 실무 활용법을 설명해주세요.보통고급

12TypeScript의 공변성과 반공변성이란 무엇인가요?보통실무