C # Generics не позволяет ограничения типа делегата

Question

Можно ли определить класс в C # таким, что

class GenericCollection<T> : SomeBaseCollection<T> where T : Delegate

Я не смог бы на всю жизнь выполнить эту последнюю ночь в .NET 3.5. Я пытался использовать

delegate, Delegate, Action<T> and Func<T, T>

Мне кажется, это каким-то образом должно быть допустимо. Я пытаюсь реализовать свою собственную EventQueue.

Я закончил тем, что делал это [примитивное приближение, заметьте].

internal delegate void DWork();

class EventQueue {
    private Queue<DWork> eventq;
}

Но тогда я теряю возможность повторно использовать одно и то же определение для разных типов функций.

Мысли

Answer 1

Ряд классов недоступен в качестве общих ограничений - Enum является другим.

Для делегатов самое близкое, что вы можете получить, это ": class", возможно, с помощью отражения, чтобы проверить (например, в статическом конструкторе), что T является делегатом:

static GenericCollection()
{
    if (!typeof(T).IsSubclassOf(typeof(Delegate)))
    {
        throw new InvalidOperationException(typeof(T).Name + " is not a delegate type");
    }
}

Answer 2

Редактировать: Некоторые предлагаемые обходные пути предлагаются в этих статьях:

http://jacobcarpenters.blogspot.com/2006/06/c-30-and-delegate-conversion.html

http://jacobcarpenters.blogspot.com/2006_11_01_archive.html

---

Из спецификации C # 2.0 мы можем прочитать (20.7, Ограничения):

Ограничение типа класса должно удовлетворять следующим правилам:

• Тип должен быть типом класса.
• Тип не должен быть запечатан.
• Тип не должен быть одним из следующих типов: System.Array, System.Delegate, System.Enum или System.ValueType .
• Тип не должен быть объектом. Поскольку все типы являются производными от объекта, такое ограничение не будет иметь эффекта, если оно будет разрешено.
• Не более одного ограничения для данного параметра типа может быть типом класса.

И, конечно же, VS2008 выдает ошибку:

error CS0702: Constraint cannot be special class 'System.Delegate'

Информацию и исследование по этому вопросу читайте здесь .

Answer 3

Если вы хотите взять зависимость времени компиляции от IL Weaver, вы можете сделать это с помощью Fody .

Использование этого дополнения к Fody https://github.com/Fody/ExtraConstraints

Ваш код может выглядеть следующим образом

public class Sample
{
    public void MethodWithDelegateConstraint<[DelegateConstraint] T> ()
    {        
    }
    public void MethodWithEnumConstraint<[EnumConstraint] T>()
    {
    }
} 

И скомпилируйте в это

public class Sample
{
    public void MethodWithDelegateConstraint<T>() where T: Delegate
    {
    }

    public void MethodWithEnumConstraint<T>() where T: struct, Enum
    {
    }
}

Answer 4

Да, это возможно в C # 7.3, семейство ограничений увеличено и теперь включает типы Enum, Delegate и unmanaged Вы можете написать этот код без проблем:

void M<D, E, T>(D d, E e, T* t) where D : Delegate where E : Enum where T : unmanaged
    {

    }

Полезные ссылки:

Будущее C # , от Microsoft Build 2018

Что нового в C # 7.3?

Answer 5

Я столкнулся с ситуацией, когда мне нужно было иметь дело с Delegate внутренне, но я хотел универсальное ограничение. В частности, я хотел добавить обработчик событий, используя отражение, но я хотел использовать общий аргумент для делегата. Приведенный ниже код НЕ работает, поскольку «Обработчик» является переменной типа, и компилятор не приведёт Handler к Delegate:

public void AddHandler<Handler>(Control c, string eventName, Handler d) {
  c.GetType().GetEvent(eventName).AddEventHandler(c, (Delegate) d);
}

Однако вы можете передать функцию, которая сделает преобразование за вас. convert принимает аргумент Handler и возвращает Delegate:

public void AddHandler<Handler>(Control c, string eventName, 
                  Func<Delegate, Handler> convert, Handler d) {
      c.GetType().GetEvent(eventName).AddEventHandler(c, convert(d));
}

Теперь компилятор счастлив. Вызвать метод легко. Например, присоединение к событию KeyPress в элементе управления Windows Forms:

AddHandler<KeyEventHandler>(someControl, 
           "KeyPress", 
           (h) => (KeyEventHandler) h,
           SomeControl_KeyPress);

, где SomeControl_KeyPress - цель события. Ключ - лямбда-конвертер - он не работает, но убеждает компилятора, что вы дали ему действительный делегат.

(Начало 280Z28) @ Джастин: Почему бы не использовать это?

public void AddHandler<Handler>(Control c, string eventName, Handler d) { 
  c.GetType().GetEvent(eventName).AddEventHandler(c, d as Delegate); 
} 

(конец 280Z28)

Answer 6

Делегат уже поддерживает цепочку. Разве это не отвечает вашим потребностям?

public class EventQueueTests
{
    public void Test1()
    {
        Action myAction = () => Console.WriteLine("foo");
        myAction += () => Console.WriteLine("bar");

        myAction();
        //foo
        //bar
    }

    public void Test2()
    {
        Action<int> myAction = x => Console.WriteLine("foo {0}", x);
        myAction += x => Console.WriteLine("bar {0}", x);
        myAction(3);
        //foo 3
        //bar 3
    }

    public void Test3()
    {
        Func<int, int> myFunc = x => { Console.WriteLine("foo {0}", x); return x + 2; };
        myFunc += x => { Console.WriteLine("bar {0}", x); return x + 1; };
        int y = myFunc(3);
        Console.WriteLine(y);

        //foo 3
        //bar 3
        //4
    }

    public void Test4()
    {
        Func<int, int> myFunc = x => { Console.WriteLine("foo {0}", x); return x + 2; };
        Func<int, int> myNextFunc = x => { x = myFunc(x);  Console.WriteLine("bar {0}", x); return x + 1; };
        int y = myNextFunc(3);
        Console.WriteLine(y);

        //foo 3
        //bar 5
        //6
    }

}

Answer 7

Как упомянуто выше, вы не можете использовать Делегаты и Enum в качестве общего ограничения. System.Object и System.ValueType также нельзя использовать в качестве общего ограничения.

Обходной путь может быть, если вы создадите соответствующий вызов в вашем IL. Это будет работать нормально.

Вот хороший пример Джона Скита.

http://code.google.com/p/unconstrained-melody/

Я взял свои ссылки из книги Джона Скита C # in Depth , 3-е издание.

Answer 8

Согласно MSDN

Ошибка компилятора CS0702

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

• System.Object
• System.Array
• System.Delegate
• System.Enum
• System.ValueType.