L'affirmation est-elle un mal ?

Question

Le site Go créateurs de langues écrire :

Go ne fournit pas d'assertions. Ils sont indéniablement pratiques, mais d'après notre expérience, les programmeurs les utilisent comme une béquille pour éviter de penser à la gestion et au signalement corrects des erreurs. Une gestion correcte des erreurs signifie que les serveurs continuent de fonctionner après des erreurs non fatales au lieu de se planter. Un rapport d'erreur approprié signifie que les erreurs sont directes et précises, ce qui évite au programmeur d'interpréter une grande trace de crash. La précision des erreurs est particulièrement importante lorsque le programmeur qui les voit n'est pas familier avec le code.

Quelle est votre opinion à ce sujet ?

Answer 1

Non, il n'y a rien de mal à assert tant que vous l'utilisez comme prévu.

En d'autres termes, il est censé servir à détecter les cas qui "ne peuvent pas se produire", pendant le débogage, par opposition à la gestion normale des erreurs.

• Affirmer : Une défaillance dans la logique même du programme.
• Gestion des erreurs : Une entrée ou un état du système erroné qui n'est pas dû à un bogue dans le programme.

Answer 2

Non, ni l'un ni l'autre goto ni assert sont diaboliques. Mais les deux peuvent être mal utilisés.

Assert est pour les contrôles d'intégrité. Des choses qui devraient tuer le programme si elles ne sont pas correctes. Il ne sert pas à la validation ou au remplacement de la gestion des erreurs.

Answer 3

Dans cette logique, les points d'arrêt sont également mauvais.

Les alertes doivent être utilisées comme une aide au débogage, et rien d'autre. Le "mal", c'est quand on essaie de les utiliser. au lieu de de la gestion des erreurs.

Les assertions sont là pour vous aider, en tant que programmeur, à détecter et à résoudre des problèmes qui ne doivent pas exister et à vérifier que vos hypothèses restent vraies.

Ils n'ont rien à voir avec la gestion des erreurs, mais malheureusement, certains programmeurs en abusent et les déclarent alors "mauvais".

Answer 4

J'aime beaucoup utiliser assert. Je le trouve très utile lorsque je crée des applications pour la première fois (peut-être pour un nouveau domaine). Au lieu de faire un contrôle d'erreur très sophistiqué (que je considérerais comme une optimisation prématurée), je code rapidement et j'ajoute beaucoup d'assertions. Une fois que j'en sais plus sur le fonctionnement de l'application, je la réécris, je supprime certaines des alertes et je les modifie pour une meilleure gestion des erreurs.

Grâce aux assertions, je passe beaucoup moins de temps à coder/déboguer des programmes.

J'ai également remarqué que les assertions m'aident à penser à de nombreuses choses qui pourraient casser mes programmes.

Answer 5

À titre d'information supplémentaire, go fournit une fonction intégrée panic . Cela peut être utilisé à la place de assert . Par exemple

if x < 0 {
    panic("x is less than 0");
}

panic imprimera la trace de la pile, donc d'une certaine manière, il a le but de assert .