매개변수, 반환값, 클래스 프로퍼티에 타입을 지정할 수 있습니다. 타입에는 스칼라(int, float, string, bool), 클래스/인터페이스, array, ?Type(널 허용), void가 포함됩니다.
function process(int|string $id): User|null { } // 유니온 타입 — int 또는 string
function handle(Countable&Iterator $x): void { } // 인터섹션 (PHP 8.1) — 둘 다
function get(): static { } // 호출된 클래스의 타입 반환
function nothing(): never { } // 반환하지 않음 (예외/종료, PHP 8.1)
PHP 8은 유니온 타입(int|string), 인터섹션 타입, 특수 반환 타입(static, never)을 추가했습니다.
<?php
declare(strict_types=1); // 파일의 첫 번째 문이어야 함
function add(int $a, int $b): int { return $a + $b; }
add(5, 3); // ✅ 8
add("5", 3); // ❌ TypeError — strict_types가 문자열을 거부 (강제 변환 없음)
strict_types 없이 (기본 "강제" 모드):
add("5", 3) → "5"가 조용히 int 5로 강제 변환됨 → 8 반환 (관대함, 버그를 숨길 수 있음)
strict_types=1 사용:
add("5", 3) → 즉시 TypeError (선언된 정확한 타입을 전달해야 함)
declare(strict_types=1)는 관대한 강제 변환에서 엄격한 강제로 전환합니다 — PHP가 타입 불일치를 조용히 변환하는 대신 거부합니다. 이는 강제 변환이 숨길 버그를 잡습니다.
타입 선언과 엄격한 타입은 견고하고 유지보수 가능한 현대 PHP를 작성하는 데 중요하며, 느슨한 타입의 기원을 넘어선 이 언어의 주요한 진화를 나타냅니다.
매개변수, 반환값, 프로퍼티에 대한 타입 선언은 코드를 자기 설명적으로 만들고(시그니처가 기대를 명확히 명시) PHP가 타입 오류를 자동으로 잡게 하며, 현대적 추가 기능(유니온 타입, 널 허용 타입)은 시그니처를 정밀하게 만듭니다.
가장 중요한 관행은 **declare(strict_types=1)**입니다. 관대한 강제 변환("5"가 조용히 5가 되어 버그를 숨길 수 있음)에서 엄격한 강제(불일치 타입을 명확한 TypeError로 거부)로 PHP를 전환합니다 — 버그를 일찍 잡고 신뢰할 수 있는 코드를 작성하는 핵심 도구이자 권장되는 현대 기본값입니다.
타입 선언을 이해하고 엄격한 타입을 사용하는 것은 현대 PHP 개발의 전문적인 일상 지식입니다 — 정적 타입 언어의 안전성 상당 부분을 PHP에 가져와 코드를 더 견고하고 유지보수하기 쉽게 만듭니다.
현대 PHP 프레임워크와 잘 작성된 코드베이스가 타이핑을 광범위하게(그리고 엄격한 타입을 전반에 걸쳐) 사용하므로, 이를 숙달하는 것은 양질의 현대 PHP를 작성하고 다루는 데 필수적이며, 타입 안전한 현대 코드를 구식 PHP의 오류 나기 쉬운 느슨한 타입 스타일과 구별 짓습니다.