有没有办法在纯 PHP 中检测循环数组？

Question

我正在尝试在 PHP 中实现我自己的序列化/var_dump 样式函数。如果存在圆形阵列的可能性（确实存在），这似乎是不可能的。

在最近的 PHP 版本中，var_dump 似乎可以检测循环数组：

php > $a = array();
php > $a[] = &$a;
php > var_dump($a);
array(1) {
  [0]=>
  &array(1) {
    [0]=>
    *RECURSION*
  }
}

How will I Implement my own serialization type of method in PHP that can detector like?我不能只跟踪我访问过的数组，因为 PHP 中数组的严格比较对于包含相同元素的不同数组返回 true，并且无论如何比较循环数组会导致致命错误。

php > $b = array(1,2);
php > $c = array(1,2);
php > var_dump($b === $c);
bool(true)
php > $a = array();
php > $a[] = &$a;
php > var_dump($a === $a);
PHP Fatal error:  Nesting level too deep - recursive dependency? in php shell code on line 1

我一直在寻找一种方法来查找数组的唯一 id（指针），但我找不到。 spl_object_hash 仅适用于对象，不适用于数组。如果我将多个不同数组转换为对象，它们都会获得相同的 spl_object_hash 值（为什么？）。

编辑：

在每个数组上调用 print_r、var_dump 或序列化，然后使用某种机制来检测这些方法检测到的递归的存在是算法复杂性的噩梦，并且基本上会使任何使用速度太慢而无法在大型嵌套数组上实用。

接受的答案：

我接受了下面的答案，这是第一个建议暂时更改数组以查看它是否确实与另一个数组相同的答案。这回答了“如何比较两个数组的同一性？”从中递归检测是微不足道的。

Answer 1

下面的 isRecursiveArray(array) 方法检测循环/递归数组。它通过临时将包含已知对象引用的元素添加到数组末尾来跟踪已访问的数组。

如果您需要帮助编写序列化方法，请更新您的主题问题并在问题中提供示例序列化格式。

function removeLastElementIfSame(array & $array, $reference) {
    if(end($array) === $reference) {
        unset($array[key($array)]);
    }
}

function isRecursiveArrayIteration(array & $array, $reference) {
    $last_element   = end($array);
    if($reference === $last_element) {
        return true;
    }
    $array[]    = $reference;

    foreach($array as &$element) {
        if(is_array($element)) {
            if(isRecursiveArrayIteration($element, $reference)) {
                removeLastElementIfSame($array, $reference);
                return true;
            }
        }
    }

    removeLastElementIfSame($array, $reference);

    return false;
}

function isRecursiveArray(array $array) {
    $some_reference = new stdclass();
    return isRecursiveArrayIteration($array, $some_reference);
}



$array      = array('a','b','c');
var_dump(isRecursiveArray($array));
print_r($array);



$array      = array('a','b','c');
$array[]    = $array;
var_dump(isRecursiveArray($array));
print_r($array);



$array      = array('a','b','c');
$array[]    = &$array;
var_dump(isRecursiveArray($array));
print_r($array);



$array      = array('a','b','c');
$array[]    = &$array;
$array      = array($array);
var_dump(isRecursiveArray($array));
print_r($array);

Answer 2

它并不优雅，但解决了您的问题（至少如果您没有人使用 *RECURSION* 作为值）。

<?php
$a[] = &$a;
if(strpos(print_r($a,1),'*RECURSION*') !== FALSE) echo 1;

Answer 3

有趣的方法（我知道它很愚蠢:)），但您可以修改它并跟踪递归元素的“路径”。这只是一个想法:)根据序列化字符串的属性，递归开始时将与原始数组的字符串相同。正如您所看到的 - 我尝试了许多不同的变体，可能有些东西能够“欺骗”它，但它“检测”所有列出的递归。我没有尝试使用对象的递归数组。

$a = array('b1'=>'a1','b2'=>'a2','b4'=>'a3','b5'=>'R:1;}}}');
$a['a1'] = &$a;
$a['b6'] = &$a;
$a['b6'][] = array(1,2,&$a);
$b = serialize($a); 
print_r($a);
function WalkArrayRecursive(&$array_name, &$temp){
    if (is_array($array_name)){
        foreach ($array_name as $k => &$v){
           if (is_array($v)){
                if (strpos($temp, preg_replace('#R:\d+;\}+$#', '', 
                               serialize($v)))===0) 
                { 
                  echo "\n Recursion detected at " . $k ."\n"; 
                  continue; 
                }
                WalkArrayRecursive($v, $temp);
            }
        }
    }
}
WalkArrayRecursive($a, $b);

