Ciekawostka - static w abstract calss Opcje

[markuz]

Ostatnio spotkałem się z ciekawym "bugiem" który podobno nim nie jest. Ciekawy jestem jakie jest Wasze zdanie na ten temat.

Mam kod:

[PHP] pobierz, plaintext 
<?php
 
interface A
{
    static function create();
}
 
abstract class B implements A
{
 
    protected static $instance;
 
    protected function __construct()
    {
    }
 
    public static function getInstance()
    {
        if (static::$instance === null) {
            static::$instance = static::create();
        }
 
        return static::$instance;
    }
}
 
class C {
 
	private $number;
 
	public function __construct($number) {
		$this->number = $number;
	}
 
	public function getNumber() {
		return $this->number;
	}
 
}
 
class D extends B {
 
	static function create() {
		return new C(1);
	}
 
}
 
class G extends B {
 
	static function create() {
		return new C(2);
	}
 
}
 
echo "a = " . D::getInstance()->getNumber() . PHP_EOL;
echo "b = " . G::getInstance()->getNumber() . PHP_EOL;
[PHP] pobierz, plaintext 

Jakie Twoim zdaniem wartości powinno mieć a i b? (fajnie jakbyś nie wykonywał tego kodu przed odpowiedzią)

Następnie do powyższego kodu dodamy 3 nowe klasy:

[PHP] pobierz, plaintext 
abstract class F implements A
{
 
    protected static $instance;
 
    protected function __construct()
    {
    }
 
    public static function getInstance()
    {
        if (static::$instance === null) {
        	$t = '';
            static::$instance =& $t;
            static::$instance = static::create();
        }
 
        return static::$instance;
    }
}
 
class E extends F {
 
	static function create() {
		return new C(3);
	}
 
}
 
class H extends F {
 
	static function create() {
		return new C(4);
	}
 
}
 
echo "c = " . E::getInstance()->getNumber() . PHP_EOL;
echo "d = " . H::getInstance()->getNumber() . PHP_EOL;
[PHP] pobierz, plaintext 

Jakie wartości będzie mieć c i d?

Jak wiadomo static użyte w klasie powinno kierować do "ostatniej" w hierarchii klasy. Jednak static w klasach abstrakcyjnych wydaje się być jakimś innym tworem - być może dlatego, że self w takich klasach nie może istnieć. Jeżeli zrobimy jednak zabieg z klasy F w getInstance static znowu jest tym "normalnym" static. Przez normalnym mam na myśli zachowanie które uważam za prawidłowe - obiekt klasy abstrakcyjnej nie może istnieć dlaczego więc static klasy abstrakcyjniej może?

Tym sposobem możemy też sprawić aby static nie był static w zwykłych klasach:

[PHP] pobierz, plaintext 
<?php
 
class B {
 
	static $number;
 
}
 
class C extends B {
 
}
 
class G extends B {
 
}
 
B::$number = 5;
echo C::$number . PHP_EOL;
echo G::$number . PHP_EOL;
C::$number = 2;
echo C::$number . PHP_EOL;
echo G::$number . PHP_EOL;
$t = 11;
C::$number =& $t;
echo C::$number . PHP_EOL;
echo G::$number . PHP_EOL;
[PHP] pobierz, plaintext 

Ten post edytował markuz 28.01.2017, 19:44:49