Curso de Ada - Operadores

Comprobación de pertenencia (in, not in)

Además existe la comprobación de pertenencia (, in; , not in) que técnicamente no es un operador y no se puede sobrecargar. Su precedencia es la misma que la de los operadores relacionales. Se puede utilizar con rangos o con subtipos.

-- Supongamos que X es de tipo Integer
 if X in Positive then -- Positive es un subtipo de Integer
    ...
    if X not in 4 .. 6 then
       ...
    end if;
 end if;
 

declare
    type Dia_Semana is
       (Lunes, Martes, Miercoles, Jueves, Viernes, Sabado, Domingo);
    subtype Dia_Laborable is Dia_Semana range Lunes .. Viernes;
    Hoy : Dia_Semana := Obtener_Dia;
 begin
 
    if Hoy in Dia_Laborable then -- Dia_Laborable es un subtipo de Dia_Semana
       Ir_Al_Trabajo;
       if X not in Lunes .. Miercoles then
          Pensar_En_El_Fin_De_Semana;
       end if;
    end if;
 end;
 

Operadores lógicos de corto-circuito

Para los operadores lógicos existen versiones para minimizar las evaluaciones (short-circuit). Es decir, se evalúa primero el operando de la izquierda y después, sólo si es necesario para determinar el resultado, el de la derecha:

• Conjunción: and then
• Disyunción inclusiva: or else