为何PowerShell会如此解析我的嵌套数组？

我在脚本中遇到一个耗时较久才定位的Bug：外层数组开头多了一个意外的逗号，导致第一个元素的解析方式超出预期。原本以为PowerShell会将其视为包含3个元素（第一个为NULL）的数组，移除逗号或在逗号前添加空数组@()时均能正常工作。以下是出错的代码、输出及原因解析：

出错代码 #

$ALL = @(,
        @('A',@("B1","B2"),"C"),
        @('D',@("E1","E2"),"F")
        )
$i=0
foreach ($L in $ALL)
{
    write-host "============== start i=$i ==========="
    $L
    write-host "=======l, count, [0]{1][2] =========="
    Write-host $L
    Write-host ($L.count)
    Write-host ($L[0])`t($L[1])`t($L[2])
    write-host "=============== end ================"
    $i++
}

错误输出 #

============== start i=0 ===========
A


Length         : 2
LongLength     : 2
Rank           : 1
SyncRoot       : {B1, B2}
IsReadOnly     : False
IsFixedSize    : True
IsSynchronized : False
Count          : 2

C
=======l, count, [0]{1][2] =========
A B1 B2 C
1
A B1 B2 C        
=============== end ================
============== start i=1 ===========
D
E1
E2
F
=======l, count, [0]{1][2] =========
D E1 E2 F
3
D    E1 E2   F
=============== end ================

移除多余逗号后的输出 #

============== start i=0 ===========
A
B1
B2
C
=======l, count, [0]{1][2] =========
A B1 B2 C
3
A    B1 B2   C
=============== end ================
============== start i=1 ===========
D
E1
E2
F
=======l, count, [0]{1][2] =========
D E1 E2 F
3
D    E1 E2   F
=============== end ================

原因解析 #

PowerShell的数组解析逻辑里，逗号前缀（, <值>）是创建单元素数组的语法，而数组子表达式@(...)的作用是将内容整理为数组，同时会展开嵌套的数组。

错误代码的解析过程如下：

1. , @('A',@("B1","B2"),"C") 会创建一个单元素数组，这个数组里唯一的元素就是@('A',@("B1","B2"),"C")这个三元素数组。
2. @(...) 会将这个单元素数组和后面的@('D',@("E1","E2"),"F")合并成最终的$ALL数组，所以$ALL包含两个元素：
   • 第一个元素：@( @('A',@("B1","B2"),"C") )（单元素数组，内部嵌套了目标三元素数组）
   • 第二个元素：@('D',@("E1","E2"),"F")（正常的三元素数组）

这就导致了遍历结果的差异：

• 第一次循环的$L是那个单元素数组，所以$L.count为1；直接输出$L时，PowerShell会枚举它的唯一元素（即那个三元素数组），进而输出A、嵌套数组的属性、C；$L[0]就是整个三元素数组，转成字符串后就是"A B1 B2 C"。
• 移除开头逗号后，$ALL的两个元素都是正常的三元素数组，所以遍历结果符合预期。

另外要注意：PowerShell不会将数组开头的孤立逗号解析为$null元素，这种冗余逗号会被直接忽略，但如果逗号前缀后跟一个值，就会触发单元素数组的创建逻辑。

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