¿Qué es predicado en C++? [cerrado]

El estándar de C++ define Predicate como sigue (25/7):

Se utiliza el parámetro Predicado cuando un algoritmo espera un objeto de función que cuando se aplica a el resultado de desreferenciar el el iterador correspondiente devuelve un valor comprobable como verdadero. En otras palabras, si un algoritmo toma pred Predicado como su argumento y primero como su iterador argumento, debería funcionar correctamente en la construcción if (pred(*first)){...}. El objeto de la función pred no aplicar cualquier función no constante a través del iterador desreferenciado. Este objeto de función puede ser un puntero para funcionar, o un objeto de un tipo con una llamada de función apropiada operador.

Hay una definición análoga de BinaryPredicate con dos parámetros.

Así que en inglés, es una función o un objeto con una sobrecarga operator(), que:

• toma un solo parámetro. En el caso de los algoritmos, el tipo de parámetro es implícitamente convertible del tipo de iterador desreferenciado del algoritmo en cuestión, o es una referencia const a tal tipo, o en un push puede ser una referencia no-const al tipo exacto siempre y cuando el iterador no sea un const_iterator.
• devuelve un valor que puede ser probado para la verdad en una instrucción if (y por lo tanto debido a las reglas del lenguaje de C++, también en un bucle while y así sucesivamente).
• no modifica sus argumentos (al menos, no mientras el tipo de parámetro sea correcto...)

Además, dado que muchos algoritmos no especifican el orden exacto de las operaciones que realizan, es posible que obtenga un comportamiento impredecible si su predicado no es consistente, es decir, si el resultado depende de algo que no sea el valor de entrada que puede cambiar entre llamadas.

Además de los algoritmos, el negador lógico not1 en <functional> toma un parámetro de plantilla Predicate. En ese caso, hay un requisito adicional (20.3/5):

Para habilitar adaptadores y otros componentes para manipular la función objetos que toman uno o dos argumentos se requiere que la función los objetos proporcionan correspondientemente typedefs argument_type y result_type para objetos de función que toman uno argumento y first_argument_type, second_argument_type, y result_type para objetos de función que toman dos argumento.

Un predicado es simplemente una función que devuelve true o false dependiendo de si sus entradas satisfacen alguna condición. En general, una función predicada debe ser pura; debe siempre devolver el mismo resultado cuando se le da la misma entrada (por lo que bool isDateInPast(Date &date) sería un malo predicado).

Se usan a menudo, por ejemplo, como devoluciones de llamada para rutinas de clasificación STL (es decir, "is input a less than input b?").

No es específico de C++ (ni siquiera de lenguajes de programación). En la gramática del lenguaje natural, en una declaración como la puerta es abierta, la parte es abierta es el predicado y es verdadero o falso, así que digamos que tienes una clase cGate, con una función miembro bool cGate::isOpen(), tal función sería un predicado.

Esencialmente si la función hace una pregunta sobre el estado o valor del objeto y el resultado es verdadero o falso, entonces es un predicado.