应使用is_array($arr) && count($arr) > 0判断PHP数组是否非空，兼顾类型校验与元素存在性；count()需配合isset()防Notice；empty()简洁但可能误判含0值数组；array_key_exists()适用于特定键校验；reset()+key()可安全检测首键。
如果您需要确认一个PHP数组是否包含元素，避免因空数组导致逻辑错误或异常输出，则必须采用准确可靠的检测方式。以下是验证PHP数组非空的多种方法：
一、使用count()函数判断数组长度
该方法通过获取数组中元素的数量来判定是否为空，是直观且兼容性良好的基础方式。
1、使用count($array) > 0进行条件判断。
2、将结果直接用于if语句，例如：if (count($arr) > 0) { /* 非空处理 */ }。
立即学习“PHP免费学习笔记（深入）”；
3、注意：对未定义变量调用count()会触发Notice，应先用isset()或!empty()做前置检查。
二、使用empty()函数检测
empty()可同时检查变量是否未定义、为null、空字符串、0、false或空数组，适用于快速排除所有“空值”场景。
1、直接对数组变量调用empty($array)，返回true表示数组为空或未定义。
2、若需严格区分“未定义”与“空数组”，应配合isset()使用，例如：isset($array) && !empty($array)。
3、empty()对索引数组和关联数组均有效，但对含0值的数组可能误判（如[0]会被视为empty）。
三、使用is_array()与count()组合校验
此方法在判断非空前先确保变量确为数组类型，防止对字符串、对象等非数组类型误用count()引发逻辑偏差。
1、先用is_array($var)确认变量类型为数组。
2、再结合count($var) > 0判断其是否含有元素。
3、完整表达式示例：is_array($arr) && count($arr) > 0。
4、该组合可规避因变量类型不符导致的隐式转换或警告。
四、使用array_key_exists()检测特定键是否存在
当业务逻辑依赖于某个特定键的存在与否时，该方法比通用非空检测更精准，尤其适用于关联数组结构校验。
1、调用array_key_exists('key_name', $array)检查目标键是否存在于数组中。
2、即使该键对应值为null或空字符串，只要键存在即返回true。
3、适用于配置数组、请求参数等已知键名的场景，不适用于泛化非空判断。
五、使用reset()与key()组合判断首个键是否存在
该方法通过尝试重置数组内部指针并获取第一个键名，从而间接判断数组是否含元素，适用于需保持类型安全且避免函数开销的场合。
1、执行reset($array)将内部指针移至首元素位置。
2、调用key($array)获取当前指针指向的键名。
3、若key()返回null或false，则说明数组为空或无有效键。
4、该方式不改变原数组，且不触发任何警告，但对引用传递的数组需谨慎使用。
