Bug #67544 [Com]: Inheritance not working with typehints.

Edit report at https://bugs.php.net/bug.php?id=67544&edit=1 ID: 67544 Comment by: RQuadling at GMail dot com Reported by: RQuadling at GMail dot com Summary: Inheritance not working with typehints. Status: Open Type: Bug Package: *General Issues Operating System: Win7 PHP Version: 5.4.30 Block user comment: N Private report: N New Comment: If I have a base layer that does some work ... <?php namespace Base; abstract class Item {} abstract class Collection { public function showItem(Item $Item){ echo get_class($Item); } } namespace Real; class Item extends \Base\Item {} class Collection extends \Base\Collection { public function showItem(\Real\Item $Item) { parent::showItem($Item); } } namespace Usage; $instance = (new \Real\Collection)->showItem(new \Real\Item); ?> This outputs a warning and the result. ----- Strict standards: Declaration of Real\Collection::showItem() should be compatible with Base\Collection::showItem(Base\Item $Item) in C:\ns.php on line 15 Real\Item ----- I know I can block E_STRICT warnings, but this warning to be is incorrect. I cannot see why the type hint is saying that the types are NOT compatible, when they are. Previous Comments: ------------------------------------------------------------------------ [2014-06-30 11:16:53] RQuadling at GMail dot com Description: ------------ Type hinting doesn't support inheritance. The error reported says "must be compatible". Well, if I use the \Base\Item typehint for the \Real\Collection\showItem() method, the code runs without error, so the type being passed is fine. But I don't want any old implementation of \Base\Item in the \Real\Collection. I want a \Real\Item which extends from \Base\Item, so, to me, it IS compatible. Using 'interface Collection' and 'implements \Base\Collection' rather than abstracts makes no difference. Just in case there was anything there. Test script: --------------- <?php namespace Base; abstract class Item {} abstract class Collection { abstract public function showItem(Item $Item); } namespace Real; class Item extends \Base\Item {} class Collection extends \Base\Collection { public function showItem(Item $Item) { echo get_class($Item); } } namespace Usage; $instance = (new \Real\Collection)->showItem(new \Real\Item); Expected result: ---------------- Real\Item Actual result: -------------- Fatal error: Declaration of Real\Collection::showItem() must be compatible with Base\Collection::showItem(Base\Item $Item) in C:\ns.php on line 13 ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=67544&edit=1