Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:49881
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.161.42 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        b=OlYd+wZlUSZabcRCdKQSwKYwww6JQ28SVSv5edeXKht/xLg46DyjknJVYcsNIcavAo
         +/ixT9HGGBcT3bkWdCDm06NSqMlYUiC/omkI57L4QwwnBNBxXLQs9mCQJ0UgpsQbtoRj
         6yEcn4SpGx6CqLENlMQUtwpNJxBa/66BC38qw=
MIME-Version: 1.0
Date: Wed, 6 Oct 2010 23:56:34 -0600
Message-ID: <AANLkTink__JoHanZ1zHpawgrJkZ1JAQ7Gv2=AZce0MWP@mail.gmail.com>
To: internals@lists.php.net
Content-Type: multipart/alternative; boundary=001485f197ea7385fc0492008ee0
Subject: Using child classes/interfaces as desired type hints
From: quickshiftin@gmail.com (Nathan Nobbe)

--001485f197ea7385fc0492008ee0
Content-Type: text/plain; charset=UTF-8

Hi,

Probly rehashing an old conversation here, but I'm wondering why the
following isn't supported

<?php
abstract class AbstractServer {}
class ConcreteServer extends AbstractServer {}

abstract class AbstractClient {
  abstract function doStuff(AbstractServer $o);
}

class ConcreteClient extends AbstractClient {
  function doStuff(ConcreteServer $o) {}
}
?>

This results in a fatal
Fatal error: Declaration of ConcreteClient::doStuff() must be compatible
with that of AbstractClient::doStuff() in
/Users/quickshiftin/gitRepos/timberline/php-api-v15-client/testOverride.php
on line 11

I was reading a few posts from way back when

http://marc.info/?t=107774904800001&r=1&w=2

yet still find myself wondering.  I think it can be said here that if
there's a contract defined by AbstractClient::doStuff, that same contract is
honored by ConcreteClient::doStuff.  I also think changing the language to
support this notion wouldn't raise BC issues for the most part (at all?)
since at the moment you're forced to move to the lowest common denominator
in the tree, in this case

class ConcreteClient extends AbstractClient {
  function doStuff(AbstractServer $o) {}
}

your feedback appreciated,

-nathan

--001485f197ea7385fc0492008ee0--