Doppelter Bezeichner Type/var geht

[Mathias]

Ich habe gerade dies vor meiner Nase und die proceduren werden anstandslos kompilert.
Darf dies so sein. oder ist das ein Bug ?
Ist es aber ausserhalb der procedure, dann motzt er wie erwartet.

Code: Alles auswählen

program Project1;

  procedure test1(pointer: pointer); // geht
  begin
    pointer := nil;
  end;

  procedure test2(integer: integer); // geht
  begin
    integer := 123;
  end;

var
  Pointer=Pointer; // da motz er

begin
  test1(nil);
  test2(1234);
end.         

[m.fuchs]

Das hat mit dem Scope zu tun.

Deklarierst du Pointer lokal, dann überschreibt er nicht die globale Typendefinition. Versuchst du es global zu deklarieren, dann gibt es den Pointer-Typ nicht mehr.

Wenn du . eine funktionsfähige - Deklaration vor deine Prozedur schiebst...

Code: Alles auswählen

var
  Pointer: String; // da motz er

Dann wirst du auch bei der lokalen Deklaration einen Fehler kassieren. Der Typ existiert dann nicht mehr.

[siro]

Hat mich grade neugierig gemacht

Global und Lokal, beides funktioniert bei mir:

Code: Alles auswählen

var Pointer:String;

procedure TForm1.FormCreate(Sender: TObject);
begin
  Pointer:='Hallo';
  Caption:=Pointer;
end;                   

und auch das geht:

Code: Alles auswählen

procedure TForm1.FormCreate(Sender: TObject);
var Pointer:String;
begin
  Pointer:='Hallo';
  Caption:=Pointer;
end;            

Lazarus 4.6 (rev lazarus_4_6) FPC 3.2.2 x86_64-win64-win32/win64

[Mathias]

Hat mich grade neugierig gemacht

Global und Lokal, beides funktioniert bei mir:

Code: Alles auswählen

var Pointer:String;

procedure TForm1.FormCreate(Sender: TObject);
begin
  Pointer:='Hallo';
  Caption:=Pointer;
end;                   

und auch das geht:

Code: Alles auswählen

procedure TForm1.FormCreate(Sender: TObject);
var Pointer:String;
begin
  Pointer:='Hallo';
  Caption:=Pointer;
end;            

Lazarus 4.6 (rev lazarus_4_6) FPC 3.2.2 x86_64-win64-win32/win64

Dies hätte mich verwundert wen es nicht gehe würde, du kannst alles nehmen, solange das Wort nicht reserviert ist.

Aber sowas ist echt merkwürdig:

Code: Alles auswählen

procedure test1(pointer: pointer); // geht

[fliegermichl]

Damit kann man aber einen in den Wahnsinn treiben.

Code: Alles auswählen

Program PtrTest;
var Pointer : string;

procedure ZeigePointer(Ptr : Pointer);
begin
 WriteLn(IntToHex(PtrInt(Ptr), SizeOf(Pointer)*2));
end;

begin
 Pointer := 'Hallo';
 ZeigePointer(@Pointer);
end.

Der Compiler meckert jetzt bei der Deklaration von ZeigePointer mit "Type identifier expected", weil es den Typ Pointer jetzt nicht mehr gibt.

[Zvoni]

Damit kann man aber einen in den Wahnsinn treiben.

Code: Alles auswählen

Program PtrTest;
var Pointer : string;

procedure ZeigePointer(Ptr : Pointer);
begin
 WriteLn(IntToHex(PtrInt(Ptr), SizeOf(Pointer)*2));
end;

begin
 Pointer := 'Hallo';
 ZeigePointer(@Pointer);
end.

Der Compiler meckert jetzt bei der Deklaration von ZeigePointer mit "Type identifier expected", weil es den Typ Pointer jetzt nicht mehr gibt.

Das hier wiederum funktioniert:

Code: Alles auswählen

Program PtrTest;
Uses Sysutils;  //Braucht man für IntToHex
var Pointer : string;

procedure ZeigePointer(Ptr : System.Pointer);  //Voll qualifizierter Typ mit Unit-Namen, wo er definiert ist
begin
 WriteLn(IntToHex(PtrInt(Ptr), SizeOf(Pointer)*2));
end;

begin
 Pointer := 'Hallo';
 ZeigePointer(@Pointer);
 Readln;
end.

[m.fuchs]

Ja, wenn du es komplett qualifiziert angibst geht ja auch das Original:

Code: Alles auswählen

program Project1;

  procedure test1(pointer: pointer); // geht
  begin
    pointer := nil;
  end;

  procedure test2(integer: integer); // geht
  begin
    integer := 123;
  end;

var
  Pointer: System.Pointer; // geht auch

begin
  test1(nil);
  test2(1234);
end.

[Zvoni]

Womit wir den Bumerang bekommen zu:
Benutze halt keine Keywords als Variablen-Namen *schulterzuck*

Glaube mich sogar daran zu erinnern, dass irgendwas deswegen sogar in der Doku steht.
Bin mir aber nicht sicher

[af0815]

Ein Typ ist kein Keywort.

[Zvoni]

Ein Typ ist kein Keywort.

Argghh.....stimmt.....
Du weisst was ich meine

[Warf]

Shadowing regeln in FPC sind etwas seltsam. Grundsätzlich ist es erst mal nur ein Fehler wenn es keine Mööglichkeit zur Auflösung gibt. Über den Qualifizierten Namen kann man über Units hinweg immer auflösen wie von Zvoni gezeigt mit System.Pointer. Das einzige was gar nicht erlaubt ist, ist wenn es keine Möglichkeit mehr zum Auflösen gibt (z.B. zwei globale Bezeichner in der gleichen Unit).

In manchen Situationen ist Shadowing darüber hinaus nicht erlaubt, z.B.:

Code: Alles auswählen

type TMyClass = class
public
  MyInt: Integer;
  procedure Foo(MyInt:Integer); // Error Duplicate Identifier in Mode ObjFPC
end;

Das gibt in Mode ObjFPC einen Fehler obwohl man über Self MyInteger immer auflösen kann. In Mode Delphi ist das aber erlaubt.

[Zvoni]

Shadowing regeln in FPC sind etwas seltsam. Grundsätzlich ist es erst mal nur ein Fehler wenn es keine Mööglichkeit zur Auflösung gibt. Über den Qualifizierten Namen kann man über Units hinweg immer auflösen wie von Zvoni gezeigt mit System.Pointer. Das einzige was gar nicht erlaubt ist, ist wenn es keine Möglichkeit mehr zum Auflösen gibt (z.B. zwei globale Bezeichner in der gleichen Unit).

In manchen Situationen ist Shadowing darüber hinaus nicht erlaubt, z.B.:

Code: Alles auswählen

type TMyClass = class
public
  MyInt: Integer;
  procedure Foo(MyInt:Integer); // Error Duplicate Identifier in Mode ObjFPC
end;

Das gibt in Mode ObjFPC einen Fehler obwohl man über Self MyInteger immer auflösen kann. In Mode Delphi ist das aber erlaubt.

Wobei ich aber dann sage: Wer Typen-Bezeichner als Variablen-Namen verwendet ("..... (pointer : pointer)" oder "Var pointer:String;") hat dann sowieso kein Mitleid von mir zu erwarten.

In einem Programmierer-Team wäre das mMn sogar ein Grund für eine Abmahnung