Menu
Coddy logo textTech
학습 시작하기
flag Ko icon한국어down icon

제네릭 함수 사용하기

Coddy Lua 여정의 Luau 소개 섹션에 포함된 레슨. 73개 중 59번째.

identity에게 T가 무엇인지 알려 주지 않습니다. 검사기가 스스로 알아냅니다. 이것이 타입 추론입니다. 각 호출 위치에서 Luau는 인수를 살펴보고 T를 결정합니다.

local word = identity("Luau")   -- T가 string으로 추론됨
local count = identity(12)      -- T가 number로 추론됨
local flag = identity(false)    -- T가 boolean으로 추론됨

각 호출은 서로 독립적입니다. 한 줄에서는 T가 string일 수 있고, 다음 줄에서는 number일 수 있습니다. 추론된 결과는 직접 작성한 주석만큼 안전합니다. 검사기에게 word는 string이며, 자동 완성과 오류 검사를 모두 지원합니다.

TypeScript와 한 가지 중요한 차이점이 있습니다. TS에서는 identity<number>(5)를 사용해 호출 위치에서 타입을 강제로 지정할 수 있습니다. Luau에는 호출 위치 타입 인수가 없습니다. 해당 줄은 특별한 구문이 아니므로 Luau는 꺾쇠괄호를 less-than/greater-than 비교로 읽고 코드가 fails. 타입을 명시적으로 지정하려면 대신 변수에 주석을 추가하세요.

local count: number = identity(12)

익숙한 도구를 사용해 추론이 작동하는 모습을 확인할 수 있습니다. typeof는 값의 runtime 타입 이름을 반환하므로 print(typeof(identity(12)))는 number를 출력합니다. 즉, 값이 generic function을 거치는 동안 완전히 변경되지 않았습니다.

challenge icon

챌린지

쉬움

이전 lesson의 generic identity function이 이미 편집기에 있습니다. 그 추론을 활용하세요.

세 개의 변수를 만들고, checker가 T를 추론하도록 하세요(주석은 필요하지 않습니다).

  • word: "Luau"를 사용해 identity를 호출
  • count: 12를 사용해 identity를 호출
  • flag: false를 사용해 identity를 호출

다음 항목을 각각 별도의 줄에 출력하세요.

  1. word
  2. typeof(word)의 결과
  3. count
  4. typeof(count)의 결과
  5. flag
  6. typeof(flag)의 결과

직접 해보기

-- 이전 강의의 제네릭 identity 함수
local function identity<T>(value: T): T
    return value
end

-- 여기에 코드를 작성하세요
-- 1) identity 호출로 word, count, flag 생성 (T는 추론되도록)
-- 2) 각 값 뒤에 typeof를 붙여 출력
quiz icon실력 점검

이 레슨에는 짧은 퀴즈가 포함되어 있습니다. 레슨을 시작해 문제를 풀고 진행 상황을 기록하세요.

Luau 소개의 모든 레슨

1Luau 시작하기

Luau란 무엇인가요?왜 Luau를 사용해야 할까요?첫 번째 Luau 코드타입 검사 및 에러 모드요약: Luau 소개

4함수 다루기

매개변수 및 반환 값 타입 지정익명 함수 타입 지정반환 값이 없는 함수선택적 매개변수기본 매개변수 값가변 인자 함수함수 타입 정의하기요약: 타입이 지정된 함수

7프로젝트: Typed Task Manager

프로젝트: 태스크 형태 정의하기태스크 추가 함수프로젝트 레슨태스크 상태 변경 함수프로젝트 레슨함수: 상태별 태스크 목록 조회프로젝트 레슨함수: 태스크 요약 출력프로젝트 레슨하나로 합치기프로젝트 레슨

10프로젝트: 제네릭 인벤토리

프로젝트: 인벤토리 항목함수: 항목 추가프로젝트 레슨함수: ID로 항목 찾기프로젝트 레슨특정 인벤토리 유형프로젝트 레슨함수: 항목 상세 정보 가져오기프로젝트 레슨

2핵심 타입

기본 타입: num, str, bool'any' 타입: 탈출구'unknown' 타입Nil 및 옵셔널 타입실전 타입 추론명시적 타입 어노테이션요약: 핵심 타입 연습

5별칭, 유니온, 인터섹션

원시 타입의 타입 별칭유니온 타입유니온 타입 활용하기리터럴 타입인터섹션 타입타입 별칭 조합하기요약: 고급 타입 조합

8Luau 방식의 Enum

Luau의 Enum 패턴테이블을 사용한 숫자 Enum유니온으로서의 문자열 Enum리터럴 유니온 Enum 사용하기상수 테이블 동결하기요약: Luau 방식의 Enum

11고급 주제

타입 단언 (Type Assertions)typeof를 사용한 타입 가드never 타입엄격 모드에서의 Nil 안정성인덱스 시그니처요약: 타입 세부 조정

3타입이 지정된 테이블: 배열과 맵

타입이 지정된 배열요소 추가 및 읽기맵 타입이란?맵 선언 및 접근테이블 순회하기혼합 형태 테이블다차원 타입 배열table.unpack과 가변 인자요약: 배열과 맵

6테이블 셰이프 타입 지정

인라인 셰이프 어노테이션셰이프를 위한 타입 별칭선택적 속성셰이프 vs. 느슨한 테이블셰이프 확장하기셰이프에 메서드 추가하기Self와 콜론 메서드요약: 테이블 셰이프 정의하기

9제네릭: 첫걸음

제네릭이 해결하는 문제제네릭 항등 함수제네릭 함수 사용하기제네릭 배열제네릭 타입 별칭요약: 제네릭 함수

직접 연습해 보세요: 온라인 Lua 컴파일러