En programación de computadoras , una función pura es una función que tiene las siguientes propiedades: [1] [2]
Los siguientes ejemplos de funciones de C++ son puros:
floor, devolviendo el piso de un número;max, devolviendo el máximo de dos valores.void f () { static std :: atómico < unsigned int > x = 0 ; ++ x ; } xsolo se puede observar dentro de otras invocaciones de f()y, como f()no comunica el valor de xa su entorno, es indistinguible de una función void f() {}que no hace nada. Tenga en cuenta que esto xes std::atomicpara que las modificaciones de varios subprocesos que se ejecutan f()simultáneamente no den como resultado una carrera de datos , que tiene un comportamiento indefinido en C y C++.Las siguientes funciones de C++ son impuras ya que carecen de la propiedad 1 anterior:
int f () { estático int x = 0 ; ++ x ; devolver x ; } intf ( ) { retorno x ; } sin()no es pura, ya que su resultado depende del modo de redondeo IEEE que se puede cambiar en tiempo de ejecución.intf ( int * x ) { retorno * x ; } int f () { int x = 0 ; estándar :: cin >> x ; devolver x ; } Las siguientes funciones de C++ son impuras ya que carecen de la propiedad 2 anterior:
vacío f () { estático int x = 0 ; ++ x ; } vacío f () { ++ x ; } vacío f ( int * x ) { ++* x ; } void f () { std :: cout << "¡Hola mundo!" << std :: endl ; } Las siguientes funciones de C++ son impuras ya que carecen de las propiedades 1 y 2 anteriores:
int f () { estático int x = 0 ; ++ x ; devolver x ; } int f () { int x = 0 ; estándar :: cin >> x ; devolver x ; } La E/S es inherentemente impura: las operaciones de entrada socavan la transparencia referencial y las operaciones de salida crean efectos secundarios. Sin embargo, en cierto sentido una función puede realizar entradas o salidas y seguir siendo pura, si la secuencia de operaciones en los dispositivos de E/S relevantes se modela explícitamente como argumento y resultado, y las operaciones de E/S se toman como argumento. falla cuando la secuencia de entrada no describe las operaciones realmente realizadas desde que el programa comenzó a ejecutarse. [ se necesita aclaración ]
El segundo punto garantiza que la única secuencia utilizable como argumento debe cambiar con cada acción de E/S; el primero permite que diferentes llamadas a una función de E/S devuelvan resultados diferentes debido a que los argumentos de la secuencia han cambiado. [3] [4]
La mónada de E/S es un lenguaje de programación que normalmente se utiliza para realizar E/S en lenguajes puramente funcionales.
Los resultados de una función pura se pueden precalcular y almacenar en caché en una tabla de búsqueda. En una técnica llamada memorización , cualquier resultado devuelto por una función determinada se almacena en caché, y la próxima vez que se llama a la función con los mismos parámetros de entrada, se devuelve el resultado almacenado en caché en lugar de volver a calcular la función.
La memorización se puede realizar envolviendo la función en otra función ( función contenedora ). [5]
Mediante la memorización se puede reducir el esfuerzo computacional involucrado en los cálculos de la propia función, a costa de la sobrecarga de gestión de la caché y un aumento de los requisitos de memoria.
Un programa en C para el cálculo factorial en caché ( assert()aborta con un mensaje de error si su argumento es falso; en una máquina de 32 bits, los valores más allá fact(12)no se pueden representar de todos modos. [ cita necesaria ]
hecho int estático ( int n ) { retorno n <= 1 ? 1 : hecho ( n -1 ) * n ; } int fact_wrapper ( int n ) { caché int estática [ 13 ]; afirmar ( 0 <= n && n < 13 ); if ( caché [ n ] == 0 ) caché [ n ] = hecho ( n ); devolver caché [ n ]; } Las funciones que tienen solo la propiedad 2 anterior (es decir, no tienen efectos secundarios) permiten técnicas de optimización del compilador, como la eliminación de subexpresiones comunes y la optimización de bucles similares a los operadores aritméticos. [6] Un ejemplo de C++ es el lengthmétodo que devuelve el tamaño de una cadena, que depende del contenido de la memoria al que apunta la cadena, por lo que carece de la propiedad 1 anterior. Sin embargo, en un entorno de subproceso único , el siguiente código C++
std :: string s = "¡Hola mundo!" ; int a [ 10 ] = { 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 }; intl = 0 ; para ( int i = 0 ; i < 10 ; ++ i ) { l += s . longitud () + a [ i ]; } se puede optimizar de modo que el valor de s.length()se calcule solo una vez, antes del ciclo.
Algunos lenguajes de programación permiten declarar una propiedad pura a una función:
purepalabra clave se puede usar para declarar que una función esté libre de efectos secundarios (es decir, que tenga solo la propiedad 2 anterior). [7] El compilador puede deducir la propiedad 1 además de la declaración. [8] Ver también: Características del lenguaje Fortran 95 § Procedimientos puros .pureatributo especifica la propiedad 2, mientras que el constatributo especifica una función verdaderamente pura con ambas propiedades. [9]constexprC++ (ambas propiedades). [10] Ver también: C++11 § constexpr – Expresiones constantes generalizadas .Dado que las funciones puras tienen valores de retorno idénticos para argumentos idénticos , son muy adecuadas para pruebas unitarias .