Блог

Я пытаюсь написать метод для возврата экземпляра самого себя. Псевдокод является

 Func<T,Func<T>> MyFunc<T>(T input)
{
    //do some work with input
    return MyFunc;
}
  

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

  which takes T as parameter, then returns a function 
 which takes T as parameter, then returns a function 
 which takes T as parameter, then returns a function

   ...recursive definition
  

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

Вы можете сделать это следующим образом:

 delegate F<T> F<T>(T obj);

F<T> MyFunc<T>(T obj)
{
    return MyFunc;
}
  

Но это в значительной степени бесполезно. Единственное, что вы действительно можете сделать, это что-то вроде этого, что странно:

 void Main()
{
    MyFunc(1)(2)(3)(4);
}

delegate F<T> F<T>(T obj);

F<T> MyFunc<T>(T obj)
{
    Console.WriteLine(obj);
    return MyFunc;
}
  

Другой способ сделать это — создать комбинатор. Проще простого, но вы не можете сделать это с помощью generics из-за этого бесконечного регресса. Вы должны объявить это напрямую:

 delegate D D(D d);
  

То есть D — это делегат, который принимает D и возвращает D.

 static D MyCombinator(D d)
{
    return MyCombinator;
}
  

Еще несколько мыслей о комбинаторах в C # здесь:

http://blogs.msdn.com/b/ericlippert/archive/2006/06/23/standard-generic-delegate-types-part-two.aspx

Это очень похоже на итератор. Если вы можете реорганизовать свой код, чтобы он был чем-то вроде:

 IEnumerator<P> GetEnumerator<T,P>(T input)
{
  while(<some condition>)
  {
     // do some work with input
     yield return results; 
  }
}
  

Где T ваш тип ввода и P ваш тип результата. Не идентично, но это должно выполнить работу.

Редактировать: Если вместо этого вы хотите свободный интерфейс, шаблон в значительной степени установлен в камне: вы создаете нестатический класс и возвращаете его из каждой функции (которая не является статической), которую вы вызываете. Нестатическая версия статического класса называется singleton, и вы можете использовать ее для этого шаблона.

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

 object MyFunc<T>(T input)
{
    Func<T, object> returnValue = MyFunc;
    return returnValue;
}
  

Как вы сказали, вы не можете заставить метод возвращать a Func поскольку это означало бы, что возвращаемый тип этого делегата должен быть a, Func который возвращает a, Func который возвращает a Func и т.д…

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

Редактировать: ответ Поргеса лучше…