RAD Studio and Delphi 10.4 Sydney are available now!
Records in Delphi can have fields of any data type. When a record has plain (non-managed) fields, like numeric or other enumerated values there isn’t much to do for the compiler. Creating and disposing of the record consists of allocating memory or getting rid of the memory location. (Notice that by default Delphi does not zero-initialize records.)
If a record has a field of a type managed by the compiler (like a string or an interface), the compiler needs to inject extra code to manage the initialization or finalization. A string, for example, is reference-counted so when the record goes out of scope the string inside the record needs to have its reference count decreased, which might lead to de-allocating the memory for the string. Therefore, when you are using such a managed record in a section of the code, the compiler automatically adds a try-finally block around that code, and makes sure the data is cleared even in case of an exception. This has been the case for a long time. In other words, managed records have been part of the Delphi language.
Now in 10.4, the Delphi record type supports custom initialization and finalization, beyond the default operations the compiler does for managed records. You can declare a record with custom initialization and finalization code regardless of the data type of its fields, and you can write such custom initialization and finalization code. This is achieved by adding specific, new operators to the record type (you can have one without the other if you want).Below is a simple code snippet:
TMyRecord = record
class operator Initialize (out Dest: TMyRecord);
class operator Finalize(var Dest: TMyRecord);
You need to write the code for the two class methods, of course, for example logging their execution or initializing the record value -- here we are also logging a reference to the memory location, to see which record is performing each individual operation:
class operator TMyRecord.Initialize (out Dest: TMyRecord);
Dest.Value := 10;
Log('created' + IntToHex (Integer(Pointer(@Dest)))));
class operator TMyRecord.Finalize(var Dest: TMyRecord);
Log('destroyed' + IntToHex (Integer(Pointer(@Dest)))));
The huge difference between this construction mechanism and what was previously available for records is the automatic invocation. If you write something like the code below, you can invoke both the initializer and the finalizer, and end up with a try-finally block generated by the compiler for your managed record instance.
With this code, you’ll get a log like:
Another scenario is the use of inline variables, like in:
var t: TMyRecord;
which gets you the same sequence in the log.
The := assignment flatly copies all of the data of the record fields. While this is a reasonable default, when you have custom data fields and custom initialization you might want to change this behavior. This is why for Custom Managed Records you can also define an assignment operator. The new operator is invoked with the := syntax, but defined as Assign:
class operator Assign (var Dest: TMyRecord; const [ref] Src: TMyRecord);
The operator definition must follow very precise rules, including having the first parameter as a reference parameter, and the second as a const passed by reference. If you fail to do so, the compiler issues error messages like the following:
[dcc32 Error] E2617 First parameter of Assign operator must be a var parameter of the container type
[dcc32 Hint] H2618 Second parameter of Assign operator must be a const[Ref] or var parameter of the container type
There is a sample case invoking the Assign operator:
my1, my2: TMyRecord;
my1.Value := 22;
my2 := my1;
produces this log (in which we also add a sequence number to the record):
created 5 0019F2A0
created 6 0019F298
5 copied to 6
destroyed 6 0019F298
Notice that the sequence of destruction is reversed from the sequence of construction.
Managed records can work differently from regular records also when passed as parameters or returned by a function. Here are several routines showing the various scenarios:
procedure ParByValue (rec: TMyRecord);
procedure ParByConstValue (const rec: TMyRecord);
procedure ParByRef (var rec: TMyRecord);
procedure ParByConstRef (const [ref] rec: TMyRecord);
function ParReturned: TMyRecord;
Now without going over each log one by one, this is the summary of the information:
When an exception is raised, records, in general, are cleared even when no explicit try, finally block is present, unlike objects. This is a fundamental difference and key to the real usefulness of managed records.
var a: TMRE;
var b: TMRE;
raise Exception.Create('Error Message');
Within this procedure, there are two constructor calls and two destructor calls. Again, this is a fundamental difference and a key feature of managed records. See the later section on a simple smart pointer based on managed records.
If you define a static array of managed records, there are initialized calling the Initialize operator at the point declaration:
a1: array [1..5] of TMyRecord; // call here
They are all destroyed when they get out of scope. If you define dynamic array of managed records, the initialization code is called with the array is sized (with SetLength):
a2: array of TMyRecord;
SetLength(a2, 5); // call here
This is just a relatively short introduction of a great new feature Embarcadero is adding to the Delphi language for the coming 10.4 release. Managed records work for generic records for example and in many other scenarios not covered here. And while this is the top new language feature, there are others coming like the new unified memory management across all platforms. Stay tuned!
If you have Update Subscription, one of the perks is accessing beta builds of upcoming releases. There’s still time to join our beta program for 10.4!
RAD Studio and Delphi 10.4 Sydney are available now!
This is a preview of an upcoming release of RAD Studio. There can always be last-minute bugs or changes. Nothing here is final until the release is officially made available.
Reduce development time and get to market faster with RAD Studio, Delphi, or C++Builder. Design. Code. Compile. Deploy.
Start Free Trial
Free Delphi Community Edition
Free C++Builder Community Edition
When adding the class operator, class completion does not work anymore on any class within that unit (ctrl-shift-c).
15 years of hopeless waiting. Well, better than never
That is great addition.