Konstante oder nicht Konstante, das ist hier die Frage.

[Corpsman]

Hi Leutz,

ich hör da grad ne Vorlesung zu Compilerbau und Programmanalysen, und da hat der Prof. doch was interessantes gesagt.

Schaut euch dieses Code stück an und überlegt euch die Antworten bevor ihr es ausprobiert ;).

Delphi-Quellcode:

const blub:integer = 10;

var
  Form1: TForm1;

implementation

{$R *.DFM}

procedure TForm1.FormCreate(Sender: TObject);
type p = ^integer;
var i : P;
begin
  i := @blub;
  i^ := 5;
  showmessage(inttostr(blub));
end;

Kann dieser Code Compiliert werden ?

Wenn ja was zeigt die Messagebox ?

[mirage228]

Klar, das geht, MsgBox gibt dann "5" aus :)

Viele Grüße

[Christian Seehase]

Zitat:

Zitat von mirage228

Klar, das geht, MsgBox gibt dann "5" aus :)

Anders gesagt: Es hätte mich überrascht, wenn es anders wäre ;-)

[Jens Hartmann]

Also, ich habe überlegt und dann natürlich versucht, ich wäre durch Denke auf den Wert 10 in der Message gekommen.
Ich muss allerdings zugeben, das ich das Ergebnis 5 nicht richtig nachvollziehen kann.

Vieleicht erläutert es ja einer von Euch.

MFG

Jens

[DeddyH]

Es wird ja direkt der Speicher, in dem blub steht, manipuliert. Das kann der Compiler nicht erkennen.

[mirage228]

Zitat:

Zitat von Jens Hartmann

Vieleicht erläutert es ja einer von Euch.

Es wird ein Zeiger auf die "Konstante" in einer neuen Variable(!) erzeugt (i := @blub). So kann man direkt den Speicherbereich der Konstanten verändern, ohne dass der Compiler "erkennt", dass wir versuchen "blub" zu verändern und das mit einem Syntaxfehler (bei {J-}-Option) quittieren würde.

[Jens Hartmann]

Also so richtig nicht, Ihr könnt ja von mir denken was Ihr wollt, Aber mich interesiert es schon wie es Funktioniert und ich habe es leider noch nicht so richtig verstanden.

Verstanden habe ich lediglich das die Var Blub geändert wird, aber wie noch nicht.

Jens

[fkerber]

Hi!

Es geht darum, dass man quasi hintenrum eine Konstante verändert. Würde man das auf direktem Wege versuchen, so würde der Compiler meckern, da es ja eine Konstante ist. Mit dem anderen Weg verändert man direkt im Speicher den Wert im Speicher - das kann der Compiler weder merken noch anmeckern...


Ciao, Frederic

[SirThornberry]

Da es sich hier nicht wirklich um eine Konstante handelt geht es. Das Wörtchen const täuscht hier ein wenig.
Sobald in Delphi eine Constante typisiert ist, ist es letzendlich nichts anderes als eine Variable die geringfügig geschützt wird durch den Compiler. Hat man hingegen eine untypisierte Konstante wird diese beim kompilieren durch den Wert an den entsprechenden Stellen ersetzt.
Sprich: eine typisierte Konstante ist per Default (Compilereinstellungen) nichts anderes als eine Variable die man nicht ganz so einfach ändern kann.

[Edit]: Bei einer echten Konstante (untypisiert) würde obiges Beispiel auch nicht kompilieren weil zuvor der Konstantenname durch die Konstante ersetzt werden würde und somit würde für den Compiler folgendes dabei heraus kommen:

Delphi-Quellcode:

procedure TForm1.FormCreate(Sender: TObject); 
type p = ^integer; 
var i : P; 
begin 
  i := @10;  //blup wird durch 10 ersetzt und von 10 die Adresse geht nicht weil 10 keine Variable oder dergleichen ist
  i^ := 5; 
  showmessage(inttostr(10)); 
end;

[quendolineDD]

Jens hat es auf den Punkt gebracht.

Delphi-Quellcode:

const a = 10;
var
  i : ^integer;
begin
  i := @a;
  i^ := 5;
  ShowMessage(IntToStr(a));
end;

