Req #55266 [Com]: Traits vs Type hints
Edit report at https://bugs.php.net/bug.php?id=55266&edit=1
ID: 55266
Comment by: alex dot howansky at gmail dot com
Reported by: mchlpl at gmail dot com
Summary: Traits vs Type hints
Status: Open
Type: Feature/Change Request
Package: Class/Object related
PHP Version: 5.4.0alpha2
Block user comment: N
Private report: N
New Comment:
> $a is not an instance of the trait but rather of
> the class that utilizes the trait.
You can say the same of interfaces and abstracts, but is_a returns true for
them.
Test script:
---------------
trait someTrait {}
interface someInterface {}
abstract class someAbstract {}
class someClass extends someAbstract implements someInterface {
use someTrait;
}
$a = new someClass();
var_dump(is_a($a, 'someClass'));
var_dump(is_a($a, 'someAbstract'));
var_dump(is_a($a, 'someInterface'));
var_dump(is_a($a, 'someTrait'));
Expected result:
----------------
bool(true)
bool(true)
bool(true)
bool(?)
Actual result:
----------------
bool(true)
bool(true)
bool(true)
bool(false)
Previous Comments:
------------------------------------------------------------------------
[2011-07-22 14:50:36] mchlpl at gmail dot com
Mike: That's one way of looking at it. My point of view is that a trait adds methods to
class' interface (where interface is a set of public members of a class - both methods and
fields) and this should be reflected in class type.
Currently (unless I missed something that was not mentioned in RFC - I admit to not have gone
through SVN version of docs) there seem to be no way to check if class uses a trait or no. Only new
functions mentioned are trait_exists() and get_declared_traits(). Checking if the object has a
method will not work, if trait is meant to override method in host class. Having traits reflected in
object's type, would solve this problem nicely. Adding another function to glabal namespace
(uses_trait() ?) is not something I would like to see.
------------------------------------------------------------------------
[2011-07-22 13:36:59] me at mikestowe dot com
I believe this is the correct result as $a is not an instance of the trait but rather of the class
that utilizes the trait.
------------------------------------------------------------------------
[2011-07-22 07:44:34] mchlpl at gmail dot com
Description:
------------
Traits, when used in a class, are not added to class' type, and therefore can not be use in
type hints. The RFCs on traits https://wiki.php.net/rfc/traits and on horizontal reuse
https://wiki.php.net/rfc/horizontalreuse do
not explain if this is by design.
On the other hand Traits seem to share the same namespace as Classes and Interfaces, since it is
impossible to have an Interface and a Trait that share the name ('Fatal error: Cannot redeclare
class' is raised when this is attempted).
Test script:
---------------
<?php
trait SomeTrait {}
class SomeClass {
use SomeTrait;
}
$a = new SomeClass();
var_dump(is_a($a,'SomeTrait'));
Expected result:
----------------
bool(true)
Actual result:
--------------
bool(false)
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=55266&edit=1
Thread (9 messages)