Un moyen rapide de procéder a été présenté ci-dessous −
if (array_flip($set)[$value] !== null) { echo "something"; //take some action }
Pour personnaliser le nombre de touches, vous pouvez le personnaliser comme suit −
function array_keys_exists(array $keys, array $arr) { return !array_diff_key(array_flip($keys), $arr); }
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!