타입과 기본값을 갖는 함수는 어떻게 정의하나요?

Question

Accepted Answer

PHP 함수는 `function` 키워드로 정의합니다. 현대 PHP는 매개변수와 반환값에 대한 **타입 선언**, **기본값**, 가변 인자 매개변수를 지원합니다 — 이로써 함수가 더 견고하고 자기 설명적이 됩니다.

## 타입 선언이 있는 기본 함수

```php
<?php
// 현대 PHP — 타입이 지정된 매개변수와 반환값
function add(int $a, int $b): int {
    return $a + $b;
}

function greet(string $name, string $greeting = "Hello"): string {  // 기본값
    return "$greeting, $name";
}

greet("Ann");              // "Hello, Ann"
greet("Ann", "Hi");        // "Hi, Ann"
```

타입 선언(`int $a`, `: int` 반환 타입)은 PHP가 인자와 반환 타입을 검사하게 하여 — 버그를 잡고 의도를 문서화합니다. 기본값은 매개변수를 선택적으로 만듭니다.

## 널 허용 타입과 유니온 타입 (PHP 8+)

```php
function find(?int $id): ?User {        // ? = 널 허용 (int|null, User|null)
    return $id ? lookup($id) : null;
}

function process(int|string $input): void {   // 유니온 타입 — int 또는 string (PHP 8)
    // ...
}
```

`?Type`은 null을 허용하며, **유니온 타입**(`int|string`, PHP 8)은 여러 타입을 허용합니다 — 시그니처를 정밀하게 만듭니다.

## 가변 인자와 명명된 인자

```php
function sum(int ...$numbers): int {     // 가변 인자 — 임의 개수의 int 인자
    return array_sum($numbers);
}
sum(1, 2, 3);            // 6

// 명명된 인자 (PHP 8) — 매개변수 이름으로 전달, 선택적 인자 건너뛰기
greet(name: "Ann", greeting: "Hey");
```

## 엄격한 타입 (권장)

```php
<?php
declare(strict_types=1);    // 파일 최상단에서 — 엄격한 타입 검사 강제

add("5", 3);   // ❌ strict_types에서는 TypeError (없으면 "5"가 5로 강제 변환됨)
```

`declare(strict_types=1)`는 타입 선언을 엄격하게 만듭니다 — PHP가 타입 불일치를 조용히 강제 변환하는 대신 거부하며, 이는 버그를 잡는 권장 현대 관행입니다.

## 왜 중요한가

현대 PHP의 함수 정의 — 특히 **타입 선언** — 을 이해하는 것은 견고하고 유지보수 가능한 코드를 작성하는 데 중요하며, PHP가 느슨한 타입의 기원에서 얼마나 발전했는지를 보여줍니다.

타입이 지정된 매개변수와 반환값(널 허용 및 유니온 타입 포함)은 함수를 자기 설명적으로 만들고 PHP가 타입 오류를 잡게 하며, 기본 인자, 명명된 인자, 가변 인자는 유연하고 읽기 쉬운 시그니처를 제공합니다.

가장 중요한 현대 관행은 **`declare(strict_types=1)`**로, 엄격한 타입 검사를 강제합니다(불일치를 조용히 강제 변환하는 대신 거부) — 버그를 일찍 잡고 신뢰할 수 있는 코드를 작성하는 핵심 도구입니다.

기본값을 갖는 잘 타입화된 함수를 정의하는 법과 엄격한 타입을 사용하는 법을 아는 것은 전문적인 현대 PHP 개발의 일상 지식이며, 견고하고 타입 안전한 코드를 구식 PHP의 느슨한 타입 스타일과 구별 짓습니다.