PHP 8.4并未引入新类型系统，而是强化既有渐进式类型系统；属性钩子中$value需显式类型校验，private(set)仅限访问控制不改类型规则，get返回值须手动保障符合声明类型。
PHP 8.4 并没有引入“新类型系统”——它沿用并强化了 PHP 7.0 起逐步完善的渐进式类型系统（strict typing + scalar type hints + return types），但没有重构类型模型、不支持泛型、不支持类型别名、也不提供类似 Rust 或 TypeScript 的类型推导能力。所谓“新类型系统”的说法，大概率是混淆了 PHP 8.4 真正落地的两个关键特性：属性钩子（Property Hooks）中的类型绑定 和 不对称可见性（public private(set)）带来的访问控制语义增强，它们让类型声明更贴近实际使用意图。
下面直说怎么用、容易错在哪：
属性钩子中类型必须显式声明，且 set 的 $value 不自动继承属性类型
你在 set 块里写的 $value 是未声明类型的变量，PHP 不会自动把它当作属性声明的类型来约束。哪怕你写了 public string $name { set => ... }，$value 本身仍是 mixed，运行时不会强制转成 string。
- 错误写法（以为自动类型转换）：
public string $name { set => $this->rawName = $value; }—— 如果传入123或null，不会报错，但可能存下非字符串值 - 正确做法：显式校验或转换：
set => $this->rawName = is_string($value) ? trim($value) : throw new TypeError('name must be string'); - IDE 和静态分析（如 PHPStan）能识别
$value类型，但仅限于你用/** @var string */注释或条件判断后 narrow 类型
private(set) 不改变类型，只限制赋值位置
public private(set) string $apiKey; 这行代码里，string 是类型，private(set) 是可见性修饰符——它不影响类型检查逻辑，只告诉 PHP “外部代码可以读，但不能写”。类型错误仍由常规类型系统捕获，比如：
立即学习“PHP免费学习笔记（深入）”；
- 构造函数里误赋
int：$this->apiKey = 123;→ 会触发Fatal error: Uncaught TypeError - 外部代码尝试
$obj->apiKey = 'abc';→ 报Error: Cannot assign to property（编译期拒绝，不是类型错误） - 类型系统本身没新增规则，只是把“可写范围”从“任何地方”收紧为“仅类内”，和类型无关
返回类型在 get 钩子里不自动强制，需手动保障
get 钩子的返回值不会被 PHP 自动 cast 成属性声明的类型。例如：
public int $count { get => $this->rawCount ?? '0'; }这段代码在 $this->rawCount 为 null 时返回字符串 '0'，但属性声明是 int，PHP 不会报错也不会转成整数——运行时实际返回的是 string，违反类型契约。
- 必须自己确保返回值符合声明类型：
get => (int)($this->rawCount ?? 0); - PHPStan / Psalm 在严格模式下会警告这种类型不匹配，但 PHP 解释器本身不拦截
- 尤其注意
??、?:、??=这些操作符右侧的默认值类型是否与属性一致
复杂点在于：PHP 8.4 的类型系统仍是“运行时弱保证 + 静态分析强依赖”模式。钩子语法让类型声明看起来更紧凑，但没降低对开发者类型意识的要求——该加的 is_int()、该 cast 的 (string)、该 throw 的 TypeError，一个都不能少。
