Discussion :

[®om]

Salut,

Dans mon code, généralement j'utilise des assertions, par exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

assert index >= 0 && index < model.getSize() : "L'index doit être cohérent."

L'avantage par rapport aux exceptions, c'est qu'on peut l'activer ou le désactiver à l'exécution (et c'est pluc concis)...

Par contre, est-ce que c'est possible de le désactiver directement à la compilation (pour que les assertions -transformées en exceptions- ne soient pas contenues dans le byte code)?
Car quand on décompile, on obtient:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

if(!$assertionsDisabled && index >= 0 && index < model.getSize())

C'est plus par curiosité que par réelle nécessité, le test d'un booléen étant très rapide

Merci d'avance

[adiGuba]

Salut,

L'avantage par rapport aux exceptions, c'est qu'on peut l'activer ou le désactiver à l'exécution (et c'est pluc concis)...

L'objectif n'est pas le même : les exceptions permettent de traiter des erreurs qui pourraient se produire, alors que les assert vérifient que certaines conditions soit bien vérifié...

Par contre, est-ce que c'est possible de le désactiver directement à la compilation (pour que les assertions -transformées en exceptions- ne soient pas contenues dans le byte code)?

Ce n'est pas possible, tout simplement parce qu'il est prévu la possibilité de modifier l'activation des assertions au cas par cas avant le chargement des classes via le ClassLoader. Si tu supprimes les assertions du bytecode ce ne sera plus possible...

C'est plus par curiosité que par réelle nécessité, le test d'un booléen étant très rapide

Je pense même que la JVM doit completement supprimé le bout de code lorsqu'elle le compile en natif...


D'ailleurs tu peux même le faire au niveau du compilateur si tu veux vraiment supprimer les assert :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

public static final boolean ENABLE_ASSERT = true;

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

if (ENABLE_ASSERT) assert index >= 0 && index < model.getSize() : "L'index doit être cohérent."

En passant ENABLE_ASSERT à false et en recompilant le tout, tu n'auras plus d'asser dans le bytecode

a++

[®om]

L'objectif n'est pas le même : les exceptions permettent de traiter des erreurs qui pourraient se produire, alors que les assert vérifient que certaines conditions soit bien vérifiées...

Cela me sert à vérifier des conditions (par exemple, que l'index soit cohérent, si le soft est bien programmé, il est toujours cohérent, donc pas besoin de tester au runtime).

Ce n'est pas possible, tout simplement parce qu'il est prévu la possibilité de modifier l'activation des assertions au cas par cas avant le chargement des classes via le ClassLoader. Si tu supprimes les assertions du bytecode ce ne sera plus possible...

Oui, c'est justement ce que je cherche à faire, que ça ne soit plus possible...
Compiler en ignorant totalement les assert du code source (comme si on les avait supprimés).

D'ailleurs tu peux même le faire au niveau du compilateur si tu veux vraiment supprimer les assert :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

public static final boolean ENABLE_ASSERT = true;

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

if (ENABLE_ASSERT) assert index >= 0 && index < model.getSize() : "L'index doit être cohérent."

En passant ENABLE_ASSERT à false et en recompilant le tout, tu n'auras plus d'asser dans le bytecode

Ce n'est pas forcément le "assert" que je veux supprimer, mais le test inutile... Si tu utilises une variable que tu testes, ça revient au même

[adiGuba]

Ce n'est pas forcément le "assert" que je veux supprimer, mais le test inutile... Si tu utilises une variable que tu testes, ça revient au même

Non car comme ENABLE_ASSERT est une constante, lorsqu'elle vaut false le compilateur ne générera pas le bytecode associé au if() car le bloc est "unreachable".

Cela permet de faire de la compilation pseudo-conditionnelle (si tu as le courage, tu peux lire : Unreachable Statements)


Toutefois, je ne pense pas que ce soit vraiment utile car HotSpot doit faire la même chose lorsqu'il compile le bytecode en natif avec les assertions si elles sont désactivés...


a++

[®om]

Sur cet article, une phrase me semble bizarre:

A while statement can complete normally iff at least one of the following is true:
- The while statement is reachable and the condition expression is not a constant expression with value true.
...

Une déclaration while peut se terminer normalement ssi au moins une des affirmations suivantes est vraie :
- La déclaration while est accessible et la condition n'est pas une expression constante vraie.
...

C'est pas plutôt "n'est pas une expression constante fausse"?