实现步骤：1、定义一个只包含指定键值对的数组，语法“$变量名=["键名"=>"键值"];”；2、利用array_intersect_assoc()函数将该键值对数组和原数组进行比较，语法“array_intersect_assoc(原数组,键值对数组)”，会返回一个包含相同元素的交集数组；3、判断交集数组是否为空数组，语法“交集数组===[]”，如果为空则数组中没有指定键值对。

在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 等等）中的键名和键值。

扩展知识：判断空数组的另两种方法

方法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 "数组不为空"; 
?>