php不是强类型语言,所谓“强类型”实为通过declare(strict_types=1)在当前文件启用的局部严格类型检查机制,仅约束函数参数与返回值,不改变语言弱类型本质。

PHP本身不是强类型语言,所谓“PHP强类型”实际是指在特定上下文中启用的严格类型检查机制,它不改变PHP的弱类型本质,只在函数参数、返回值等局部范围施加类型约束。
strict_types=1 是什么,为什么必须写在文件开头
declare(strict_types=1); 是开启严格模式的唯一方式,且必须作为文件中第一个语句(前面不能有任何空白、注释或输出)。一旦漏掉或位置不对,整个文件就退回到默认的强制模式(coercive mode),比如传入字符串 "123" 给期望 int 的参数,仍会静默转成整数 123,而不是报错。
- 它只作用于当前文件,不会跨文件继承
- 类方法、闭包、匿名函数都受其影响
- 如果调用链中某个文件没加这行,那部分调用就失去严格性
参数类型声明在 strict_types=1 下的行为差异
开启后,int、string、bool、float 这些标量类型不再接受隐式转换。例如:
declare(strict_types=1);
function add(int $a, int $b): int {
return $a + $b;
}
add("1", 2); // TypeError: Argument 1 passed to add() must be of the type int, string given
但注意:float 类型在严格模式下仍允许传入整数(因为整数可无损表示为浮点),而 int 不接受浮点数(哪怕值是 5.0)。
-
int参数:只认整型,5.0或"5"都不合法 -
float参数:接受整型和浮点型,但不接受字符串如"5.0" -
bool参数:只接受true/false,1、"1"、"true"全部拒绝
返回值类型声明 + strict_types=1 的真实效果
返回值类型声明(如 : string)本身不依赖 strict_types,但加上后能堵住更多漏洞。例如:
declare(strict_types=1);
function getAge(): int {
return "25"; // TypeError: Return value must be of type int, string returned
}
没有 strict_types=1 时,这个函数也能通过(PHP 会尝试转成 25);开了之后,连返回值的隐式转换都被禁止。
- 返回
null给非可空类型(如: int)必然报错 - 返回对象给
: string不会自动调用__toString(),直接 TypeError - 若想允许
null,必须显式写成: ?int
PHP8 的 string $name 变量声明不是强类型
PHP8 支持在属性、参数、变量上写 string $name 这类语法,但它仅用于静态分析工具(如 PHPStan、Psalm),运行时完全不校验。也就是说:
-
string $name = 123;在运行时不会报错,$name 就是整数123 - 这种写法对 IDE 提示、类型推导有帮助,但不提供运行时保护
- 真正起作用的仍是函数参数/返回值的类型声明 +
strict_types=1
别被语法迷惑——PHP 没有真正的变量级强类型,所有“强类型”都是局部、可选、需显式启用的契约,不是语言底层强制。
php免费学习视频:立即使用
踏上前端学习之旅,开启通往精通之路!从前端基础到项目实战,循序渐进,一步一个脚印,迈向巅峰!











