[L1] PHP 动态语言特性与静态语言的区别

一句话结论

PHP 是动态弱类型语言，变量类型在运行时由赋值决定；静态语言在编译期确定类型，可提前捕获类型错误。

体系讲解

核心区分维度

维度	动态语言（PHP、Python、JS）	静态语言（Java、Go、C++）
类型确定时机	运行时（Runtime）	编译期（Compile-time）
变量声明	无需声明类型	必须声明类型
类型错误暴露	运行时报错	编译阶段报错
灵活性	高	低
大型项目可维护性	较低（需纪律约束）	较高

易混淆：动态/静态 ≠ 强类型/弱类型

这是两个独立维度：

• 动态 vs 静态：类型"何时确定"
• 强 vs 弱：是否允许隐式类型转换

PHP 是动态 + 弱类型：变量无需声明，且允许 "5" + 3 = 8（字符串隐式转整数）。
Python 是动态 + 强类型：变量无需声明，但 "5" + 3 会抛 TypeError。

PHP 的演进方向

PHP 7+ 引入了类型声明（Type Hints）和严格模式，允许开发者为函数参数和返回值声明类型，但这是可选的——PHP 本质上仍是动态语言，只是提供了向静态方向靠拢的工具。

考察意图

验证候选人是否能区分语言的基础分类维度，以及是否理解 PHP"灵活"背后的代价——隐式类型转换引发的隐蔽 bug。

追问链

1. PHP 中 "3" + 4 的结果是什么？为什么？
   简答：结果是整数 7。PHP 弱类型特性会将字符串 "3" 隐式转换为整数，再做加法。

2. PHP 7 引入类型声明后，PHP 还是动态语言吗？
   简答：是。类型声明是可选约束，不声明时行为与以前一致；动态语言的本质是运行时确定类型，这一点未改变。

3. declare(strict_types=1) 开启后有什么变化？
   简答：开启严格模式后，函数调用时传入的类型必须与声明完全匹配，否则抛出 TypeError，不再发生隐式转换。

4. 动态语言在大型项目中有哪些工程风险？PHP 如何缓解？
   简答：主要风险是类型错误在运行时才暴露，排查成本高。PHP 的缓解手段包括：类型声明 + 严格模式、静态分析工具（PHPStan、Psalm）、IDE 类型推断。

易错点

1. 把"动态"等同于"弱类型"：两者正交。Python 是动态强类型的典型反例，面试时混淆会暴露知识盲区。

2. 认为加了类型声明 PHP 就变成了静态语言：类型声明只是约束手段，不改变运行时动态解析的本质。

3. 忽略严格模式的作用域：declare(strict_types=1) 只影响声明所在文件的函数调用，不影响被调用函数内部，也不影响其他文件。

代码示例

示例一：动态类型 + 弱类型的隐式转换（非严格模式）

<?php

// 动态类型：同一变量可持有不同类型
$value = 42;
$value = "hello"; // 合法，无需重新声明

// 弱类型：隐式转换
var_dump("3" + 4);        // int(7)
var_dump("3 apples" + 4); // int(7)，字符串前缀数字被提取

// PHP 7+ 类型声明——非严格模式下，"3" 仍被隐式转为 int(3)
function add(int $a, int $b): int {
    return $a + $b;
}
var_dump(add("3", 4)); // int(7)

示例二：开启严格模式后类型不匹配直接报错（独立文件）

<?php
// declare(strict_types=1) 必须位于文件第一行（注释除外）
declare(strict_types=1);

function add(int $a, int $b): int {
    return $a + $b;
}

add("3", 4); // Fatal error: Uncaught TypeError: add(): Argument #1 must be of type int, string given