【PHP8.x】T_ARRAY定数の使い方

Copy
1<?php
2
3/**
4 * array_diff が期待通りに動作しないと感じる一般的なケースとその解決策を示します。
5 *
6 * array_diff はデフォルトで緩やかな比較 (==) を使用するため、
7 * 値が同じでも型が異なる場合に期待通りの結果が得られないことがあります。
8 * 厳密な比較 (===) を行いたい場合は、array_udiff とユーザー定義の比較関数を使用します。
9 *
10 * @return void
11 */
12function demonstrateArrayDiffBehavior(): void
13{
14    // PHPのデフォルトのarray_diffは、比較演算子 `==` に近い緩やかな比較を行います。
15    echo "<h3>array_diff のデフォルト挙動（緩やかな比較）</h3>\n";
16    $arrayA = [1, 2, '3', 4];
17    $arrayB = ['1', 2, 3, '5'];
18
19    echo "配列 A: [" . implode(', ', $arrayA) . "]\n";
20    echo "配列 B: [" . implode(', ', $arrayB) . "]\n\n";
21
22    // array_diff は arrayA にあって arrayB にない要素を返す
23    // ここでは 1 == '1'、'3' == 3 と評価されるため、これらは差分として検出されない
24    $diffResultLoose = array_diff($arrayA, $arrayB);
25    echo "array_diff(arrayA, arrayB) の結果 (緩やかな比較): ";
26    print_r($diffResultLoose);
27    echo "-> 1 (int) と '1' (string)、'3' (string) と 3 (int) はそれぞれ同じ値と見なされます。\n";
28    echo "   そのため、[4] のみが差分として検出されます。\n";
29    echo "   もし 1 (int) と '1' (string) を別物として扱いたい場合、「期待通りに動かない」と感じるかもしれません。\n\n";
30
31    // 厳密な比較を行いたい場合 (型と値の両方を考慮)
32    echo "<h3>厳密な比較を行いたい場合 (array_udiff を使用)</h3>\n";
33
34    // array_udiff に渡すユーザー定義の比較関数
35    // この関数は、2つの要素 $a と $b を比較し、以下のいずれかを返します:
36    // - $a が $b より小さい場合、負の整数
37    // - $a が $b と等しい場合 (厳密な比較 ===)、0
38    // - $a が $b より大きい場合、正の整数
39    $strictCompareFunction = function (mixed $a, mixed $b): int {
40        if ($a === $b) { // 型と値の両方が完全に一致する場合
41            return 0;
42        }
43        // ここでは、それ以外の場合の順序付けのために単純に比較します。
44        // array_udiff は、この比較関数が 0 を返さない要素を差分として扱います。
45        return ($a > $b) ? 1 : -1;
46    };
47
48    // array_udiff を使用して厳密な比較を行う
49    $diffResultStrict = array_udiff($arrayA, $arrayB, $strictCompareFunction);
50    echo "array_udiff(arrayA, arrayB, \$strictCompareFunction) の結果 (厳密な比較): ";
51    print_r($diffResultStrict);
52    echo "-> 1 (int) と '1' (string) は型が異なるため別物と見なされ、\n";
53    echo "   '3' (string) と 3 (int) も型が異なるため別物と見なされます。\n";
54    echo "   その結果、[1, '3', 4] が差分として検出されます。\n";
55    echo "   これにより、array_diff が「動かない」と感じていた問題が解決するでしょう。\n\n";
56}
57
58// 関数を実行して動作を確認
59demonstrateArrayDiffBehavior();
60
61?>

PHPのarray_diff関数は、複数の配列間で最初の配列にのみ存在する要素を特定し、その差分を新しい配列として返します。しかし、この関数はデフォルトで値のみを比較する「緩やかな比較」（==演算子と同様の挙動）を行うため、値が同じでも型が異なる場合に期待通りの結果が得られないことがあります。例えば、整数1と文字列'1'は同じものと見なされるため、差分として検出されません。

このような「期待通りに動作しない」と感じる問題は、値だけでなく型も考慮した「厳密な比較」が必要な場合に発生します。厳密な比較を行うには、array_udiff関数を使用します。array_udiffは、比較対象の配列に加えて、ユーザーが定義した比較関数を引数に受け取ります。この比較関数は二つの要素を比較し、型と値の両方が完全に一致する場合に0を返すように実装します（これは厳密等価演算子===と同じ挙動です）。

array_udiffに厳密な比較を行う関数を渡すことで、整数1と文字列'1'のような型が異なる要素を明確な差分として扱えるようになり、array_diffが「動かない」と感じていた問題が解決されます。どちらの関数も、引数として比較対象の配列を一つ以上受け取り、戻り値として差分要素を含む新しい配列を返します。

