PHP допускает полиморфный код, который генерирует ошибку компиляции на других языках. Простой иллюстрирует это. Первый код C ++, который генерирует ожидаемую ошибку компиляции:
class Base {};
class CommonDerivedBase {
public:
// The "= 0" makes the method and class abstract
// virtual means polymorphic method
virtual whoami() = 0;
};
class DerivedBase : public CommonDerivedBase {
public:
void whoami() { cout << "I am DerivedBase \n"; }
};
class Derived1 : public CommonDerivedBase {
public:
void whoami() { cout << "I am Derived1\n"; }
};
class Derived2 : public CommonDerivedBase {
public:
void whoami() { cout << "I am Derived2\n"; }
};
/* This will not compile */
void test_error(Base& db)
{
db.whoami();
}
Компилятор C ++ выдаст это сообщение об ошибке для строки db.whoami()
error: no member named 'whoami' in 'Base'
потому что у Base нет метода whoami (). Однако аналогичный код PHP не находит таких ошибок до времени выполнения.
class Base {}
abstract class DerivedCommonBase {
abstract function whoami();
}
class Derived1 extends DerivedCommonBase {
public function whoami() { echo "I am Derived1\n"; }
}
class Derived2 extends DerivedCommonBase {
public function whoami() { echo "I am Derived2\n"; }
}
/* In PHP, test(Base $b) does not give a runtime error, as long as the object
* passed at run time derives from Base and implements whoami().
*/
function test(Base $b)
{
$b->whoami();
}
$b = new Base();
$d1 = new Derived1();
$d2 = new Derived2();
$a = array();
$a[] = $d1;
$a[] = $d2;
foreach($a as $x) {
echo test($x);
}
test($d1);
test($d2);
test($b); //<-- A run time error will result.
Цикл foreach работает с выводом
I am Derived1
I am Derived2
Только после вызова test ($ b) и передачи экземпляра Base вы получите ошибку времени выполнения. Таким образом, после foreach результат будет
I am Derived1
I am Derived2
PHP Fatal error: Call to undefined method Base::whoami() in
home/kurt/public_html/spl/observer/test.php on line 22
Единственное, что вы можете сделать, чтобы сделать PHP более безопасным, это добавить проверку во время выполнения
чтобы проверить, является ли $ b экземпляром класса, который вы намеревались.
function test(Base $b)
{
if ($b instanceof DerivedCommonBase) {
$b->whoami();
}
}
Но весь смысл полиморфизма в том, чтобы исключить такие проверки во время выполнения.