캡처가 특히 C ++ 14에 추가 된 일반화 된 초기화 캡처에서 람다로 전달 될 때 생성되는 코드 코드를 이해 / 명확하게하려고합니다.
아래에 나열된 다음 코드 샘플을 제공하십시오. 이것은 컴파일러가 생성하는 내용에 대한 현재 이해입니다.
사례 1 : 값으로 캡처 / 값으로 기본 캡처
int x = 6;
auto lambda = [x]() { std::cout << x << std::endl; };다음과 같습니다.
class __some_compiler_generated_name {
public:
__some_compiler_generated_name(int x) : __x{x}{}
void operator()() const { std::cout << __x << std::endl;}
private:
int __x;
};따라서 여러 개의 사본이 있습니다. 하나는 생성자 매개 변수에 복사하고 다른 하나는 멤버에 복사하는 것입니다. 벡터와 같은 유형에는 비용이 많이 듭니다.
사례 2 : 참조로 캡처 / 참조로 기본 캡처
int x = 6;
auto lambda = [&x]() { std::cout << x << std::endl; };다음과 같습니다.
class __some_compiler_generated_name {
public:
__some_compiler_generated_name(int& x) : x_{x}{}
void operator()() const { std::cout << x << std::endl;}
private:
int& x_;
};매개 변수는 참조이고 멤버는 참조이므로 사본이 없습니다. 벡터 등의 유형에 적합
사례 3 :
일반화 된 초기화 캡처
auto lambda = [x = 33]() { std::cout << x << std::endl; };내 입장은 이것이 회원에게 복사된다는 점에서 사례 1과 유사합니다.
내 생각에 컴파일러는 다음과 유사한 코드를 생성합니다 ...
class __some_compiler_generated_name {
public:
__some_compiler_generated_name() : __x{33}{}
void operator()() const { std::cout << __x << std::endl;}
private:
int __x;
};또한 다음이있는 경우 :
auto l = [p = std::move(unique_ptr_var)]() {
// do something with unique_ptr_var
};생성자는 어떻게 생겼습니까? 멤버로 이동합니까?
1
@ rafix07이 경우 생성 된 통찰력 코드는 컴파일되지 않습니다 (인수에서 고유 한 ptr 멤버를 복사 초기화하려고 시도 함). cppinsights는 일반적인 요지를 얻는 데 유용하지만 여기 에서이 질문에 대답 할 수는 없습니다.
—
Max Langhof 2009 년
컴파일의 첫 단계로 람다를 펑터로 변환했다고 가정하는 것 같거나 동등한 코드 (예 : 동일한 동작)를 찾고 있습니까? 특정 컴파일러가 코드를 생성하는 방법 (및 생성하는 코드)은 컴파일러, 버전, 아키텍처, 플래그 등에 따라 다릅니다. 따라서 특정 플랫폼을 요구하고 있습니까? 그렇지 않은 경우 귀하의 질문에 대한 답변이 실제로 불가능합니다. 실제로 생성 된 코드 외에는 아마도 목록에있는 함수보다 더 효율적일 것입니다 (예 : 인라인 생성자, 불필요한 사본 방지 등).
—
Sander De Dycker
C ++ 표준에 대한 내용에 관심이 있다면 [expr.prim.lambda]를 참조하십시오 . 여기에 답으로 요약하기에는 너무 많습니다.
—
Sander De Dycker