Re: [RFC] [Discussion] Support object type in BCMath

Hi On 4/5/24 21:42, Saki Takamachi wrote:

The only solution I can think of at the moment is to impose the constraint that when computing operator overloading, if the operands are both objects, they must be of the exact same class.

Even that would allow for confusing behavior:

    class MyNumber extends Number {
        private $importantMetadata;

        public function doSomething() {
            $this->importantMetadata = random_int(1, 100);
        }
    }

    $a = new MyNumber(5);
    $a->doSomething();
    $b = new MyNumber(10);
    $b->doSomething();

    $what = $a + $b;

What should be the value of $what->importantMetadata be? The property is private, so as a user adding two of MyNumber would not even be able to manually fix it up with the correct value, thus requiring the addition of a "fixup" method that fixes the internal state of the object, possibly even lacking the necessary information to properly fix up the state, because it does not know which operations lead to the state. Best regards Tim Düsterhus