¿Hay alguna diferencia entre [& foo] {...} captura y [foo] {...} captura si 'foo' es una variable de referencia?

Question

Para foo declarado como Foo& foo = ...;, ¿hay alguna diferencia entre la captura por valor y la semántica de captura por referencia para lambdas?

Answer 1

Sí, hay una diferencia.

§5.1.2 [expr.prim.lambda] p14

Una entidad es capturado por copia si es capturado de forma implícita y la captura de -default es = o si se captura de forma explícita con una captura que no incluye un &. Para cada entidad capturada por copia, se declara un miembro de datos no estático no identificado en el tipo de cierre. El orden de declaración de estos miembros no está especificado. El tipo de dicho miembro de datos es el tipo de la entidad capturada correspondiente si la entidad no es una referencia a un objeto, o el tipo de referencia en caso contrario.

Por lo tanto, si captura un identificador que nombra una referencia por valor, obtiene una copia del objeto al que se hace referencia.

Answer 2

Creo que ha caído en un error común ... las referencias son alias a objetos reales. Después de la inicialización, cualquier uso de la referencia es exactamente equivalente a un uso del objeto original. Si considera esto, la pregunta tiene poco sentido. Si la referencia es el objeto, entonces el comportamiento de [foo](){} será exactamente igual independientemente de si foo es un objeto o una referencia al objeto.