使用约束定义/引发通用事件

Question

我想引发一个事件，允许返回 Widget（或任何派生类）类型的对象，具体类型通过泛型定义。

public class WidgetProcessor
{
   public event EventHandler<WidgetRequiredEventArgs<Widget>> WidgetRequired;

   public void DoSomethingThatNeedsAWidget<T>() where T: Widget
   {
      Widget widget = OnWidgetRequired<T>();

      //...now do something with the widget
   }

   private T OnWidgetRequired<T>() where T: Widget
   {
      T widget = null;

      if (this.WidgetRequired != null)
      {
         WidgetRequiredEventArgs<T> e = new WidgetRequiredEventArgs<T>();
         this.WidgetRequired(this, e);

         widget = e.Widget;
      }

      return widget;
   }
}

public class WidgetRequiredEventArgs<T>
   : EventArgs where T : Widget
{
   public WidgetRequiredEventArgs()
   {
   }

   public T Widget { get; set; }
}

OnWidgetRequired<T>() 和 DoSomethingThatNeedsAWidget<T>() 上的约束允许我将指定类型限制为 Widget 或派生类。理想情况下，我会为事件声明做同样的事情，但它不支持使用 <T> 和对事件参数的约束，所以我必须将其明确声明为 Widget。

但是，这会产生编译时错误：

CS1503：参数 2：无法从 'WidgetRequiredEventArgs' 转换为 'WidgetRequiredEventArgs'

对于e 参数就行了：

this.WidgetRequired(this, e);

那么为什么OnWidgetRequired<T>() 和WidgetRequiredEventArgs<T> 上的约束不满足事件处理程序的类型定义，我怎样才能让它编译呢？

Answer 1

C# 中的类不允许变化 (and for good reasons)。如果适合您的用例，您可以尝试为您的事件参数引入covariant 接口：

public interface  IWidgetRequiredEventArgs<out T> where T : Widget
{
   public T Widget { get; }
}

public class WidgetRequiredEventArgs<T>
   : EventArgs, IWidgetRequiredEventArgs<T> where T : Widget
{
   public WidgetRequiredEventArgs()
   {
   }

   public T Widget { get; set; }
}

并将其用于事件处理程序：

public event EventHandler<IWidgetRequiredEventArgs<Widget>> WidgetRequired;

或者您可以将WidgetProcessor 设为通用：

public class WidgetProcessor<T> where T: Widget
{
   public event EventHandler<WidgetRequiredEventArgs<T>> WidgetRequired;

   public void DoSomethingThatNeedsAWidget() 
   {
      Widget widget = OnWidgetRequired();

      //...now do something with the widget
   }

   private T OnWidgetRequired()
   {
       ....
   }
}

Answer 2

您的示例中有一个基本问题。您希望事件的订阅者能够生成您在泛型方法中指定的对象类型。 IE。您的方法创建 args 对象，处理程序设置属性，方法引发属性，然后方法获取属性值。

但是，如果您可以按照您的要求进行操作，那么生产者可以设置他们旨在处理的任何类型的Widget，即使它不是调用该方法来检索的Widget 的类型。

或者换句话说，属性的泛型类型不能是变体，因为只有协变或逆变是合法的，不能同时是两者。

一种方法是将事件本身移动到泛型类型中，而不是使用泛型方法。这允许在每个步骤中使用正确的类型声明事件。框架将为代码中使用的每个泛型类型参数实例化一个带有单独事件的新具体类型。

例如，这是一个简单的通用实现（我已将类名从 Widget 重命名为更易读的名称，因此类型之间的关系更清晰，为了简单起见，我将所有内容都设为 static.. .当然，如果您有这样一种场景，即使用相同的泛型类型参数有多个事件是有意义的，您可以将这些设为非静态）：

class Base { }
class Derived1 : Base { }
class Derived2 : Base { }

class BaseEventArgs<T> : EventArgs where T : Base
{
    public T Item { get; set; }
}

static class ItemHandler<T> where T : Base
{
    public static event EventHandler<BaseEventArgs<T>> ItemProducer;

    public static T OnBaseRequired()
    {
        BaseEventArgs<T> args = new BaseEventArgs<T>();

        ItemProducer?.Invoke(null, args);

        return args.Item;
    }
}

然后你就可以像这样使用它：

public void DoSomethingThatNeedsABase<T>() where T : Base
{
    Base widget = ItemHandler<T>.OnBaseRequired();

    //...now do something with the "Base", aka "widget
}