好的，各位观众老爷们，欢迎来到老码农的PHP类型系统脱口秀！今天咱们不聊八卦，不谈风月，就来聊聊PHP这门语言的类型系统，特别是“严格模式”和“类型推断”这两个磨人的小妖精。
准备好了吗？ 让我们开始吧！
开场白：PHP，你是我的优乐美？
PHP，这门“世界上最好的语言”，一直以来都以它的灵活、上手快而闻名。但就像爱情一样，过于自由放任，就容易出问题。 想象一下，你跟PHP谈恋爱，它一开始对你百依百顺，你给它整数，它能当字符串用；你给它 null，它也能勉强应付。简直就是你的优乐美，想怎么捏就怎么捏。
但时间久了，你就会发现，这货太随意了！ 稍不留神，就会给你整出一些意想不到的 bug，让你抓耳挠腮，怀疑人生。 这时候，你开始怀念那些“高冷”的语言，比如 Java 和 C++，它们有严格的类型检查，出错的时候会毫不留情地给你报错，让你知道自己错在哪里。
所以，PHP也开始进化了，引入了“严格模式”和“类型推断”这两个概念，让代码更健壮，更易于维护。 就像是给PHP这匹野马套上了缰绳，让它在可控的范围内奔腾。
第一幕：严格模式（Declare(strict_types=1);）——给我严肃点！
PHP的严格模式，就像是你的丈母娘，对你要求很高，一丝不苟。 它通过 declare(strict_types=1); 开启，必须放在PHP文件的第一行，就像是盖房子前的地基，必须要打好。
那么，开启严格模式后，会发生什么呢？
简单来说，就是PHP会对函数参数和返回值进行严格的类型检查。 如果你传递的参数类型和函数声明的类型不一致，或者函数返回的类型和声明的类型不一致，PHP就会毫不留情地抛出一个 TypeError 异常。
举个栗子：
<?php
declare(strict_types=1);
function add(int $a, int $b): int {
return $a + $b;
}
echo add(1, 2); // 输出 3，没问题
echo add(1.5, 2.5); // 报错：TypeError: Argument 1 passed to add() must be of the type int, float given在这个例子中，add() 函数声明了两个 int 类型的参数，并返回一个 int 类型的值。 当我们传递 1.5 和 2.5 这两个浮点数时，PHP就会报错，因为它不接受浮点数作为 int 类型的参数。
为什么要开启严格模式？
- 减少Bug： 严格的类型检查可以帮助你在开发阶段就发现类型错误，避免在运行时出现意想不到的 bug。
- 提高代码可读性： 函数签名明确地声明了参数和返回值的类型，让代码更容易理解。
- 增强代码健壮性： 严格模式可以防止一些潜在的类型转换错误，提高代码的健壮性。
严格模式的注意事项
- 只能放在文件第一行：
declare(strict_types=1);必须放在PHP文件的第一行，否则无效。 - 影响整个文件： 开启严格模式后，会对整个文件中的函数和方法生效。
- 不影响内部函数： 严格模式只影响用户定义的函数和方法，不影响PHP的内部函数。
- 类型转换： 开启严格模式后，PHP不会进行隐式的类型转换。例如，字符串 "1" 不会被自动转换为整数 1。
第二幕：类型推断——猜猜我是谁？
类型推断，就像是你的好基友，很了解你，能猜到你想要什么。 它允许PHP根据变量的值来自动推断变量的类型，而不需要你显式地声明。
PHP 7.4 引入了属性类型声明，PHP 8.0 引入了联合类型，这些都大大增强了PHP的类型推断能力。
属性类型声明
在PHP 7.4 之前，类的属性只能通过注释来声明类型，这很不方便，而且容易出错。 PHP 7.4 允许你直接在属性声明中指定类型。
<?php
class User {
public int $id;
public string $name;
public ?string $email; // 可为空的字符串
public function __construct(int $id, string $name, ?string $email = null) {
$this->id = $id;
$this->name = $name;
$this->email = $email;
}
}
$user = new User(1, "老码农", "[email protected]");
echo $user->name; // 输出 "老码农"在这个例子中，我们使用 int 和 string 关键字来声明了 $id 和 $name 属性的类型。 ?string 表示 $email 属性可以为空。
联合类型
PHP 8.0 引入了联合类型，允许你为一个变量或参数指定多个可能的类型。 这在处理一些复杂的数据结构时非常有用。
<?php
class NumberFormatter {
public function format(int|float $number): string {
return number_format($number, 2);
}
}
$formatter = new NumberFormatter();
echo $formatter->format(123); // 输出 "123.00"
echo $formatter->format(123.456); // 输出 "123.46"在这个例子中，format() 函数的参数 $number 可以是 int 或 float 类型。
类型推断的优势
- 减少代码冗余： 不需要显式地声明变量类型，代码更简洁。
- 提高开发效率： 减少了编写类型声明的时间，提高了开发效率。
- 增强代码灵活性： 联合类型允许你为一个变量指定多个可能的类型，增强了代码的灵活性。
类型推断的局限性
- 并非万能： 类型推断并非万能，有些情况下，PHP无法自动推断出变量的类型，需要你显式地声明。
- 可能导致意外的类型转换： 如果类型推断不准确，可能会导致意外的类型转换，从而引发 bug。
- 需要谨慎使用： 过度依赖类型推断可能会降低代码的可读性，需要谨慎使用。
第三幕：严格模式 VS 类型推断——相爱相杀？
严格模式和类型推断，就像是一对欢喜冤家，既有冲突，又有互补。
- 冲突： 严格模式要求你显式地声明类型，而类型推断则试图自动推断类型。
- 互补： 类型推断可以减少代码冗余，而严格模式可以确保类型安全。
那么，如何才能让它们和谐共处呢？
我的建议是：
- 开启严格模式： 尽量在你的项目中开启严格模式，以确保类型安全。
- 合理使用类型推断： 在类型推断可以提高开发效率的情况下，合理使用类型推断。
- 显式声明类型： 在类型推断不准确或者可能导致歧义的情况下，显式地声明类型。
总结：拥抱类型系统，告别手忙脚乱
PHP的类型系统，就像是一把双刃剑，用得好，可以提高代码质量，减少 bug；用不好，可能会让你手忙脚乱，不知所措。
但是，我相信，只要你认真学习，深入理解，就能掌握这把双刃剑，让PHP代码更加健壮，更加易于维护。
最后，送给大家一句话：
拥抱类型系统，告别手忙脚乱！
附录：一些实用技巧
- 使用静态分析工具： 可以使用 Psalm 或 PHPStan 等静态分析工具来检查代码中的类型错误。
- 编写单元测试： 编写单元测试可以帮助你发现代码中的类型错误。
- 多阅读源码： 多阅读优秀的PHP开源项目的源码，学习如何使用类型系统。
- 积极参与社区： 积极参与PHP社区，与其他开发者交流经验。
表格总结
| 特性 | 严格模式 (declare(strict_types=1)) | 类型推断 (Type Inference) | 优势 | 劣势 | 适用场景 |
|---|---|---|---|---|---|
| 功能 | 强制类型检查 | 自动推断类型 | 减少Bug，提高代码可读性，增强代码健壮性 | 代码冗余，需要显式声明类型 | 对类型安全要求高的项目，大型项目，需要长期维护的项目 |
| 使用方式 | declare(strict_types=1); |
无需显式开启 | 减少代码冗余，提高开发效率，增强代码灵活性 | 类型推断可能不准确，可能导致意外的类型转换，过度依赖可能降低代码可读性 | 对开发效率要求高的项目，小型项目，需要快速迭代的项目 |
| 类型检查时机 | 运行时 | 编译时 (通过静态分析工具) | 强制类型检查 | 推断可能不准确 | 适用于所有项目，但需要在类型推断不准确或可能导致歧义的情况下，显式地声明类型 |
| 对性能的影响 | 轻微的性能损失 (由于运行时检查) | 无 (静态分析工具在编译时执行) | 无明显性能影响 | / | / |
| 适用PHP版本 | PHP 7.0+ | PHP 7.4+ (属性类型声明)，PHP 8.0+ (联合类型) | / | / |
结束语
希望今天的脱口秀能对你有所帮助。 记住，PHP 的类型系统不是你的敌人，而是你的朋友。 只要你善用它，就能写出更优秀的代码。
感谢大家的观看！ 咱们下期再见！ ( _)