Может ли анонимный метод называть С#?

Ответ 1

Вы можете разбить его на два утверждения и использовать магию захваченных переменных для достижения эффекта рекурсии:

myDelegate build = null;
build = delegate(Object bj)
        {
           var letters= string.Empty;
           if (someCondition)
               return build(some_obj);                            
           else string.Empty;
        };

Ответ 2

Если вы создаете рекурсивную функцию, я бы рекомендовал избегать анонимных делегатов. Просто создайте метод и вызовите его рекурсивно.

Анонимные методы предназначены для анонимности - вы не должны называть их по имени (не анонимно).

Ответ 3

Анонимная рекурсия на С# имеет потрясающую дискуссию по этой теме.

Рекурсия прекрасна, а лямбды конечная абстракция. Но как можно они будут использоваться вместе? Лямбда анонимные функции и рекурсия требует имен...

Так как это появилось снова, вот пример использования Y-combinator:

// This is the combinator
public static Func<A,R> Y<A,R>( Func<Func<A,R>, Func<A,R>> f )
{
    Func<A,R> g = null;
    g = f( a => g(a) );
    return g;
}

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

Func<int,int> exp = Y<int,int>( e => x => ( x <=1 ) ? 1 : x * e( x - 1 ) );
Console.WriteLine( exp(5) );

Вы заметите, что если вы не используете Y-combinator и настроили рекурсию только с делегатом, вы не получите правильную рекурсию. Например...

// This is BAD. Do not do this!
Func<int,int> badRec = null;
badRec = x => ( x <= 1 ) ? 1 : x * badRec( x - 1 );

Но все отлично работает...

Console.WriteLine( badRec(5) );

// Output
// 120

Но попробуйте это...

Func<int,int> badRec = null;
badRec = x => ( x <= 1 ) ? 1 : x * badRec( x - 1 );

Func<int,int> badRecCopy = badRec;

badRec = x => x + 1;

Console.WriteLine( badRec(4) );
Console.WriteLine( badRecCopy(5) );

// Output
// 5
// 25

Что?!?

Вы видите, что после строки badRec = x => x + 1; у вас действительно есть делегат...

badRecCopy = x => ( x <= 1 ) ? 1 : x * ( (x+1)-1 );

Итак, badRec увеличивает значение на 1, которое мы ожидаем (4+1=5), но badRecCopy теперь фактически возвращает квадрат значения (5*( (5+1)-1 ), которого мы почти наверняка не ожидали.

Если вы используете Y-combinator, он будет работать как ожидалось...

Func<int,int> goodRec = Y<int,int>( exp => x => ( x <=1 ) ? 1 : x * exp( x - 1 ) );
Func<int,int> goodRecCopy = goodRec;

И вы получите то, что ожидаете.

goodRec = x => x + 1;

Console.WriteLine( goodRec(4) );
Console.WriteLine( goodRecCopy(5) );

// Output
// 5
// 120

Вы можете узнать больше о Y-combinator (PDF Link).

Ответ 4

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

Не то, чтобы я рекомендовал это (так как было бы намного проще создать реальный метод здесь, который является рекурсивным), но если вы заинтересованы, вы можете прочитать Анонимная рекурсия в С#:

Рекурсия прекрасна, а лямбды конечная абстракция. Но как можно они будут использоваться вместе? Лямбда анонимные функции и рекурсия требует имен.

Ответ 5

Если вы используете Y, ваша функция становится параметром самой функции, поэтому вы можете вызывать ее рекурсивно:

class myClass {
  private delegate string myDelegate(Object bj);
  protected void method() {
    myDelegate build = delegate(Object obj) {
      // f is the function itself, which is passed into the function
      return Functional.Y<Object, string>(f => bj => { 
        var letters = string.Empty;
        if (someCondition)
          return f(some_obj); // use f
        else return string.Empty;

      })(obj);
    };
  }
}

public static class Functional {
  public delegate Func<A, R> Recursive<A, R>(Recursive<A, R> r);
  public static Func<A, R> Y<A, R>(Func<Func<A, R>, Func<A, R>> f) {
    Recursive<A, R> rec = r => a => f(r(r))(a);
    return rec(rec);
  }
}

Ответ 6

Если вы добираетесь до точки рекурсивных анонимных методов, вы можете предложить ее обычным частным методом в своем классе.