Meckert der Compiler mit einem Fehler:
[Fehler] Unit1.pas(31): Variable erforderlich

[Corpsman]

Ist das schön..


@DeddyH

Der Witz ist das im Zuge einer Zeigeranalyse er das Rauskriegen kann, wenn es auch aufwendig ist.

Laut Prof ist das ein sehr häufiger Fehler in vielen Programmiersprachen.

@Jens Hartmann

Also fkerber und Mirage228 haben das genau Richtig erklärt, ich hoffe es du kommst da noch drauf.

Klar ist das der PC eben mittels speicheraddressen arbeitet, und auch eine Constante irgendwo hnigeschrieben werden mus. Da wo das ist kann man natürlich auch die Addresse hohlen und die dann überschreiben.

[Christian Seehase]

Moin Corpsman,

Zitat:

Zitat von Corpsman

und auch eine Constante irgendwo hnigeschrieben werden mus.

Nein, muss sie nicht ;-)
Eine untypisierte Konstante wird, wie Lars ja schon beschrieben hat, beim Compilieren direkt ersetzt, ähnlich wie die Makros (#define) in C/C++.

Bei typisierten Konstanten müsste es auch nur dann sein, wenn die Compileroption "Zuweisbare typisierte Konstanten" aktiviert ist.

[Sunlight7]

Das is mir vor langer Zeit mal aufgefallen :mrgreen:

Delphi-Quellcode:

procedure TForm1.FormCreate(Sender: TObject);
   const x:Integer=10;
begin
   x:=5;

   ShowMessage(IntToStr(x));
end;

[mleyen]

Kurze nebenfrage:

Ich mein mich daran zu erinnern, dass mir gesagt wurde das Konstanten Binär anders Abgelegt werden.
Die Aussage scheint ja in Delphi bei typisierten Konstanten nicht zu stimmen.

Sind Konstanten jetzt (irgendwo) Binär anders als vars abgelegt oder hat die Aussage gar keinen Wahrheitswert?
(Ich dachte bis jetzt immer Konstanten sind performanter bzw benötigen weniger Speicherplatz) :duck:

[Luckie]

Mit dem Trick kann man auch die Laufvariable einer for-Schleife manipulieren, was ja sonst eigentlich nicht möglich ist.

[Mavarik]

Zitat:

Zitat von spawn89

Ich mein mich daran zu erinnern, dass mir gesagt wurde das Konstanten Binär anders Abgelegt werden.
Die Aussage scheint ja in Delphi bei typisierten Konstanten nicht zu stimmen.

Sind Konstanten jetzt (irgendwo) Binär anders als vars abgelegt oder hat die Aussage gar keinen Wahrheitswert?
(Ich dachte bis jetzt immer Konstanten sind performanter bzw benötigen weniger Speicherplatz) :duck:

Was meinst Du mit "binär" abgelegt?

Delphi-Quellcode:

Const
     A = 'Klaus';
     B =  1000000;
     C =  100.73625;

Zusätzlicher Speicherbedarf 0 Byte, da alle diese Werte sofort in den Code geschrieben werden, an den Stellen wo diese benutzt werden.

Delphi-Quellcode:

Const
     A = 'Klaus' : String;
     B =  1000000 : Longint;
     C =  100.73625 :real;

Diese Daten benötigen zusätzlichen Speicher und liegen im DS und können daher auch zur Laufzeit verändert werden.

Mavarik

[mleyen]

Ich dachte Konstanten werden anders 'abgelegt' und anders interpretiert. (also eine Art eigener Datentyp)

Also wie ich das jetzt verstanden habe:
untypisierte Konstanten = Werden im Code direkt in die zugehörigen Werte umgewandelt. (also nicht zur Laufzeit)
typisierte Konstanten = Sind ganz normale Variablen.

Jetzt verstehe ich den Sinn von typisierten Konstanten nicht so ganz.
Oder ist das jetzt nur eine Programmierhilfe um Programmierern zu sagen: "Diese Veriable (const) solltest du nicht ändern."?

[uligerhardt]

Zitat:

Zitat von Luckie

Mit dem Trick kann man auch die Laufvariable einer for-Schleife manipulieren, was ja sonst eigentlich nicht möglich ist.

Bring bloß niemand auf blöde Ideen. :mrgreen: