Extraño caso al evaluar una condición.

[pacopenin]

Casimiro, me imagino que tiene que ver con lo que comentas, pero recuerdo haber perdido mucho tiempo hace unos años peleándome contra algo similar.

Nelson, la variable name es un string. Ante la perspectiva de volver a perder el tiempo, modifiqué la función que da entrada denominada buscaGrid y que ejecuta un Query en el cual ya hago ese filtrado.

Nunca os pasó algo similar? Será que tengo una lógica extraña y ya he forzado dicha situación varias veces.

[cloayza]

Amigo a mi parecer está bien la evaluación del resultado.

Suponiendo lo siguiente

Código Delphi [-]
    Name:='FFormaPago';

    {Esta expresión debería devolver True si se cumple alguna de las condiciones}
    (Name='FCat') Or (Name='FUsu') or (name='FConcepto') or (Name='FFormaPago');

    {En este caso se cumple que Name='FFormaPago', por lo tanto el resultado de la expresión es True}

     If Not  ((Name='FCat') Or (Name='FUsu') or (name='FConcepto') or (Name='FFormaPago')) then

    {Aquí estas evaluando la negación de True, que es False, por lo tanto se cumple la condición del IF}
    
     {Deberías cambiar la condición por...}
     If ((Name='FCat') Or (Name='FUsu') or (name='FConcepto') or (Name='FFormaPago'))=False then

Saludos cordiales

[pacopenin]

Empezado por cloayza

Código Delphi [-]
     If Not  ((Name='FCat') Or (Name='FUsu') or (name='FConcepto') or (Name='FFormaPago')) then

    {Aquí estas evaluando la negación de True, que es False, por lo tanto se cumple la condición del IF}

Gracias por el comentario cloayza, pero no puedo estar de acuerdo con lo que comentas. Ese razonamiento a mi no me encaja, sino
esto no funcionaría así ¿no?



Saludos,

[[nlsgarcia]]

pacopenin,

Empezado por pacopenin

...sino esto no funcionaría así ¿no?...

Es correcto

Nelson

[ecfisa]

Hola.

Según las leyes de Augustus De Morgan,

1) La negación de la conjunción es la disyunción de las negaciones. -(A ^ B) = -A v -B
2) La negación de la disyunción es la conjunción de las negaciones. -(A v B) = -A ^ -B

1)

Código Delphi [-]
  if not(A and B) then 
  // es equivalente a:
  if not A or not B then

2)

Código Delphi [-]
  if not (A or B) then 
  // es equivalente a:
  if not A and not B then

Por lo tanto la expresión:

Código Delphi [-]
  if not((Name='FCat')or(Name='FUsu')or(name='FConcepto')or(Name='FFormaPago')) then
  // es equivalente a:
  if not (Name='FCat') and not (Name='FUsu') and not(Name='FConcepto') and not (Name='FFormaPago') then
  // o mas comúnmente:
  if (Name<>'FCat')and(Name<>'FUsu')and(Name<>'FConcepto')and(Name<>'FFormaPago') then

Saludos

[pacopenin]

Empezado por ecfisa

Código Delphi [-]
  if (Name<>'FCat')and(Name<>'FUsu')and(Name<>'FConcepto')and(Name<>'FFormaPago') then

Recuperando código de SVN se puede ver que probé de varias formas antes de darme por vencido.




Por mi experiencia, como ya comenté, decidí no dar demasiadas vueltas y atacar la solución desde otro punto de vista. La cuestión no es tanto como expresar la condición sino que, a partir de los valores que se ven en la pantalla de depuración, la instrucción if funciona de forma anómala. No se si es un bug o un funcionamiento que se me escapa, pero como ya comenté, en mis casi 20 años de desarrollo con Delphi desde la versión 1.0, me he encontrado otras dos veces con esta anomalía. La anterior vez creo recordar que estaba relacionado con un valor (boolean) devuelto por una función y recuerdo que perdí mucho tiempo tratando de dilucidar porque un valor false hace que se ejecute el código correspondiente a verdadero del if.

Saludos,

[ecfisa]

Hola pacopepin.

La condición del código de tu primer mensaje, está correctamente definida y tendría que funcionar del mismo modo para las diferentes formas de expresarlo, eso quería resaltar en el mensaje anterior.

Nunca me ha sucedido antes (o no me enteré ) y luego de leer tu mensaje traté de forzar el caso con Delphi 7 de varios modos sin lograrlo, lo que era de esperar ya que comentas que sólo te ocurrió tres veces en tanto tiempo.

Creo que la causa mas plausible es la que sugiere Casimiro en el mensaje #3. Tal vez el compilador tratando de optimizar el código, en algunas condiciones, cambie la lógica del predicado.

Saludos

[mamcx]

O algo mas. El código compilado no es el mismo al código escrito -por ejemplo, un cambio que se le hizo y luego el compilador no refresco ese cambio-. Eso me ha pasado en Delphi, .NET, Obj-C, Python por multiples razones. EL chiste seria ver que muestra el ensamblador.