Compile time assert(ions)

[440bx]

Hello,

I know that run time assert is available.  I'd like to have compile time assert(s).  Are those possible ? if yes, an example would be more than welcome.

In particular, I'd like to assert at compile time that the size of some custom types is as expected, e.g, assert(sizeof(<sometypename>) = 16), presuming the expected size in this example is 16.  If the assert fails (the size is not 16) then stop the compilation with a fatal error message.

Thank you for your help.

[Jonas Maebe]

Code: [Select]

type
  trec = record
    l: longint;
  end;

{$if sizeof(trec) <> 16}
  {$error sizeof(trec) is not 16}
{$endif}

begin
end.

There is no single-directive equivalent like static_assert or so.

[440bx]

Code: [Select]

type
  trec = record
    l: longint;
  end;

{$if sizeof(trec) <> 16}
  {$error sizeof(trec) is not 16}
{$endif}

begin
end.

There is no single-directive equivalent like static_assert or so.

No problem.  As long as the condition can be checked, it's all good.

Thank you Jonas.