.NET4：如何将动态绑定应用于带返回的匿名委托？

Question

class MyClass
{
    public event Action<string> OnAction;
    public event Func<string, int> OnFunc;
}

class Program
{
    static void Main(string[] args)
    {
        MyClass mc = new MyClass();

        /// I need to handle arbitrary events.
        /// But I see no way to create anonymous delegates in runtime
        /// with arbitrary returns and parameters. So I choosed to
        /// create multiple “signatures” with different parameter
        /// number (up to 10) and different returns (either the Action or
        /// Func). While Actions<> work pretty well, the Funcs<> do not.
        Action<dynamic> someAction = delegate(dynamic p1) { };
        Func<dynamic, dynamic> someFunc = delegate(dynamic p1) { return 42;};

        // OK
        mc.OnAction += someAction;

        // Error: “Cannot implicitly convert type 'System.Func<dynamic,dynamic>'
        // to 'System.Func<string,int>'”
        mc.OnFunc += someFunc;

        // It doesn't work this way as well (the same error message):
        // dynamic someFunc = new Func<dynamic, dynamic>((dynamic n1) => { return 42; });

        // Let's try another way
        // 1:
        // Cannot convert anonymous method to delegate type 'System.Func<string,int>'
        // because the parameter types do not match the delegate parameter types.
        // 2 (even more funny):
        // Parameter 1 is declared as type 'dynamic' but should be 'string'.
        mc.OnFunc += delegate(dynamic p1) { return 42; };
    }
}

为什么它适用于操作而不适用于函数？ 换句话说，我只是想知道为什么 Action→ Action 可以，而 Func则可以→ Func 不是。谢谢。

Answer 1

Action 和 Func 定义之间的唯一区别是 Action 没有返回类型。如果您将代码从： 更改

mc.OnFunc += new Func<dynamic, dynamic>(someFunc);// += someFunc;

为

mc.OnFunc += new Func<dynamic, int>(someFunc);// += someFunc;

它就可以了。

Answer 2

好的，我明白了。

该操作定义如下：delegate void Action; (T arg);，而 func 是这样的： delegate TResult Func; (T arg); 问题出在 out 关键字中，它表示协变，但不像 in 关键字那样表示逆变。同时 typeof(dynamic) == typeof(object) 为 true。因此，动态作为一种更通用的类型，与我们所采用的任何内容都不协变。嗯，我认为动态绑定更灵活。“

进一步阅读：链接

顺便说一句，我后来在那里找到的引用：

如果泛型类型参数仅用作方法返回类型而不用作形式方法参数的类型，则可以将其标记为协变。
反之亦然，如果某个类型仅用作形式方法参数的类型而不用作方法返回类型，则可以将其标记为逆变。

Answer 3

如果 C# 需要返回类型为 int 的委托，则声明返回 dynamic 的委托是不兼容的。您的委托被声明为 Func，并且 C# 是强类型的。它并不关心你的函数是否实际上返回一个 int 并接受一个字符串；它仍然被声明为Func。

如果您考虑以下示例，代码无法编译的原因是显而易见的：

Func<string, int> myFunc = delegate(string foo) { return 42; };    
int result = myFunc("Foo");

// If this was allowed...
Func<dynamic, dynamic> otherFunc = delegate(string foo) { return 42; };
myFunc = otherFunc;
result = myFunc("Foo");

// Then this would also be allowed but would be a run-time error.
otherFunc = delegate(string foo) { return "Bar"; }; // Valid
myFunc = otherFunc;
result = myFunc("Foo"); // Oops... an int isn't returned.