C: Wann werden lokale Variablen initialisiert?

Ich würde nicht davon ausgehen, dass jeder Compiler so nett ist, die 
Variabeln automatisch zu initialisieren. Daher würde ich mir nicht 
angewöhnen, dies dem Compiler und Zufall zu überlassen sondern es selbst 
in die Hand nehmen und sofern nötig, selber initialisieren.

Ohne static werden sie überhaupt nicht initialisiert, es sei denn man 
scheibt es explizit hin. Und das passiert im Prinzip genau dort wo es 
steht, als Zuweisung in der Funktion bei jedem Durchlauf neu.

  int i = 1;
entspricht also
  int i; i = 1;

Richtig. Und bei
  while (1) {
    int i = 1;
    ...
  }
passiert das bei jedem Durchlauf.

Hallo Markus,
lokale Variablen liegen auf dem Stack.
Da kann der Compiler gar nicht von selbst initialisieren, denn er weiß 
nicht, wo die Variable während der Laufzeit liegen wird.

Ich habe in meinem Kurs ein kleines Video zu diesem Thema gedreht.

Vieleicht hilft das beim Verständnis:
http://et-tutorials.de/2276/funktionen-in-c-globale-und-lokale-variablen/

adfix schrieb:
>> Globale Variablen werden immer initialisiert, auch wenn du es nicht
>> explizit hinschreibst.
>
> Nö.

Dann ist's aber kein C, zumindest kein dem Standard entsprechendes.

adfix schrieb:
>>Globale Variablen werden immer initialisiert, auch wenn du es nicht
>>explizit hinschreibst.
>
> Nö.
>
> Kann man bei manchen Compilern einstellen. Die tun dann vor die main()
> noch ne Initialisierung rein. Dort wird dann der Speicher mit 0 gefüllt.
> Ich glaube der GCC macht das . Beim Cosmic muss man ne crtsi.s
> einbinden.



Anders rum wird ein Schuh draus.

Globale Variablen werden immer auf 0 initialisiert. Manche Compiler 
erlauben allerdings, mit speziellen Sprachmitteln, diese Initialisierung 
abzuschalten. Dies kann ich als Programmierer benutzen, wenn ich von 
vorne herein weiß, dass diese Initialisierung keinen Sinn macht und nur 
Rechenzeitfresser ist.

Wenn der Cosmic das anders handhabt, ist er kein konformer C-Compiler.

Was sind für dich nicht-statische globale Variablen?

Die Angabe "static" bedeuter zweierlei: Ausserhalb einer Funktion 
definiert es nur die Sichtbarkeit (file scope statt external scope), 
nicht hingegen die Art der Speicherung (statisch/stack). Innerhalb einer 
Funktion definiert es neben der Sichtbarkeit (local scope) auch die Art 
der Speicherung. Das ist nicht sonderlich logisch durchdacht, aber wo 
ist C das schon.

Aber egal wie, solange die Variable statisch gespeichert ist, wird sie 
genullt, unabhängig von der Sichtbarkeit.

Andersrum ausgedrückt: Ohne Initialisierung kommen nur lokale Variablen 
der Speicherklassen "auto" (=default) und "register" aus. Alle anderen 
werden genullt sofern nicht explizit initialisiert.

Wolfgang Bengfort schrieb:
> Hallo Markus,
> lokale Variablen liegen auf dem Stack.
> Da kann der Compiler gar nicht von selbst initialisieren, denn er weiß
> nicht, wo die Variable während der Laufzeit liegen wird.

Natürlich weiss der Compiler, wie er an seine Variablen drankommt! Dazu 
müssen sie dock keine zur Compilezeit (oder zur Link/Lokatezeit) 
bekannte Adresse haben.

Wär ziemlich blöd, wenn er Variablen anlegt, auf die er nicht zugreifen 
kann, weil er deren Adresse verschludert...

