PHP empty和isset源码分析
作者从一个具体的PHP问题出发：`empty('00')` 到底返回 `true` 还是 `false`？他原本猜测 `empty()` 会将字符串 `'00'` 转换成数字进行判断，但觉得又不对。为了验证，他决定直接从源码一探究竟。 文章跟随作者的思路，首先发现 `empty()` 和 `isset()` 在操作码层面都调用了同一个函数 `ISSET_ISEMPTY_VAR`。顺藤摸瓜，最终定位到实际执行判断的核心函数是 `i_zend_is_true()`。 通过阅读这段精炼的源码，作者得出了明确的结论：`empty()` 在判断时并没有进行类型转换。对于字符串，它的判断逻辑非常直接——先检查字符串长度是否为0（即空字符串），若不是，则进一步检查是否长度为1且唯一字符为 `'0'`。只有这两种情况才会返回“空”（`true`），否则都返回非空（`false`）。 因此，对于 `'00'` 这样长度为2的字符串，它不满足上述任一条件，所以 `empty('00')` 的结果就是 `false`。而 `isset()` 则更简单，在变量未赋值时就直接返回了，根本不会走到这个判断逻辑。这个源码级的分析，清晰地解答了最初的那个疑问。