PHP 数组常用操作性能对比：isset、array\_key\_exists 与 ?? 的真实差距

PHP 8.x 上的真实结论：`isset()` 和 `??` 会被编译成同一类"存在性检查"opcode，速度基本一致，都是最快的；`array_key_exists()` 因为要保留"键存在但值为 null 也算存在"的语义，即便 PHP 7.4 起有了专用 opcode 优化，仍然比前两者慢大约 1.5–3 倍。但真正的差距不在纳秒级耗时，而在语义——值可能是 null 时，你只能用 `array_key_exists()`。

三者到底差在哪：一张表说清

结论：性能排序是 `isset() ≈ ??` 快于 `array_key_exists()`，语义排序则完全相反——`array_key_exists()` 是唯一能区分"键不存在"和"键存在但值为 null"的。

在 PHP 7.4 之前，`array_key_exists()` 走的是普通函数调用，每次都要进函数栈，差距能拉到 5 倍以上；PHP 7.4 给它加了 `ZEND_ARRAY_KEY_EXISTS` 专用 opcode，差距才被压缩。注意"压缩"不等于"抹平"，它依然要额外判断数组类型（是数组还是对象）并返回布尔语义，这层开销省不掉。

为什么 isset 和 ?? 几乎完全一样快

结论：因为 `??` 在底层的实现就是"先做 isset 判断，通过就取值"，两者的哈希查找次数完全相同。

`isset()` 编译为 `ISSET_ISEMPTY_DIM_OBJ` 指令，一次哈希查找，不触发任何函数调用，连 notice 都不会产生。`$a['k'] ?? null` 编译为 `ZEND_COALESCE` 加一条取维指令，同样是"查一次表，有就返回，没有就返回右值"。

真正值得记住的是这个对比：

// 慢：查两次哈希表（一次 isset，一次读取）
$v = isset($a['k']) ? $a['k'] : null;

// 快：查一次，直接拿到值
$v = $a['k'] ?? null;

在热循环里，前者是实打实的双倍查表开销，这个优化收益比纠结 `isset` 和 `array_key_exists` 之间那点差距大得多。另外 PHP 7.4+ 还提供了 `??=` 空合并赋值，`$a['k'] ??= 0;` 等价于"不存在才写入"，比 `if (!isset($a['k'])) $a['k'] = 0;` 更短也更快。

什么时候必须用 array_key_exists

结论：当 null 是合法业务值、你需要区分"没配"和"配了空"时，只有 `array_key_exists()` 是对的。

典型场景是配置数组：某个开关被显式设成 `null` 表示"跟随上级"，没这个键表示"用默认值"，这两种状态必须区分，用 `isset()` 会把它们混成一种，逻辑就错了。同理，JSON 解析出来的 `{"key": null}` 用 `isset()` 判断会得到 false。

反过来，如果 null 和不存在对你而言是一回事（大部分"取值+给默认值"的场景都是这样），那就用 `??`，又快又安全。

一份可以直接跑的基准测试

结论：别信任何二手数字，用 `hrtime()` 在自己服务器上跑一遍，几十行代码的事。

$arr = [];
for ($i = 0; $i < 100000; $i++) $arr['k' . $i] = $i;
$key = 'k99999';
$N = 2000000;

$t = hrtime(true);
for ($i = 0; $i < $N; $i++) { $x = isset($arr[$key]); }
printf("isset: %.1f ns/次\n", (hrtime(true) - $t) / $N);

$t = hrtime(true);
for ($i = 0; $i < $N; $i++) { $x = $arr[$key] ?? null; }
printf("??: %.1f ns/次\n", (hrtime(true) - $t) / $N);

$t = hrtime(true);
for ($i = 0; $i < $N; $i++) { $x = array_key_exists($key, $arr); }
printf("array_key_exists: %.1f ns/次\n", (hrtime(true) - $t) / $N);

两点提醒：一是测试键要放"实际存在"和"不存在"两种各跑一轮，命中和未命中的分支预测差异会影响结果；二是循环次数别太小，单次差距只有几十纳秒，会被噪声淹没。

三个容易踩的坑

结论：`array_key_exists()` 不能用来检查对象属性，`isset()` 也不等价于 `empty()`。

第一，`array_key_exists()` 从 PHP 7.4 起对对象使用已被废弃，PHP 8 会直接抛 `TypeError`，检查对象属性请用 `property_exists()` 或 `isset()`。第二，`isset($a['k'])` 和 `!empty($a['k'])` 完全不同，后者还会把 `''`、`0`、`'0'`、`false` 判成假，看表单提交的值时经常踩。第三，`isset($a, $b, $c)` 支持一次传多个参数，全部存在才返回 true，比写三个 `&&` 更紧凑。

最后说句实在的：在 Clara BBS 这类 PHP 7.4–8.5 运行环境里，一个请求内这类判断通常只有几十到几百次，选哪个对响应时间几乎没有可测量的影响。先按语义选对，再在真正热点的地方换成 `??` 省掉一次查表，顺序别搞反了。