Как правильно реализовать рекурсивную функцию в 1С и избежать ошибок с возвращаемым значением?

← На главную

При работе с иерархическими структурами данных в 1С, такими как справочники, деревья значений или цепочки бизнес-процессов, рекурсивные функции часто оказываются мощным и элегантным инструментом. Однако их некорректная реализация может привести к неожиданному поведению, ошибкам или неверным результатам. Чтобы писать качественный код, важно соблюдать стандарты и методики разработки конфигураций 1С. В этой статье мы подробно рассмотрим типичные ошибки при написании рекурсивных функций в 1С, выясним, почему точка останова может срабатывать многократно, и предоставим несколько вариантов правильной реализации.

Анализ исходной проблемы: почему функция возвращает неверное значение или «Неопределено»

Давайте начнем с анализа ситуации, описанной автором темы. Изначально функция предназначалась для поиска "ГлавногоПроцесса" (корневого бизнес-процесса) по текущему процессу. Представим, что у нас есть цепочка процессов: ДочернийПроцесс -> РодительскийПроцесс -> ... -> ГлавныйПроцесс. Наша задача — подняться по этой цепочке до самого верха. Выявить подобные логические нестыковки на ранних этапах помогает статический анализатор кода проектов.

Первый вариант кода, предложенный автором, выглядел так:


Функция ПолучитьГП(БизнесПроцесс) Экспорт
    Запрос = ... // Запрос, находящий родительский процесс для БизнесПроцесс
    РезультатЗапроса = Запрос.Выполнить();
    Если не РезультатЗапроса.Пустой() Тогда
        Выборка = Запрос.Выполнить().Выбрать();
        Выборка.Следующий();
        БизнесПроцесс = Выборка.ГП;    
        ПолучитьГП(БизнесПроцесс); // Рекурсивный вызов без присвоения результата
    КонецЕсли;       
    Возврат БизнесПроцесс;
КонецФункции

Проанализируем этот код и выявим основные недочеты:

Неправильная обработка возвращаемого значения рекурсивного вызова. В строке ПолучитьГП(БизнесПроцесс); мы вызываем функцию рекурсивно, но не присваиваем ее результат никакой переменной. Это означает, что после выполнения вложенного вызова функции, ее результат просто игнорируется. Текущий вызов функции продолжает работать, и в итоге возвращает значение локальной переменной БизнесПроцесс, которое было присвоено в строке БизнесПроцесс = Выборка.ГП;, а не финальный ГлавныйПроцесс из самого глубокого рекурсивного вызова.
Потенциальное дублирование выполнения запроса. В строках РезультатЗапроса = Запрос.Выполнить(); и Выборка = Запрос.Выполнить().Выбрать(); запрос выполняется дважды. Это не является критической ошибкой, но неэффективно. Достаточно выполнить запрос один раз и затем использовать его результат: Выборка = РезультатЗапроса.Выбрать();

Автор справедливо отметил, что без присвоения БизнесПроцесс = Выборка.ГП; функция возвращала первоначальное значение. При работе со сложными системами полезно проводить регулярный анализ конфигураций на наличие ошибок, связанных с вызовами экспортных функций, чтобы исключить подобные ситуации в общих модулях.

Почему точка останова срабатывает многократно при отладке рекурсии?

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

Стек вызовов. Каждый раз, когда функция вызывает саму себя (или любую другую функцию), создается новый экземпляр этой функции со своими локальными переменными, и информация о текущем состоянии выполнения (адрес возврата) помещается в так называемый "стек вызовов".
Завершение каждого вызова. Рекурсия работает по принципу "сначала идем вглубь, затем возвращаемся назад". Когда самый глубокий рекурсивный вызов достигает базового условия и возвращает значение, он "снимается" из стека вызовов. Затем управление передается предыдущему вызову, который также завершает свою работу и возвращает значение, и так до самого первого вызова.
Множественные возвраты. Поскольку каждый из этих вложенных вызовов должен в итоге завершиться и вернуть управление вызвавшей его функции, строка КонецФункции (или любой оператор Возврат) будет достигнута столько раз, сколько было рекурсивных вызовов. Это естественный процесс "раскрутки" стека вызовов.

Поэтому, если ваша функция вызывается рекурсивно 5 раз, точка останова на КонецФункции сработает 5 раз. Если вам приходится часто отлаживать сложные цепочки, может пригодиться специальный помощник отладки, который автоматизирует рутинные действия в среде разработки.

Исправление рекурсивной функции: правильный возврат значения

Во втором варианте кода (сообщение 12) автор внес важные изменения, пытаясь исправить проблему:


