php 7.0 引入类型声明并支持严格模式，提升代码健壮性。1. 启用方式是在文件顶部添加 declare(strict_types=1); 且必须为第一行；2. 类型声明支持 int、float、string、bool 等基本类型，array、callable 等复合类型，以及类、接口、联合类型（php 8.0+）、可空类型（?type）等；3. 可对函数参数和返回值进行类型约束，传参或返回类型不匹配会抛出 typeerror；4. 返回值类型声明可确保函数返回预期结构，支持使用 ?type 表示可能返回 null；5. 严格类型检查仅影响当前文件，对第三方库无强制要求，性能开销小；6. 即不启用严格模式，类型声明仍有助于 ide 提供更好提示。类型声明配合严格模式使 php 在团队协作和长期维护中更清晰安全，只需在开头添加声明并按需标注类型即可。
PHP 从 7.0 开始引入了类型声明功能，让开发者可以更清晰地定义变量、函数参数和返回值的类型。虽然 PHP 是一种弱类型语言，但通过使用严格类型检查（strict mode），可以让代码更健壮、减少潜在错误。
启用严格类型检查
在 PHP 中启用严格类型检查非常简单，只需要在脚本文件的顶部加上一行：
declare(strict_types=1);
这一行必须是文件的第一行内容，不能有任何输出或空白字符在它之前。一旦开启，PHP 就会对函数参数、返回值等进行严格类型检查。例如：
立即学习“PHP免费学习笔记（深入）”；
function add(int $a, int $b): int {
return $a + $b;
}
add(1, 2); // 正常
add("1", 2); // 报错：Argument 1 passed to add() must be of the type int, string given
如果传入的参数类型不匹配，PHP 会抛出 TypeError 错误。
类型声明支持的数据类型
PHP 支持多种类型的声明，包括基本类型和复合类型：
-
基本类型：
- int
- float
- string
- bool
-
复合类型：
- array
- callable
- iterable
- object
-
类与接口：
你可以直接指定某个类或接口作为参数类型：
class User {}
function greet(User $user) {
echo "Hello!";
}
-
联合类型（Union Types）（PHP 8.0+）：
如果一个参数可以接受多个类型，可以用 | 来声明：
function setPrice(float|int $price) {
// ...
}
-
可空类型（Nullable Types）：
允许参数为 null，写法是在类型前加个问号：
function setName(?string $name) {
// $name 可以为 null 或字符串
}
返回值类型声明
除了参数类型之外，还可以对函数的返回值进行类型声明。这有助于确保函数始终返回预期的数据结构：
function getAge(): int {
return '30'; // 严格模式下会报错，因为返回的是字符串而不是整数
}
如果你希望函数可能返回 null，也可以使用可空类型：
function findUser(int $id): ?User {
// 如果找不到用户，可以返回 null
}
注意事项和常见问题
- 只影响当前文件：declare(strict_types=1); 只会影响当前文件中的函数调用行为，不会影响被调用的其他文件。
- 第三方库兼容性：有些老项目或第三方库没有使用类型声明，调用它们时可能会出现类型不匹配的问题。
- 性能影响不大：类型检查带来的性能开销可以忽略不计，主要是编译期的行为。
- IDE 更好提示：即使不开启严格模式，类型声明也能帮助 IDE 提供更好的自动补全和错误提示。
基本上就这些。类型声明配合严格模式，能让你的 PHP 代码更清晰、更安全，尤其是在团队协作或长期维护中特别有用。只要记得在文件开头加上那句声明，剩下的就是按需加上类型标注了。
暂无评论内容