为什么$array-eq$null在$array只包含一个$null元素时不计算为$true？[副本]

Question

我终于花时间来了解为什么Visual Studio Code让我把$null放在相等比较的左侧。

在处理此行为时，我发现，当将包含$null元素的数组与右侧$null$null进行比较时，“预期的意外行为”发生在包含两个或多个$null元素的数组中，但对于包含单个$null元素的数组则不然。也就是说，如果 （$array -eq $null） { '它等于 $null！' } 输出 如果 $array 包含多个 $null 元素，则等于 $null！ $array只包含一个元素时，则不等于 $array！导致这种差异的$null元素的数量是多少？

下面的测试代码演示了这种行为...

function TestForNull($description, $value)
{
    $comparisonResult = $value -eq $null;
    $ifEntered = if ($value -eq $null) {
        $true;
    } else {
        $false;
    };

    Write-Host -Object $description;
    Write-Host -Object "`t`$comparisonResult.GetType(): $($comparisonResult.GetType())";
    Write-Host -Object "`t`$comparisonResult.Length: $($comparisonResult.Length)";
    for ($i = 0; $i -lt $comparisonResult.Length; $i++)
    {
        $item = $comparisonResult.GetValue($i);
        $itemText = if ($null -eq $item) {
            '(null)';
        } else {
            $item.ToString();
        };

        Write-Host -Object "`t`$comparisonResult[$i]: $itemText";
    }
    Write-Host -Object "`t`$ifEntered: $ifEntered";
}

TestForNull '0-element array'                          @();
TestForNull '1-element array with all $nulls'          @($null);
TestForNull '2-element array with all $nulls'          @($null, $null);
TestForNull '3-element array with all $nulls'          @($null, $null, $null);
TestForNull '3-element array with one leading $null'   @($null, 2, 3);
TestForNull '3-element array with one inner $null'     @(1, $null, 3);
TestForNull '3-element array with one trailing $null'  @(1, 2, $null);
TestForNull '3-element array with two leading $nulls'  @($null, $null, 3);
TestForNull '3-element array with two boundary $nulls' @($null, 2, $null);
TestForNull '3-element array with two trailing $nulls' @(1, $null, $null);

…和输出。。。

0-element array
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 0
        $ifEntered: False
1-element array with all $nulls
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 1
        $comparisonResult[0]: (null)
        $ifEntered: False
2-element array with all $nulls
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 2
        $comparisonResult[0]: (null)
        $comparisonResult[1]: (null)
        $ifEntered: True
3-element array with all $nulls
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 3
        $comparisonResult[0]: (null)
        $comparisonResult[1]: (null)
        $comparisonResult[2]: (null)
        $ifEntered: True
3-element array with one leading $null
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 1
        $comparisonResult[0]: (null)
        $ifEntered: False
3-element array with one inner $null
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 1
        $comparisonResult[0]: (null)
        $ifEntered: False
3-element array with one trailing $null
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 1
        $comparisonResult[0]: (null)
        $ifEntered: False
3-element array with two leading $nulls
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 2
        $comparisonResult[0]: (null)
        $comparisonResult[1]: (null)
        $ifEntered: True
3-element array with two boundary $nulls
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 2
        $comparisonResult[0]: (null)
        $comparisonResult[1]: (null)
        $ifEntered: True
3-element array with two trailing $nulls
        $comparisonResult.GetType(): System.Object[]
        $comparisonResult.Length: 2
        $comparisonResult[0]: (null)
        $comparisonResult[1]: (null)
        $ifEntered: True

Answer 1

我们已经（希望）知道$array-eq$null计算结果不是[Boolean]，而是包含$array元素的数组，这些元素等于$null。作为if语句的条件，生成的数组必须转换为[Boolean]，尽管我找不到任何官方PowerShell留档详细说明这种情况是如何发生的，但正是这种转换的特殊性导致了相关行为。最好不要用if语句来说明这一点，而只需用强制转换html" target="_blank">表达式…

PS> [Boolean] @()
False
PS> [Boolean] @($null)
False
PS> [Boolean] @($null, $null)
True
PS> [Boolean] @($null, $null, $null)
True
PS> [Boolean] @(New-Object -TypeName 'Object')
True
PS> [Boolean] @((New-Object -TypeName 'Object'), (New-Object -TypeName 'Object'))
True
PS> [Boolean] @($true)
True
PS> [Boolean] @($false)
False
PS> [Boolean] @($true, $true)
True
PS> [Boolean] @($true, $false)
True
PS> [Boolean] @($false, $true)
True
PS> [Boolean] @($false, $false)
True
PS> [Boolean] @(0)
False
PS> [Boolean] @(1)
True
PS> [Boolean] @(-1)
True
PS> [Boolean] @('')
False
PS> [Boolean] @('false')
True
PS> [Boolean] @('true')
True
PS> [Boolean] @('1')
True
PS> [Boolean] @('0')
True
PS> [Boolean] @('-1')
True

如果那里没有可识别的模式，逻辑是...

< li >空数组被转换为< code>$false。 < li >只有一个元素的数组被转换为... < ul > <李>...如果该元素实现< code>IList接口，则该元素的长度为< code>[Boolean]。 <李>...如果该元素没有实现< code>IList接口，则将该元素转换为< code>[Boolean]的结果。

因此，假设$array包含一个$null元素（例如$$array=@（$null）），$array-eq$null返回@（$null）。当将@（$null）转换为[布尔值]时，上述规则2适用：$null将转换为$false，因此@（$null）将转换为$false。

给定$array包含多个$null元素（例如$array=@（$null，$null）），$array-eq$null返回一个具有相同数量（最重要的是，多个）$null元素的数组。$null转换为$false的事实在这里无关紧要，因为根据规则3，此类数组总是转换为$true。

这就是为什么一个数组包含一个或多个＜code＞$null

补充阅读：

• IsTrue（）方法重载的System.Management.Automation.LanguagePrimitives类
• 为什么在测试PSCustomObject的属性时操作数的顺序很重要
• 比较运算符、集合和条件（Oh， My！）
• 在Powershell中将对象转换为布尔值
• 布尔值和运算符
• PowerShell-揭秘空比较