PHP Trait方法中使用parent作为返回/参数类型的行为探究

核心问题 #

当Trait的方法将parent声明为参数或返回类型时，parent究竟指向什么？按Trait代码等同于直接写入实现类的逻辑，parent应该指向实现类的父类，但PhpStorm会提示Trait中的parent指向实现该Trait的类，这似乎和static的作用重叠，到底是IDE提示有误还是实际运行行为如此？

实际运行行为（PHP官方逻辑） #

PHP的Trait是编译期混入机制：当类使用Trait时，Trait的代码会被直接注入到类的定义中，等同于直接在类里编写这些代码。因此，Trait中的parent关键字，会被解析为使用该Trait的类的直接父类，和在类中直接写parent的行为完全一致。

示例代码验证 #

针对给出的代码：

trait MyTrait {
    public function doSomething(parent $parent): parent
    {
        return $parent;
    }
}

class MyClass extends MyParentClass{
    use MyTrait;
    public function doSomethingElse() {
        $parent = new MyParentClass();
        $this->doSomething($parent);
    }
}

当MyClass使用MyTrait后，doSomething方法的类型声明会被解析为：

public function doSomething(MyParentClass $parent): MyParentClass
{
    return $parent;
}

因此，传入MyParentClass的实例是完全有效的，不会抛出类型错误。

PhpStorm提示的说明 #

PhpStorm在单独编辑Trait文件时，无法提前确定该Trait会被哪个类使用，因此会暂时用“实现该Trait的类”作为parent的提示占位符。但当Trait被混入具体类后，IDE会正确识别parent指向该类的实际父类（即MyParentClass）。这种提示是IDE在上下文不确定时的临时处理，并非实际运行时的行为。

内容的提问来源于stack exchange，提问作者btl-sw