PHP编程类型声明怎么学_PHP类型编程学习【详解】-php教程-PHP中文网

php类型声明是“用不用”和“怎么用对”的问题：必须用于接口契约、api入口校验和团队协作；标量类型需declare(strict_types=1)才严格；返回类型禁止null或越界值；属性类型不支持表达式初始化且未初始化会抛异常。

php编程类型声明怎么学_php类型编程学习【详解】

PHP 类型声明不是“学不学”的问题，而是“用不用”和“怎么用对”的问题——它在 PHP 7+ 中已稳定可用，但滥用或误配会导致运行时错误、类型静默转换或 IDE 提示失效。

函数参数和返回值的类型声明，在以下场景中不是可选项，而是防御性编码的刚需：

接口契约明确要求：比如 Iterator::current() 必须返回 mixed，实现类若写成 string 就会触发致命错误
API 入口层校验：接收 JSON 数据后调用 processOrder(int $id, array $items)，提前拦截非整数 $id 比在函数体内用 is_int() 判断更清晰
团队协作中避免“传参猜谜”：当别人调用你的 saveUser(User $user)，就知道传进来必须是 User 实例，而不是数组或 stdClass

标量类型（int、string、float、bool）默认启用“弱模式”（coercive mode），即允许类型自动转换。这常被误认为“类型安全”，实际埋雷：

PHP 8.5.5

PHP 8.5.5 是 PHP 8.5 分支的维护更新版本。该版本延续了“小步快跑”的迭代逻辑，通过深度错误修复、底层性能微调以及安全加固，旨在为开发者提供一个更健壮、更高效的运行环境。该版本严格遵守语义化版本规范，不包含破坏性变更。

下载

function foo(int $x) { return $x * 2; } → 调用 foo("123") 不报错，返回 246；但 foo("abc") 才报 TypeError
真正要严格校验，必须在文件顶部加 declare(strict_types=1);，否则声明形同虚设
strict_types=1 只影响当前文件，不会跨 require 或 include 传播
注意：PHP 8.0+ 中 get_debug_type() 返回规范名（如 "int"），而老版本用 gettype() 返回 "integer"，类型字符串比较时容易出错

返回类型声明强制函数按约定输出，但几个细节极易踩空：

function bar(): string { return null; } → 即使 strict_types=1 也报错，因为 null 不属于 string
void 表示“不返回任何值”，但允许函数内写 return;（无值），禁止写 return 123; 或 return $x;
如果函数可能返回多种类型（如成功返回 array，失败返回 false），要用联合类型：function search(): array|false（PHP 8.0+）
PHP 7.1 引入的 iterable 是伪类型，可匹配 array 或任意 Traversable 实现，但不能用于属性声明（仅限参数和返回值）

PHP 7.4+ 支持属性类型声明，但它比函数类型更“娇气”：

只能用 public、protected、private 修饰符，不能和 var 混用
不支持表达式初始化：private string $log = __DIR__ . '/app.log'; 合法，但 private string $log = date('Y-m-d') . '.log'; 会报错（必须在构造函数里赋值）
未初始化的 typed property 在读取前会触发 UninitializedPropertyException（PHP 7.4+），而非返回 null
对象属性若声明为 self 或 static，只允许在当前类实例中赋值，子类不能覆盖为其他类型