PHP的sscanf()处理空字符串不匹配时为何返回-1而非0？

我今日在代码中遇到一个bug：将提交值通过空合并运算符转为空字符串后，使用sscanf()进行验证和清理。我的编码意图是仅当提交有效整数时才调用fetchDetails()方法，否则返回null。

示例代码：

$details = sscanf($userInput ?? '', '%d', $id) ? $this->fetchDetails($id) : null;

单元测试时发现，提交非数字字符串时逻辑正常，但当sscanf()的第一个参数为空字符串时，三元表达式判定为真，导致fetchDetails()因传入null（预期为int类型参数）而执行失败。

请问这一现象的原因是什么？该行为差异的本质是什么？

1. 核心原因：对sscanf()返回值规则的误判 #

PHP中sscanf()的返回值并非布尔类型的“匹配成功/失败”，而是成功匹配并完成赋值的变量个数：

• 当输入非数字字符串（如'abc'）时，%d格式符无法匹配任何整数，sscanf()返回0，在布尔上下文里被视为false，三元表达式走else分支返回null，符合预期。
• 当输入空字符串时，若代码存在笔误（比如误将条件写成sscanf(...) !== false），0 !== false会被判定为true，触发fetchDetails()调用；若代码无笔误却出现该现象，大概率是对返回值的布尔转换逻辑产生了误解——正常情况下0会被视为false，但如果业务逻辑中把0当作有效整数，可能混淆了“匹配成功”和“有效整数”的边界。

2. 行为差异的本质：格式匹配的边界判定逻辑 #

sscanf()对空字符串和非数字字符串的处理逻辑存在本质差异：

• 非数字字符串（如'abc'）属于“明确不匹配整数格式”，sscanf()直接返回0，布尔转换为false；
• 空字符串属于“无内容可匹配”，部分场景下容易被误判为“匹配到空值”，但实际上%d格式符不会将空字符串解析为整数，$id仍为null，只是若代码对返回值的判断逻辑错误（比如用!= false代替> 0），就会触发错误分支。

修复方案 #

要实现“仅当提交有效整数时调用fetchDetails()”的逻辑，应该直接判断$id是否为有效整数，或明确校验sscanf()的返回值是否为1（因为%d仅需匹配1个整数变量）：

// 方案1：校验返回值是否为1
$details = sscanf($userInput ?? '', '%d', $id) === 1 ? $this->fetchDetails($id) : null;

// 方案2：直接校验$id的有效性
sscanf($userInput ?? '', '%d', $id);
$details = is_int($id) ? $this->fetchDetails($id) : null;

内容的提问来源于stack exchange，提问作者mickmackusa