En informática , un operador relacional es una construcción u operador del lenguaje de programación que prueba o define algún tipo de relación entre dos entidades . Estos incluyen igualdad numérica ( p. ej ., 5 = 5 ) y desigualdades ( p. ej ., 4 ≥ 3 ).
En los lenguajes de programación que incluyen un tipo de datos booleano distinto en su sistema de tipos , como Pascal , Ada o Java , estos operadores generalmente se evalúan como verdadero o falso, dependiendo de si la relación condicional entre los dos operandos se cumple o no. En lenguajes como C , los operadores relacionales devuelven los números enteros 0 o 1, donde 0 representa falso y cualquier valor distinto de cero representa verdadero.
Una expresión creada usando un operador relacional forma lo que se denomina una expresión relacional o una condición . Los operadores relacionales pueden verse como casos especiales de predicados lógicos .
La igualdad se utiliza en muchas construcciones de lenguajes de programación y tipos de datos. Se utiliza para probar si un elemento ya existe en un conjunto , o para acceder a un valor a través de una clave. Se utiliza en declaraciones de cambio para enviar el flujo de control a la rama correcta y durante el proceso de unificación en la programación lógica.
Un posible significado de igualdad es que "si a es igual a b , entonces a o b pueden usarse indistintamente en cualquier contexto sin notar ninguna diferencia". Pero esta declaración no se cumple necesariamente, particularmente cuando se tiene en cuenta la mutabilidad junto con la igualdad de contenido.
A veces, particularmente en la programación orientada a objetos , la comparación plantea cuestiones de tipos de datos y herencia , igualdad e identidad . A menudo es necesario distinguir entre: