特质；父母& PHP 5.4 中的自我类型提示

Question

虽然这个问题在某种程度上与语言无关（与支持 Traits 的 OOP 语言无关），但我一直在修补 PHP 5.4a 的夜间构建，并遇到了一个奇怪的场景。我似乎无法再运行我的安装，但那是另一个故事了。

给出以下片段：

trait MyTrait
{

    public function myMethod(self $object)
    {
        var_dump($object);
    }

}

class MyClass
{

    use MyTrait;

}

$myObject = new MyClass();
$myObject->myMethod('foobar'); // <-- here

应该发生什么？我希望出现一个错误，表明 $object 需要是 MyClass 的实例。

当将特征方法复制到 use-ing 类中时，它们是否逐字复制，以解析此类类继承引用？这是 Trait 的预期功能吗？ （我没有使用过支持它们的其他语言）

Answer 1

好吧，我已经证实这确实正如我所希望和预期的那样：

class MyClass
{

    use MyTrait;

}

$myObject = new MyClass();

$myObject->myMethod($myObject); // ok

$myObject->myMethod('foobar'); // Catchable fatal error, argument must be instance etc

所以，这对所有人来说都是好消息。

Answer 2

请参阅 RFC 了解更多详细信息：https://wiki.php.net/rfc/horizo​​ntalreuse

所以，确实，预期的行为是特征方法的行为与使用它的类中定义的完全一样。
因此，对魔法__CLASS__常量的引用也被解析为实际的类名。
如果您需要知道特征的名称，您可以使用 __TRAIT__ 来代替。

目标是使小的相关行为可重用，它源于 Smalltalk 世界中 Self 的工作以及后来的 Smalltalk 直接。具有类似结构的其他语言是 Perl6 和 Scala。然而，他们对这个概念有自己的解释，通常具有不同的属性和设计意图。