Трудность в понимании пусть и использование лямбды на схеме

Question

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

(define (create-counter (x 1)) 
    (let ([count 0]) 
    (lambda() 
     (let ([temp count]) 
     (set! count (+ x count)) temp)))) 

, если я использую: однако

(let ((c (create-counter))) (+ (c) (c) (c) (c))) 

код работает, если я пытался с:

(+ (create-counter)(create-counter)(create-counter)(create-counter)) 

Это не работает и дает мне 0. Может кто-то, пожалуйста, помогите мне разобраться в этом полностью ? если возможно, пожалуйста, сравните с другим языком, как C/C++, мне будет легче поймать это. Спасибо

Answer 1

(define (create-counter (x 1)) 
(let ([count 0]) 
    (lambda() 
    (let ([temp count]) 
    (set! count (+ x count)) temp)))) 

Переводит на:

auto create_counter(int x=1){ 
    int count=0; 
    return [x,count]()mutable{ 
    int r=count; 
    count+=x; 
    return r; 
    }; 
} 

Простой C++ 14 функция, возвращающая объект закрытия.

Когда вы сделаете это:

(let ((c (create-counter))) (+ (c) (c) (c) (c))) 

Это:

auto c = create_counter(); 
auto r = c()+c()+c()+c(); 
return r; 

Это создает один счетчик, а затем запускает его в 4 раза, возвращая 0 1 2 3 и добавление 6.

В этом случае:

(+ ((create-counter))((create-counter))((create-counter))((create-counter))) 

Это:

auto r = create_counter()()+create_counter()()+create_counter()()+create_counter()(); 
return r; 

Который создает 4 счетчика и запускает их каждый раз. При первом запуске счетчика вы получаете 0. Таким образом, это добавляет 0.

Объект закрытия имеет состояние. Он возвращает большее число каждый раз, когда вы его вызываете.

Теперь вы, возможно, не знакомы с C++ 11/14 lamnda.

auto create_counter(int x=1){ 
    int count=0; 
    return [x,count]()mutable{ 
    int r=count; 
    count+=x; 
    return r; 
    }; 
} 

Является

struct counter { 
    int x,count; 
    int operator()(){ 
    int r=count; 
    count+=x; 
    return r; 
    }; 
}; 
counter create_counter(int x=1){ 
    return {x,0}; 
} 

с некоторыми синтаксическими.

Я исправил то, что кажется синтаксической ошибкой в ​​исходном коде. Я не эксперт, поэтому, возможно, я ошибся.

Как и в сторону, краток создать счетчик выглядит следующим образом:

auto create_counter(int x=1){ 
    return [=,count=0]()mutable{ 
    int r=count; 
    count+=x; 
    return r; 
    }; 
} 

Answer 2

Когда вы вызываете «create-counter», он создает счетчик, а затем возвращает процедуру, которая ссылается на этот конкретный счетчик. Когда вы вызываете «create-counter» четыре раза, вы создаете четыре отдельных счетчика; каждая процедура относится к собственному счетчику. Когда вы вызываете «create-counter» один раз, а затем результирующую процедуру четыре раза, он создает только один счетчик и увеличивает его четыре раза.

Сравнивать это с C очень сложно, поскольку C и C++ довольно слабы в области замыканий; вернуть функцию, определенную внутри другой функции, непросто.

Ближайшим аналогом может быть объект «counter» в C++; подумайте о «create-counter» в качестве конструктора для объекта, содержащего единственное целое число, и результирующую процедуру как метод «increment», который увеличивает счетчик, содержащийся в этом объекте. Во втором примере вы создаете четыре разных объекта, где в первом примере вы создаете один объект и четыре раза вызываете его метод «increment».