PhpStorm对已声明类型属性错误推断为mixed类型的问题

以下是几个直接有效的解决方法，让PhpStorm优先尊重你显式声明的类属性类型，停止错误的联合类型推断：

1. 开启严格类型检查与类型不匹配检测 #

• 在PHP文件顶部添加declare(strict_types=1);，强制PHP在类型不匹配时抛出错误，同时引导PhpStorm更严格遵循原生类型声明。
• 进入PhpStorm的Settings/Preferences → Editor → Inspections → PHP → Type compatibility，勾选核心检查项：
  • Assignment of incompatible type：标记赋值时的类型不匹配问题
  • Argument type mismatch：检测函数/构造函数参数的类型错误
    开启后，你提到的「int传入需array的构造函数」「字符串赋值给int属性」这类错误会被直接标记出来。

2. 给动态赋值的变量显式指定类型 #

针对数组初始化类的场景，避免PhpStorm把数组的mixed类型传递给属性：

• 对数组元素做强制类型转换：

  $this->name = (string)$data['name'];
  $this->hobbies = (array)$data['hobbies'];
  

• 或者用PHPDoc注解标注数组元素的具体类型：

  public function __construct(array $data) {
      /** @var string $data['name'] */
      /** @var int $data['age'] */
      /** @var array $data['hobbies'] */
      $this->name = $data['name'];
      $this->age = $data['age'];
      $this->hobbies = $data['hobbies'];
  }
  

3. 给类属性添加PHPDoc类型注解（双重确认） #

虽然PHP原生已声明属性类型，加上PHPDoc注解可以强制PhpStorm忽略错误的推断结果：

class TestClass {
    /** @var string */
    public string $name;
    /** @var int */
    public int $age;
    /** @var array */
    public array $hobbies;

    // ... 构造函数逻辑
}

PhpStorm会优先结合原生类型与PHPDoc注解，不再被赋值的mixed类型干扰。

4. 调整PhpStorm的类型推断优先级 #

进入Settings/Preferences → Languages & Frameworks → PHP → Type Inference，修改以下设置：

• 将「Array access」的推断级别设为Respect explicit types，让显式声明的属性类型覆盖数组访问的mixed推断。
• 降低「Dynamic assignments」的推断权重，避免PhpStorm根据错误赋值（如给int属性传字符串）生成错误的联合类型。

内容的提问来源于stack exchange，提问作者maples