Porównywanie obiektów - Dziwne Opcje

[mstraczkowski]

Testując sobie mój własny moduł do walidacji natknąłem się na pewien problem, którego nie potrafię wyjaśnić.
Albo ja jestem przemęczony, albo PHP świruje i to kolejne z jego "FUCK LOGIC"
Może ktoś wie co jest grane i o co może chodzić ?

Mianowicie chodzi o porównywanie obiektów, w dokumentacji możemy przeczytać:

Comparing Objects

In PHP 5, object comparison is more complicated than in PHP 4 and more in accordance to what one will expect from an Object Oriented Language (not that PHP 5 is such a language).

When using the comparison operator (==), object variables are compared in a simple manner, namely: Two object instances are equal if they have the same attributes and values, and are instances of the same class.

Na prostym przykładzie możemy zobaczyć zachowanie tej zależności

[PHP] pobierz, plaintext 
class A
{
    protected $property;
 
    public function __construct($value)
    {
        $this->property = $value;
    }
}
 
$object1 = new A('ABC');
$object2 = new A('XYZ');
 
// Instances are not equal because of different value of property
var_dump($object1 == $object2); // Will return bool(false)
[PHP] pobierz, plaintext 

Ok, PHP stwierdził, że obiekty nie są sobie równe - zgadza się.
Więc teraz użyłem obiektów mojej klasy, przekazałem różne wartości parametrów do konstruktora
Wartości parametrów są umieszczane we właściwościach klasy.

[PHP] pobierz, plaintext 
echo "Start";
 
// Creating an instance of class with some parameters
// Each of parameter will be stored as class property
$object1 = new ComparsionRule('ABadasdC', ComparsionRule::LESS_THAN_OR_EQUAL);
 
// Creating an instance of class with some different parameters
// Each of parameter will be stored as class property
$object2 = new ComparsionRule('XYZ', ComparsionRule::NOT_EQUAL_TO);
 
// Two instances should not be equal (false expected)
var_dump($object1 == $object2); // Will return bool(true)
 
// Printing content of first object 
var_dump($object1);
 
// Printing content of second object
var_dump($object2);
 
// Checking the expression again
// Two instances should not be equal (false expected)
var_dump($object1 == $object2); // Will return bool(false)
 
echo "End";
die;
[PHP] pobierz, plaintext 

Wynik jest zaskakujący, najpierw PHP stwierdza, że obiekty są sobie równe
Następnie wyświetla te obiekty i ponownie sprawdza czy są sobie równe, ale tym razem stwierdza, że jednak nie są równe
Załączam screenshot, na którym widać zawartość obu obiektów oraz te dziwne chwiejne wyniki porównania

(IMG:http://i43.tinypic.com/o7iuz5.png)

[SmokAnalog]

Czy gdzieś po drodze do akcji nie wkraczają metody magiczne? Trudno tak zgadywać bez kodu klasy.

[mstraczkowski]

Nie, nie używam zbyt często metod magicznych ze względu na wsparcie dla IDE i dla jasności kodu.
Jedyne metody magiczne, które są zaimplementowane i dotyczą także tej klasy to __construct() i __invoke()

Dla testu usunąłem metode __invoke(), jednak problem występuje nadal.
Kodu klasy niestety nie mogę udostępnić publicznie.

Kolejna ciekawostka:
Jeżeli usunę właściwość $_errorDefinitions to wtedy zachowanie wraca do normy.
Wygląda to tak jakby PHP analizował tylko pierwszą napotkaną właściwośc i tylko ją porównywał.

Podobnie jeżeli zamienie kolejność tj. type i compareValue zdefiniuje wcześniej niż errorDefinitions

Ten post edytował mstraczkowski 26.10.2013, 10:55:05

[em1X]

Po co porównywać dwa obiekty? Zobacz jak robi to Java. Utwórz sobie interfejs, np.

[PHP] pobierz, plaintext 
interface Comparable
{
    /**
     * @param object $object Obiekt do porównania
     * @returns bool Czy obiekty są identyczne
     */
    public function equals($object);
}
[PHP] pobierz, plaintext 

i sam definiuj kiedy obiekty rzeczywiście są podobne:

[PHP] pobierz, plaintext 
class Person implements Comparable
{
    protected $name;
 
    public function __construct($name)
    {
        $this->name=$name;
    }
 
    public function getName()
    {
        return $this->name;
    }
 
    public function equals($object)
    {
        return $this->getName() === $object->getName();
    }
}
 
$andrzej=new Person('Andrzej');
$monika=new Person('Monika');
 
var_dump($andrzej->equals($monika));
[PHP] pobierz, plaintext 

Ten post edytował em1X 20.11.2013, 22:47:04

[mstraczkowski]

Po to, aby sprawdzić czy taka instancja z takimi samymi właściwościami istnieje już w danej puli obiektów.

Mówiąc bardziej po ludzku:
W tym konkretnym przypadku, aby sprawdzić czy została już zdefiniowana taka sama reguła walidacyjna (instancja tej samej klasy z takimi samymi właściwościami)

Celem mojego tematu nie było otrzymanie alternatywnych rozwiązań, bo z tym nie mam problemu (rozwiązań jest sporo)
Chciałem tylko poznać odpowiedź na pytanie: "Dlaczego PHP w tej sytuacji tak się zachowuje"

Twój kod fajnie wygląda na banalnych przykładach, jednak w przypadku bardziej abstrakcyjnych rozwiązań
I dosyć sporej ilości klas nie za bardzo mam ochotę dokładać kolejny interfejs i implementować samodzielnie podobieństwa między obiektami
Tym bardziej, że PHP i jego dokumentacja deklaruje się, że operator porównania może to zrobić za mnie.

Doraźnie zastosowałem serializację obiektów i wyliczenie na jej podstawie sumy kontrolnej md5 w celu porównywania instancji
Zdaję sobie sprawę z tego, że nie jest to najlepsze rozwiązanie, ale tak jak mówię jest to rozwiązanie doraźne.

@edit 04.01.2014

Tak jak słusznie podejrzewałem, jest to bug w PHP
Zostawiam więc post dla potomnych (IMG:style_emoticons/default/smile.gif)

https://bugs.php.net/bug.php?id=66286

Ten post edytował mstraczkowski 4.01.2014, 02:15:23