Pomoc - Szukaj - Użytkownicy - Kalendarz
Pełna wersja: Problem z wykryciem referencji pomiędzy tablicami.
Forum PHP.pl > Forum > PHP
szagi3891
  1. $tab = array();
  2.  
  3. $tab['zm'] = 'val';
  4. $tab['ref'] = &$tab;
  5.  
  6. print '<pre>';
  7.  
  8. var_dump($tab);
  9. print '<hr/>';
  10.  
  11. var_dump($tab['ref'] === $tab);
  12. print '<hr/>';


Jako wynik działania tego skryptu dostajemy :

  1. array(2) {
  2. ["zm"]=>
  3. string(3) "val"
  4. ["ref"]=>
  5. &array(2) {
  6. ["zm"]=>
  7. string(3) "val"
  8. ["ref"]=>
  9. *RECURSION*
  10. }
  11. }
  12.  
  13. Fatal error: Nesting level too deep - recursive dependency? in /home/szagi3891/ftp/baselib_site/ciemnia2.notatki.info/_error/ref.php on line 14


Czy ktoś wie jak wykryć referencję ? Nie wiedząc czemu ale operator === się gubi przy próbie wykrycie referencji tablicowej.
luck
Nie jestem pewny, ale w PHP chyba będzie trzeba wykrywać taką referencję już na etapie wstawiania elementów do tablicy i łapać ew. wyjątek. Najprościej chyba byłoby w ten sposób:
  1. function addElement($key, $val, &$target) {
  2. if($val === $target)
  3. throw(new Exception('Self-reference detected!'));
  4.  
  5. $target[$key] = $val;
  6.  
  7. return $target;
  8. }
  9.  
  10. $tab = array();
  11.  
  12. addElement('zm', 'val', $tab);
  13. addElement('ref', $tab, $tab);

Oczywiście dobrze byłoby ubrać to w jakąś klasę, choć i tak nie wiem, czy taki sposób Cię urządza. Niestety nic lepszego nie przychodzi mi do głowy.
szagi3891
Niestety to nie jest rozwiązanie mojego problemu. W skrypcie mam gotową tablicę i chciałbym wykryć taką referencję. Ma ktoś może jakiś pomysł ? Może ktoś się spotkał z podobnym problemem ?
Jak na moje oko to błąd php. Chyba trzeba będzie zgłosić bug-a.
mortus
Nie wiem czemu ma służyć dublowanie w nieskończoność tablicy w tej samej tablicy. Zauważ, że var_dump($tab) pokazuje Ci zapis skrócony tablicy $tab, bo w miejscu *RECURSION* znajduje się cała tablica $tab, w której to znowu znajduje się cała tablica $tab, a w tej znowu znajduje się cała tablica $tab i tak w nieskończoność. Porównywanie za pomocą operatora === nie odnosi rezultatu, bo tych nieskończonych zagłębień jest zbyt wiele. Zresztą to i tak nie będzie sobie równoważne, bo w $tab znajduje się jedna referencja więcej, aniżeli w $tab['ref']. Przy takiej budowie tablicy $tab "wywali" się każda funkcja przeszukująca tablicę w głąb, nie tylko operator ===. Nie sprawdzałem, ale śmiem twierdzić, że nie tylko w PHP taka funkcja się "wywali".

Jednakże jest sposób na sprawdzenie, czy jedna tablica jest referencją drugiej:
  1. function is_reference(&$tab1, &$tab2) {
  2. $tab1['_reference'] = true;
  3. if($tab2['_reference']) {
  4. unset($tab1['_reference']);
  5. return true;
  6. }
  7. return false;
  8. }
  9. var_dump(is_reference($tab['ref'], $tab));
zbig
Witam !

Na moje oko nie jest to blad PHP - tylko blad logiczny w budowie tablicy.
Przeciez umieszczajac jako element tablicy jej referencje do samej siebie, tworzysz niekonczacy sie rekursywny twor.

Zroc uwage ze $tab['ref'] = &$tab znaczy dokladnie tyle ze element $tab['ref'] zawiera referencje do tablicy $tab, ktorej z kolei ostanim elementem jest $tab['ref'], ktory zawiera referencje do $tab i tak w kolko.
To szczescie ze PHP w inteligentny sposob wykrywa to zapetlenie i wyrzuca ci error, anie zawiesza kompa. wink.gif

Poprobuj tego numeru z innymi jezykami, to bedziesz musial wtyczke z kontaktu wyciagac, zeby kompa wylaczyc biggrin.gif

Pozdrawiam
szagi3891
@mortus - Twoja metoda ma wadę. Otóż zmienia stan tablicy którą sprawdzamy za pomocą tej funkcji. Lepiej chyba generować unikalny klucz co do którego mamy pewność że nie istniej (po to aby nie nadpisać żadnej wartości) w tej tablicy i po wykonaniu porównania zawsze go usunąć (obecnie usuwasz wartość testową tylko w jednym odgałęzieniu).

