Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:37293
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain sambarrow.com from 208.70.128.77 cause and error)
To: internals@lists.php.net
In-Reply-To: <1209476047.3257.2.camel@sbarrow-desktop>
References: <1209476047.3257.2.camel@sbarrow-desktop>
Content-Type: text/plain
Date: Tue, 29 Apr 2008 09:35:50 -0400
Message-ID: <1209476150.3257.4.camel@sbarrow-desktop>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Inheritance/compatibility behavior
From: sam@sambarrow.com (Sam Barrow)

On Tue, 2008-04-29 at 09:34 -0400, Sam Barrow wrote:
> I want to make two classes:
> 
> abstract class a {
> 	abstract public function go($a);
> }
> final class b extends a {
> 	abstract public function go(array $a);
> }
> 

Sorry, function in class b should not be abstract.

> This will not work, I get an error that the two must be compatible.
> Wouldn't it be a good idea to allow any type hint for a parameter that
> does not specify a type hint?
> 
> Ie, I can do the above, but not the following:
> 
> abstract class a {
> 	abstract public function go(myClass $a);
> }
> final class b extends a {
> 	abstract public function go(array $a);
> }
> 

Same, function in class b should not be abstract.