12.7 The @ operator

The address operator @ returns the address of a variable, procedure or function. It is used as follows:

_________________________________________________________________________________________________________
Address factor

--addressfactor- @ ------variable reference----------------------------
                  ---procedure identifier---|
                  -qualfuifinecdt mioent ihdoendtifiideerntifier-|
___________________________________________________________________

The @ operator returns a typed pointer if the $T switch is on. If the $T switch is off then the address operator returns an untyped pointer, which is assignment compatible with all pointer types. The type of the pointer is ^T, where T is the type of the variable reference. For example, the following will compile

Program tcast;  
{$T-} { @ returns untyped pointer }  
 
Type art = Array[1..100] of byte;  
Var Buffer : longint;  
    PLargeBuffer : ^art;  
 
begin  
 PLargeBuffer := @Buffer;  
end.

Changing the {$T-} to {$T+} will prevent the compiler from compiling this. It will give a type mismatch error.

By default, the address operator returns an untyped pointer: applying the address operator to a function, method, or procedure identifier will give a pointer to the entry point of that function. The result is an untyped pointer.

This means that the following will work:

Procedure MyProc;  
 
begin  
end;  
 
Var  
  P : PChar;  
 
begin  
  P:=@MyProc;  
end;

By default, the address operator must be used if a value must be assigned to a procedural type variable. This behavior can be avoided by using the -Mtp or -MDelphi switches, which result in a more compatible Delphi or Turbo Pascal syntax.