Génie logiciel invariants

6

Que sont les invariants, comment peuvent-ils être utilisés et l’avez-vous déjà utilisé dans votre programme?

Je lis Coders at Work et on y parle beaucoup d'invariants. Pour autant que je sache, un invariant est une condition qui tient à la fois avant et après une expression. Ils sont, entre autres, utiles pour prouver que la boucle est correcte, si je me souviens bien de mon …

48 invariants

6

Boucle foreach avec rupture / retour vs boucle while avec invariant explicite et post-condition

C'est la façon la plus populaire (il me semble) de vérifier si une valeur est dans un tableau: for (int x : array) { if (x == value) return true; } return false; Cependant, dans un livre que j'ai lu il y a de nombreuses années, probablement, Wirth ou Dijkstra, …

17 coding-style search loops invariants structured-programming

5

Pourquoi les invariants sont-ils importants en informatique

Je comprends «invariant» dans son sens littéral. Je les reconnais également lorsque je tape du code. Mais je ne pense pas comprendre l'importance de ce terme dans le contexte de l'informatique. Chaque fois que je lis des conversations \ livres blancs sur la conception de langages de programmeurs célèbres \ …

16 programming-languages language-agnostic invariants

1

Invariants de durée de vie des objets vs sémantique de déplacement

Lorsque j'ai appris le C ++ il y a longtemps, il m'a été fortement souligné qu'une partie de l'intérêt du C ++ est que, tout comme les boucles ont des "invariants de boucle", les classes ont également des invariants associés à la durée de vie de l'objet - des choses …

13 c++ object-oriented-design c++11 invariants

3

Quelle est la réponse de programmation fonctionnelle aux invariants basés sur le type?

Je suis conscient que le concept d'invariants existe dans plusieurs paradigmes de programmation. Par exemple, les invariants de boucle sont pertinents en OO, en programmation fonctionnelle et procédurale. Cependant, un type très utile trouvé dans la POO est un invariant des données d'un type particulier. C'est ce que j'appelle des …

9 functional-programming language-agnostic paradigms invariants

Questions marquées «invariants»