Как вы определяете функции с типами и значениями по умолчанию?

Question

Accepted Answer

Функции PHP определяются с помощью ключевого слова `function`. Современный PHP поддерживает **объявления типов** для параметров и возвращаемых значений, **значения по умолчанию** и вариативные параметры — делая функции более надежными и самодокументируемыми.

## Базовые функции с объявлениями типов

```php
<?php
// modern PHP — typed parameters and a typed return
function add(int $a, int $b): int {
    return $a + $b;
}

function greet(string $name, string $greeting = "Hello"): string {  // default value
    return "$greeting, $name";
}

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

Объявления типов (`int $a`, `: int` тип возврата) позволяют PHP проверять типы аргументов и возвращаемые значения — перехватывая ошибки и документируя намерение. Значения по умолчанию делают параметры необязательными.

## Nullable типы и union типы (PHP 8+)

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

function process(int|string $input): void {   // union type — int OR string (PHP 8)
    // ...
}
```

`?Type` разрешает null; **union типы** (`int|string`, PHP 8) разрешают несколько типов — делая сигнатуры точными.

## Вариативные и именованные аргументы

```php
function sum(int ...$numbers): int {     // variadic — any number of int args
    return array_sum($numbers);
}
sum(1, 2, 3);            // 6

// named arguments (PHP 8) — pass by parameter name, skip optional ones
greet(name: "Ann", greeting: "Hey");
```

## Почему это важно

```php
<?php
declare(strict_types=1);    // at the top of the file — enforce STRICT type checking

add("5", 3);   // ❌ TypeError with strict_types (without it, "5" would coerce to 5)
```

`declare(strict_types=1)` делает объявления типов строгими — PHP отклоняет несоответствующие типы вместо того, чтобы молча их приводить, что является рекомендуемой современной практикой для перехвата ошибок.

## Почему это важно

Понимание современных определений функций PHP — особенно **объявлений типов** — важно для написания надежного и легко поддерживаемого кода и отражает, насколько далеко PHP эволюционировал от своих слабо типизированных истоков.

Типизированные параметры и возвращаемые значения (плюс nullable и union типы) делают функции самодокументируемыми и позволяют PHP перехватывать ошибки типов, в то время как значения по умолчанию и именованные аргументы и вариативы обеспечивают гибкие, читаемые сигнатуры.

Наиболее важной современной практикой является **`declare(strict_types=1)`**, которая обеспечивает строгую проверку типов (отклоняет несоответствия вместо молчаливого приведения) — ключевой инструмент для раннего перехвата ошибок и написания надежного кода.

Знание того, как определять хорошо типизированные функции со значениями по умолчанию и использовать строгие типы, — это повседневное знание для профессиональной современной разработки PHP, отличающее надежный type-safe код от слабо типизированного стиля старого PHP.