Difference between revisions of "@"

From Free Pascal wiki
Jump to navigationJump to search
m (link sTypedaddress)
Line 32: Line 32:
  
 
[[Category:Symbols]]
 
[[Category:Symbols]]
 +
[[Category:Code]]

Revision as of 03:01, 13 February 2018

English (en) suomi (fi) français (fr) русский (ru)

@

The address operator @ returns the address of a variable, procedure or function.

Normally, the value @ returns is an untyped pointer. If you are handling pointers a lot, and want to mitigate issues with passing references of wrong type's target, you have use the directive {$typedaddress on}.

Here some example to demonstrate, what produces with untyped pointers valid and functional code, but semantically outputs an erroneous result:

 0program untypedAddressDemo(input, output, stderr);
 1
 2procedure incrementIntByRef(const ref: PByte);
 3begin
 4	inc(ref^);
 5end;
 6
 7var
 8	foo: integer;
 9begin
10	foo := -1;
11	incrementIntByRef(@foo);
12	writeLn(foo);
13end.

It should print 0 (zero), but prints -256. With {$typedaddress on} compilation fails with an incompatible type error. You usually want the latter behavior (compile-time failure) instead of wasting time with hours of debugging.

read more