Ale ogólnie koncepcja jest dobra smile.gif

@zbig - To nie jest kwestia tego że chcę tworzyć taką tablicę. Ba, wolałbym żeby takiej referencji w ogóle się nie udało utworzyć. No ale skoro już da się ją utworzyć to php powinno dostarczać mechanizmów za pomocą których będzie można wykryć taki przypadek.

piszesz że :
Na moje oko nie jest to blad PHP - tylko blad logiczny w budowie tablicy.

W takim razie uruchom sobie :
  1. print '<pre>';
  2. print_r($GLOBALS);
  3. print '</pre>';
  4. exit();


Jako wynik otrzymasz :
  1. (
  2. [GLOBALS] => Array
  3. *RECURSION*
  4. [_POST] => Array
  5. (
  6. )
  7.  
  8. [...]
  9.  
  10. [_SERVER] => Array
  11. (
  12. [HTTP_HOST] => 127.0.0.1
  13. [HTTP_CONNECTION] => keep-alive
  14. [HTTP_REFERER] => [url="http://127.0"]http://127.0[/url].


To nie jest błąd budowy tablicy. To jest po prostu referencja. W przypadku obiektów też możesz mieć zmienną klasy która wskazuje np. na this-a. Wtedy to też jest błąd logiczny ? Moim zdaniem to tylko zmienna która przyjmuje taką wartość.

Może napiszę do czego to ma mi służyć. Otóż przy raportowaniu błędu chcę sobie zrobić jednocześnie zrzut ze zmiennych globalnych. Wiadomo, nie powinno się używać ale jeśli ten error_handler ma zostać użyty do zdiagnozowania problemu w jakimś skrypcie obcego pochodzenia to taka informacja może się bardzo przydać. To właśnie przy raportowaniu zmiennej $GLOBALS spotkałem się z tą referencją uporczywą.
zbig
Witam kolego ponownie!

Zwracam honor. Faktycznie w tablicy global jest referencja do samej siebie.
Co nie zmienia faktu, ze mam na ten temat swoje zdanie.

Tutaj masz prawdopodobnie rozwiazanie twojego problemu

http://www.php.net/manual/en/language.references.spot.php

Pozdrawiam
mortus
Cytat(szagi3891 @ 9.09.2011, 08:04:00 ) *
@mortus - Twoja metoda ma wadę. Otóż zmienia stan tablicy którą sprawdzamy za pomocą tej funkcji. Lepiej chyba generować unikalny klucz co do którego mamy pewność że nie istniej (po to aby nie nadpisać żadnej wartości) w tej tablicy i po wykonaniu porównania zawsze go usunąć (obecnie usuwasz wartość testową tylko w jednym odgałęzieniu).

Masz rację co do unikalności klucza, jednak już nie masz racji co do usuwania wartości testowej. Skoro jedna z tablic jest referencją (powiązaniem) z drugą, to usunięcie elementu z jednej skutkuje usunięciem elementu z drugiej.

Rozwiązania nieco bardziej rozbudowane od mojego znajdują się w miejscu, które wskazał zbig.
szagi3891
Istotnie bardzo dobry link. Tylko teraz nasuwa się pytanie czy php czy przypadkiem działania operatora === w przypadku wykrywania referencji nie powinno się traktować jako błędu.
mortus
Operator === nie służy do wykrywania referencji, tylko do porównywania typów i wartości zmiennych. Problemem w tym przypadku nie jest referencja, tylko zbyt duże zagłębienie tablicy. By porównać dwie takie tablice operator === musi je po prostu "rozwinąć" i na to nie starcza mu pamięci (i nigdy nie wystarczy), stąd błąd z komunikatem o zbyt dużej liczbie zagłębień. Zauważ, że to działa już prawidłowo:
  1. $a = 5;
  2. $b = &$a;
  3. var_dump($a === $b);


Gwoli uzupełnienia co do stwierdzenia:
Cytat
Skoro jedna z tablic jest referencją (powiązaniem) z drugą, to usunięcie elementu z jednej skutkuje usunięciem elementu z drugiej.

Referencja to nic innego, jak wskazanie w pamięci miejsca, które my rozpoznajemy po nazwie zainicjowanej wcześniej zmiennej. Usunięcie tej zmiennej to "wyczyszczenie" tego miejsca w pamięci. Usunięcie referencji skutkuje usunięciem zmiennej, ponieważ operujemy na tej samej "komórce" pamięci.
To jest wersja lo-fi głównej zawartości. Aby zobaczyć pełną wersję z większą zawartością, obrazkami i formatowaniem proszę kliknij tutaj.
Invision Power Board © 2001-2025 Invision Power Services, Inc.