sizeof nicht konstant?

[Walter T. (nicolas)]

Hallo zusammen,
ich habe mal wieder gemerkt, daß ich Verständnislücken im Bereich 
"Konstanten" unter C habe:

Ich habe ein großes Struct definiert:

const conf_t Conf[] =
{
  {   // Stop
    .GPIOx    = GPIOA,
    .GPIO_Pin = GPIO_Pin_0,
    //[...]
  },

  {   // Pause, feed hold
    .GPIOx    = GPIOA,
    .GPIO_Pin = GPIO_Pin_1,
    //[...]  
  }
  //[...]
},

const uint32_t nConf = sizeof(Conf)/sizeof(Conf[0]);

Die Größe der Konstanten "nConf" ist zur Compilezeit bekannt. Erzeuge 
ich innerhalb einer Funktion allerdings ein Array mit dieser Größe:

void fcn(void)
{
   static uint_fast8_t helpbuf[nConf];


}

so wird mir das mit der Fehlermeldung

   error: storage size of 'helpbuf' isn't constant

quittiert. Beides ist übrigens in der gleichen .c-Datei.

Was veranlaßt den Compiler zu der Behauptung, daß "nConf" kein zur 
Compilezeit bekannter, konstanter Ausdruck sei?

Die "Lösung" für die Implementierung kenne ich natürlich: Mit

#define NCONF (sizeof(Conf)/sizeof(Conf[0]))
void fcn(void)
{
   static uint_fast8_t helpbuf[NCONF];
}

bekommt der Compiler seinen konstanten Ausdruck und ist zufrieden. Mich 
interessiert also nur: Warum ist eine Konstante kein konstanter 
Ausdruck?

Viele Grüße
W.T.

[Klaus W. (mfgkw)]

Erstmal ist const nicht die Aussage, daß ein Wert wirklich konstant sein 
muß, sondern nur dein Versprechen, den Wert im Geltungsbereich nicht zu 
ändern.

Für klassische C-Compiler ist das Grund genug, den Wert auch nicht als 
Konstante zu betrachten und verbietet deshalb die Verwendung für eine 
Feldgröße.

Also mit C89/ISO-C90 geht es nicht.
Ab C99 und mit C++ dann wieder doch...

[Markus F. (mfro)]

Das Schlüsselwort "const" definiert keine Konstante - zumindest nicht in 
C.

Eine const deklarierte Variable bleibt eine Variable. const bedeutet 
lediglich, daß Du beabsichtigst, die Variable innerhalb des so 
deklarierten Gültigkeitsbereiches nicht zu verändern. Sonst nichts.

Daß das Schlüsselwort ungünstig gewählt war, haben die C-Erfinder längst 
begriffen, lässt sich aber nicht mehr ändern. Wenn man noch mal neu 
anfangen würde, würde das wahrscheinlich "readonly" heißen.

[const2const (Gast)]

Walter Tarpan schrieb:
> Conf[]

Walter Tarpan schrieb:
> nConf = sizeof(Conf) ...

nConf ergibt sich aus einem offenem array. Schreib eine Zahl in die 
eckige Klammer und - wenn es sich nicht ändern soll - noch ein const 
davor.

[Johann L. (gjlayde)]

Klaus Wachtler schrieb:
> Also mit C89/ISO-C90 geht es nicht.
> Ab C99 und mit C++ dann wieder doch...

Nö, mit C99 (oder C11) geht das auch nicht weil helpbuf[] static ist.

[Dosmo (Gast)]

Walter Tarpan schrieb:

void fcn(void)
{
  static uint_fast8_t helpbuf[nConf];
}

Das Problem ist, daß das Array statisch ist, d.h. es liegt an einer 
festen Adresse und hat eine feste Größe, die sich zur Laufzeut nicht 
ändern kann/darf.
Hierzu braucht es eine Größenangabe, die über die gesamte 
Programmlaufzeit unverändert bleibt.
Der C-Compiler akzeptiert hier keine Variable, auch dann nicht wenn sie 
mit dem Qualifier "const" versehen ist. Wie oben schon erklärt wurde, 
beschreibt "const" eher eine Absichtserklärung, die Variable nicht zu 
beschreiben.

[Klaus W. (mfgkw)]

Johann L. schrieb:
> Nö, mit C99 (oder C11) geht das auch nicht weil helpbuf[] static ist.

auch wieder wahr...

Wobei sich die Frage stellt, warum es static ist.
Daß es Sinn macht, sehe ich aus dem Zusammenhang hier nicht, aber 
vielleicht hat er ja Gründe dafür.