array dichiarato con la parola chiave static: cosa è statico, il puntatore o l'intero array?

Question

semplice ma difficile domanda:

void f() { 
    static int a[3] = {1, 2, 3}; 
    ... 

Qual è statico qui? Il puntatore all'array o all'intero array?

Qualcuno può indicarmi una definizione di quello nello standard C?

Grazie!

Answer 1

Dalla norma ISO C99 (paragrafo 6.2.1, "Scopes di identificatori"):

3 Se la dichiarazione di un ambito di file identificatore di un oggetto o di una funzione contiene la classe di archiviazione specificatore static, l'identificatore ha linkage.22 interno)

nel tuo esempio è l'identificatore a che diventa statico (cioè il simbolo nel file oggetto non viene esportata).

EDIT:

Per dichiarazioni ambito diverso da un file statici (sezione 6.2.4, "durata di stoccaggio di oggetti")

3 Un oggetto cui identificatore è dichiarata con esterno o interno collegamento , oppure con lo specificatore della classe di memoria ha una durata di memorizzazione statica . La sua durata è l'intera esecuzione del programma e il suo valore memorizzato viene inizializzato una sola volta, prima dell'avvio del programma.

Prendo questo per indicare che la matrice stessa diventa statica in questo caso, il che ha senso, poiché l'identificatore avrebbe altrimenti contenuto non valido.

Answer 2

In codice:

static int a[3] = {1, 2, 3}; 

tipo di puntatore non è, ma array di int. Tuttavia, viene automaticamente convertito in puntatore, ad es. in C standard:

Tranne quando è l'operando dell'operatore sizeof o unario e operatore, o è una stringa letterale utilizzata per inizializzare una matrice, viene convertita un'espressione con tipo '' array di tipo '' in un'espressione con tipo '' puntatore al tipo '' che punta all'elemento iniziale dell'oggetto array e non è un lvalue.

Quindi se a è array, che = {1, 2, 3} è l'inizializzazione, non un qualche tipo di array separato. Non so se è specificato esattamente da qualche parte, ma in questo senso è usato in tutto lo standard.

Modifica per chiarire la confusione da alcuni dei lettori: secondo norma di cui sopra, se si scrive:

int arr[4] = { }; 
arr[0] = 1; //arr here has here type int* 
size_t sz = sizeof(arr); //here it is not type int*, sizeof is exception 

Answer 3

Si applica alla matrice. Non c'è alcun puntatore nel tuo codice. La matrice non è un puntatore.

#include <stdlib.h> 
#include <stdio.h> 

void f() { 
    static int a[3] = {1, 2, 3}; 
     a[1]++; 
     printf("%d\n", a[1]); 
} 

main() 
{ 
     int i; 
     for (i = 0; i < 5; i++) 
     { 
       f(); 
     } 
} 

uscite

3 
4 
5 
6 
7