Я думаю, что понимаю ссылки и указатели вполне прилично. Вот то, что я (думают I) знаю:
int i = 5; //i is a primitive type, the value is 5, i do not know the address.
int *ptr; //a pointer to an int. i have no way if knowing the value yet.
ptr = &i; //now i have an address for the value of i (called ptr)
*ptr = 10; //Go to the value in ptr, use it to find a location and store 10 there
Не стесняйтесь комментировать или исправлять эти операторы.
Теперь я пытаюсь сделать переход к массивам указателей. Вот то, что я не знаю:
char **char_ptrs = new char *[50];
Node **node_ptrs = new Node *[50];
Мое понимание - то, что у меня есть 2 массива указателей, один набор указателей на символы и одного к узлам. Таким образом, если бы я хотел установить значения, то я сделал бы что-то вроде этого:
char_ptrs[0] = new char[20];
node_ptrs[0] = new Node;
Теперь у меня есть указатель, в 0 положениях моего массива, в каждом соответствующем массиве. Снова, не стесняйтесь комментировать здесь, если я смущен.
Так, что делает **, оператор делает? Аналогично, что помещает сингл * рядом с инстанцированием, делающим (* [50])? (чем это называют точно, инстанцирование?)
Несколько комментариев:
*ptr = 10; // Doesn't need to "go get" the value. Just overwrites it.
Также:
char **char_ptrs = new char *[50];
Node **node_ptrs = new Node *[50];
Легче думать, что у вас два массива. Однако технически (и с точки зрения компилятора) у вас есть два указателя. Один из них - указатель на (указатель на char), а другой - указатель на (указатель на узел).
Это легко увидеть по объявлениям ваших переменных, которые, кстати, легче всего читать справа налево:
char **char_ptrs
Читаем справа налево:
char_ptrs
- это указатель на указатель наchar
Помещение * рядом с указателем правильно называется разыменованием этого указателя. Поскольку массивы технически не существуют, оператор [] на массивах также является операцией разыменования: arr[i]
- это другой способ написать *(arr + i)
. Чтобы правильно понять это, вы должны быть знакомы с стрелочной арифметикой.
Более одного последовательного *s: каждый из них разыменовывает результат выражения, над которым он работает. Поэтому при записи:
char c = **char_ptrs;
происходит следующее:
char_ptrs
- это указатель на указатель на char. Разыменовав его один раз (для самого правого *), вы получаете его значение, которое является указателем на char. Разыменование этого значения (для крайнего левого *) дает, в свою очередь, его собственное значение, которое является char. В итоге,c
содержит значение char, хранящегося в памяти в том месте, куда указывает указатель, на который указывает char_ptrs (другими словами, первый указатель в вашем массиве).
И наоборот, если вы напишете **char_ptrs = 'a';
то вы измените значение в этом месте памяти.
**
всего лишь *
дважды, поэтому указатель на указатель.
Когда помещается рядом с типом, *
привязывается слева, а не справа. Выражение new char * [50]
на самом деле является new char * [50]
и создает экземпляр массива из 50 char *
.
Если вам трудно читать нотацию *, используйте typedef, чтобы облегчить чтение кода. .
typedef char* CharPtr;
typedef CharPtr* CharPtrPtr;
// Alternative to the line above
// typedef char** CharPtrPtr;
// When you call new. You get a ptr to the type you are newing.
// new int returns an intPtr. new char returns a charPtr
CharPtrPtr char_ptrs = new CharPtr[50];
// So new CharPtr returns a CharPtrPtr
// In this case we return a pointer to contigious
// chunk of memory large enough to hold 50 CharPtr objects.
Все утверждения, сделанные в вашем первом фрагменте кода, верны.
char **char_ptrs = new char *[50];
... означает, что у вас есть массив из 50 char *
s.
Ваша оценка
char_ptrs[0] = new char[20];
node_ptrs[0] = new Node;
также верна.
**
просто означает «указатель на указатель». Это не оператор.
Когда вы пишете
new char *[50];
... вы говорите «выделить память для 50 char *
s».
Уточнение первого раздела:
int i = 5; // i is a primitive type, the value is 5, the address is retrieved via &i.
int *ptr; // an unassigned pointer to an int
ptr = &i; // ptr now point to the address of variable i
*ptr = 10; // access (dereference) the value through ptr and change it to 10 (same as i=10)
Нет оператора **, только оператор *. Как уже говорили другие, ** объявляет указатель на указатель. Поскольку вы объявляете массивы указателей, а указатели объявляются с помощью оператора *, вам необходимо объявить их как таковые при выделении для них памяти с помощью new
. Следовательно, у вас есть:
char **char_ptrs = new char *[50]; // allocates memory for 50 contiguous char* (pointers)
Node **node_ptrs = new Node *[50]; // allocates memory for 50 contiguous Node* (pointers)
Указатели на указатели не обязательно должны объявлять массивы. Вы также можете иметь обычный указатель, на который указывает другой указатель, например:
char i = 'p';
char *myptr = &i;
char **mysecondptr = &myptr;