Estou lendo Coders at Work , e há muita conversa sobre invariantes. Até onde eu entendi, uma invariante é uma condição que vale antes e depois de uma expressão. Eles são, entre outras coisas, úteis para provar que o loop está correto, se me lembro corretamente do meu curso de lógica. Minha...
Esta é a maneira mais popular (me parece) de verificar se um valor está em uma matriz: for (int x : array) { if (x == value) return true; } return false; No entanto, em um livro que li há muitos anos por, provavelmente, Wirth ou Dijkstra, foi dito que esse estilo é melhor (quando comparado...
Eu entendo 'invariável' em seu sentido literal. Também os reconheço quando digito código. Mas acho que não entendo a importância desse termo no contexto da ciência da computação. Sempre que leio conversas \ white papers sobre design de linguagem de programadores \ cientistas de computadores...
Quando eu aprendi C ++ há muito tempo, enfatizou-me fortemente que parte do ponto do C ++ é que, assim como os loops têm "invariantes em loop", as classes também têm invariantes associados ao tempo de vida do objeto - coisas que devem ser verdadeiras enquanto o objeto estiver vivo. Coisas que devem...
Estou ciente de que o conceito de invariantes existe em vários paradigmas de programação. Por exemplo, invariantes de loop são relevantes em OO, programação funcional e processual. No entanto, um tipo muito útil encontrado no OOP é um invariante dos dados de um tipo específico. É isso que estou...