Mètode (programació): diferència entre les revisions

 

Els mètodes d'una classe o objecte han de mantenir l'[[invariant]] de la classe, si n'hi ha. Alguns dels [[Programació orientada a objectes|llenguatges de programació orientats a l'objecte]] permeten fer un seguiment d'aquest acompliment que és especialment interessant durant el desenvolupament de la classe. De fet, aquests llenguatges solen permetre l'avaluació de ''precondicions'', ''postcondicions'', ''invariants'' i ''fitaments'' en temps d'execució cosa que només té sentit de fer en fase de desenvolupament de la classe i en canvi produeix una sobrecàrrega de treball innecessària quan estem en la fase d'explotació de programa (ja que s'han de fer les avaluacions i comprovacions usant el processador), raó per la qual fer-ho, o no, és una opció de compilació.

 

== Tipus de mètodes ==