Рекурсивные функции с постоянными параметрами

Question

В C++ существует ли предпочтительный способ работы с рекурсивной функцией, которая каждый раз повторно использует неизменный объект? Например (псевдо-код):

void func(HashMap h, Logger logger, int depth) 
{ 
    // Do stuff then call func recursively... 
    func(h, logger, depth+1); 
} 

Так каждый звонок мы переходим в нескольких объектов (хэш-карты и регистратора) без изменений. Да, мы можем пройти по ссылке, но она все еще кажется неэффективной и выглядит не очень красивой. Единственная альтернатива, о которой я могу думать, это глобальные переменные или объединение константных параметров в структуре.

Answer 1

Это совершенно чистый код, который точно отражает то, что происходит. Конечно, в C++ вы должны передать HashMap и Logger в качестве ссылки на const.

С точки зрения производительности, однако, возможно, было бы лучше сделать эти две переменные класса объектов. Но это может затруднить понимание кода, поэтому просто сделайте это, если у вас действительно есть проблема с производительностью.

Кстати, что делает функция, если она не изменяет HashMap и возвращает void?

Answer 2

То, что вы описываете, является закрытой лексической средой, иначе называемой «закрытием». Эта концепция существует «бесплатно» в динамических языках, таких как Lisp и Scheme, где шаблон «let lambda» позволяет вам захватывать переменные в функции и использовать их, даже несмотря на то, что их охватывающая область исчезла или вышла.

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

struct my_closure { 
    Hashmap &hmap_; 
    Logger &logger_; 
    int depth_; 

    my_closure(Hashmap &hmap, Logger &logger, int depth) : 
    hmap_(hmap), logger_(logger), depth_(depth) 
    { } 

    void operator()(void) 
    { /* do stuff here, including recurse */ } 
}; 

Единственное, это сэкономит вам толкает дополнительный материал в стеке, который не обязательно спасет вас много с точки зрения циклов (1 struct reference [ указатель на структуру] и 2 ссылки + 1 целое.) Если ваш компилятор поддерживает хвостовую рекурсию, это может быть полезно за счет удобочитаемости.