条件语句、泛型委托不必要的强制转换

Question

在设置 Action 值时，我遇到了条件语句的非常奇怪的问题。这并不是说我不知道​​如何解决这个问题，因为使用普通的 if 很容易解决这个问题。

这是我的问题：

public class Test
{
    public bool Foo { get; set; }
    public Action<bool> Action { get; set; }

    public void A()
    {
        Action = Foo ? B : C;//Gives compiler error
    }

    public void B(bool value)
    {

    }

    public void C(bool value)
    {

    }
}

这给了我一个编译器错误，并显示以下消息

“方法组”和“方法组”之间没有隐式转换。

这很奇怪，因为我不明白为什么这是非法的。

顺便说一句，下面的语法将使这一点有效（从编译器的角度来看）：

    public void A()
    {
        Action = Foo ? (Action<bool>) B : C;
    }

所以也许您可以将问题理解为，为什么需要强制转换？

Answer 1

您混淆了两个相似的概念：

A）方法组。方法组是一个或多个具有相同名称的 C# 方法。它是主要由编译器使用的抽象；你不能传递方法组。您对方法组所能做的就是调用它或从中创建委托。如果类型签名匹配，您可以从方法组隐式创建委托。

B) 一名代表。你知道什么是代表；它具有特定的类型签名并直接引用方法。除了调用它之外，您还可以传递它并将其视为一流对象。

因此，在第一个示例中，表达式在一侧返回一个方法组 B，在另一侧返回另一个方法组 C。三元运算符需要在两侧返回相同的类型，但它不知道将两侧转换为什么；您将结果分配给的变量类型 (Action) 并不决定表达式的类型。所以说是暧昧的。

在第二个示例中，您合法地将方法组 B 转换为三元运算符一侧的 Action 委托。在尝试消除表达式歧义的过程中，编译器尝试将每一端强制转换为另一端的类型。它可以成功地将方法组 C 转换为 Action，因此它会这样做并且表达式是合法的。

Answer 2

因为 B 和 C 实际上并不是委托。它们是方法组，并且可以隐式转换为委托（特别是 Action），但这不是同一回事。

条件表达式的类型在两个分支上必须一致，并且由于 B 和 C 当前是方法组（未键入），因此编译器无法识别类型应该是什么。正如它告诉您的那样，它们之间没有隐式转换。

同样，它不能（或者至少不）查看赋值运算符的另一边并说“哦，它应该是动作”。

添加强制转换时，左侧分支表达式的类型变为 Action，并且另一侧的方法组与该委托之间存在隐式转换，所以编译器又高兴了：整个表达式的类型是 Action。

Answer 3

我认为，埃里克会再次告诉我，我的推理有点不正确，但无论如何我都会尝试一下并希望他的纠正:-)

方法组，例如 B，没有类型，它不是对象（B.GetType() 不会编译）。
它可以很容易地转换为类型，这就是隐式强制转换存在的原因。
示例：

Action<bool> a = B; // implicit cast taking place.

但是，正如您在链接的问题中看到的那样，三元表达式尝试找到表达式两个部分都匹配的返回类型。它不知道稍后应该发生到 Action 的转换。由于方法组本身不是类型，因此它们之间不存在转换，并且 B 无法转换为 C，因此编译器会抱怨这一点。

通过将三元表达式的任何部分转换为 Action，您可以告诉编译器返回类型应该是该类型，并且它会检查三元表达式的其他部分是否支持隐式转换为该类型。因为是这种情况，所以代码会编译。

Answer 4

Action 是一个特定的委托类，并且不存在来自/到具有类似签名的常规委托的隐式转换。