PHPStan数组校验问题：无法为array|string分配'@id'偏移量

你遇到的报错根源是：原类型注释array<string, string|array<string>>告诉PHPStan，数组的每个值既可能是字符串，也可能是字符串数组。当你尝试给$normalizedImage['@id']赋值时，PHPStan无法确定这个键对应的是字符串还是数组类型，因此抛出赋值错误；同理，$normalizedImage['property']也可能是字符串，导致无法安全访问它的'@id'子偏移量。

下面是几种可行的解决思路：

方案1：用形状类型（Shape）定义固定结构数组 #

如果$normalizedImage的结构是固定的（比如明确包含'@id'字符串键和'property'数组键），直接用PHPStan的形状类型精确描述结构，这是最推荐的方案：

/**
 * @var array{
 *     '@id': string,
 *     'property': array{
 *         '@id': string
 *     },
 *     // 其他键按实际类型补充即可
 * } $normalizedImage
 */
$normalizedImage = [];

// 此时赋值操作不会触发PHPStan报错
$normalizedImage['@id'] = 'image-123';
$normalizedImage['property']['@id'] = 'prop-456';

形状类型能精准指定每个键对应的类型，消除所有类型歧义，让PHPStan完全理解数组结构。

方案2：用类型断言临时明确类型 #

如果数组结构不固定，但你确定某个键对应的是目标类型，可以在赋值前添加类型断言：

/** @var array<string, string|array<string>> $normalizedImage */
$normalizedImage = [];

// 直接断言'@id'键的类型为字符串
/** @var string */
$normalizedImage['@id'] = 'image-123';

// 对于'property'键，先断言它是数组类型再赋值
/** @var array<string, string> */
$normalizedImage['property']['@id'] = 'prop-456';

// 或者通过引用变量的方式断言，可读性更好
/** @var array<string, string> $property */
$property = &$normalizedImage['property'];
$property['@id'] = 'prop-456';

方案3：调整联合类型为更精确的组合 #

如果数组的键可分为两类：部分键对应字符串，部分键对应数组，可以用交叉类型描述：

/** @var array<string, string> & array{property: array<string, string>} $normalizedImage */
$normalizedImage = [];

$normalizedImage['@id'] = 'image-123';
$normalizedImage['property']['@id'] = 'prop-456';

这种方式表示数组同时满足“大部分值为字符串”和“包含property键且对应值为字符串数组”，适合半固定结构的场景。

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