Esempio di qualcosa che è, e non è, una "Espressione costante" in C?

Question

Sono un po 'confuso tra ciò che è e non è una costante espressione in C, anche dopo molto Googleing. Potresti fornire un esempio di qualcosa che è, e che non è, un'espressione costante in C?

Answer 1

Un'espressione costante può essere valutata in fase di compilazione. Ciò significa che non ha variabili in esso. Ad esempio:

5 + 7/3 

è un'espressione costante. Qualcosa di simile:

5 + someNumber/3 

non è, supponendo someNumber è una variabile (cioè, non di per sé una fase di compilazione costante).

Answer 2

C'è un'altra sottigliezza nelle espressioni costanti. Ci sono alcune cose che sono note al compilatore, ma non possono essere conosciute dal preprocessore.

Ad esempio (24*60*60) può essere calcolato da entrambi, ma sizeof struct foo è noto solo al compilatore. Questa distinzione può essere importante se si sta tentando di verificare che uno struct sia definito per soddisfare una dimensione con obbligo esterno o che i suoi membri siano associati a offset specificati esternamente. (Questo caso di utilizzo spesso sorge quando codifica i driver di periferica in cui la struct descrive dispositivo registra come spiegate nello spazio di memoria.)

In quel caso non si può semplicemente dire #if (sizeof(struct UART) == 12) perché il preprocessore funziona a un passaggio davanti alla compilazione e semplicemente non può conoscere la dimensione di qualsiasi tipo. È, tuttavia, un'espressione costante e sarebbe valida come inizializzazione di una variabile globale (ad esempio int UARTwords = sizeof(struct UART)/sizeof(short);), o di dichiarare la dimensione di un array (ad esempio unsigned char UARTmirror[sizeof(struct UART)];)

Answer 3

Qualunque singolo valore letterale è un'espressione costante.

3  0.0f '\n' 

(stringhe letterali sono strani, perché sono in realtà gli array. Sembra "hello" in realtà non è una costante, in quanto finisce per dover essere collegati e tutto ciò che, e l'indirizzo e il contenuto può cambiare in fase di esecuzione .)

La maggior parte degli operatori (sizeof, cast, ecc.) Applicati a costanti o tipi sono espressioni costanti.

Qualsiasi espressione che coinvolge solo espressioni costanti è anch'essa un'espressione costante.

15 + 3 
0.0f + 0.0f 
sizeof(char) 

Qualsiasi espressione contenente chiamate di funzione o espressioni non costanti è solitamente non un'espressione costante.

strlen("hello") 
fifteen + x 

Lo stato di qualsiasi macro come espressione costante dipende da cosa si espande.

/* Always a constant */ 
#define FIFTEEN 15 

/* Only constant if (x) is 
#define htons(x) ((((x) >> 8) | ((x) << 8)) & 0xffff) 

/* Never constant */ 
#define X_LENGTH strlen(x) 

Inizialmente avevo alcune cose in qui circa const identificatori, ma ho provato che e apparentemente non si applica in C. const, stranamente, non dichiarare le costanti (almeno, non quelli "costante "sufficiente per essere utilizzato nelle istruzioni switch). In C++, tuttavia, lo fa.

Answer 4

Un'altra ruga divertente: in C, il valore di un 'enum' è una costante, ma può essere utilizzato solo dopo che la dichiarazione dell '"enum" è completa. Di seguito, per esempio, non è accettabile in serie C, anche se è accettabile in C++:

 
enum {foo=19, bar, boz=bar+5;}; 

Potrebbe essere riscritta:

 
enum {foo=19, bar}; enum {boz=bar+5;}; 

se questo finirebbe definire più tipi di enumerazione diversi, piuttosto che uno che contiene tutti i valori.

Answer 5

Anche integral character constants come 'a' o '\n' sono costanti che il compilatore riconosce come tali. Hanno tipo int.

Answer 6

Nessuno sembra aver menzionato ancora un altro tipo di espressione costante: costanti di indirizzo. L'indirizzo di un oggetto con la durata di archiviazione statica è una costante indirizzo, quindi si può fare questo genere di cose nell'ambito di file:

char x; 
char *p = &x; 

stringhe letterali definiscono le matrici con la durata di archiviazione statica, quindi questa regola è anche il motivo per cui si può fare questo per lo scopo del file:

char *s = "foobar";