适合C# Actor的消息执行方式（6）：协变与逆变

核心提示：在上一篇文章中，我们实现了一个简单的爬虫，适合C# Actor的消息执行方式（6）：协变与逆变，并指出了这种方式的缺陷，现在，这意味着如果有两个类型Parent和Child，其中Child是Parent的子类（或Parent接口的实现），我们就来看一下，如何使用C# 4.0中所引入的“协变和逆变&rdquo

在上一篇文章中，我们实现了一个简单的爬虫，并指出了这种方式的缺陷。现在，我们就来看一下，如何使用C# 4.0中所引入的“协变和逆变”特性来改进这种消息执行方式，这也是我认为在“普适Actor模型”中最合适的做法。这次，我们动真格的了，我们会一条一条地改进前文提出的缺陷。 协变与逆变

在以前的几篇文章中，我们一直挂在嘴边的说法便是消息于Actor类型的“耦合”太高。例如在简单的爬虫实现中，Crawler接受的消息为Crawl(Monitor, string)，它的第一个参数为Monitor类型。但是在实际应用中，这个参数很可能需要是各种类型，唯一的“约束”只是它必须能够接受一个ICrawlResponseHandler类型的消息，这样我们就能把抓取的结果传递给它。至于操作Crawler对象的是Monitor还是Robot，还是我们单元测试时动态创建的Mock对象（这很重要），Crawler一概不会关心。

但就是这个约束，在以前的实现中，我们必须让这个目标继承Actor<ICrawlResponseHandler>，这样它也就无法接受其他类型的消息了。例如Monitor还要负责一些查询操作我们该怎么办呢？幸运的是，在.NET 4.0中，我们只需要让这个目标实现这样一个接口即可：

public　interface　IPort<out　T>　
{　
　　void　Post(Action<T>　message);　
}

瞅到out关键字了没？事实上，还有一个东西您在这里还没有看到，这便是Action委托在.NET 4.0中的签名：

public　delegate　void　Action<in　T>(T　obj);

就在这样一个简单的示例中，协变和逆变所需要的in和out都出现了。这意味着如果有两个类型Parent和Child，其中Child是Parent的子类（或Parent接口的实现），那么实现了IPort<Child>的对象便可以自动赋值给IPort<Parent>类型的参数或引用¹。使用代码来说明问题可能会更清楚一些：