Если у вас есть указатель на объект некоторого типа, как, например,
T *p = &obj;
то чтобы с этим указателем можно было выполнять арифметику указателей или разыменовывать указатель, нужно знать размер объекта, адресуемого указателем. Иначе говоря, нужно знать значение sizeof( T )
.
Например, если имеется выражение ++p
, то возникает вопрос: насколько должно увеличиться значение, хранящееся в указателе? Очевидно, что после этой операции указатель должен указывать на место в памяти после данного объекта (или на следуюший элемент массива, если текущий объект является элементом массива), то есть значение указателя должно увеличиться на значение sizeof( obj )
. Это означает, что размер объекта, на который указывает указатель, должен быть известен компилятору.
Поэтому для этой функции
void a_f(char str[][10]) /// !!! Если менять правый индекс то программа будет выводить адреса с интервалами которые равны индексу (сейчас это зафиксированно и указатель никак не меняется!)
{
int i = 4;
while(i >= 0)
{
printf("%s - %p\n", str+i, str+i);
--i;
}
}
которая вызывается с аргументом, объявленным как двумерный массив
char a[][10] = {"hello", "world", "again", "repeat", "stop"};
параметр функции, объявленный как массив, неявно приводится к типу указателя на элемент массива. В свою очередь аргумент, то есть двумерный массив a
, преобразуется неявно к указателю на свой первый элемент.
Элементом этого двумерного массива является в свою очередь одномерный массив, имеющий тип char[10]
Поэтому если вы имееете указатель на первый элемент этого двумерного массива, то чтобы изменить его так, чтобы он указывал на следующий, то есть на второй элемент массива, его значение должно быть увеличено на размер адресуемого элемента. Размер адресуемого элемента, то есть одномерного массива, равен sizeof( char[10] )
. Функция должна знать размер этого адресуемого массива, чтобы правильно выполнять операции с указателями.
Таким образом параметр функции, объявленной как
void a_f(char str[][10]);
приводится к типу
void a_f(char ( *str )[10]);
то есть указателю на элемент массива.
В свою очередь массив, заданный в виде аргумента функции, также преобразуется к указателю на свой первый элемент. Это можно представить следующим одразом
char ( *tmp )[10] = a;
a_f( tmp );
Имея данную информацию о размере объекта (который равен sizeof( char[10]
), на который указывает указатель char ( *str )[10]), объявленный как параметр функции, функция может корректно вычислять выражение str+i
, которое равно значению, хранимому в str
, плюс значение, равное i * 10 * sizeof( char )
. То есть в результате указатель str
бцдет указывать на i
-ый элемент двумерного массива, размер элемента которого равен 10
. В этом и заключается смысл арифметики указателей.
Чтобы было более понятно, вы могли бы ввести алиас доя типа элемента думерного массива следующим образом
typedef char T[10];
// ...
T a[] = {"hello", "world", "again", "repeat", "stop"};
В свою очередь объявление функции будет выглядеть как
void a_f( T *str );
или как
void a_f( T str[] );
Эти два объявления объявляют одну и ту же функцию.
Поэтому размер объекта, адресуемого указателем будет равен sizeof( T )
, что согласно введенному алиасу равно sizeof( char[10] )
[][0]
и почему 0. – Qwertiy♦ 1 фев '17 в 13:49