php无变量类型自动推断机制，仅支持动态类型与弱类型隐式转换；类型检查依赖ide或静态分析工具（如phpstan）、显式声明及运行时校验。
PHP没有变量类型自动推断机制
PHP根本不存在编译期或运行期的“变量类型自动推断”——它只有动态类型和弱类型隐式转换。所谓“推断”，是IDE（如PhpStorm）或静态分析工具（如PHPStan、Psalm）基于上下文做的猜测，不是PHP引擎的行为。
常见错误现象：TypeError在启用严格模式后突然出现，或IDE提示“Expected int, got string”，但代码实际能跑通——这说明PHP执行时没报错，只是工具“以为”你该传什么。
- PHP所有变量在运行时才确定类型，
gettype($x)返回的是当前值的类型，不是“声明类型” - 函数参数、返回值的类型声明（如
function foo(int $x): string）是显式约束，不写就无约束 - PHP 8.0+ 的联合类型（
int|string）和mixed仍是运行时检查，不是推断结果
PHPStan/Psalm怎么“推断”变量类型
这些工具靠扫描赋值、函数调用、类型注解和控制流来构建类型图谱，不是魔法，更不是PHP内建能力。
使用场景：CI中做类型守门、重构前确认影响范围、配合@var注解补全信息。
立即学习“PHP免费学习笔记（深入）”；
- 没写
@var时，$x = []; $x[] = 'a';会被推为array<string></string>，但$x = [];单独一行就推成array（无泛型） -
foreach ($arr as $k => $v)中，$k默认推为int|string，除非$arr被明确标注为array<int ...></int> - 调用未声明类型的函数（如原生
json_decode()），工具依赖内置stub，否则会退化为mixed
为什么declare(strict_types=1)不是类型推断
它只控制函数调用时的类型检查开关，对变量本身毫无影响。开启后，strlen(42)直接报TypeError，但$x = 42;之后$x还是int，不会“推导出你该用string”。
- strict_types不影响
gettype($x)结果，也不改变变量后续可赋值的类型 - 它只作用于当前文件的函数调用，不跨
include传播 - 常见坑：以为开了strict_types就能让
$x = '123'; $x += 1;报错——不会，这是弱类型运算，strict_types管不到这里
真正需要关心的类型“边界点”
PHP里类型问题集中爆发在跨函数边界和外部数据入口，比如$_GET、数据库查询结果、JSON解码返回值。
-
json_decode($_GET['data'])返回mixed，不加判断直接->prop或['key']，运行时可能Notice或NULL静默失败 - PDO预处理获取的字段默认是
string，即使数据库是INT，需手动(int)或用PDO::ATTR_STRINGIFY_FETCHES关掉 - 用
is_int($x) && $x > 0比依赖工具推断更可靠，尤其在关键分支逻辑里
工具推断再强，也替代不了对$_POST、file_get_contents()、curl_exec()这类源头数据的显式校验。这点容易被忽略——毕竟错误常在上线后某个特定输入才触发。
