Sapete proprio tutto sui record ?

[DragoRosso]

Ciao a tutti.

Volevo ricominciare a proporre delle "pillole" come diverso tempo fà ogni tanto si faceva.
L'argomento di oggi è legato ai record, ovviamente in Pascal.

Il record è un "oggetto" noto, usato, e stradocumentato.
In questa sede parliamo di record classici, non di quelli avanzati.

Provate a compilare questo programma:

Codice: [Seleziona]

program Project1;

{$mode objfpc}{H+}

uses
  SysUtils;

type
  TTest = record
      Valore: integer;
  end;

  TClasseTest = class
    private
      FTest: TTest;
    public
      property Test: TTest read FTest write FTest;
  end;

var
  ClasseTest: TClasseTest;
begin
  ClasseTest := TClasseTest.Create;
  ClasseTest.Test.Valore := 2;
  ClasseTest.Free;
  Readln;
end.

Il codice è semplice, la classe espone una proprietà con cui si può leggere e scrivere il campo (una variabile) privata.
Avremo scritto una infinità di volte qualcosa di simile .... eppure ... adesso non riusciamo a compilare.

Perchè ?

Intanto, vi dò un aiuto, il fatto che FTest sia privato non c'entra. Inoltre non rispondete sul come si risolve, si può andare dal banale al più complesso ma talmente elegante che potremmo fare "funzionare" anche questa sintassi così come è ... ma non è questo il punto.

Il capire il perchè non si compila, e la descrizione di errore che fornisce fpc non è propria così delucidante ad un primo acchito, può essere utile ai meno smaliziati per comprendere meglio i record (e anche i meccanismi che si celano dietro una banale proprietà).

[quack]

Perché write accetta solo dati di tipo TTest, quindi di fatto sto accedendo a Valore tramite read.

Ma read restituisce una copia di FTest, anche senza l'errore del compilatore non potrei modificare la propietá Valore di FTest.
Questa è la spiegazione che mi sono dato dopo esserci incappato.

Se invece TTest fosse una classe funzionerebbe.
Ciao

[DragoRosso]

Bravo @quack, hai quasi centrato la risposta.

In realtà è più semplice e si basa sul concetto di "record" e delle sue operazioni instrinsiche.

L'assegnazione tra record viene fatto per valori e non per riferimento, cioè record a= record b significa che il contenuto di b viene copiato in a.
In questo caso per accedere al record, la proprietà deve prima leggerlo (getter / read), e quindi deve copiarlo (perchè l'assegnazione avviene per valori) in un record temporaneo ... in questo record il valore che deve essere assegnato non può essere scritto, perchè è un record temporaneo.
Da qui l'errore del compilatore "il valore a sinistra non può essere scritto".
Questo non avverrebe se l'accesso fosse diretto ad un altro tipo di variabile (anche managed) o ad una classe, perchè l'accesso sarebbe diretto senza necessità di fare copie temporanee.

L'uso della "proprietà" quindi deve essere ponderato in quanto ci possono essere "effetti secondari" che sfuggono al momento ma che possono creare alcune problematiche .. in questo caso sono palesi perchè non si compila, ma pensate se accadesse qualcosa solo a runtime invece ....

Così come bisogna ponderare bene l'uso dei record, tenendo conto delle loro specificità.