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 cours de logique. Ma...
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, il a été dit que ce style est meilleur...
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...
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 qui devraient être vraies. tant...
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...