Відповідь на останні два можна також вивести із золотого правила в С:
Декларація слід використовувати.
int (*arr2)[8];
Що станеться, якщо знешкодження arr2? Ви отримуєте масив з 8 цілих чисел.
int *(arr3[8]);
Що станеться, якщо взяти елемент arr3? Ви отримуєте вказівник на ціле число.
Це також допомагає при роботі з покажчиками на функції. Для прикладу sigjuice:
float *(*x)(void )
Що трапляється, коли ви зневажаєте x? Ви отримуєте функцію, яку можна викликати без аргументів. Що відбувається, коли ви його називаєте? Він поверне вказівник на a float.
Проте пріоритет оператора завжди складний. Однак використання дужок може насправді також заплутати, оскільки декларація слід використовувати. Принаймні, мені інтуїтивно arr2виглядає як масив з 8 вказівників на ints, але насправді навпаки. Просто потрібно трохи звикнути. Причина достатня, щоб завжди додавати коментар до цих декларацій, якщо ви запитаєте мене :)
редагувати: приклад
До речі, я просто натрапив на таку ситуацію: функція, яка має статичну матрицю і яка використовує арифметику вказівника, щоб побачити, чи вказівник рядка не виходить за межі. Приклад:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define NUM_ELEM(ar) (sizeof(ar) / sizeof((ar)[0]))
int *
put_off(const int newrow[2])
{
static int mymatrix[3][2];
static int (*rowp)[2] = mymatrix;
int (* const border)[] = mymatrix + NUM_ELEM(mymatrix);
memcpy(rowp, newrow, sizeof(*rowp));
rowp += 1;
if (rowp == border) {
rowp = mymatrix;
}
return *rowp;
}
int
main(int argc, char *argv[])
{
int i = 0;
int row[2] = {0, 1};
int *rout;
for (i = 0; i < 6; i++) {
row[0] = i;
row[1] += i;
rout = put_off(row);
printf("%d (%p): [%d, %d]\n", i, (void *) rout, rout[0], rout[1]);
}
return 0;
}
Вихід:
0 (0x804a02c): [0, 0]
1 (0x804a034): [0, 0]
2 (0x804a024): [0, 1]
3 (0x804a02c): [1, 2]
4 (0x804a034): [2, 4]
5 (0x804a024): [3, 7]
Зауважте, що значення межі ніколи не змінюється, тому компілятор може оптимізувати це. Це відрізняється від того, що ви, можливо, спочатку хочете використовувати:: const int (*border)[3]що оголошує кордон як вказівник на масив з 3 цілих чисел, які не змінять значення, поки існує змінна. Однак цей покажчик може бути вказаний на будь-який інший такий масив у будь-який час. Натомість ми хочемо такої поведінки для аргументу (оскільки ця функція не змінює жодного з цих цілих чисел). Декларація слід використовувати.
(ps: сміливо покращуйте цей зразок!)