Gostaria de saber do que se trata isso na programação.
2006-09-28 12:23:35 · 7 respostas · perguntado por Igor 1 em Computadores e Internet ➔ Programação e Design
Invariante é uma expressão cujo valor não muda. PI por exemplo. O seu valor 3.1415 seria uma invariante.
É um conceito ligado a "Design By Contract", envolvendo também pré-condições e pós-condições.
O exemplo a seguir mostra sua função
class Date
{
int day;
int hour;
invariant
{
assert(1 <= day && day <= 31);
assert(0 <= hour && hour < 24);
}
this(int d, int h) { day = d; hour = h; }
}
É definido uma invariante em que se define que um dia não pode ter valor inferior a 1 e superior a 31 e que hora não pode ter valor inferior a 0 e superior a 23. Se for fornecido um valor diferente disso, você está provocando um erro.
A linguagem Eiffel utiliza esse recurso, sendo que o conceito "Design By Contract" foi bastante difundido pelo seu criador, Bertrand Meyer.
2006-09-29 10:59:29 · answer #1 · answered by Cristiano - MVC 2 · 0⤊ 0⤋
É o mesmo que uma constante. É aquele valor que sempre será o mesmo no programa.
2006-09-29 00:10:56 · answer #2 · answered by HAL JORDAN 2 · 1⤊ 0⤋
Invariante é o que não vária, exemplo por convenção o protón tem carga positiva e os elétrons tem carga nagativa, ou seja um protón não pode ter carga negativa nunca e um elétron nunca pode ter carga positiva.
2006-09-28 19:37:35 · answer #3 · answered by Guilhermexb 3 · 0⤊ 0⤋
É uma coisa que não muda
2006-09-28 19:35:27 · answer #4 · answered by Cmte. PT-FYX 3 · 0⤊ 0⤋
o q e fixo,estatico q naum muda
como certo fatores do windows
2006-09-28 19:33:36 · answer #5 · answered by stan 2 · 0⤊ 0⤋
Que não varia , ou seja, constante
2006-09-28 19:29:29 · answer #6 · answered by Sherazade e as Mil e Uma Noites 7 · 0⤊ 0⤋
Invariante é o primo do inventariante!
2006-09-28 19:27:51 · answer #7 · answered by . 5 · 0⤊ 1⤋