Question

Is there any work-around to create mutual referencing records in Delphi? Here’s the simplified version of the code:

MyRec1 = record
  arr: MyRec2Array;
end;

MyRec2 = record
  mr: MyRec1;
end;

MyRec2Array = array of MyRec2;

Apparently forward declaration of record types

MyRec2 = record;

doesn’t work in Delphi for Win32.

Switching to classes instead of records is not good, because this will increase memory consumption and code complexity, so I’d rather stay with records.

Any suggestions?

Answer 1

Records are value types, not reference types. That means that all records used as members of a larger data structure are placed inline in the structure itself instead of as a pointer. Trying to create two records which contain each other would throw the compiler into an infinite loop while it tries to figure out the structure of the records. That’s probably the reason why you can’t forward-declare a record, and even though you’re trying to insert a reference type (dynamic array) here, you still can’t violate the language rules.

But what you can do is declare a pointer-to-record type as a forward declaration, like so:

PMyRec2 = ^MyRec2
...
MyRec2 = record
  ...
end;

Of course, once you start using pointers to records, you have to worry about allocating and freeing the memory, and the code complexity you were trying to avoid by not using classes appears in your project. Bottom line: do this with classes. Make one of the records, if not both of them, a class. It’s the simplest way, really.

And the extra memory overhead is negligible. It comes out to a pointer to the object for each reference, which you’d need for pointers to objects anyway, plus one hidden field (4 bytes) per instance before D2009 or two of them (8 bytes) on D2009 or later. That’s not very much at all.