Cannot set exception code for custom exception

Description

The following code:

<?php

class Example extends \Exception {
  protected $code = 5;
}

echo '  → ', (new Example(''))->getCode(), \PHP_EOL;
echo '0 → ', (new Example('', 0))->getCode(), \PHP_EOL;
echo '1 → ', (new Example('', 1))->getCode(), \PHP_EOL;

Resulted in this output:

  → 5
0 → 5
1 → 1

But I expected this output instead:

  → 5
0 → 0
1 → 1

There is a note about default parameters in exception constructor on php.net. However, case 2 in the above example explicitly passes the code parameter to the constructor.

Calling the constructor of class Exception from a subclass ignores the default arguments, if the properties $code and $message are already set. about default parameters in exception constructor on php.net.

PHP Version

PHP 8.2

Operating System

Debian 11

Le rapport fournit un reproducteur en PHP 8.2 impliquant une sous-classe personnalisée de Exception, le constructeur de Exception et getCode(). Commencez par localiser ces points d’entrée dans php-src et reproduire les trois appels au constructeur. Le travail est terminé lorsqu’un code 0 passé explicitement est conservé et que les autres sorties présentées restent correctes.