Инициализация статического массива в функции в C

Question

Может ли статический массив, объявленный в main, инициализироваться/мутировать в функции?

Я пробовал код ниже, но он возвращает ошибку seg.

void initialize(int **p, int a, int b) 
{ 
    int i, j; 
    for(i=0; i<a; ++i) { 
     for(j=0; j<b; ++j) 
      p[i][j] = j; 
    } 
} 

int m = 5; 
int n = 5; 
int arr[m][n]; 
int **A = &arr[0][0]; 


initialize(A, m, n); 

---

EDIT:

Я нашел хорошее объяснение этого вопроса здесь:

http://c-faq.com/aryptr/pass2dary.html

Answer 1

Вы передаете двумерный массив, а не указатель на указатель. Вам придется изменить тип аргумента функции.

void initialize(int a, int b , int p[][b]) 
{ 
    ... 

Поскольку вы должны определить размер для массива p, аргументы a и b объявлены первые, а затем b используются для определения размера.

Answer 2

Изменение

initialize(A, m, n); 
void initialize(int **p, int a, int b) 

в

initialize(n, A, m); 
void initialize(int b, int p[][b], int a) 

Когда вы передаете многомерный массив функции, значение первого массива необязательно указывать. Однако для функции необходимо предоставить второй (и последующий) размеры.

Answer 3

Включить предупреждения в вашем компиляторе, и вы получите это:

warning: passing argument 1 of ‘initialize’ from incompatible pointer type [enabled by default] 

В результате вы получите SEG. неисправность.

Вы должны изменить прототип вашей функции к этому:

void initialize(int a, int b, int p[][b]); 

и вызов функции будет:

initialize(m, n, A); 

Answer 4

Да, они могут, не было бы очень полезно если бы они не могли.

Однако вы столкнулись с проблемой, связанной с тем, как вы пытаетесь разложить массивы на указатели. То, что вы объявили в main, является двумерным массивом - единым блоком памяти, который, как оказалось, индексируется через комбинацию из двух индексов (переведенных во время компиляции). Вы пытаетесь разложить его так, как если бы это был массив указателей для массивов, что означает, что в пределах initialize вы разыгрываете указатель, чтобы попытаться получить указатель, а затем разыменовываете это, чтобы получить слот. Так как двумерный массив на самом деле описывает один блок памяти, два слоя указателя не будут работать для его доступа. Вам нужно разложить его на тип, включающий только один уровень указателя.