En informática , un operador relacional es una construcción u operador de lenguaje de programación que prueba o define algún tipo de relación entre dos entidades . Estos incluyen igualdad numérica ( por ejemplo , 5 = 5 ) y desigualdades ( por ejemplo , 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 suelen evaluar 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 significa falso y cualquier valor distinto de cero significa verdadero.
Una expresión creada usando un operador relacional forma lo que se denomina expresión relacional o condición . Los operadores relacionales pueden verse como casos especiales de predicados lógicos .
La igualdad se utiliza en muchos tipos de datos y construcciones de lenguajes de programación. 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 conmutación 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 afirmación no es necesariamente válida, especialmente 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 preguntas sobre tipos de datos y herencia , igualdad e identidad . A menudo es necesario distinguir entre: