Un metodo, quando si dichiara è simile ad una funzione matematica: ha dei parametri e ritorna un valore

int sum(int x, int y)

Un metodo che prende due interi come parametri e ritorna un intero.

Dopo aver visto come si compongono gli elementi di programmazione (comandi ed espressioni) vediamo adesso come si creano gli elementi di astrazione: in particolare vedremo classi e metodi. Un metodo assomiglia sintatticamente ad una funzione. In pratica si deve dichiarare il nome del metodo (sum) precedendolo con il tipo ritornato (int) eseguendolo con una lista tra parentesi dei tipi dei parametri. Un metodo può quindi essere considerato anche semanticamente una funzione: ovvero quel costrutto matematico che prende dei valori in ingresso, fa dei calcoli e ritorna un risultato in uscita.

Un metodo è seguito da un comando che definisce il suo comportamento:

int sum (int x, int y)  { 
  return x+y; 
}

Un metodo non è però semplicemente una funzione: è invece una sequenza di comandi che effettuano il calcolo del risultato.Sintatticamente occorre porre la sequenza di comandi che effettuano il calcolo tra parentesi graffe immediatamente dopo la dichiarazione del metodo.

I metodi è si trovano sempre dentro una classe.

Sintatticamente troveremo sempre i metodi all'interno di una classe. Infatti non parliamo di funzioni ma di metodi, proprio perché questi sono collegati ad una classe. Un metodo è una operazione che viene svolta nel contesto di un oggetto, istanza di una classe.

Infatti i metodi hanno sempre un contesto (o ambiente):

int sumk (int x) { 
    return x+k; 
}

k appartiene al contesto.

Come possiamo vedere nel listato i metodi vengono sempre valutati all'interno di un contesto. Per capire meglio di cosa si tratta notiamo che nel metodo che stiamo esaminando c'è una variabile, k, che non è né un parametro non è una variabile locale. Come si dice in gergo, è una variabile libera, cioè una variabile non dichiarata come parametro o localmente. In realtà questa variabile non è dichiarata dentro il metodo, ma viene dichiarata fuori, in particolare dentro classe a cui il metodo appartiene. Questo rinforza il fatto che un metodo ha sempre un contesto, da cui vengono presi i valori delle variabili libere.

In un metodo possono esserci dichiarazioni di variabili (locali al metodo):

int sumk (int x, int y) {  
    int r=x+y; 
    return r;
}

Facciamo notare come alcune variabili vengano dichiarate localmente al metodo. In particolare possiamo riconoscere le variabili x e y che sono i parametri del metodo, e la variabile r che è invece una variabile locale.