Diferencia entre C++ 0x lambdas y operador(), cierre y functor

Question

Estoy seguro de obtener la esencia general de las construcciones, pero no puedo ver el propósito de ellas en C++. He leído las publicaciones anteriores sobre el tema aquí en SO y en otros lugares, pero no veo por qué deberían ser una nueva función de idioma.

Las cosas que me gustaría responder es thusly

• ¿Cuál es la diferencia entre un lambda y un argumento de plantilla aceptar una función/funtor.

• ¿Es un cierre solo un funtor con algún estado de objeto establecido (scope?)?

• ¿Cuál es la "aplicación asesina" para estos constructos? o tal vez el caso de uso típico?

Answer 1

Las lambdas son en realidad solo azúcar sintáctica para un functor. Puede hacerlo todo usted mismo: definir una nueva clase, hacer que las variables miembro contengan los valores capturados y las referencias, conectarlos al constructor, escribir operator()() y, finalmente, crear una instancia y pasarla. O podrías usar una lambda que tenga 1/10 de código y funcione de la misma manera.

Las lambdas que no se capturan se pueden convertir a indicadores de función. Todas las lambdas se pueden convertir a std::function, u obtener su propio tipo único que funciona bien en algoritmos de plantillas que aceptan un funtor.

Answer 2

Ok, en realidad estás haciendo un montón de preguntas diferentes, posiblemente porque no estás completamente familiarizado con la terminología. Intentaré responder a todos.

¿Cuál es la diferencia entre un lambda y "operator()"? - Cambiemos esto a "¿Cuál es la diferencia entre un lambda y un objeto con operator()?"

Básicamente, nada. La principal diferencia es que una expresión lambda crea un objeto funcional, mientras que un objeto con un operador() ES un objeto funcional. El resultado final es lo suficientemente similar como para considerar lo mismo, una entidad que puede invocarse con la sintaxis (params).

¿Cuál es la diferencia entre un cierre y un functor? Esto también es bastante confuso. Por favor revise este enlace:

http://en.wikipedia.org/wiki/Closure_(computer_programming) http://en.wikipedia.org/wiki/Closure_(computer_programming)#C.2B.2B

Por lo tanto, como se puede ver, el cierre es una especie de "funtor" que se define dentro de un alcance tal que absorbe las variables disponibles para que dentro de ese ámbito . En otras palabras, es una función que se construye sobre la marcha, durante el funcionamiento del programa y ese proceso de construcción se parametriza mediante los valores de tiempo de ejecución del ámbito que lo contiene. Entonces, en C++ los cierres son lambdas que usan valores dentro de la función que construye el lambda.

¿Cuál es la diferencia entre un argumento lambda y una plantilla que acepta una función/functor? - Esto está nuevamente confundido. La diferencia es que no son nada iguales, realmente. Un "argumento" de plantilla que acepta una función/functor ya es una redacción confusa, así que supondré por "argumento" que quiere decir "función", porque los argumentos no aceptan nada. En este caso, aunque un lambda puede aceptar un functor como argumento, no puede ser templado, uno. Dos, generalmente el lambda es el que se pasa como argumento para una función que acepta un argumento de functor.

¿Es un cierre solo un funtor con algún estado de objeto establecido (scope?)?

Como puede ver en el enlace de arriba, no. De hecho, un cierre ni siquiera tiene estado, realmente. Se construye un cierre basado en el estado de alguna otra entidad que lo construyó, dentro de ese functor aunque este no es estado, es la construcción misma del objeto.

¿Cuál es la "aplicación asesina" para estos constructos? o tal vez el caso de uso típico?

Voy a volver a escribir que, "¿Por qué estas cosas son útiles?"

Bueno, en general, la capacidad de tratar cualquier objeto como una función si tiene operador() es extremadamente útil para una gran variedad de cosas. Por un lado, nos permite extender el comportamiento de cualquier algoritmo stdlib mediante el uso de objetos o funciones gratuitas. Es imposible resumir la gran cantidad de utilidades que tiene.

Más específicamente hablando de expresiones lambda, simplemente hacen que este proceso sea aún más fácil. Las limitaciones impuestas por las definiciones de objeto hicieron que el proceso de usar algoritmos stdlib fuera ligeramente ineficiente en algunos casos (desde una perspectiva de uso de desarrollo, no de eficiencia de programa). Por un lado, en ese momento, al menos, cualquier objeto pasado como parámetro a una plantilla tenía que definirse externamente. Creo que eso también está cambiando, pero aún así ... tener que crear objetos enteros solo para realizar cosas básicas, que solo se usan en un solo lugar, es inconveniente. Las expresiones Lambda permiten que la definición sea bastante fácil, dentro del ámbito del lugar donde se usa, etc., etc.