为什么我不能使用扩展方法隐式转换委托？

Question

我正在尝试找出一种自动将某些内容转换为 Action 或 Func 的方法，我能想到的最好的方法是这样的：

[TestFixture]
public class ExecutionTest
{
    public void BadMethod()
    {
        throw new Exception("Something bad happened");
    }

    [Test]
    public void TestBadMethod()
    {
        // Want this, but it won't work!!
        // BadMethod.Execute().IgnoreExceptions();

        // Ick
        ((Action)BadMethod).Exec().IgnoreExceptions();

        // Still ick
        ((Action)BadMethod).IgnoreExceptions();

        // Do not want
        ExtensionMethods.Exec(BadMethod).IgnoreExceptions();

        // Better but still meh
        this.Exec(BadMethod).IgnoreExceptions();

    }
}

public static class ExtensionMethods
{
    public static Action Exec(this Action action)
    { return action; }

    public static Action Exec(this object obj, Action action)
    { return action; }

    public static void IgnoreExceptions(this Action action)
    {
        try { action(); }
        catch {}
    }
}

必须有一种更好/更简单的方法来做到这一点，有什么想法吗？

Answer 1

在 C# 中，当您使用不带括号的方法名称时，它称为方法组，并且除了编译时之外没有任何表示形式。 一个方法组可以表示多个方法（由于重载和覆盖），因此为了隐式识别需要哪个方法，必须提供目标委托类型。

在您的情况下，您想知道为什么扩展方法参数类型不会触发函数的解析。 简单地说，扩展是在类型已知后才进行评估的，即 this 参数不能用作隐式转换目标。

为何会中断的示例：

class Test
{
    void M (void) // Fits Action delegate
    {
    }

    int M (int) // Fits Func<int,int> delegate
    {
        return 5;
    }

    void Test()
    {
        M.Exec(); // UHOH!!! Which Exec to resolve to ???
    }
}


public static class Extensions
{
    public static void Exec(this Action action) { }
    public static void Exec(this Func<int, int> func) { }
}

如您所见，存在冲突，但事实上，冲突永远不会发生，因为 C# 甚至不会尝试查找与方法组匹配的扩展。

请注意，这也不起作用：

class A
{
    public static implicit operator int (A a)
    {
        return 5;
    }

    void F()
    {
       A a = new A();
       a.Blah(); // Error! It won't implicitly try C.Blah()
    }
}

public static class C
{
    public static void Blah (int i)
    {
    }
}

C# 不会将 A 与 C.Blah(int) 匹配，因为它需要隐式转换。

Answer 2

正如 Coincoin 所说，由于对方法重载的过分热衷，它在 C# 中不会很好地工作。 我见过人们使用的唯一解决方法是创建 Action 和 Func 方法：

public Action Action(Action f) { return f; }
public Action<A> Action<A>(Action<A> f) { return f; }
...
public Func<A,B,C,D,E> Func(Func<A,B,C,D,E> f) { return f; }

您甚至可以将它们全部称为“F”以获得某种简短的语法：

F(BadMethod).NoExceptions();

您可能决定不在类中定义这些方法，并将它们放入Funcs 实用程序或其他东西。 用 F 作为别名，结果并不会太糟糕：

F.F(BadMethod).NoException();

但总的来说，它仍然很糟糕:(。

Answer 3

F# 通过提供更好的类型推断系统，让您可以非常自然地完成此类操作。