Invoke-Keep函数两种实现差异：嵌套数组场景为何一失效一正常？

你的两种实现差异根源在于脚本块调用方式的本质区别，以及PowerShell对集合的自动枚举行为：

1. 脚本块调用的两种机制 #

• 案例1的.Invoke()调用：这是直接调用脚本块的.NET底层方法，它会严格把你传入的$Item当作一个单一对象传递给脚本块，不会触发PowerShell的自动枚举逻辑。当处理嵌套数组时，$Item是整个内层数组对象，而不是数组里的单个元素——你的Predicate脚本块判断的是「整个数组是否符合条件」，而非数组内的元素，自然得不到预期的结果。
• 案例2的&运算符调用：&是PowerShell的脚本块执行运算符，完全遵循PowerShell的管道语义。当$_是集合类型时，PowerShell会自动枚举集合中的每个元素，逐个传入脚本块进行判断。嵌套数组在管道中会被逐层展开，内层元素能被正确处理。

2. PowerShell的自动枚举行为 #

PowerShell在管道、foreach循环（针对集合时）、运算符处理中，默认会对非字符串的可枚举集合进行自动枚举，把集合拆分为单个元素逐个处理。但.Invoke()作为.NET方法，绕过了这个PowerShell层的逻辑，直接传递原始对象。

举个实际例子：假设你的数据是@(1, @(2, 3))，Predicate是{ $_ -gt 1 }

• 案例1中，foreach遍历的是1和@(2,3)两个对象。调用$Predicate.Invoke(@(2,3))时，脚本块里的$_是整个数组@(2,3)，判断逻辑针对的是数组整体而非内部元素，自然不符合预期过滤条件。
• 案例2中，$Data进入管道后先被枚举为1和@(2,3)，Where-Object处理@(2,3)时，又会自动枚举为2和3，逐个传给& $Predicate $_，符合条件的元素会被正确保留。

3. 让案例1支持嵌套数组的改造方案 #

如果要保留foreach+.Invoke()的结构，需要手动处理嵌套集合的枚举，比如递归展开：

function Invoke-Keep {
    param(
        [Parameter(Mandatory)]
        [object[]]$Data,
        [Parameter(Mandatory)]
        [scriptblock]$Predicate
    )

    foreach ($Item in $Data) {
        # 排除字符串（字符串也是可枚举类型，但我们不需要拆分字符）
        if ($Item -is [System.Collections.IEnumerable] -and $Item -isnot [string]) {
            # 递归处理嵌套集合
            Invoke-Keep -Data $Item -Predicate $Predicate
        } else {
            if ($Predicate.Invoke($Item)) {
                $Item
            }
        }
    }
}

这样就能和案例2的行为一致，正确处理嵌套数组。

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