Динамически построить функцию, которая будет комбинацией заранее известных функций

18.09.2012, 21:14. **Показов** 569. **Ответов** 1

Студворк — интернет-сервис помощи студентам

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

C#

            Func<int, int> f = (x) => x;
            List<Func<int, int>> Flist = new List<Func<int, int>>();
            Flist.Add(x => f(x)*2);
            for (int i = 1; i < 4; i++)
            {
                Flist.Add(x => Flist[i-1](x)*2);
            }
            if (Flist[1].Equals(Flist[2]))
            {
                //ПОЧЕМУ МЫ СЮДА ПОПАДАЕМ?
            }

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

C#

            Func<int, int> f = (x) => x; // создаем делегат, ок
            List<Func<int, int>> Flist = new List<Func<int, int>>();
            Flist.Add(x =>  f(x) * 2); //ссылаемся на делегат выше, никакой рекурсии
            Flist.Add(x => Flist[1](x)*2);
            Flist.Add(x => Flist[2](x)*2);
            Flist.Add(x => Flist[3](x)*2); //по идее должен вызвать предыдущий метод, тот еще предыдущий и так до базового
            int a = Flist[3](2); //вот здесь он выдает ошибку переполнения стека оО

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

@turbanoff · 18.09.2012, 21:25

В первом случае - лямбды не простые, они захватывают локальную переменную i. замыкания
Функции которые вы добавляете в List не вычисляются же сразу и не фиксируются. Они вычисляются только при вызове.
То есть для компилятора не важно какое значение имеет i при объявлении, важно только то какое оно имеет при вызове самой функции. Отсюда он может сделать вывод, что все они - на самом деле одна и та же лямбда.

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

@turbanoff 4088 / 3822 / 745 Регистрация: 18.05.2010 Сообщений: 9,331 Записей в блоге: 11
	18.09.2012, 21:25	2
	В первом случае - лямбды не простые, они захватывают локальную переменную i. замыкания Функции которые вы добавляете в List не вычисляются же сразу и не фиксируются. Они вычисляются только при вызове. То есть для компилятора не важно какое значение имеет i при объявлении, важно только то какое оно имеет при вызове самой функции. Отсюда он может сделать вывод, что все они - на самом деле одна и та же лямбда. Во втором вы просто ошиблись с индексацией в списке. Она начинается с нуля, отсюда и рекурсия. 1

Опции темы