В Delphi / Free Pascal: ^ является оператором или он просто обозначает тип указателя?

Question

В Delphi / Free Pascal: является оператором или он просто обозначает тип указателя?

Пример кода

program Project1;

{$APPTYPE CONSOLE}

var
    P: ^Integer;

begin
    New(P);

    P^ := 20;
    writeln(P^); // How do I read this statement aloud? P is a pointer?

    Dispose(P);

    readln;
end

Answer 1

Когда ^ используется как часть типа (обычно в объявлении типа или переменной), это означает «указатель на».

Пример:

type
  PInteger = ^Integer;

Когда ^ используется в качестве унарного постфиксного оператора, это означает «разыменовать этот указатель». Таким образом, в данном случае это означает «Распечатать, на что P указывает» или «Распечатать цель P».

Пример:

var
  i: integer; 
  a: integer;     
  Pi: PInteger;
begin
  i:= 100;
  Pi:= @i;  <<--- Fill pointer to i with the address of i
  a:= Pi^;  <<--- Complicated way of writing (a:= i)
            <<--- Read: Let A be what the pointer_to_i points to
  Pi^:= 200;<<--- Complicated way of writing (i:= 200)
  writeln('i = '+IntToStr(i)+' and a = '+IntToStr(a));