PowerShell I与子类比较

假设我们有这 3 个类：

Class BaseClass : System.IComparable
{
    [int] $Value
    BaseClass([int] $v)
    {
        $this.Value = $v
    }
    [int] CompareTo($that)
    {
        If (-Not($that -is [BaseClass])) {
            Throw "Not comparable!!"
        }
        return $this.Value - $that.Value
    }
}
Class SubClassA : BaseClass
{
    SubClassA([int] $v) : base($v)
    {
    }
}
Class SubClassB : BaseClass
{
    SubClassB([int] $v) : base($v)
    {
    }
}

当我们比较以下实例时，此实现效果非常好BaseClass:

$base1 = [BaseClass]::new(1)
$base2 = [BaseClass]::new(2)
Write-Output ($base1 -lt $base2)
# Output: True
Write-Output ($base1 -gt $base2)
# Output: False

但我找不到比较两个子类的两个实例的方法：

$subA1 = [SubClassA]::new(1)
$subB2 = [SubClassB]::new(2)
Write-Output (([BaseClass]$subA1) -lt ([BaseClass]$subB2))

PowerShell 无法执行此代码，引发此错误：

Impossibile confrontare "SubClassA" con "SubClassB".
Errore:
    "Impossibile convertire il valore "SubClassB" di tipo "SubClassB" nel tipo "SubClassA"."

从意大利语翻译成英语，此错误消息听起来像：

Unable to compare "SubClassA" with "SubClassB".
Error:
    "Unable to convert the value "SubClassB" of type "SubClassB" to the type "SubClassA"."

为什么会出现这个错误？ 我们如何比较一个实例SubClassA与一个实例SubClassB就好像它们是两个实例BaseClass?

PS：输出$PSVersionTable:

PSVersion                      5.1.17134.1
PSEdition                      Desktop
PSCompatibleVersions           {1.0, 2.0, 3.0, 4.0...}
BuildVersion                   10.0.17134.1
CLRVersion                     4.0.30319.42000
WSManStackVersion              3.0
PSRemotingProtocolVersion      2.3
SerializationVersion           1.1.0.1

这种行为确实令人惊讶，我看到你已经打开了GitHub 问题来讨论它。

一些额外的想法：

• PowerShell 的运算符通常具有扩展语义，通常不应假定其在所有情况下都与 C# 对应项的工作方式相同 - 然而，在这种特殊情况下，它们显然should（见下文）。

• 事实是-lt实际上与基类实例已经指出了一个差异：等效的 C# 类还需要显式重载< and >运营商以支持支持使用<.

• PowerShell 和 C# 中的接口实现均由派生类继承，因此无需强制转换为基类即可应用-lt.

这里发生的情况似乎是 PowerShell 盲目地尝试将 RHS 转换为 LHS 的类型，而不考虑它们的共享基类。

如果 RHS 类型直接派生自 LHS 类型（但反之则不然），则不会出现此问题；例如。：

$base1 -lt $subA1  # OK: SubClassA (RHS) derives from BaseClass (LHS) 

$subA1 -lt $base1  # !! BREAKS: BaseClass (RHS) does NOT derive from SubClassA (LHS)