Функция ПолучитьГлавныйПроцесс(БизнесПроцесс) Экспорт
    ГоловнойБизнесПроцесс = БизнесПроцесс;    
    Запрос = Новый Запрос ("ВЫБРАТЬ
    |    ДочерниеБизнесПроцессы.РодительскийПроцесс КАК ГоловнойБизнесПроцесс
    |ИЗ
    |    РегистрСведений.ДочерниеБизнесПроцессы КАК ДочерниеБизнесПроцессы
    |ГДЕ
    |    ДочерниеБизнесПроцессы.ДочернийПроцесс = &ДочернийПроцесс"); 
    Запрос.УстановитьПараметр("ДочернийПроцесс",БизнесПроцесс); 
    РезультатЗапроса    =  Запрос.Выполнить();
    Если не РезультатЗапроса.Пустой() Тогда
        Выборка    = Запрос.Выполнить().Выбрать();
        Выборка.Следующий();    
        ГоловнойБизнесПроцесс=ПолучитьГлавныйПроцесс(Выборка.ГоловнойБизнесПроцесс);
    Иначе
        Возврат  ГоловнойБизнесПроцесс;
    КонецЕсли;        
КонецФункции

Однако и этот вариант не полностью корректен. Автор сообщил, что функция по-прежнему возвращает Неопределено, несмотря на попытку присвоить результат рекурсивного вызова. Давайте проанализируем, почему это происходит.

Неполный возврат. В блоке Если не РезультатЗапроса.Пустой() Тогда мы вызываем рекурсивную функцию и присваиваем ее результат переменной ГоловнойБизнесПроцесс. Однако после этого присвоения, функция просто достигает КонецЕсли; и затем КонецФункции. В этом случае, если нет явного оператора Возврат, функция в 1С неявно возвращает Неопределено.

Чтобы функция работала правильно, каждый путь выполнения функции, который должен вернуть значение, должен завершаться оператором Возврат. Исправим код следующим образом:


Функция ПолучитьГлавныйПроцесс(БизнесПроцесс) Экспорт

    // Создаем новый запрос для поиска родительского процесса
    Запрос = Новый Запрос ("ВЫБРАТЬ
    |    ДочерниеБизнесПроцессы.РодительскийПроцесс КАК ГоловнойБизнесПроцесс
    |ИЗ
    |    РегистрСведений.ДочерниеБизнесПроцессы КАК ДочерниеБизнесПроцессы
    |ГДЕ
    |    ДочерниеБизнесПроцессы.ДочернийПроцесс = &ДочернийПроцесс"); 
    
    // Устанавливаем параметр запроса - текущий бизнес-процесс
    Запрос.УстановитьПараметр("ДочернийПроцесс", БизнесПроцесс); 
    
    // Выполняем запрос
    РезультатЗапроса = Запрос.Выполнить();
    
    // Проверяем, найден ли родительский процесс
    Если не РезультатЗапроса.Пустой() Тогда
        Выборка = РезультатЗапроса.Выбрать(); 
        Выборка.Следующий();    
        
        // Рекурсивно вызываем функцию для найденного родителя
        // и сразу же возвращаем результат этого рекурсивного вызова.
        Возврат ПолучитьГлавныйПроцесс(Выборка.ГоловнойБизнесПроцесс);
    Иначе
        // Базовый случай рекурсии
        Возврат БизнесПроцесс;
    КонецЕсли;        

КонецФункции

В этом исправленном варианте мы видим, что каждый путь выполнения явно возвращает значение. Это обеспечивает корректную "раскрутку" стека вызовов. Для визуализации сложных иерархий и связей между объектами можно использовать автоматический анализ метаданных и рекурсивный граф зависимостей.

Альтернативные и более эффективные способы получения корневого процесса

Хотя рекурсия является мощным инструментом, иногда существуют более простые и производительные решения, особенно для задач типа "подняться вверх по иерархии". Рассмотрим их.

Итеративный подход (цикл «Пока»)

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

Если у вашего бизнес-процесса есть прямое свойство, указывающее на родительский процесс, то решение становится очень простым:


Функция ПолучитьГлавныйПроцессИтеративно(Знач БизнесПроцесс) Экспорт
    Перем ТекущийБизнесПроцесс;
    ТекущийБизнесПроцесс = БизнесПроцесс;

    Пока НЕ ТекущийБизнесПроцесс.РодительскийПроцесс.Пустая() Цикл
        ТекущийБизнесПроцесс = ТекущийБизнесПроцесс.РодительскийПроцесс;
    КонецЦикла;
    
    Возврат ТекущийБизнесПроцесс;
КонецФункции

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

Краткая рекурсивная функция с тернарным оператором (для свойств объектов)

Если у вас есть прямое свойство РодительскийПроцесс, то рекурсивную функцию можно написать очень лаконично:


Функция ПолучитьГлавныйПроцессТернарный(Знач БизнесПроцесс) Экспорт
    Возврат ?(БизнесПроцесс.РодительскийПроцесс.Пустая(), БизнесПроцесс, ПолучитьГлавныйПроцессТернарный(БизнесПроцесс.РодительскийПроцесс));
КонецФункции

Основные принципы правильной работы с рекурсией в 1С

Базовый случай (условие выхода). Каждая рекурсивная функция должна иметь четко определенное условие, при котором она перестает вызывать сама себя.
Возврат значения. Убедитесь, что каждый путь выполнения явно возвращает нужное значение.
Изменение параметров. В каждом рекурсивном вызове параметры должны приближать выполнение к базовому случаю.
Передача параметров по значению (Знач). Использование ключевого слова Знач позволяет работать с копией параметра, предотвращая нежелательные побочные эффекты.
Особенности отладки. Используйте окно "Стек вызовов" в отладчике для понимания текущего уровня вложенности.
Производительность и ограничения. Для очень глубоких иерархий итеративные подходы могут быть более безопасными.

Заключение

Правильная реализация рекурсивных функций в 1С требует глубокого понимания их принципов работы, особенно механизмов стека вызовов и корректной обработки возвращаемых значений. Мы рассмотрели, как исправить распространенные ошибки и предложили несколько вариантов решения задачи по поиску корневого элемента. Всегда анализируйте особенности вашей задачи и глубину иерархии при выборе между рекурсией и итерацией, чтобы обеспечить оптимальную производительность и надежность кода.