Общий делегат

Question

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

delegate T SomeDelegate(T param)<T>; 

Как я мог достичь этого?

Answer 1

Вы должны поставить <T> между делегатом Именем и открывающей скобкой: delegate T SomeDelegate<T>(T param);. После закрытия скобки вы можете только сказать, какой тип T должен быть, чтобы быть уверенным, что типы пройдены. Например:

delegate T SomeDelegate<T>(T param) where T : IDisposable; 

Часто это необходимо, чтобы быть уверенным, что Т наследуется Disposable. Таким образом, вы позже можете отличить T как IDposposable и вызвать некоторый метод интерфейса.

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

Answer 2

Параметр типа должен быть объявлен между методом/именем делегата и регулярным списком параметров:

delegate T SomeDelegate<T>(T param);