GameCodi Study Team

lambda-declarator 는

의 형식으로 작성되고,
이 중에서 (파라미터 선언 절) 외의 부분들은 필요에 따라 적어주면 되는 부분들입니다.
lambda-declarator 에 포함된 사항들은 C++ lambda 의 새롭게 추가된 사항이 아닌 기존 C++ 에 이미 정의된 사항들 이므로 자세한 내용은 생략 하겠습니다.

간단한 예시 코드,
이 람다식이 포함하는 closure object 는 ecode 변수를 copy 로 capture 합니다.
mutable 키워드는 capture 를 compound-statement 내에서 수정 가능함을 나타내고,
뒤따라오는 throw(int) 는 int type 의 예외를 던진다는 것을 알립니다. ->int 는 compound-statement 의
리턴 타입이 int 형임을 지정합니다.

[=](char const *s) throw(int) ->int ...  와 같이 mutable 키워드를 지정하지 않는 경우
closure 에서 public 으로 선언(정의)되는 function call operator 는 기본 const 입니다.

다시 capture 관련 이야기로 돌아가서...

local-lambda expression

block scope 바로 아래 범위에 닿아 있는 람다 표현식을 local lambda expression 이라고 합니다.
local lambda expression 의 영향 범위는 자신의 한겹 위쪽 블럭과 아래쪽으로 포함되는 영역 입니다.
(함수와 함수의 파라미터를 포함해서..)
이 유효 범위 사이에는 또다른 람다 표현식이 끼어들 수도 있습니다.


위 코드에서 람다 표현식의 범위는 PrintPoint 함수의 블럭과 표현식이 포함하고 있는 출력 코드 부분입니다.
이 경우  name 은 local lambda expression 의 유효 범위 밖에 있기 때문에 에러가 납니다.
이 때에는 명시적으로 this 를 capture 하거나 PrintPoint 의 지역 변수로 const char* 하나를 선언해서
name 의 값을 받은 후 이것을 명시적으로 capture 하는 식으로 에러를 피할 수 있습니다.

lambda 표현식의 capture-list 에 대한 name look up 은 일반적인 unqualified name look up
(:: , std:: , boost::  등으로 특정 짓지 않은 entitiy 에 대한 name look up) 에 따릅니다. 
각각의 룩업은 local lambda expression 의 유효 범위 내에서 automatic storage duration 으로

선언된 변수를 찾습니다.

 

(참고. cl.exe 는 아직 implicitly capture 를 제대로 지원하지 못 하고 있습니다. )

람다 표현식이 capture-default 를 포함하고 표현식의 odr 사용이 this 나 automatic storage duration
변수 그리고 odr이 사용된 entity 가 명시적으로 캡처(explicitly capture)되지 않았다면,
odr이 사용된 entity 는 임시적으로 캡처(implicitly capture) 되었다고 합니다.

다음은 표준 문서에 나오는 implicitly capture 에 대한 예제 코드 입니다.
코드 작성과 테스트는 eclipse with g++4.6.2 로 했습니다.
이 코드를 컴파일하면 다음과 같은 에러를 보게 됩니다.


N 과 M 은 m1 에 의해서 implicitly capture 되었기 때문에 괜찮지만,
j 는 m3 에 의해서 캡처 되지 않았고 n 은 m4 에 의해서는 implicitly capture 되지만
m4 를 둘러싸고 있는 m3 가 n 을 캡처 하지 않았기 때문에 에러입니다.
그리고 i 는 유효범위 밖에 있으므로 역시 에러가 나고 있습니다.

다음과 같이 명시적으로 n, j 를 캡처하고 x += i; 를 주석 처리 하면
에러없이 컴파일 되는 것을 확인할 수 있습니다.

 

기본 인자로 lambda-expression 이 올 때, 어떤 entity 도 명시적이든 암시적이든 캡처할 수 없습니다.

이 부분은 개인적으로 그다지 중요한 부분은 아니라고 생각하는데,
아무튼 람다 표현식이 기본인자로 쓰일 경우 
처럼 상수식이 반환되는 경우는 ok 지만 어떤 것이든 캡처를 하는 경우는 에러입니다.
별다른 내용은 없습니다.

entity - captured by copy

entity 가 implicitly capture 되었고 capture default 가 '=' 이거나
entity 가 explicitly capture 되었고 '&' 를 포함하지 않으면,
이 entity 는 copy 로 캡처 되었다고 합니다.

by copy 로 capture 캡처된 entity 는 closure 의 non-static unnamed 데이터 멤버로 선언됩니다.
이 때, 선언되는 순서에 정해진 규칙은 없습니다. entity 가 객체나 그 밖의 타입에 대한 참조가
아닐 경우 이렇게 되며, int &p = value; 에서의 p 같은 참조 변수는 captured by copy 되지 않습니다.

entity - captured by reference 

명시적으로 또는 암시적으로 캡처되지만 copy 로 캡처되지 않는 entity 는 reference 로 캡처됩니다.

nested lambda expressions 에서 한 표현식을 다른 표현식이 바로 둘러 싸는 경우