Copy
1<?php
2
3/**
4 * array_filter 関数を使って配列をフィルタリングし、
5 * その結果のキーが保持される動作と、array_values 関数を使ってキーをリセットする方法を示します。
6 *
7 * T_ARRAY はPHPの内部的なトークン定数で、PHPパーサーが配列構文を識別する際に使用します。
8 * 通常のアプリケーション開発で直接使用することはありませんが、
9 * ここではPHPにおける配列操作の文脈で、関連性の高い array_filter の挙動を解説します。
10 */
11function demonstrateArrayFilteringAndKeyReset(): void
12{
13    // サンプルとなる連想配列を定義
14    // キーは連続しておらず、値は文字列です
15    $data = [
16        10 => 'apple',
17        20 => 'banana',
18        30 => 'cherry',
19        40 => 'date',
20        50 => 'elderberry',
21    ];
22
23    echo "--- 元の配列 ---\n";
24    print_r($data);
25
26    // array_filter を使用して、値が 'b' で始まる要素をフィルタリングします。
27    // デフォルトでは、array_filter は元の配列のキーを保持します。
28    $filteredDataPreservingKeys = array_filter(
29        $data,
30        fn ($value) => str_starts_with($value, 'b')
31    );
32
33    echo "\n--- フィルタリング後 (元のキーを保持) ---\n";
34    print_r($filteredDataPreservingKeys);
35    // 出力例: Array ( [20] => banana )
36
37    // array_filter の結果、元のキーを保持せず、新しいゼロベースの数値キーにリセットしたい場合、
38    // array_values 関数をチェーンして使用します。
39    $filteredDataResettingKeys = array_values(
40        array_filter(
41            $data,
42            fn ($value) => str_starts_with($value, 'b')
43        )
44    );
45
46    echo "\n--- フィルタリング後 (キーをリセット) ---\n";
47    print_r($filteredDataResettingKeys);
48    // 出力例: Array ( [0] => banana )
49
50    // 複数の要素がフィルタリングされる場合
51    $multiMatchData = [
52        1 => 'apple',
53        2 => 'apricot',
54        3 => 'banana',
55        4 => 'blueberry',
56    ];
57
58    echo "\n--- 複数の要素を持つ元の配列 ---\n";
59    print_r($multiMatchData);
60
61    $filteredMultiMatchPreservingKeys = array_filter(
62        $multiMatchData,
63        fn ($value) => str_starts_with($value, 'b')
64    );
65
66    echo "\n--- 複数の要素をフィルタリング後 (元のキーを保持) ---\n";
67    print_r($filteredMultiMatchPreservingKeys);
68    // 出力例: Array ( [3] => banana [4] => blueberry )
69
70    $filteredMultiMatchResettingKeys = array_values(
71        array_filter(
72            $multiMatchData,
73            fn ($value) => str_starts_with($value, 'b')
74        )
75    );
76
77    echo "\n--- 複数の要素をフィルタリング後 (キーをリセット) ---\n";
78    print_r($filteredMultiMatchResettingKeys);
79    // 出力例: Array ( [0] => banana [1] => blueberry )
80}
81
82// 関数を実行して動作を確認します
83demonstrateArrayFilteringAndKeyReset();

PHPのT_ARRAYは、PHP言語の内部で配列構文を識別するために使われるトークン定数です。引数も戻り値もなく、通常のアプリケーション開発で直接使用することはほとんどありません。

このサンプルコードは、array_filter関数を使った配列のフィルタリングと、その結果のキーの扱いについて詳しく説明しています。array_filter関数は、配列とフィルタリング条件を定義するコールバック関数を引数に受け取り、条件に合致する要素のみを含む新しい配列を返します。この関数は、デフォルトでは元の配列のキーをそのまま保持するという特徴があります。

一方、array_values関数は、引数として渡された配列のすべての値を取り出し、それらを新しいゼロベースの数値キーを持つ配列として返します。この関数は、フィルタリング後の配列のキーをゼロから始まる連続した数値にリセットしたい場合に非常に役立ちます。

サンプルコードでは、まず元の連想配列を定義し、array_filterを単独で使用して値が'b'で始まる要素を抽出しています。この場合、結果の配列は元のキーを保持します。次に、array_filterの結果をarray_values関数に渡すことで、抽出された要素のキーが0から始まる連続した数値にリセットされる様子を示しています。このように、両関数を組み合わせることで、フィルタリングと同時に配列のキーを簡単に整理できます。