Automatische Problem-Erkennung

[jaenicke]

Noch schöner:

Delphi-Quellcode:

begin
  FMyVal := '42';
  DoMore;
end;

procedure TWhatever.DoMore();
begin
  DoSomeThing(FMyVal);
end;

procedure TWhatever.DoSomething(const sVal : String);
begin
  FMyVal := '';
  FMyVal := '43';
  if (sVal = '43') then ShowMessage('Aua');
end;

Da der Speicherbereich erneut verwendet wird, ist in sVal der neue Wert direkt drin.

Das ist wirklich eine schöne Falle, die man nicht sofort sieht.

[Sinspin]

Mir ist gerade ein bisschen Schwarz vor Augen geworden. Ein Glück dass ich kein Freund von Const-Parametern bin.
Ich werde trotzdem mal nach Const in Parametern suchen und mir alle Übergaben ansehen.

[himitsu]

ByReference-Parameter.

Ich lasse zu oft gern das CONST weg, weil es hässlich aussieht.
Ich hab solche Probleme also fast nie.

Ohne CONST gibt es im String ein RefCount+1, womit es in der Funktion zwei Variablen sind, beim := wird es ordentlich aufgelöst und somit wird nichts überschrieben.

Ein const Val: Integer hätte dieses Problem nicht, da es in den Speicher eines Registers passt und somit keine Referenz genutzt wird (obwohl man denkt das befohlen zu haben),
aber darum hat Emba vor 'nem Weilchen das const [Ref] Val: Integer erfunden, damit man auch dort dieses Fehlerchen bewundern darf.

[Incocnito]

Zitat von himitsu:

... Ein const Val: Integer hätte dieses Problem nicht, da es in den Speicher eines Registers passt und somit keine Referenz genutzt wird (obwohl man denkt das befohlen zu haben),
aber darum hat Emba vor 'nem Weilchen das const [Ref] Val: Integer erfunden, damit man auch dort dieses Fehlerchen bewundern darf.

Wieder einer dieser Momente, wo nur Entwickler den Witz verstehen. 😉🤣

[Blup]

Eine ungünstige Klassenstruktur könnte solche Fehler begünstigen.
Wenn man sich des Problems bewusst ist, lässt sich das auch vermeiden:

Delphi-Quellcode:

procedure TWhatever.DoMore();
begin
  DoSomeThing(Copy(FMyVal));
end;

[Incocnito]

Zitat von jaenicke:

...Da der Speicherbereich erneut verwendet wird, ist in sVal der neue Wert direkt drin.
Das ist wirklich eine schöne Falle, die man nicht sofort sieht.

Tatsächlich stand da nach dem Zuweisen des Leerstring zu der privaten Variable (also FMyVal in meinem Beispiel) auf einmal
"#10#13" random in der lokalen Variable (sVal) bei einem Testlauf. Also kann da bei solch einer Konstellation auch
Speichermüll drin stehen. Es muss nicht sein, dass er den aktuellen Wert der Hauptvariable übernimmt.
Das war bei dir vielleicht nur Zufall (oder es liegt daran, dass du eine andere Delphi-Version hast).

Liebe Grüße
Incocnito

[skybibo]

Zitat von Incocnito:

Tatsächlich stand da nach dem Zuweisen des Leerstring zu der privaten Variable (also FMyVal in meinem Beispiel) auf einmal
"#10#13" random in der lokalen Variable (sVal) bei einem Testlauf. Also kann da bei solch einer Konstellation auch
Speichermüll drin stehen. Es muss nicht sein, dass er den aktuellen Wert der Hauptvariable übernimmt.
Das war bei dir vielleicht nur Zufall (oder es liegt daran, dass du eine andere Delphi-Version hast).

Liebe Grüße
Incocnito

Welche Delphi Version verwendest du?

Bei Delphi 7 kann ich das so produzieren, aber bei Delphi 11 kann ich hier kein Problem oder Absturz reproduzieren.

[jaenicke]

Nach Delphi 7 wurde der neue Speichermanager eingeführt. Ich hatte mit Delphi 11 getestet.

Abstürzen tut da nichts, aber der geänderte Speicherinhalt ist direkt zu sehen.

[Incocnito]

Zitat von skybibo:

...
Welche Delphi Version verwendest du?
Bei Delphi 7 kann ich das so produzieren, aber bei Delphi 11 kann ich hier kein Problem oder Absturz reproduzieren.

Ich nutze Delphi 10.4

[skybibo]

Ich habe mal eine komplette Unit erstellt. In dieser Variante bekomme ich auch mit Delphi 11 einen EInvalidPointer Fehler. Was genau Delphi in der Procedure "DoSomething" macht ist für mich noch nicht so richtig nachvollziehbar. Ob diese Kombination in einem normalen Programm so vorkommen kann weiß ich nicht. Bei mir hatte ich dies noch nicht. Ich sehe hier auch bei Delphi selbst keinen Fehler. Wenn ich Unsinn programmiere, dann bekomme ich auch ein Unsinniges Ergebnis.

Delphi-Quellcode:

unit Unit1;

interface

uses
  Winapi.Windows, Winapi.Messages, System.SysUtils, System.Variants, System.Classes, Vcl.Graphics,
  Vcl.Controls, Vcl.Forms, Vcl.Dialogs;

type
  TForm1 = class(TForm)
    procedure FormCreate(Sender: TObject);
  private
    FMyVal: String;
  public
    procedure DoMore;
    procedure DoSomething(const sVal:String);
  end;

var
  Form1: TForm1;

implementation

{$R *.dfm}

procedure TForm1.DoMore;
  var
    Val: String;
begin
  DoSomething(FMyVal);
end;

procedure TForm1.DoSomething(const sVal: String);
  var
    Val: String;
begin
  FMyVal := '';     //ohne diese Zeile gibt es keinen Fehler
  Val := sVal;
end;

procedure TForm1.FormCreate(Sender: TObject);
begin
  FMyVal := 'XXX';  //ohne diese Zeile gibt es keinen Fehler
  DoMore;
end;

end.