Si l’instruction semble être en cours d’évaluation même lorsque la condition est évaluée à false

Tard au travail hier soir, nous essayions de comprendre pourquoi quelque chose échouait. Une vérification de validation échouait alors qu’elle n’aurait pas dû l’être.

Nous avons fini par append une instruction print à ce code (désassemblé de Reflector afin de vérifier que le code était bien ce que nous avions écrit):

public static ssortingng Redacted(ssortingng name, DateTime lastModified) { long ticks = lastModified.Ticks; if ((ticks != (ticks - (ticks % 10000L))) && (lastModified != DateTime.MaxValue)) { Log.Debug(ssortingng.Format("Last Modified Date = '{0}'. Ticks = '{1}'. TicksCalc = '{2}'", lastModified.ToSsortingng("dd/MM/yyyy hh:mm:ss.fff"), ticks, ticks - (ticks % 10000L))); 

Il a imprimé (reformaté):

 Last Modified Date = '22/03/2011 12:16:22.000'. Ticks = '634363497820000000'. TicksCalc = '634363497820000000' 

Mais la condition est que ” ticks ” (ce qui correspond aux ticks imprimés ci-dessus) ne soit pas égal à ” (ticks - (ticks % 10000)) ” (ce qui correspond à TicksCalc)! 634363497820000000! = 634363497820000000 ?!

• Ajout de membres à un object dynamic au moment de l’exécution
• Les références de la bibliothèque de classes ne sont pas copiées dans le dossier bin du projet en cours d’exécution
• c # MemoryStream vs Byte Array
• Que signifie “=>”?
• Modèles pour mélanger F # et C # dans la même solution

Afin de déterminer ce qui se passe ici, nous avons ajouté deux autres déclarations:

 long ticks = lastModified.Ticks; /* Added following two lines: */ long num2 = ticks - (ticks % 10000L); Log.Debug((ticks == num2).ToSsortingng()); /* */ if ((ticks != (ticks - (ticks % 10000L))) && (lastModified != DateTime.MaxValue)) { Log.Debug(ssortingng.Format("Last Modified Date = '{0}'. Ticks = '{1}'. TicksCalc = '{2}'", lastModified.ToSsortingng("dd/MM/yyyy hh:mm:ss.fff"), ticks, ticks - (ticks % 10000L))); 

Comme il se doit, celui-ci est imprimé true (lors du test avec la même valeur) et n’écrit pas la deuxième ligne.

Se sentant un peu perdus, nous avons à nouveau retiré les deux lignes, recompilé et rediffusé. Le comportement d’origine s’est répété.

Ce matin, j’ai enregistré une vidéo .

La vidéo montre tout d’abord qu’il faut bash un sharepoint rupture dans la méthode à l’aide du code «cassé», puis le reconstruire et le réexécuter à l’aide du code «de travail». Notez que même si le débogueur affiche que la condition if évaluée à false , le corps est toujours entré.

J’ai déjà vu des choses comme celle-ci se produire quand elles étaient observées par le débogueur, car le débogueur forçait certaines choses à être évaluées, mais cela se produit que le débogueur soit utilisé ou non.

De plus, cela ne se produit qu’en mode Release (c’est-à-dire avec l’optimisation JIT activée).

Voici les méthodes désassemblées pour les deux versions: travail , pas travail . Je ne sais pas vraiment lire assemblé, alors je les publie ici dans l’espoir d’être élucidées.

J’espère que la réponse n’est pas une chose évidente que j’ai complètement oubliée …!

Edit: Voici le IL. Je ne pense pas qu’il y a quelque chose qui cloche avec cela car il décomstack le C # correct:

• Ne fonctionne pas
• Travail

Mise à jour :

Confirmé comme un bogue par Microsoft, à corriger dans la prochaine version .

• En C #, comment collecter une trace de stack d’un programme bloqué
• Comment supprimer les plugins MEF au moment de l’exécution?
• Winforms – liste déroulante multi select
• Parcourez les chaînes et les objects de chaque object
• Lecture des propriétés d’un object avec des arbres d’expression

 static readonly long variableZero=0; const long constZero=0; public static void Broken2( long ticks2) { long ticks = ticks2+variableZero; if (ticks != (ticks - (ticks % 10000L))) { ssortingng.Format("Last Modified Date = '{0}'. Ticks = '{1}'. TicksCalc = '{2}'", "n/A", ticks, ticks - (ticks % 10000L)).Dump(); } } 

 long ticks = lastModified.Ticks; long num2 = ticks - (ticks % 10000L); if ((ticks != num2) && (lastModified != DateTime.MaxValue)) { do your thing here! } 

 if (lastModified != DateTime.MaxValue && ticks != (ticks - (ticks % 10000L)) 

 (ticks % 10000L) != 0