Quando eu uso [=]para indicar que gostaria que todas as variáveis locais fossem capturadas por valor em um lambda, isso resultaria em todas as variáveis locais na função sendo copiadas ou apenas em todas as variáveis locais usadas pelo lambda ?
Então, por exemplo, se eu tiver:
vector<int> my_huge_vector(100000);
int my_measly_int;
some_function([=](int i){ return my_measly_int + i; });
O my_huge_vector será copiado, mesmo que eu não o use no lambda?
Respostas:
Cada variável expressamente nomeada na lista de captura é capturada. A captura padrão captura apenas variáveis que (a) não são expressamente nomeadas na lista de capturas e (b) usadas no corpo da expressão lambda. Se uma variável não for denominada expressamente e você não a usar na expressão lambda, a variável não será capturada. No seu exemplo, my_huge_vectornão é capturado.
Por C ++ 11 §5.1.2 [expr.prim.lambda] / 11:
Se uma expressão lambda tiver um padrão de captura associado e sua instrução composta odr-uses
thisou uma variável com duração automática de armazenamento e a entidade odr-used não for explicitamente capturada, então a entidade odr-used é capturada implicitamente.
Sua expressão lambda tem um padrão de captura associado: por padrão, você captura variáveis por valor usando o [=].
Se e somente se uma variável for usada (no sentido da Regra de Uma Definição do termo "usado") é uma variável capturada implicitamente. Como você não usa my_huge_vectorno corpo (a "declaração composta") da expressão lambda, ela não é capturada implicitamente.
Para continuar com §5.1.2 / 14
Uma entidade é capturada por cópia se
- é capturado implicitamente e o padrão de captura é
=ou se- é explicitamente capturado com uma captura que não inclui um
&.
Como o seu my_huge_vectornão é capturado implicitamente e não é explicitamente capturado, ele não é capturado, por cópia ou por referência.
Não, my_huge_vectornão será capturado. [=]significa que todas as variáveis usadas são capturadas no lambda.
void f() { const int size(10); [] { int x[size]; }; }. Aqui, sizenão é capturado, mas tudo bem, porque não é usado no sentido de ODR. (O Visual C ++ 2010 não aceita esse código, seja porque as especificações foram alteradas após o lançamento do VC10 ou devido a um bug, presumivelmente isso será corrigido em uma versão futura; o g ++ 4.5.1 o aceita.)
constcoisas não sofrem mutação. a menos que seja uma flag de otimização super agressiva ou OX.