Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:9387
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
To: <zeev@zend.com>, <internals@lists.php.net>
Date: Mon, 19 Apr 2004 09:31:10 -0700
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
In-Reply-To: <5.1.0.14.2.20040419112627.03efaa00@localhost>
Thread-Index: AcQmC1s2FcJykLRjRrySYnFySSZx9gAIDOfw
Message-ID: <20040419163410.2E78D575971@mail.mbobo.org>
Subject: RE: [PHP-DEV] Interface inheritance
From: sterling@apache.org ("Sterling Hughes")
References: <5.1.0.14.2.20040419112627.03efaa00@localhost>

I agree.  Interfaces are useless if you can't guarantee that a class
actually implements them.  Violating an interface is violating a contract
and it should be an compile error - indeed, when coding I mostly rely on not
properly implementing interfaces to be a compile error.

-Sterling

-----Original Message-----
From: Zeev Suraski [mailto:zeev@zend.com] 
Sent: Monday, April 19, 2004 1:49 AM
To: internals@lists.php.net
Subject: [PHP-DEV] Interface inheritance

All,

Yesterday, someone complained that classes that implement interfaces 
succeed in doing so even when they don't satisfy the prototypes.  While 
this does cause an E_STRICT message to be emitted, it would go unnoticed in 
most cases, as E_STRICT is off by default, in some cases - even when people 
think it's on.

I believe that this behavior is wrong.  I believe that classes should not 
be allowed to say they implement an interface X, unless they actually 
implement all of the methods in that interface with methods that are 
compatible with its prototypes.

Reasoning:
- Interfaces (and for that matter, abstract classes) are a new feature in 
PHP 5, used solely to enforce implementing classes to abide to the 
prototypes.  There's no issue of downwards compatibility, and there's no 
other use case.
- Without this, the whole mechanism of class type hints is rendered 
useless.  With it, it gives users the full power of class type hints (and 
instanceof, for that matter) - because they always have the option of 
adding an interface for their base classes.

Suggested behavior:
Any method that implements (directly or indirectly) an interface method or 
an abstract method, will have implementation checks fully enforced, with an 
E_COMPILE_ERROR emitted in case of an error.
Behavior for methods that override regular parent methods, that do not have 
interface/abstract prototypes, will not change (E_STRICT message).

Comments welcome - we'd like to sort this out before RC2...

Zeev

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php