本教程操作环境：windows7系统、PHP8.1版、DELL G3电脑
在PHP中，可以利用array_intersect_assoc()函数来检查数组是否有指定键值对。
实现步骤：
步骤1：定义一个只包含指定键值对的数组
$变量名=["键名"=>"键值"];步骤2：利用array_intersect_assoc()函数将该键值对数组和原数组进行比较
array_intersect_assoc() 函数用于比较两个（或更多个）数组的键名和键值，并返回交集（包含相同元素的交集数组）。
array_intersect_assoc(原数组,键值对数组)步骤3：判断交集数组是否为空数组
交集数组===[]如果为空，则数组中没有指定键值对
如果不为空，则数组中有指定键值对
实现代码：
<?php
header('content-type:text/html;charset=utf-8');
function f($arr,$s){
$assoc=array_intersect_assoc($arr,$s);
// 检查数组是否为空
if($assoc===[]) {
echo "数组中没有指定键值对"; //数组为空
}
else{
echo "数组中有指定键值对"; //数组不为空
}
}
$arr=array("a"=>"red","b"=>"green","c"=>"blue","d"=>"yellow");
echo '原数组：';
var_dump($arr);
$s=["b"=>"green"];
echo '指定键值对：';
var_dump($s);
f($arr,$s);
?>
说明：
array_intersect_assoc()函数--比较数组的键名和键值
该函数比较两个（或更多个）数组的键名和键值，并返回一个交集数组，该数组包括了所有在被比较的数组（array1）中，同时也在任何其他参数数组（array2 或 array3 等等）中的键名和键值。
array_intersect_assoc(array1,array2,array3...)| 参数 | 描述 |
|---|---|
| array1 | 必需。与其他数组进行比较的第一个数组。 |
| array2 | 必需。与第一个数组进行比较的数组。 |
| array3,... | 可选。与第一个数组进行比较的其他数组。 |
返回值：返回一个交集数组，该数组包括了所有在被比较的数组（array1）中，同时也在任何其他参数数组（array2 或 array3 等等）中的键名和键值。
扩展知识：判断空数组的另两种方法
方法1：使用count()或者sizeof()函数
一个长度为0的数组我们称之为“空数组”，空数组是一个真正的对象，只是包含元素个数为0。
因此，我们可以使用count()函数计算数组的长度，然后判断该长度是否为0；如果为0则为空数组，反之不为空数组。
count($arr,$m)$m：为可选参数，可以省略。
如果省略 $m 参数，或者将其设置为 COUNT_NORMAL 或者 0，count() 函数将不检测多维数组；
如果 $m 设置为 COUNT_RECURSIVE 或者 1，count() 函数将递归计算数组中元素的个数，对于计算多维数组的元素个数尤为有用。
<?php
header("content-type:text/html;charset=utf-8");
// 声明一个空数组
$empty_array = array();
// 检查数组是否为空
if(count($empty_array) == 0)
echo "数组为空";
else
echo "数组不为空";
?>
sizeof()函数是 count() 函数的别名，也就是所 sizeof() 函数的功能及使用方法与 count() 函数完全相同。
方法2：使用empty()函数
empty() 函数用于检查一个变量是否为空。
empty() 判断一个变量是否被认为是空的。当一个变量并不存在，或者它的值等同于 FALSE，那么它会被认为不存在。如果变量不存在的话，empty()并不会产生警告。
说明：任何一个未初始化的变量、值为 0 或 false 或 空字符串”” 或 null的变量、空数组、没有任何属性的对象，都将判断为empty==true
当变量 存在，并且是一个非空非零的值时返回 FALSE 否则返回 TRUE。
<?php
header("content-type:text/html;charset=utf-8");
// 声明一个空数组
$array = [];
// 检查数组是否为空
if(empty($array))
echo "数组为空";
else
echo "数组不为空";
?>