Nichtinitialisierte auto Variablen werden einfach deshalb nicht 
initialisiert, weil es von C nicht spezifiziert ist, daß sie definierte 
Werte haben müssen. Würde der Compiler Code zu deren Initialisierung 
erzeugen, wäre er schlichtweg überflüssig.

Johann L. schrieb:
>
> Nichtinitialisierte auto Variablen werden einfach deshalb nicht
> initialisiert, weil es von C nicht spezifiziert ist, daß sie definierte
> Werte haben müssen. Würde der Compiler Code zu deren Initialisierung
> erzeugen, wäre er schlichtweg überflüssig.
Hallo Johann,
wenn der Compiler die Variablen auf den Stack legt, kann er sie während 
der Compilierzeit aber nicht initialisieren.
Weil vor dem Aufruf der Funktion auch schon etwas anderes auf dem Stack 
gelegen haben kann. Das ist ja das Schöne am Stack.

Wolfgang Bengfort schrieb:

>> Nichtinitialisierte auto Variablen werden einfach deshalb nicht
>> initialisiert, weil es von C nicht spezifiziert ist, daß sie definierte
>> Werte haben müssen. Würde der Compiler Code zu deren Initialisierung
>> erzeugen, wäre er schlichtweg überflüssig.
> Hallo Johann,
> wenn der Compiler die Variablen auf den Stack legt, kann er sie während
> der Compilierzeit aber nicht initialisieren.

Das ist ja kein Argument.
Der Compiler kann schliesslich auch Code einfügen, der nach dem Betreten 
einer Funktion die neu geschaffenen Variablen initialisiert.

Beim Design der Sprache C wurde schlicht und ergreifend gesagt: Wollen 
wir so nicht haben. Wenn der Programmierer eine lokale Variable 
initialisieren will, dann soll er das hinschreiben. Und ansonsten halten 
wir uns an die oberste Direktive: You don't get, what you didn't ask 
for.
Der Programmierer hat keine Initialisierung verlangt, also kriegt er 
auch keine.

Bei globalen Variablen hat man eine Ausnahme gemacht. Wohl deswegen, 
weil sie in einem Programmlauf nur einmal zum Zuge kommt und daher 
verschmerzbar ist, allerdings auch ein wenig Komfort bringt.

> auch schon etwas anderes auf dem Stack
> gelegen haben kann

Die C-Sprachdefinition verlangt nicht, dass die zugrundeliegende 
Maschine überhaupt so etwas wie einen Stack hat.

Karl heinz Buchegger schrieb:
> Der Compiler kann schliesslich auch Code einfügen, der nach dem Betreten
> einer Funktion die neu geschaffenen Variablen initialisiert.
Da haste Recht.

>
> Die C-Sprachdefinition verlangt nicht, dass die zugrundeliegende
> Maschine überhaupt so etwas wie einen Stack hat.
OK.

Ob der Frager auf diese Feinheiten hinaus wollte?

Karl heinz Buchegger schrieb:
> Bei globalen Variablen hat man eine Ausnahme gemacht. Wohl deswegen,
> weil sie in einem Programmlauf nur einmal zum Zuge kommt und daher
> verschmerzbar ist, allerdings auch ein wenig Komfort bringt.

Wohl vor allem deswegen, weil bei 
Multitasking/Multiuser-Betriebssystemen (C wurde ja ursprünglich für 
Unix entwickelt) das System frisch angeforderten Speicher sowieso immer 
löschen muss, damit nicht so ggf. sensitive Daten (aus der letzten 
Benutzung des Speichers) leaken können. Sinnigerweise passiert das meist 
dadurch dass der Speicher genullt wird.

Beim Programmstart ist der gesamte Speicher des Prozesses "frisch 
angefordert", also sowieso genullt, und es kostet das Programm selbst 
genau garnichts, alle statischen Variablen mit 0 zu initialisieren. Ergo 
schreibt die Regel also eigentlich nur den Status Quo fest.

Andreas