표현식 m1이 m2 를 둘러 싸고 있다고 할 때,
m1 이 by copy 로 캡처한 entity 는 m1 의 closure 타입의 non-static data member 에 대응되는 것으로
m2 에 캡처됩니다. 그리고 m1 이 by reference 로 캡처한 entity 는 m1 이 캡처한 것과 동일한 entity 로
m2 가 캡처합니다.
이 코드의 결과 값은 다음과 같습니다.

 

람다 표현식에 대한 글은 여기서 이만 줄이겠습니다.
표준 문서에 몇 가지 추가적인 사항에 대한 설명이 나오므로 더 자세한 사항을 원하시는 분은
표준 명세를 찾아보시기 바랍니다.
 

lambda-introducer 는 lambda-capture 를 포함 할 수 있습니다.
[=, a, &b, c] 이런식으로요.
lambda-capture 는 capture-default 라는 놈과 capture-list 라는 놈이 있는데
하나만 사용할 수도 있고, 둘 다 사용할 수도 있습니다.
단, 둘 다 사용할 경우에는 capture-default 가 먼저와야 합니다.

그럼 lambda-capture 부터 살펴 보겠습니다.
lambda-default 는 =, & 이렇게 딱 두개가 존재하는데
capture 에 대한 기본 속성을 지정해 주는 역할을 합니다.

'&' 는 by-reference capture 라고 하고 
뒤이어 오는 capture-list 는 &로 시작하는 identifier 는 올 수 없습니다.

'=' 는 by-value capture 라고 하고
뒤이어 오는 capture-list 는 this 와 일반적인 identifier 는 올 수 없고, 
&로 시작하는 identifier 만 올 수 있습니다.

몇 가지 예를 들어 보겠습니다.

(1) by-value capture
이 람다식은 lambda-declarator 는 생략 되었고, 뒷 부분에 오는 () 는 function call operator 입니다.
아무튼 이 코드는 잘 동작하고 sum 의 값은 2로 계산되어 출력될 것입니다.

하지만 람다식 내에서 a,b,c 에 대해서 전위 연산을 하려 할 경우
다음과 같은 에러 메시지를 보게 되는데..


이것은 위의 람다식에서 closure 의 inline function call operator 가 const 로 지정되기 때문입니다.
필요한 경우 mutable 키워드를 붙여주면 람다식 내에서 a,b,c 에 대한 값 변경 가능해집니다.


아무튼 여기서 중요한 것은 a,b,c 는 value-capture 하였기 때문에
람다식 내에서 a, b, c 값을 수정 하더라도 a, b, c 의 값이 변경 되지 않는다는 것입니다.
수정값은 람다식 내에서만 유효합니다.

여기서 잠깐..
클로저(closure)의 개념에 대해 생소하시다면 잠시 클릭 -> 클로저 

람다 표현식이 closure 를 포함 하기 때문에 capture 시점의 상태를 저장할 수 있고
이를 통해서 앞서 잠시 언급했던 lazy evolution 이 가능해 집니다.
일단 상태만 저장하고 있다가 프로그램이 한가해지는 (적절한) 시점에서 값을 평가(계산)해서
프로그램의 부하가 분산되도록 유도하는 것이죠.

예를 들면 다음과 같이 배열의 초기값을 기억하고 있다가 나중에 계산이 필요한 시점에서
사용하는 식으로요.

12번 줄에서 float 배열 fa 의 값들은 value-capture 되어
std::function 을 통해서함수 바인딩되어 lst 에 저장됩니다.
그리고 중간에 fa 의 값이 마구 변경이 되더라도나중에 lst 에 저장 되었던
람다 표현식의 closure 의 function call operator 를 호출하게 되면
capture 당시 저장했던 값 그대로 이용하여 연산식을 수행하고 결과값을 출력해 줍니다. 

(2) by-reference capture
reference capture 를 하게 되면 value capture 와는 다르게 람다 표현식 내에서의 수정이
외부에도 동일하게 적용 됩니다. 일반적인 C++ 함수에서 파라미터를 reference 로 받는 것 같이요.

위에서 예를 들었던 코드를 by-reference capture 로 바꿔서
다음과 같이 사용하면..
이 람다 표현식에서는 fa 의 요소들을 reference 로 capture 하였기 때문에
출력값을 확인하면 모두 0.912945 가 나옵니다. 

만약 sin(f*2.f + 20.f) 에서 고정값인 20.f 대신에 외부에서 계속 변경되는 변수의 값을 적용되도록 하되
f 는 앞서 value-capture 에서 본 것처럼 초기값을 그대로 사용하고 싶다면 어떻게 하면 될까요?
default capture 로 by-reference capture 를 지정하고 capture-list 에 identifier f 를 적어주면 되겠죠.
계산식은 값 확인이 편하도록 단순하게 고쳤습니다.

결과값은 다음과 같이 나올 것입니다.


배열 fa 의 값은 capture 당시값 그대로를 유지하지만 p 의 값은 변경한대로 전달이 되었습니다.

짧게 쓰려고 했는데 글이 생각보다 길어지네요.
다음 글에서 이어서 적겠습니다.