array_uintersect tutorial

1. PHP
array_uintersectに潜む罠

2. array_intersect

3. 配列の共通項を計算する

4. 配列の共通項を計算する
$arr1 = ['foo', 'bar', 'baz'];
$arr2 = ['foo', 'baz'];
array_intersect($arr1, $arr2);
// ['foo', 'baz']

5. 注意
二つの要素は、
(string) $elem1 === (string) $elem2 の場合のみ
等しいとみなされます。
言い換えると、文字列表現が同じ場合となります。

6. 多次元配列の比較ができない

7. そこでarray_uintersect

8. 配列の共通項を計算する（コールバック）

9. 配列の共通項を計算する（コールバック）
$arr1 = [
['key' => 'foo'],
['key' => 'bar'],
['key' => 'baz'],
];
$arr2 = [
['key' => 'foo'],
['key' => 'baz'],
];
array_uintersect($arr1, $arr2, $someFunc);
// [['key' => 'foo'], ['key' =>'baz']]

10. 比較関数について
比較関数は、
最初の引数と二番目の引数の比較結果を返します。
最初の引数のほうが二番目の引数より大きい場合は正の数を、
二番目の引数と等しい場合はゼロを、
そして二番目の引数より小さい場合は負の数を返す
必要があります。

11. ？？？

12. 比較？比較ナンデ？

13. 0のとき等しい、俺は詳しいんんだ
$someFunc = function($a, $b) {
if ($a['key'] === $b['key']) {
return 0;
}
};
array_uintersect($arr1, $arr2, $someFunc);

14. グワーッ！！
$someFunc = function($a, $b) {
if ($a['key'] === $b['key']) {
return 0;
}
};
array_uintersect($arr1, $arr2, $someFunc);
// [
// ['key' => 'foo'],
// ['key' => 'bar'],
// ['key' => 'baz'],
// ]

15. 罠1: 関数はきちんと書くべし

16. せいかいのかきかた
$someFunc = function($a, $b) {
if ($a['key'] === $b['key']) {
return 0;
}
if ($a['key'] > $b['key']) {
return 1;
}
return -1;
};

17. 結構応用できるのでは？

18. 部分一致を試してみる
$someFunc = function($a, $b) {
if (strpos($a, $b) !== false) {
return 0;
}
if ($a > $b) {
return 1;
}
return -1;
};

19. 部分一致を試してみる
$arr1 = ['foo', 'bar', 'bazfoo', 'fooqux'];
$arr2 = ['foo'];
array_uintersect($arr1, $arr2, $someFunc);

20. グワーッ！！
$arr1 = ['foo', 'bar', 'bazfoo', 'fooqux'];
$arr2 = ['foo'];
array_uintersect($arr1, $arr2, $someFunc);
// [
// 'bazfoo',
// ]

21. 罠2: 内部では
入力をソートしている

22. かつごうったってそうはいかねえ
$someFunc = function($a, $b) {
echo "{$a} <=> {$b}" . PHP_EOL;
if ($a == $b) {
return 0;
}
if ($a > $b) {
return 1;
}
return -1;
};

23. かつごうったってそうはいかねえ
$arr1 = [1, 3, 5];
$arr2 = [2, 4];
array_uintersect($arr1, $arr2, $someFunc);

24. グワーッ！！
3 <=> 1
5 <=> 3
4 <=> 2
1 <=> 2
3 <=> 2
3 <=> 2
3 <=> 4
5 <=> 4
5 <=> 4

25. グワーッ！！
3 <=> 1
5 <=> 3
4 <=> 2
// 明らかに入力をソートしている
1 <=> 2
3 <=> 2
3 <=> 2
3 <=> 4
5 <=> 4
5 <=> 4

26. ……どうしてこんなことするの
多分計算量節約のため。

27. ……どうしてこんなことするの
多分計算量節約のため。
入力をソートする初期コストはかかるが、
ソート済み配列を辿るならば
自分より小さいまたは一致する要素の次に
自分より大きい要素が来た場合、
それ以上辿っても自分と一致する要素はないことがわかる。

28. ……どうしてこんなことするの
多分計算量節約のため。
入力をソートする初期コストはかかるが、
ソート済み配列を辿るならば
自分より小さいまたは一致する要素の次に
自分より大きい要素が来た場合、
それ以上辿っても自分と一致する要素はないことがわかる。
これにより全要素対全要素の比較をしなくてよくなり、
特に要素が多い場合の計算量が抑えられる。

29. ……どうしてこんなことするの
多分計算量節約のため。
入力をソートする初期コストはかかるが、
ソート済み配列を辿るならば
自分より小さいまたは一致する要素の次に
自分より大きい要素が来た場合、
それ以上辿っても自分と一致する要素はないことがわかる。
これにより全要素対全要素の比較をしなくてよくなり、
特に要素が多い場合の計算量が抑えられる。
比較関数が完全でないといけない理由は、
最初のソートに使うため。

30. つまりは
こんなことには使えない:
一致の有無がソート順では判断できない場合。
ex. 文字列の部分一致
こんなことには使える:
一致の有無がソート順で判断できる場合。
ex. 文字列の前方一致

31. 罠を知って楽しい
array_uintersectライフを！