PHPのin_array()：配列に値が存在するか確認する

in_array($needle, $haystack)は、値が配列のどこかにあればtrueを、なければfalseを返します。第三引数にtrueを渡す（in_array($needle, $haystack, true)）と、型も同じであることを求めます。デフォルトではこの厳密な形を使いましょう。

<?php
$roles = ['admin', 'editor', 'viewer'];

var_dump(in_array('editor', $roles));
var_dump(in_array('owner', $roles));

if (in_array('admin', $roles, true)) {
    echo "Show the admin menu\n";
}

in_array()が見るのは値だけです。キーが存在するかを確認するには、array_key_exists()かisset()を使います。

第三引数strict

第三引数がないと、in_array()は比較の前に型を変換する==で比較します。trueを渡すと===で比較し、値と型の両方が一致する必要があります。配列に数値と文字列が混ざるとすぐに違いが表れますが、フォーム、URL、CSVファイルから来るデータではそれがよくあります。

<?php
$ids = [1, 2, 3];

var_dump(in_array('2', $ids));          // loose: "2" == 2
var_dump(in_array('2', $ids, true));    // strict: string is not int

$flags = [0, 'off'];
var_dump(in_array(null, $flags));       // null == 0
var_dump(in_array(null, $flags, true));

var_dump(in_array(true, ['yes']));      // 'yes' is truthy, so == true
var_dump(in_array('1e1', ['10']));      // both numeric: 10 == 10

下の各セルは、PHP 8.3でその値の組に対して==と===が返す結果です。使うモードの表で、探す値とどれかの要素の組がtrueになれば、in_array()はtrueを返します。タブを切り替えて、null、true、数値文字列の行を見てください。

PHP 8で変わったルールが1つあります。数値でない文字列は0と等しくなくなったので、in_array('abc', [0])は今はfalseですが、PHP 7ではtrueでした。PHP 7向けに書かれたコードがこれに頼っていることがあるのも、trueを渡して変換のルールに頼らない理由の1つです。ルールの全体は比較演算子のページで説明しています。

大文字小文字を区別しないin_array

in_array()は文字列を正確に比較するので、'PHP'と'php'は別物です。確認する前に、探す値と配列の両方を小文字にします。mb_strtolower()はアクセント付きの文字やラテン文字以外も扱えます。

<?php
$allowed = ['jpg', 'PNG', 'Gif'];
$ext = 'png';

var_dump(in_array($ext, $allowed, true));

$lower = array_map('strtolower', $allowed);
var_dump(in_array(strtolower($ext), $lower, true));

$cities = ['München', 'Zürich'];
var_dump(in_array('ZÜRICH', $cities, true));
var_dump(in_array(mb_strtolower('ZÜRICH'), array_map('mb_strtolower', $cities), true));

複数の値を一度に確認する

in_array()が受け取る探す値は1つです。複数の値なら、配列を集合として比較します。array_diff()は見つからない値を返すので結果が空ならすべて存在し、array_intersect()は見つかった値を返します。

<?php
$skills = ['php', 'sql', 'git', 'docker'];

$required = ['php', 'git'];
$hasAll = array_diff($required, $skills) === [];
var_dump($hasAll);

$wanted = ['rust', 'sql'];
$hasAny = array_intersect($wanted, $skills) !== [];
var_dump($hasAny);

print_r(array_diff(['php', 'go'], $skills));   // what is missing

array_diff()とarray_intersect()は値を文字列として比較するので、そこでは1と'1'は等しいとみなされます。

多次元配列に対するin_array

in_array()はネストした配列の中までは探しません。あるフィールドが特定の値を持つ行があるかを確認するには、先にarray_column()でそのフィールドを取り出し、平らなリストを検索します。

<?php
$users = [
    ['id' => 1, 'email' => 'ada@example.com'],
    ['id' => 2, 'email' => 'linus@example.com'],
];

var_dump(in_array('ada@example.com', $users, true));    // compares whole rows

$emails = array_column($users, 'email');
var_dump(in_array('ada@example.com', $emails, true));

var_dump(in_array(['id' => 2, 'email' => 'linus@example.com'], $users, true));

最後の行は、探す値そのものが配列でもよいことを示しています。キー、値、順番がまったく同じ行に一致します。

in_array、array_search、issetの違い

3つとも「そこにあるか」に答えますが、返すものと速さが違います。

値がどこにあるかを知る必要があるならarray_search()を使います。同じ大きなリストに対して多くの値を確認するなら、リストを一度反転して値をキーにし、isset()を使います。

<?php
$banned = [];
for ($i = 0; $i < 100000; $i++) {
    $banned[] = "user$i";
}
$checks = ['user99999', 'guest', 'user5'];

$start = hrtime(true);
for ($n = 0; $n < 200; $n++) {
    foreach ($checks as $name) {
        in_array($name, $banned, true);
    }
}
printf("in_array: %.1f ms\n", (hrtime(true) - $start) / 1e6);

$set = array_flip($banned);        // values become keys, done once
$start = hrtime(true);
for ($n = 0; $n < 200; $n++) {
    foreach ($checks as $name) {
        isset($set[$name]);
    }
}
printf("isset:    %.1f ms\n", (hrtime(true) - $start) / 1e6);

var_dump(isset($set['user5']), isset($set['guest']));

時間は実行のたびに変わりますが、差は変わりません。isset()の検索は一定のままで、in_array()はリストの大きさに比例して遅くなります。array_flip()は文字列と整数の値にしか使えず、重複は1つのキーにまとまりますが、存在の確認には関係ありません。