Статический указатель, инициализатор не является постоянным?

Question

То, что я считал статическим указателем, как и другие статические переменные, которые инициализируются значением, которое имеет одно и то же значение до конца, подобно тому, что тот же адрес будет храниться в статическом указателе. Но в этом случае компилятор выбрасывает ошибку

//initialiser element is not constant  static int *a = &b[0]; 

#include <stdio.h> 
int main(void) 
{ 
    int b[2]; 

    static int *a = &b[0]; // removing static the program works well. 
    printf("%u",a); 

    a = &b[1]; 
    printf("%u",a); 

    return 0; 
} 

Так что же такое использование статического указателя?

Answer 1

У вас есть два варианта. Добавьте статику в int b[2] или удалите ее с int *a. Адрес b не является статическим. Это переменная, потому что b - это переменная с автоматическим хранилищем.

Answer 2

В C ваш код не имеет смысла. b имеет автоматическая продолжительность хранения поэтому концептуально будет отличаться адрес каждый раз, когда встречается main. static будет инициализирован только один раз, а при последующих вызовах main он может указать на что-то недействительное.

Но, и это интересно немного, в C++ это должен смысл, так как вы не можете называть себя main: поведение на ваш делать так неопределенными. Таким образом, вывод состоит в том, что компилятор должен знать, что static действителен на всю жизнь main и скомпилировать код! Возможно, что-то есть в стандарте C++, который явно запрещает это.

В C вы можете вызывать main рекурсивно (даже неявно рекурсивно), поэтому компилятор должен испускать ошибку.

Answer 3

Может возникнуть путаница в отношении static против const.

Const переменные будут держать одинаковое значение от времени они инициализируются, пока они не выходят за рамки, если const_cast<> не используется, хотя, как @Bathsheba упоминалось в комментариях, использование const_cast<> на переменную, объявленную сопзЬ не определено.

Статический означает, что он будет инициализирован в месте первого попадания, но затем не выходит за пределы области действия до конца выполнения программы.