空提交时isset()为何无法识别空的$_POST与$_FILES？

当通过POST提交空表单（firstName输入框为空、未选择图片文件）时，save.php中使用isset()检查$_POST['firstName']和$_FILES['pic']是否存在，预期触发错误并终止程序，但if代码块从未执行。打印数组显示$_POST['firstName']为空值，$_FILES['pic']的error字段为4（表示未上传文件），但isset()仍判定二者存在，这是为什么？

相关代码 #

index.php #

<form action="save.php" method="post" enctype="multipart/form-data">
  name: <input type="text" name="firstName"><br>
  pic: <input type="file" name="pic"><br>
  <input type="submit" value="register">
</form>

save.php #

<?php
if (!isset($_POST['firstName']) || !isset($_FILES['pic'])) 
{
  die('input error');
}

echo '<pre>';
print_r($_POST);
print_r($_FILES);
echo '</pre>';

空提交时的输出 #

Array
(
    [firstName] => 
)
Array
(
    [pic] => Array
        (
            [name] => 
            [full_path] => 
            [type] => 
            [tmp_name] => 
            [error] => 4
            [size] => 0
        )

)

原因解析 #

1. $_POST['firstName']的判定逻辑：
   只要表单中存在name="firstName"的输入字段，无论用户是否输入内容，表单提交后PHP都会将firstName键添加到$_POST数组中，值为空字符串""。而isset()函数仅检查变量/数组键是否存在且不为null，空字符串不属于null，因此isset($_POST['firstName'])会返回true。

2. $_FILES['pic']的判定逻辑：
   当表单设置了enctype="multipart/form-data"时，不管用户是否选择文件，PHP都会为文件输入字段生成对应的$_FILES数组项。未选择文件时，$_FILES['pic']依然存在，只是内部的error字段被设为4（代表无文件上传）。isset($_FILES['pic'])仅校验数组键的存在性，不会关注内部的错误码，所以也返回true。

修正后的校验代码 #

如果要实现“空提交触发错误”的需求，需要调整校验逻辑，同时检查字段的有效性：

<?php
// 校验firstName：存在且非空（trim去除首尾空白）
$isValidName = isset($_POST['firstName']) && trim($_POST['firstName']) !== '';
// 校验pic：存在且上传无错误（error=0表示上传成功）
$isValidPic = isset($_FILES['pic']) && $_FILES['pic']['error'] === 0;

if (!$isValidName || !$isValidPic) 
{
  die('input error');
}

echo '<pre>';
print_r($_POST);
print_r($_FILES);
echo '</pre>';

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