Объявление указателей

[Valter]

Доброго всем дня!

В книге Шилдта наткнулся на замечание, что для того чтобы объявить указатель на 2-х мерный массив (например, из int), необходимо использовать следующую запись (скобки обязательны!):

int (*ptr)[5];

Вопрос вот в чем: Почему нельзя объявить его так:

int *ptr[5];

?

В первом случае: указатель на массив из 5-ти элементов типа int, во втором: массив из 5-ти указателей на int.

Но ведь во втором случае никто не запрещает каждый из элементов массива указателей ptr[] рассматривать как начало одномерного массива из int.

То есть, к примеру, в первом случае при ptr++ мы сдвигаемся к следующему одномерному массиву из int, во втором при ptr++ получается то же самое.


NOTE: в книге Кернигана и Ритчи написано (глава "Сложные объявления"):

int (*daytab)[13];
    daytab: указ. на массив[13] из int

int (*daytab)[13];
    daytab: массив[13] из указ. на int

То есть разницы никакой и скобки вокруг указателя необязательны (другое дело, когда объявляется указатель на функцию, там скобки нужны):

void *comp();
    comp: функц. возвр. указ. на void

void (*comp)();
    comp: указ. на функц. возвр. void

[rrrFer]

можно обьявлять как угодно.
int *ptr1[5]; //массив из 5 элементов,каждый из его элементов является указателем.
выделить память можно так:
for(int i=0;i<5;i++){
ptr1[i]=new int[20];
получили массив 5х20

int (*ptr)[5]; //указатель на массив из пяти элементов.
Выделить память можно так:
ptr=new int[20][5]; //получили массив 20х5

ИМХО удобней писать int **ptr2;

[Valter]

То есть, с точки зрения чисто объявления и синтаксиса языка объявления, к примеру,

void *comp();

и

void (*comp)();

неравнозначны.

Равнозначны ли тогда или нет объявления для ptr:

int *ptr[5];

и

int (*ptr)[5];

?

[rrrFer]

в первом случае получаем массив указателей, во втором указатель на массив

[profi]

void (*comp)();

это вообще указатель на функцию. А что бы функция возвращала указатель на двумерный массив нужно так:

int** f();

void*

указатель на неопределенный тип.

[Valter]

Разобрался, спасибо. На самом деле, всю заковыку составили неправильные объявления у Кернигана и Ритчи:

int (*daytab)[13];
    daytab: указ. на массив[13] из int

int (*daytab)[13];
    daytab: массив[13] из указ. на int

По всей видимости, у них тут опечатка во втором случае, так как должно быть так:

int (*daytab)[13];
    daytab: указ. на массив[13] из int

int *daytab[13];
    daytab: массив[13] из указ. на int

У них же есть и объяснение различия в книге:

f(int (*daytab)[13]) {...}

Последняя запись объявляет, что параметр есть указатель на массив из 13 значений типа int. Скобки здесь необходимы, так как квадратные скобки [] имеют более высокий приоритет, чем *. Без скобок объявление

int *daytab[13]

определяет массив из 13 указателей на char.

Еще раз спасибо!


profi
Указатель на функцию я приводил, чтобы подчеркнуть разницу при использовании/не использовании скобок в объявлениях. Вопрос касался аспекта, есть ли такая разница в случае массивов указателей. Теперь все установлено и на своих местах. Просто опечатка в основополагающей книге ввела меня в заблуждение.