编辑“︁PHP类型声明”︁

= PHP类型声明 =

'''PHP类型声明'''（Type Declarations）是PHP 5及更高版本中引入的一项功能，允许开发者在函数参数、返回值以及类属性上指定期望的数据类型。通过类型声明，可以增强代码的可读性、减少错误，并提高程序的可靠性。PHP支持标量类型（如`int`、`string`、`bool`、`float`）、复合类型（如`array`、`object`）、特殊类型（如`callable`、`iterable`）以及自定义类名作为类型声明。

== 基本语法 ==

PHP类型声明可以在函数参数、返回值和类属性上使用。语法如下：

=== 参数类型声明 ===
<syntaxhighlight lang="php">
function exampleFunction(int $param1, string $param2): void {
    // 函数体
}
</syntaxhighlight>

=== 返回值类型声明 ===
<syntaxhighlight lang="php">
function addNumbers(int $a, int $b): int {
    return $a + $b;
}
</syntaxhighlight>

=== 类属性类型声明（PHP 7.4+） ===
<syntaxhighlight lang="php">
class ExampleClass {
    public int $property;
}
</syntaxhighlight>

== 支持的类型 ==

PHP支持以下类型声明：

{| class="wikitable"
|-
! 类型 !! 描述 !! 示例
|-
| <code>int</code> || 整数 || <code>function example(int $num): int</code>
|-
| <code>float</code> || 浮点数 || <code>function example(float $num): float</code>
|-
| <code>string</code> || 字符串 || <code>function example(string $text): string</code>
|-
| <code>bool</code> || 布尔值 || <code>function example(bool $flag): bool</code>
|-
| <code>array</code> || 数组 || <code>function example(array $items): array</code>
|-
| <code>object</code> || 对象 || <code>function example(object $obj): object</code>
|-
| <code>callable</code> || 可调用结构 || <code>function example(callable $callback): callable</code>
|-
| <code>iterable</code> || 可遍历结构（数组或Traversable对象） || <code>function example(iterable $items): iterable</code>
|-
| <code>mixed</code> || 任意类型（PHP 8.0+） || <code>function example(mixed $value): mixed</code>
|-
| 类名 || 自定义类的实例 || <code>function example(User $user): User</code>
|}

== 严格模式与非严格模式 ==

PHP类型检查的行为可以通过<code>declare(strict_types=1)</code>指令控制：
* '''严格模式'''（<code>strict_types=1</code>）：类型必须完全匹配，否则抛出<code>TypeError</code>。
* '''非严格模式'''（默认）：PHP会尝试自动转换类型（如字符串<code>"123"</code>转换为整数<code>123</code>）。

=== 示例：严格模式与非严格模式的区别 ===
<syntaxhighlight lang="php">
// 非严格模式（默认）
function addNumbers(int $a, int $b): int {
    return $a + $b;
}

echo addNumbers("5", "10"); // 输出 15，PHP自动转换字符串为整数

// 严格模式
declare(strict_types=1);

function strictAddNumbers(int $a, int $b): int {
    return $a + $b;
}

// 以下代码会抛出 TypeError，因为参数必须是整数
// echo strictAddNumbers("5", "10");
</syntaxhighlight>

== 实际应用案例 ==

=== 案例1：用户注册验证 ===
<syntaxhighlight lang="php">
class User {
    public string $username;
    public string $email;
    public int $age;

    public function __construct(string $username, string $email, int $age) {
        $this->username = $username;
        $this->email = $email;
        $this->age = $age;
    }
}

function registerUser(User $user): bool {
    // 验证用户数据并保存到数据库
    return true;
}

$user = new User("john_doe", "john@example.com", 30);
registerUser($user); // 成功
// registerUser("invalid_data"); // 抛出 TypeError
</syntaxhighlight>

=== 案例2：数学计算 ===
<syntaxhighlight lang="php">
declare(strict_types=1);

function calculateArea(float $radius): float {
    return M_PI * $radius ** 2;
}

echo calculateArea(5.0); // 输出 78.539816339745
// echo calculateArea("5"); // 抛出 TypeError
</syntaxhighlight>

== 类型声明与继承 ==

在类继承中，子类方法的参数类型和返回类型必须与父类兼容：
* 参数类型可以放宽（如父类要求<code>int</code>，子类可以改为<code>mixed</code>）。
* 返回类型可以收紧（如父类返回<code>mixed</code>，子类可以返回<code>string</code>）。

<syntaxhighlight lang="php">
class ParentClass {
    public function example($param): mixed {
        return $param;
    }
}

class ChildClass extends ParentClass {
    public function example(int $param): string {
        return strval($param);
    }
}
</syntaxhighlight>

== 常见问题与陷阱 ==

1. '''类型声明与NULL值'''：默认情况下，类型声明不允许<code>NULL</code>值，除非使用联合类型（PHP 8.0+）或设置默认值为<code>NULL</code>。
2. '''资源类型'''：PHP的资源类型（如文件句柄）不能直接用于类型声明。
3. '''性能影响'''：类型声明在运行时检查，可能略微增加开销，但通常可以忽略不计。

== 总结 ==

PHP类型声明是一项强大的功能，能够：
* 提高代码可读性和可维护性。
* 在开发阶段捕获潜在错误。
* 为IDE和静态分析工具提供更多信息。

通过合理使用类型声明，可以编写更健壮、更可靠的PHP应用程序。

== 参见 ==
* [[PHP函数]]
* [[PHP类与对象]]
* [[PHP错误处理]]

[[Category:编程语言]]
[[Category:PHP]]
[[Category:PHP函数]]