regexp 适用于递归元素位于数组“末尾”的情况。是的，这个递归与整个数组有关。可以对子元素进行递归，但对我来说考虑它们已经太晚了。应该以某种方式检查数组的每个元素的子元素中的递归情况。同样的方式，如上面，通过 print_r 函数的输出，或者在序列化字符串中查找递归的特定记录（R:4;} 类似这样）。跟踪应该从该元素开始，通过我的脚本比较下面的所有内容。所有这些仅适用于您想检测递归从哪里开始的情况，而不仅仅是您是否有递归。

ps：但正如我认为，最好的事情应该是从 php 本身创建的序列化字符串编写自己的反序列化函数。

Answer 4

我的方法是使用一个临时数组来保存已迭代的所有对象的副本。这里是这样的：

// We use this to detect recursion.
global $recursion;
$recursion = [];

function dump( $data, $label, $level = 0 ) {
    global $recursion;

    // Some nice output for debugging/testing...
    echo "\n";
    echo str_repeat( "  ", $level );
    echo $label . " (" . gettype( $data ) . ") ";

    // -- start of our recursion detection logic
    if ( is_object( $data ) ) {
        foreach ( $recursion as $done ) {
            if ( $done === $data ) {
                echo "*RECURSION*";
                return;
            }
        }

        // This is the key-line: Remember that we processed this item!
        $recursion[] = $data;
    }
    // -- end of recursion check

    if ( is_array( $data ) || is_object( $data ) ) {
        foreach ( (array) $data as $key => $item ) {
            dump( $item, $key, $level + 1 );
        }
    } else {
        echo "= " . $data;
    }
}

这里有一些快速演示代码来说明它是如何工作的：

$obj = new StdClass();
$obj->arr = [];
$obj->arr[] = 'Foo';
$obj->arr[] = $obj;
$obj->arr[] = 'Bar';
$obj->final = 12345;
$obj->a2 = $obj->arr;

dump( $obj, 'obj' );

这个脚本将生成以下输出：

obj (object) 
  arr (array) 
    0 (string) = Foo
    1 (object) *RECURSION*
    2 (string) = Bar
  final (integer) = 12345
  a2 (array) 
    0 (string) = Foo
    1 (object) *RECURSION*
    2 (string) = Bar

Answer 5

这是我的方法。关键是通过引用递归函数 simple_var_dump() 来传递数组，并使用标签（在本例中为“iteating_in_a_higher_level”）来区分在更高嵌套级别中迭代的数组。

#!/usr/bin/php
<?php

   function simple_var_dump(&$var, $depth = 0)
   {
      if (!is_array($var)) {
         if (is_scalar($var)) {
            return (string)$var;
         } else {
            return '?';
         }
      }
      if (isset($var['__iterating_in_a_higher_level__'])) {
         $r = 'array(' . (count($var)-1) . ')';
         return $r . ' *RECURSION*';
      }
      $r = 'array(' . count($var) . ')';
      $var['__iterating_in_a_higher_level__'] = true;
      foreach ($var as $key => &$value) {
         if ($key !== '__iterating_in_a_higher_level__') {
            $r .= "\n" . str_repeat('  ', $depth + 1) . '[' . $key . '] => ' . simple_var_dump($value, $depth + 1);
         }
      }
      unset($var['__iterating_in_a_higher_level__']);
      return $r;
   }

   // example:
   //
   $a = [new stdClass(), &$a, 30, [40, [[&$a]]], [1, true, &$a], []];
   echo simple_var_dump($a) . "\n";

输出：

array(6)
  [0] => ?
  [1] => array(6) *RECURSION*
  [2] => 30
  [3] => array(2)
    [0] => 40
    [1] => array(1)
      [0] => array(1)
        [0] => array(6) *RECURSION*
  [4] => array(3)
    [0] => 1
    [1] => 1
    [2] => array(6) *RECURSION*
  [5] => array(0)