c# - 没有通用扩展方法的类型推断

Question

我有以下方法:

public static TEventInvocatorParameters Until
    <TEventInvocatorParameters, TEventArgs>(this TEventInvocatorParameters p,
                                            Func<TEventArgs, bool> breakCond)
    where TEventInvocatorParameters : EventInvocatorParameters<TEventArgs>
    where TEventArgs : EventArgs
{
    p.BreakCondition = breakCond;
    return p;
}

还有这个类

public class EventInvocatorParameters<T>
    where T : EventArgs
{
    public Func<T, bool> BreakCondition { get; set; }
    // Other properties used below omitted for brevity.
}

现在，我遇到了以下问题:

1. 此扩展方法显示在所有类型上，甚至是 string .
2. 我不会写new EventInvocatorParameters<EventArgs>(EventABC).Until(e => false);它告诉我“方法的类型参数......无法从用法中推断出来。”

我不能像这样使用通用类型参数吗？你会如何解决这个问题？
要点:我需要这两个通用参数，因为我需要返回调用此扩展方法的同一类型。

---

更广泛的图片(不是回答问题所必需的!):
我正在尝试创建一个流畅的界面来调用事件。基础是这个静态类:

public static class Fire
{
   public static void Event<TEventArgs>(
       ConfiguredEventInvocatorParameters<TEventArgs> parameters)
    where TEventArgs : EventArgs
    {
        if (parameters.EventHandler == null)
        {
            return;
        }

        var sender = parameters.Sender;
        var eventArgs = parameters.EventArgs;
        var breakCondition = parameters.BreakCondition;

        foreach (EventHandler<TEventArgs> @delegate in 
                 parameters.EventHandler.GetInvocationList())
        {
            try
            {
                @delegate(sender, eventArgs);
                if (breakCondition(eventArgs))
                {
                    break;
                }
            }
            catch (Exception e)
            {
                var exceptionHandler = parameters.ExceptionHandler;
                if (!exceptionHandler(e))
                {
                    throw;
                }
            }
        }
    }
}

为确保此方法只能使用完全配置的参数调用，它只接受 ConfiguredEventInvocatorParameters<T>源自EventInvocatorParameters<T> :

public class ConfiguredEventInvocatorParameters<T>
    : EventInvocatorParameters<T>
    where T : EventArgs
{
    public ConfiguredEventInvocatorParameters(
        EventInvocatorParameters<T> parameters, object sender, T eventArgs)
        : base(parameters)
    {
        EventArgs = eventArgs;
        Sender = sender;
    }

    public T EventArgs { get; private set; }
    public object Sender { get; private set; }

}

以下是有效调用:

Fire.Event(EventName.With(sender, eventArgs));
Fire.Event(EventName.With(sender, eventArgs).Until(e => e.Cancel));
Fire.Event(EventName.Until(e => e.Cancel).With(sender, eventArgs));

以下内容无效:

// no sender or eventArgs have been specified, i.e. missing call to With(...)
Fire.Event(EventName.Until(e => e.Cancel));

为了使这项工作有效，存在名为 With 的扩展方法。 , 接受 EventHandler<TEventArgs或 TEventInvocatorParameters并返回 ConfiguredEventInvocatorParameters<TEventArgs> . With 之后的所有调用现在还需要返回类型 ConfiguredEventInvocatorParameters<TEventArgs> ，否则有效调用的第二个示例(末尾带有 Until)将不起作用。
如果您对 API 总体上有任何想法，请告诉我。但是，我想避免以下三件事:

• 仅在参数未完全配置时在运行时失败
• 创建类似EventName.With(...).Until(...).Fire() 的逆向语法
• 使用臭名昭著的 Do开始的方法:Fire(EventName).With(...).Until(...).Do();

Answer 1

2020 年 11 月更新:下面的原始答案写于 2011 年；泛型方法类型推断、重载解析以及方法的“最终验证”如何完成的规则​​在最近的 C# 版本中有微小但重要的变化；这个答案，以及我原来的 MSDN 博客上关于它的一篇存档文章的链接可能不再准确。另外，微软出于法律原因删除了原文章的评论；这些评论中有大量的背景和讨论。我希望在某个时候有时间重新审视这篇文章，以阐明 (1) 今天的规则，(2) 它们是如何改变的，以及 (3) 在那些被删除的评论中讨论的想法是如何影响这些决定的，但这很多工作，我可能有一段时间无法完成。请记住，我自 2012 年 11 月以来就没有加入 C# 语言设计团队。

---

通用方法类型推断有意不从约束中进行任何推论。相反，从参数和形式参数中进行推导，然后根据约束检查推导的类型参数。

有关约束和方法签名的一些设计问题的详细讨论，包括几十个人告诉我，我认为现有设计是明智的是错误的，请参阅我关于该主题的文章:

https://learn.microsoft.com/en-gb/archive/blogs/ericlippert/constraints-are-not-part-of-the-signature