Extraño caso al evaluar una condición.

[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.

[[nlsgarcia]]

pacopenin,

Empezado por pacopenin

...al evaluar un if...la condición devuelve falso y está ejecutando las instrucciones correspondientes al valor verdadero...Lo pongo no para buscar una solución, sino como curiosidad...

Pregunto:

1- ¿Donde y como se asigna el valor a la variable Name?, ¿Puedes publicar el código de asignación?.

2- ¿Que unidades están declaradas en la unidad que presenta el problema?.

3- Si revisas el valor de la variable Name con Ctrl+F7 (Evaluate/Modify), ¿Que valor tiene?.

Espero sea útil

Nelson.

[pacopenin]

Desgraciadamente no puedo recuperar la situación del proyecto en el estado en que se produjo ese problema ya que esta última semana he modificado mucho código y volver a ese punto me llevaría bastante tiempo (que ahora mismo no tengo).

Empezado por nlsgarcia

1- ¿Donde y como se asigna el valor a la variable Name?, ¿Puedes publicar el código de asignación?.

Name es la propiedad correspondiente al form. El código corresponde al método show.
Como aclaración comentar que todo funcionaba bien hasta que añadí la cuarta condición. Con tres llevaba años (desde el 2010) funcionando sin problema.

Empezado por nlsgarcia

2- ¿Que unidades están declaradas en la unidad que presenta el problema?.

Código Delphi [-]
uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs, StdCtrls, Buttons, ExtCtrls, Grids, DBGrids, SMDBGrid, JvExExtCtrls,
  JvExtComponent, JvPanel, DBCtrls, DB, ZAbstractRODataset, ZAbstractDataset,
  ZDataset, Menus, JvComponentBase, JvFormPlacement;

....

implementation

uses UDatos, lib01, LibEngine;

Las uses debajo de implementation corresponden a unidades propias del proyecto desarrolladas por mi.

Empezado por nlsgarcia

3- Si revisas el valor de la variable Name con Ctrl+F7 (Evaluate/Modify), ¿Que valor tiene?.

Los valores de las variables y de la evaluación de la expresión puedes verlas en la primera pantalla que puse al lado izdo.

Empezado por mamcx

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-. ... EL chiste seria ver que muestra el ensamblador.

Estoy de acuerdo.

Empezado por ecfisa

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.

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

Y contigo,

Saludos,