PHP最初的设计是弱类型语言，变量无需声明类型，类型在运行时自动转换。这种灵活性使PHP易于上手，但也带来了类型相关的bug和IDE支持不足的问题。从PHP 7开始，类型系统经历了深刻的变革，逐步引入了标量类型声明、返回类型声明、严格模式、以及PHP 8的联合类型和混合类型。这场类型系统的进化使PHP在保持灵活性的同时，获得了更强的类型安全性和开发体验。
参考：https://qeext.cn/category/game.html
弱类型的代价：在PHP 5时代，函数签名不包含类型信息。一个函数可能接受任何参数，返回任何类型。调用者需要仔细阅读文档才能知道如何正确调用，IDE也无法提供准确的自动补全。更糟糕的是，PHP的自动类型转换规则复杂且容易产生歧义——0 == 'abc'为true，'abc' + 1为1，这些隐式转换是许多微妙bug的来源。
PHP 7的类型声明是转折点。函数参数可以声明类型：function foo(int $a, string $b) {}。返回类型也可以声明：function bar(): array {}。支持的类型包括：int、float、string、bool、array、callable、self、parent，以及类和接口类型。默认情况下，类型声明是强制模式——传入的值会被隐式转换（例如，字符串"123"可以传给int参数）。强制模式保持了向后兼容性，同时提供了类型安全的基础。
严格类型模式（declare(strict_types=1)）是PHP 7引入的突破性特性。在严格模式下，类型不匹配会抛出TypeError异常，而不是进行隐式转换。严格模式只影响声明了类型检查的文件，不通过文件边界传播。这种设计允许项目逐步采用严格模式——新代码使用严格类型，旧代码保持宽松。
标量类型声明的加入使PHP的类型系统更加完善。int、float、string、bool可以与对象类型一样用于函数签名。标量类型声明与严格模式结合，可以在函数边界强制类型正确性，大大减少了因类型混淆导致的bug。
可空类型（?Type）是PHP 7.1引入的。它表示参数或返回值可以是给定类型或null。例如?int可以接受int或null。在可空类型之前，要表示一个可选值，只能依赖默认参数或null，但无法在类型系统中表达。
void返回类型（PHP 7.1）表示函数不返回任何值。void函数不能有return语句（或只能return;）。这提高了API的清晰度，使调用者知道函数有副作用但无返回值。
iterable伪类型（PHP 7.1）表示array或实现了Traversable接口的对象。iterable可用于参数类型和返回类型，是泛型遍历的统一抽象。
对象类型object（PHP 7.2）表示任何对象。与stdClass不同，object可以接受任何类的实例。这提供了一个统一的超类型，适用于需要接受任意对象但拒绝标量的场景。
PHP 8的联合类型是类型系统最重要的增强之一。联合类型允许参数或返回值接受多种类型，语法为Type1|Type2|Type3。例如int|string表示可以接受整数或字符串。联合类型解决了长期以来需要多种类型支持的尴尬——以前只能使用@param注解，现在可以在语言层面表达。
参考：https://qeext.cn/category/anime.html
mixed类型（PHP 8）表示任何类型。mixed是所有类型的超类型，等价于object|resource|array|string|int|float|bool|null。mixed作为参数类型时，几乎等同于省略类型声明；作为返回类型时，明确表示返回值可以是任何类型。mixed的使用应该谨慎，因为它退回到了弱类型的行为。
静态返回类型static（PHP 8）表示返回调用该方法的类的实例。与self不同，self总是指向定义该方法的类，而static指向实际调用的类（支持后期静态绑定）。static返回类型对建造者模式和泛型库特别有用。
属性类型声明（PHP 7.4）允许在类属性上声明类型。属性类型在赋值时被检查（包括初始化时）。未初始化的类型化属性在被读取时会抛出Error。这消除了对getter/setter样板代码的需求，也防止了属性类型错误。
类型窄化是PHP类型系统的一个重要特性。子类方法的参数类型可以更宽松（逆变），返回类型可以更严格（协变）。例如，父类方法参数是Animal，子类可以是Animal|Dog；父类返回Animal，子类可以返回Dog。这种规则遵循Liskov替换原则。
类型系统对IDE的影响：丰富的类型信息使IDE的自动补全、重构、错误检查等功能大幅提升。PHPStorm、VSCode等工具可以基于类型声明提供准确的代码提示，甚至可以推断出数组元素的类型（通过PHPDoc的@var和@return）。
运行时类型检查：is_int()、is_string()、is_object()、is_array()等函数用于运行时类型检查。gettype()返回变量的类型字符串。instanceof用于检查对象是否属于某个类或接口。PHP 8的get_debug_type()提供了更人性化的类型表示。
类型系统的性能影响：类型声明在编译期被处理，运行时几乎无额外开销。严格模式下的类型检查有微小开销，但通常可以忽略不计。相比动态类型检查，类型声明实际上允许Zend引擎做出更多优化。
PHPDoc注解的历史作用：在PHP 7普及之前，PHPDoc的@param、@return、@var是类型信息的唯一来源。虽然运行时忽略这些注解，但IDE和静态分析工具（如Psalm、PHPStan）可以基于它们进行检查。PHPDoc仍然在一些场景中发挥作用，如泛型（@template）和更复杂的类型约束。
类型系统的最佳实践：在新代码中始终使用严格模式；为所有函数参数和返回值声明类型；为所有类属性声明类型；使用联合类型替代@param mixed；使用void明确表示无返回值；避免使用mixed，除非真正需要；为公共API编写完整的类型注解。
PHP类型系统的进化是这门语言成熟的标志。从一个被嘲讽的“玩具语言”，到拥有严谨类型系统的现代语言，PHP证明了它可以在保持易用性的同时提供企业级开发所需的安全性和工具支持。对于开发者而言，拥抱类型系统不仅是提高代码质量的手段，也是提升开发效率的捷径。
参考：https://qeext.cn
