PHPStan误报引入文件中已定义变量未定义，如何解决？

以下几种方法可以让PHPStan正确识别$config变量：

• 用全局变量注释声明
  在b.php里使用@global注释明确告知PHPStan变量已定义：

  <?php
  require 'a.php';
  /** @global array $config */
  echo $config['foo'];
  

  这种方法直接针对单个变量，操作简单。

• 配置PHPStan的bootstrap文件
  在phpstan.neon（或phpstan.neon.dist）配置文件中指定bootstrap文件，将所有需要全局引入的文件纳入其中：

  parameters:
    bootstrapFiles:
      - a.php
  

  这样PHPStan在分析代码前会自动加载该文件，自然能识别里面定义的变量。

• 确保require路径的准确性
  检查b.php中require 'a.php'的相对路径是否和PHPStan分析时的工作目录匹配。如果路径存在歧义，PHPStan可能找不到文件，导致无法解析变量。建议改用绝对路径：

  require __DIR__ . '/a.php';
  

  这种写法不受工作目录影响，能保证文件被正确引入，PHPStan也能准确解析其中的变量。

• 使用PHPStan专属注释强制识别引入
  给require语句添加@phpstan-require-aware注释，强制PHPStan解析该引入的文件内容：

  <?php
  /** @phpstan-require-aware */
  require 'a.php';
  echo $config['foo'];
  

  这个注释会让PHPStan优先处理该require语句，确保引入文件的内容被纳入分析范围。

你提到去掉<?php标签警告会消失，这是因为无PHP标签的文件会被PHPStan当作特殊上下文处理，但实际项目中不能依赖这种方式，上面的方法才是合规且通用的解决方案。

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