Passare una TStringList ad una procedura senza il parametro "var"

[bonmario]

Ciao a tutti,
mi è appena crollata una delle poche certezze che avevo sul Pascal. Guardate questo codice:

Codice: [Seleziona]

procedure TForm1.Button1Click(Sender: TObject);
var WrkLista:TStringList;
    Pippo:Integer;

  procedure Prova(Lista1:TStringList; Pippo2:Integer);
  begin
    Lista1.Add('4');
    Lista1.Add('5');

    Pippo2:=2;
  end;

begin
  WrkLista:=TStringList.Create;
  try
    //Inizializzo le variabili
    WrkLista.Add('1');
    WrkLista.Add('2');
    WrkLista.Add('3');
    Pippo:=1;

    //Chiamo la procedura passando entrambe le variabili
    Prova(WrkLista, Pippo);

    ShowMessage(IntToStr(WrkLista.Count) +
                LineEnding +
                IntToStr(Pippo));
  finally
    WrkLista.Free;
  end;
end;

Il risultato del codice qui sopra è che alla fine WrkLista contiene 5 elementi, ed il valore di Pippo è 1.

La variabile "Pippo" si comporta come mi aspettavo: al ritorno dalla procedura "Prova" ha ancora il suo valore originale.
Quello che non capisco è il comportamento della variabile "WrkLista". Anche lei viene passata alla stessa maniera, e la variabile "Lista1" dichiarata dalla procedura non ha la clausola "Var". Allora perché le modifiche fatte all'interno della procedura "Prova" si ripercuotono anche al suo esterno?

Grazie in anticipo, Mario

[Stilgar]

Mario ... il comportamento è corretto.
Hai passato un puntatore non un valore.
Se avessi creato un'altra istanza dell'oggetto e modificata l'avresti persa dentro "prova".
Occhio a cosa stai modificando
Ho la febbre per cui non so se mi sono spiegato
Stilgar

[bonmario]

Scusami, ma a dire la verità non ho capito ...
A me a scuola, nel millennio scorso  , avevano insegnato che, se dichiari una procedura ed i suoi parametri li dichiari senza mettere il "var" davanti, come qui

Codice: [Seleziona]

procedure Prova(Lista1:TStringList; Pippo2:Integer);

tutte le modifiche che fai a quelle variabili all'interno della procedura, quando ne esci vengono perse.

Perché con le TStringList non è la stessa cosa? Da quello che ho capito, se metto o non metto il "var" nella procedura non cambia nulla.

Ciao, Mario

[xinyiman]

 caro mario quello che ti hanno insegnato e' vero se gli passi una variabile. il var davanti alla variabile fa si che venga passato il puntatore alla variabile. tstringlist e' gia di suo un puntatore a quel tipo di dato. e' per questo che il comportamento ti sembra anomalo

[bonmario]

Ah, ho capito.
Quindi alla fine, se ho bisogno una TStringList come parametro di una procedura, che io metta o no la clausola "var", il comportamento non cambia, e questo vale per tutto ciò che è un puntatore, quindi a tutti i discendenti di TObject.
Ho capito bene?

Grazie, Mario

[mimmolazzaro]

Quindi alla fine, se ho bisogno una TStringList come parametro di una procedura, che io metta o no la clausola "var", il comportamento non cambia, e questo vale per tutto ciò che è un puntatore, quindi a tutti i discendenti di TObject.
Ho capito bene?

Quasi. 
Non e' proprio la stessa cosa se usi var o meno.
Ad esempio, se usi (var MyStringList), all'interno della funzione potresti cambiare la variabile (puntatore) MyStringList e, all'uscita della funzione perdere quello a cui puntava prima MyStringList. Un simile comportamento non e' auspicabile, per cui meglio non usare var in questi casi.
A meno che... nella tua funzione non effettui volutamente un cambiamento da una StringList a un'altra e intendi uscire dalla funzione con un'altra StringList opportunamente creata e istanziata.

Spero sia stato chiaro.
Mimmo

[bonmario]

Credo d'aver capito !!!

Grazie, Mario

[Stilgar]

Vediamo se con un esempio mi spiego meglio

Codice: [Seleziona]

  procedure pippo(var istanza : TStrings)
  begin
     istanza := TStringList.Create; // <- Creo l'itanza ex novo, ignorando quella precedente
  end;
var
  istanza : TStrings;
begin
    istanza := nil;
    pippo(istanza);
    istanza.clear;
end;

Codice: [Seleziona]

  procedure pippo(istanza : TStrings)
  begin
     istanza := TStringList.Create; // <- Creo l'itanza ex novo, ignorando quella precedente
  end;
var
  istanza : TStrings;
begin
    istanza := nil;
    pippo(istanza);
    istanza.clear; // <- NIL = ERRORE!
end;

[Stilgar]

Nel primo caso hai modificato e le modifiche si ripercuotono anche fuori.
Nel secondo caso hai modificato e le modifiche NON si ripercuotono fuori.
Questo è dovuoto al fatto che il compilatore passa un puntatore in entrambi i casi.
Nel primo lo stesso che è usato fuori, nel secondo ne crea una copia e passa quella. Questo per garantirti la "non modifica" senza incasinare il codice con controlli che rallentano la compilazione. Il fatto che venga modificato con il "clear" (per esempio) il contenuto dell'istanza è del tutto lecito. Non stai modificando il puntatore ma quello a cui fa riferimento
Edit:
Non confondere cosa passi e cosa modifichi :p