Подтвердить что ты не робот

Нет вывода типа с общим методом расширения

У меня есть следующий метод:

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.
}

Теперь у меня есть следующие проблемы:

  • Этот метод расширения отображается на всех типах, даже string.
  • Я не могу написать 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 и возвращают a ConfiguredEventInvocatorParameters<TEventArgs>. Все вызовы, следующие за With, также должны возвращать тип ConfiguredEventInvocatorParameters<TEventArgs>, иначе второй пример действительного вызова (с Until в конце) не будет работать.
Если у вас есть какие-либо мысли по API в целом, пожалуйста, дайте мне знать. Однако я хочу избежать следующих трех вещей:

  • Сбой только во время выполнения, если параметры не были полностью настроены.
  • Создание обратного синтаксиса типа EventName.With(...).Until(...).Fire()
  • Используйте печально известный метод Do для начала: Fire(EventName).With(...).Until(...).Do();
4b9b3361

Ответ 1

Для всех, кого это интересует, на данный момент я решил исходную проблему (свободный API вызовов событий) с общей иерархией классов. Это в основном ответ Hightechrider на стероиды.

public abstract class EventInvocatorParametersBase
    <TEventInvocatorParameters, TEventArgs>
    where TEventArgs : EventArgs
    where TEventInvocatorParameters :
        EventInvocatorParametersBase<TEventInvocatorParameters, TEventArgs>

{
    protected EventInvocatorParametersBase(
        EventHandler<TEventArgs> eventHandler,
        Func<Exception, bool> exceptionHandler,
        Func<TEventArgs, bool> breakCondition)
    {
        EventHandler = eventHandler;
        ExceptionHandler = exceptionHandler;
        BreakCondition = breakCondition;
    }

    protected EventInvocatorParametersBase(
        EventHandler<TEventArgs> eventHandler)
        : this(eventHandler, e => false, e => false)
    {
    }

    public Func<TEventArgs, bool> BreakCondition { get; set; }
    public EventHandler<TEventArgs> EventHandler { get; set; }
    public Func<Exception, bool> ExceptionHandler { get; set; }

    public TEventInvocatorParameters Until(
        Func<TEventArgs, bool> breakCondition)
    {
        BreakCondition = breakCondition;
        return (TEventInvocatorParameters)this;
    }

    public TEventInvocatorParameters WithExceptionHandler(
        Func<Exception, bool> exceptionHandler)
    {
        ExceptionHandler = exceptionHandler;
        return (TEventInvocatorParameters)this;
    }

    public ConfiguredEventInvocatorParameters<TEventArgs> With(
        object sender, 
        TEventArgs eventArgs)
    {
        return new ConfiguredEventInvocatorParameters<TEventArgs>(
            EventHandler, ExceptionHandler, BreakCondition,
            sender, eventArgs);
    }
}

public class EventInvocatorParameters<T> :
    EventInvocatorParametersBase<EventInvocatorParameters<T>, T>
    where T : EventArgs
{
    public EventInvocatorParameters(EventHandler<T> eventHandler)
        : base(eventHandler)
    {
    }
}

public class ConfiguredEventInvocatorParameters<T> :
    EventInvocatorParametersBase<ConfiguredEventInvocatorParameters<T>, T>
    where T : EventArgs
{
    public ConfiguredEventInvocatorParameters(
        EventHandler<T> eventHandler,
        Func<Exception, bool> exceptionHandler,
        Func<T, bool> breakCondition, object sender,
        T eventArgs)
        : base(eventHandler, exceptionHandler, breakCondition)
    {
        EventArgs = eventArgs;
        Sender = sender;
    }

    public ConfiguredEventInvocatorParameters(EventHandler<T> eventHandler,
                                              object sender,
                                              T eventArgs)
        : this(eventHandler, e => false, e => false, sender, eventArgs)
    {
    }

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

public static class EventExtensions
{
    public static EventInvocatorParameters<TEventArgs> Until<TEventArgs>(
        this EventHandler<TEventArgs> eventHandler,
        Func<TEventArgs, bool> breakCondition)
        where TEventArgs : EventArgs
    {
        return new EventInvocatorParameters<TEventArgs>(eventHandler).
            Until(breakCondition);
    }

    public static EventInvocatorParameters<TEventArgs> 
        WithExceptionHandler<TEventArgs>(
            this EventHandler<TEventArgs> eventHandler,
            Func<Exception, bool> exceptionHandler)
        where TEventArgs : EventArgs
    {
        return
            new EventInvocatorParameters<TEventArgs>(eventHandler).
                WithExceptionHandler(exceptionHandler);
    }

    public static ConfiguredEventInvocatorParameters<TEventArgs>
        With<TEventArgs>(
            this EventHandler<TEventArgs> eventHandler, object sender,
            TEventArgs eventArgs)
        where TEventArgs : EventArgs
    {
        return new ConfiguredEventInvocatorParameters<TEventArgs>(
            eventHandler, sender, eventArgs);
    }
}

Это позволяет вам писать код следующим образом:

Fire.Event(EventName.WithExceptionHandler(e => false)
                    .Until(e => false).With(this, EventArgs.Empty));
Fire.Event(EventName.With(this, EventArgs.Empty));
Fire.Event(EventName.WithExceptionHandler(e => false)
                    .With(this, EventArgs.Empty).Until(e => false));
Fire.Event(EventName.With(this, EventArgs.Empty)
                    .WithExceptionHandler(e => false).Until(e => false));

Но это не позволяет вам написать это, потому что предоставлена ​​не вся необходимая информация (eventArgs и отправитель):

Fire.Event(EventName.Until(e => false));
Fire.Event(EventName);

Ответ 2

Вывод типа общего метода намеренно не делает никаких вычетов из ограничений. Скорее, выводы производятся из аргументов и формальных параметров, а затем аргументы выведенного типа проверяются на ограничения.

Подробное обсуждение некоторых проблем дизайна вокруг ограничений и сигнатур методов, включая несколько десятков человек, которые говорят мне, что я ошибаюсь, считаю, что существующий дизайн разумный, см. мою статью по теме:

http://blogs.msdn.com/b/ericlippert/archive/2009/12/10/constraints-are-not-part-of-the-signature.aspx

Ответ 3

Есть ли причина, по которой вам нужно использовать метод расширения? Если вы поместите Until в класс EventInvocatorParameters<T>, вы можете избежать обеих указанных проблем:

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

    public EventInvocatorParameters<T> Until (Func<T, bool> breakCond)
    {
        this.BreakCondition = breakCond;
        return this;
    }
}

Ответ 4

Немного об отказе, который я знаю, но вы вместо этого использовали вместо Rx вместо того, чтобы повторно изобретать то, что вы пытаетесь попробовать делать?