Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:34968
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.198.185 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=vCoh2L3gIRY+mNlgFpPah1PtBrsZEVVsIaZDnT2lOwC1jmLcZ/Ol75g8WZgi9F4mHtmyWsxnbV2aSMGWU02heQlLnfdkqkR25aV2YHYFTx4TinM604uXhuVS3YvoTw0GbDx5DeVStT4PTjI8ncFxHZtfEDTh0nP+SACoD0xUomA=
Message-ID: <5a8807d10801280937j11c65623l7dca63aebec7cf1a@mail.gmail.com>
Date: Mon, 28 Jan 2008 17:37:25 +0000
Reply-To: robin@soal.org
To: "Marcus Boerger" <helly@php.net>, internals@lists.php.net, 
	"Jochem Maas" <jochem@iamjochem.com>
In-Reply-To: <868592137.20080128174926@marcus-boerger.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <5a8807d10801280520u7f8c7a9o8d2ab2efaa9c7644@mail.gmail.com>
	 <1109819085.20080128151237@marcus-boerger.de>
	 <5a8807d10801280718p6d52f689s3a13c4d8c6521a3f@mail.gmail.com>
	 <868592137.20080128174926@marcus-boerger.de>
Subject: Re: [PHP-DEV] Protected static props redeclared as public share value across classes
From: rewbs.soal@gmail.com ("Robin Fernandes")

Marcus,

Thanks for looking in more detail.

>   I checked it out in more detail and it is indeed broken as in it is not
> consistent:
> [marcus@zaphod PHP_5_3]$ php -r 'class A { protected static $p=1; } class B extends A { protected static $p=2; } ReflectionClass::Export("B");'
> -> works == 2 properties
> -> but should fail because of changed value
>
> [marcus@zaphod PHP_5_3]$ php -r 'class A { protected static $p=1; } class B extends A { public static $p=2; } ReflectionClass::Export("B");'
> Fatal error: Cannot change initial value of property static protected A::$p in class B in Command line code on line 1
>
> [marcus@zaphod PHP_5_3]$ php -r 'class A { public static $p=1; } class B extends A { protected static $p=2; } ReflectionClass::Export("B");'
> Fatal error: Access level to B::$p must be public (as in class A) in Command line code on line 1
>
> [marcus@zaphod PHP_5_3]$ php -r 'class A { public static $p=1; } class B extends A { public static $p=2; } ReflectionClass::Export("B");'
> -> works == 2 properties
> -> but should fail becasue of changed value
>
> So we need to fix this.
>

I agree with Jochem: I'm not fully confident about the statement 'but
should fail because of changed value', for two reasons:

1. The issues doesn't stop with default values. Consider the case
below. If we were go with your suggested fix, the parent and child
class "feel" like they have separate properties, but in fact point to
the same value. It is imho more natural for the two classes to
genuinely have separate values. Another alternative would be to forbid
redeclaring statics with the same visibility modifier altogther
(default value or no default value), though I would personally be less
happy with that.

<?php
Class Frog {
  public static $colour;
}

Class SpecialFrog extends Frog {
  public static $colour;
}

Frog::$colour = 'green';
SpecialFrog::$colour = 'blue';

var_dump(Frog::$colour, SpecialFrog::$colour);
//  string(4) "blue"
//  string(4) "blue"
?>


2. The suggested fix would create an inconsistency with class
constants, where it is legal to shadow inherited values:

<?php
Class Frog {
  const COLOUR = 'green';
}

Class SpecialFrog extends Frog {
  const COLOUR = 'blue';
}

var_dump(Frog::COLOUR, SpecialFrog::COLOUR);
// string(5) "green"
// string(4) "blue"
?>

Many thanks,
Robin