TypeScript · 06 함수 인수와 반환 계약
단계: 타입 검사와 데이터 모델 · 편집 가능한 예제 · 저장 ID: typescript-step-06
목표와 학습 후 역량
- 정상·빈 제목 결과가 같은 계약을 따른다.
- 잘못된 콜백 인수 타입이 거부된다.
선수 지식
5단위 「배열과 튜플의 위치 의미」의 결과물과 실험 기록
핵심 개념과 설명
함수 타입
매개변수와 반환 타입으로 호출 계약을 표현합니다. 반환 타입을 적으면 누락된 경로를 찾기 쉽습니다.
콜백 계약
콜백이 어떤 인수를 받는지 호출자가 정합니다. 선택 매개변수는 구현자의 편의만으로 붙이면 안 됩니다.
실습 준비
예제 화면의 실행 범위 안내를 먼저 확인하세요. 다음은 과제를 별도 프로젝트로 확장할 때의 준비 환경입니다. 별도 로컬 프로젝트에서 직접 구현하고 브라우저 개발자 도구와 tsc --noEmit로 확인하세요. 별도 TypeScript 프로젝트에서 설치한 tsc 버전을 기록하세요. tsconfig.json에 strict를 켜고 tsc --noEmit으로 검사한 뒤, 실행 실습은 컴파일 출력 또는 로컬 개발 서버로 여세요. TS 타입 표기를 브라우저가 직접 실행한다고 가정하지 않습니다.
연결된 예제는 출발점입니다. 아래 과제 전체가 완성된 코드는 아니며, 예제의 지원 범위를 넘는 작업은 별도 프로젝트에서 수행하세요.
실습 과제
- functions.ts 파일에 빈 제목과 정상 제목, 인덱스 콜백 조건을 준비하세요.
- 메모 변환 함수와 방문 콜백을 정의하고 모든 경로에서 결과를 반환하세요.
- 빈 제목과 정상 제목, 인덱스 콜백 조건으로 실행하세요. 확인할 결과: 정상·빈 제목 결과가 같은 계약을 따른다. 잘못된 콜백 인수 타입이 거부된다. 예상과 실제 결과는 구분해 기록하세요.
관찰할 변수
| 변수 | 기준 조건 | 바꿀 조건 | 예상할 변화·검증 가설 |
|---|---|---|---|
| 반환 경로 | 모든 경로 반환 | 한 분기 생략 | 실행 전 가설: 반환 타입 또는 noImplicitReturns 검사가 누락을 드러낼 것이다. 다른 조건은 고정하고 실행 후 실제 결과를 따로 기록합니다. |
표의 예상은 측정 결과가 아닙니다. 한 번에 한 조건만 바꾸고 실제 결과가 다르면 원인을 기록하세요.
완료 조건
- 정상·빈 제목 결과가 같은 계약을 따른다.
- 잘못된 콜백 인수 타입이 거부된다.
자가 점검
- void 반환과 undefined 반환은 어떻게 다른가요?
- 선택 매개변수는 누가 생략할 수 있다는 뜻인가요?
공식 참고
연결된 예제와 실행 범위
미리보기는 JavaScript 런타임 경계 실험입니다. TypeScript 진단은 실행하지 않습니다. lesson.ts를 로컬 tsc --strict --noEmit --lib ES2023,DOM 으로 검사하세요.
원본 코드·기록은 자동으로 덮어쓰지 않습니다. 기존 예제를 초기화할 때도 필기는 유지됩니다.
다음 학습
이전: 배열과 튜플의 위치 의미 · 다음: unknown과 안전한 접근