PHP中比较数组的时候发生了什么？

PHP中比较数组的时候发生了什么？

首先还是从代码来看，我们通过比较运算符号来对两个数组进行比较：

1var_dump([1, 2] == [2, 1]); // false
2
3var_dump([1, 2, 3] > [3, 2, 1]); // false
4
5var_dump([5, 6, 7] > [1, 2, 3, 4]); // false

第一组：仔细看，从一眼看过去的正常角度来说，代码中对比的数组其实是一样的数组，[1, 2]和[2, 1]都是两个包含两个元素的数组，元素内容也是一样的，但是，他们的位置不一样。
第二组：同样是位置不一样，[1, 2, 3]是小于[3, 2, 1]的
第三组：[5, 6, 7]每个元素都大于[1, 2, 3, 4]，但结果是没有后一个数组大。

相信不少同学已经看出一些端倪了。数组之间的操作符比较是先进行元素数量对比，然后再对比每个键值。官方文档上的解释为：

具有较少成员的数组较小，如果运算数 1 中的键不存在于运算数 2 中则数组无法比较，否则挨个值比较

 1<?php
 2// 数组用标准比较运算符这样比较的
 3function standard_array_compare($op1, $op2)
 4{
 5    if (count($op1) < count($op2)) {
 6        return -1; // $op1 < $op2
 7    } elseif (count($op1) > count($op2)) {
 8        return 1; // $op1 > $op2
 9    }
10    foreach ($op1 as $key => $val) {
11        if (!array_key_exists($key, $op2)) {
12            return null; // uncomparable
13        } elseif ($val < $op2[$key]) {
14            return -1;
15        } elseif ($val > $op2[$key]) {
16            return 1;
17        }
18    }
19    return 0; // $op1 == $op2
20}

上述代码就是php中使用比较操作符进行数组比较时的代码，首先是count数组的元素数量，如果数组1大于数组2就返回1，否则返回-1。如果相等的话，遍历每一个元素进行对比，如果数组1的某个键值不存在在数组2中，返回null，如果数组1的某个键的值大于数组2的这个键的值，返回1，否则返回-1。遍历的元素也都相同的情况下，最后返回0表示相等。

使用普通的比较操作符对比键值对形式的数组效果会好一些，因为是以固定的键来进行比对，不是以数组下标：

1var_dump(['a'=>1, 'b'=>2] == ['b'=>2, 'a'=>1]); // ture
2var_dump(['a'=>1, 'b'=>2] == ['a'=>2, 'b'=>1]); // false
3
4
5var_dump(['a' => 1, 'b' => 5] < ['a' => 2, 'b' => 1]); // true

注意第三条比较，我们的第一个数组的b元素是大于第二个数组的，但通过上面的数组比较代码可以看出，当第一个元素比较结果已经出现了大于小于的情况时，直接就return返回了结果，后面的元素不会再进行比较了。

那么多维数组呢？

1var_dump([['aa' => 1], ['bb' => 1, 'dd'=>2]] == [['aa' => 2], ['bb' => 1]]); // false
2var_dump([['aa' => 1], ['bb' => 1, 'dd'=>2]] < [['aa' => 2], ['bb' => 1]]); // true
3var_dump([['aa' => 1], ['bb' => 1, 'dd'=>2]] < [['aa' => 1, 'cc' => 1], ['bb' => 1]]); // true

子数组会递归进行比较，比较规则依然是按照默认的数组操作符比较方式进行。

弄清楚了数组的比较是如何进行的，那么问题来了，假设前端传给我们的数据是这样的：

1[
2    'John',
3    '178cm',
4    '62kg',
5]

而我们数据库里存的是：

1[
2    '62kg',
3    'John',
4    '178cm',
5]

这时如果直接比对两个数组内容，或者直接用json字符串比对，他们都是不相同的，这可怎么办呢？试试自定义一个对比方法吧！

 1function array_equal($a, $b)
 2{
 3    return (is_array($a) && is_array($b) && array_diff($a, $b) === array_diff($b, $a));
 4}
 5
 6$arr1 = [
 7    'John',
 8    '178cm',
 9    '62kg',
10];
11$arr2 = [
12    '62kg',
13    'John',
14    '178cm',
15];
16
17var_dump(array_equal($arr1, $arr2)); // true
18
19// 元素不一样的话
20$arr2 = [
21    '62kg',
22    'John Jobs',
23    '178cm',
24];
25var_dump(array_equal($arr1, $arr2)); // false
26
27// 再弄乱一点
28$arr1 = [
29    [
30        '55kg',
31        'Bob',
32        '172cm',
33        [
34            'employee',
35        ],
36    ],
37    [
38        'John',
39        '178cm',
40        '62kg',
41        [
42            'manager',
43        ],
44    ],
45];
46$arr2 = [
47    [
48        '62kg',
49        'John',
50        '178cm',
51        [
52            'manager',
53        ],
54    ],
55    [
56        [
57            'employee',
58        ],
59        '55kg',
60        '172cm',
61        'Bob',
62
63    ],
64];
65var_dump(array_equal($arr1, $arr2)); // true

其实就是利用了array_diff()这个函数，它的作用是取两个数组的差集，然后再对比两个数组差集的结果来判断两个数组是否相等。这个方法适用于下标数组的比对，但不适用于键值对数组的比对，array_diff()只是取值的差集结果集，不会比对键，所以对于键值对的数组直接使用比较操作符就好啦！

对于数组的比较我们只要弄清楚它的原理就可以了，如果原理不清楚很可能就会埋下隐藏的BUG。数组的比较一定要记住这三点：

1.先比较元素数量

2.再比较每一个元素（多维数组递归比较）

3.先后顺序，第一个有比较结果了后面就不会继续比较了，全部都相等才会返回相等

测试代码：https://github.com/zhangyue0503/dev-blog/blob/master/php/201910/source/PHP%E4%B8%AD%E6%AF%94%E8%BE%83%E6%95%B0%E7%BB%84%E7%9A%84%E6%97%B6%E5%80%99%E5%8F%91%E7%94%9F%E4%BA%86%E4%BB%80%E4%B9%88%EF%BC%9F.php

参考链接：https://www.php.net/manual/zh/language.operators.comparison.php