我应该在 C#3.0 中支持 Pub/Sub 场景的协变/逆变吗？

Question

在我的应用程序中，我正在创建一个简单的事件中心，它提供了一些用于注册订阅者的功能：

Subscribes<EventType>(ISubscriber<EventType> subscriber) 
// and some other methods for adding subscribers

以及用于发布事件的功能。

Publish<EventType>(EventType @event)

非常简单。 我想将 Publish(0) 路由到所有实现 ISubscriber 的订阅者。

不太难的是，我希望订阅者 EventType 是逆变的。 因此，ISubscriber

对于 C#4，这没有问题，但现在我正在使用 C#3 做这些事情，并且只是伪造接口的逆变：

public interface IContravariantGenerics { 
  object AsVariantFor(Type[] genericParamters);
}

好吧，现在，我想将数据打包到像这样的“事件类型”中。 该事件的通用参数必须是协变的。

SubX : ISubscriber<DataChanged<A>>

DataChanged<T>
  T Data {get;}

当我发布 Publish>(new DataChanged(new B()) （给定 B : A）时，应通过 DataChanged 通知订阅者 其中 Data 是传递给 DataChanged 的 B 实例，因此我还需要协方差支持，

我想编写一个支持 Co-/And Contravariance 的库，如下所示：

IMyObject<T1, T2> : IWithVariance<In, Out>

这将允许像这样的转换（而不是强制转换！）：

Obj<Fruit, Fruit> x;
IMyObject<Apple, object> x2 = x.ToVariant<Apple, object>();

您认为可以吗？考虑使用动态代理来实现。

Answer 1

IMO，这将使事情很快变得非常复杂，这意味着您最终会编写大量反射代码。 你能等待 C# 4.0 吗？ ;-p

或者，您的代码可以忽略它不知道如何处理的事情...

Answer 2

在这一部分中：

当我发布时
发布>（新
DataChanged(new B())，
应通知订阅者
DataChanged 其中 .Data 是
B-实例。

我可能没有理解你的意思 - 例如，我看不到 .Data 指的是什么，我只能猜测 B 和 A 之间的关系。你的意思是 B 是从 A 派生的吗？

如果是这样，C# 4 不一定会让这样的事情自动发生。 默认情况下，类型 X 和 X 根本不兼容。 如果X是一个接口并且类型参数被标记为out，那么X可以被赋值到 X 类型的变量。 但请注意，这仅适用于接口，而不适用于具体类型（对于委托也有类似的规定，但仅此而已）。

编辑：

因此，您想要做的是模拟将 X 分配给 X 类型的变量的方式> 在 C#/CLR 4.0 中，其中 X 是接口。

假设 X 是：

interface X<T>
{
    T Foo(int arg);

    // Note: T may only appear as an output, so this is illegal:
    // void Foo(T arg);
}

您有一个 X，您需要一个 X。 您知道 B 可分配给 A。 因此，您需要以下适配器：

class WrapX_A_B : X<A>
{
    public X<B> Impl { get; set; }

    public A Foo(int arg)
    {
        return Impl.Foo(arg);
    }
}

您只需将每个方法转发到真正的实现即可。

但是，对于通用外部类和通过继承相关的通用参数对的每种可能的组合，您都需要这样的包装类。 手动编写所有这些内容并进行大量查找以针对给定情况选择正确的内容将是一项乏味、容易出错且永远无法完成的任务。

现在您需要生成代码以在运行时制造包装器类。