Kann nicht verstehen: Wenn eines der angegebenen Arrays sich selbst als Elemente enthalten, ist das Verhalten dieser Methode nicht definiert

Question

Ich lese derzeit Java-API auf Arrays-Klasse und für DeepEquals (Object [] a1, Objekt [] a2) -Methode ich habe folgenden Ausdruck angetroffen:

Wenn eine der angegebenen Arrays selbst als Elemente enthält entweder direkt oder indirekt über eine oder mehr Ebene von Arrays, das Verhalten dieser Methode ist nicht definiert.

Ich verstehe nicht vollständig, was der Ausdruck tatsächlich bedeutet.

Answer 1

Wenn ein Array, das an diese Methode übergeben wird, sich selbst enthält, kann das Testen des gleichen Arrays zu einer unendlichen Rekursion führen (endend in StackOverflowError), da immer ein Element des Arrays selbst ein Array ist Sie werden eine weitere Ebene zum Vergleichen haben.

Es kann nicht in allen Szenarien eine unendliche Rekursion verursachen, da, wenn zum Beispiel das erste Elementpaar der beiden verglichenen Arrays kein Array ist und die beiden Elemente nicht gleich sind, die Methode false ohne zurückgeben kann jemals den Rest der Arrays untersuchen.

Das ist wahrscheinlich der Grund, warum es für diesen Fall kein definiertes Verhalten gibt, da es möglicherweise nicht möglich ist, eine korrekte Ausgabe zurückzugeben (oder überhaupt etwas zurückzugeben, ohne dass eine Ausnahme auftritt), wenn eine solche Eingabe an die Methode übergeben wird.

Zum Beispiel:

Object[] objArr = new Object[1]; 
objArr[0] = objArr; 

Dieses Array enthält selbst, so dass es zu deepEquals geben kann Endlosschleife verursachen.

Answer 2

Es besagt, dass, wenn der Name des Arrays ist a1 und a1 [i] = a1; wo ich < a1.length, dann ist das Verhalten der Methode nicht definiert. Wenn die Methode jedes Element einzeln überprüft, könnte es irgendwann zu einer unendlichen Rekursion kommen.

Object[] a1 = new Object[5]; 
a1[0] = a1; // array is an element of itself 
Object[] a2 = new Object[5]; 
deepEquals(a1,a2); //behavior is undefined