Блог

В чем разница между типом ** name и типом * name[]?

Зачем кому-то использовать одно поверх другого?

Спасибо

Ну, это зависит от того, находится ли это в объявлении переменной или в аргументе функции? Если в объявлении переменной:

 Type** name = amp;pointer_to_type;
Type* name[] = { amp;pointer_to_type, 0, amp;pointer_to_type };
  

Первый — это указатель на указатель на тип, а второй — массив указателей на тип длиной 3.

Если в аргументе функции, это одно и то же. Массивы распадаются на указатели, и оба Type** name и Type* name[] точно такие же, как аргументы функции. Однако вторая форма дает понять, что name представляет собой массив указателей неизвестной длины, в то время как первая этого не делает. Я бы использовал Type** для указания одного элемента и Type*[] для указания массива.

Разница между ними в основном проявляется при объявлении / определении объектов любого типа.

Обозначение Type *name[] создает массив неизвестного размера (может быть выведено из инициализатора), Type** name создает указатель. Это означает:

 char *array[]={"hello", "world", 0}; /* OK, array of size 3 */
char **ptr={"hello", "world", 0};    /* not possible */
  

В некоторых выражениях они ведут себя по-разному. В частности, массивы не могут быть назначены, но переменные указателя могут:

 ptr  , ptr=array; /* assignment and mutation of ptr possible */
// array=whatever /* impossible */
  

Оператор sizeof работает по-разному на двух. sizeof(array) будет зависеть от количества элементов массива (в данном случае может быть 12), но sizeof(ptr) возвращает всегда один и тот же размер (например, 4 на основных 32-разрядных архитектурах)

Кроме того, при объявлении глобальных переменных вы не должны смешивать их:

 extern char* data[];
  

должно сопровождаться в .c файле

 char* data[N];
  

и наоборот. По сути, определение массива означает выделение нескольких последовательных объектов, тогда как определение указателя означает выделение одной переменной. Компилятор обрабатывает оба по-разному и должен знать, что есть что.

Однако при объявлении или передаче параметров функциям они одинаковы. Итак

 int main(int argc, char** argv)
int main(int argc, char* argv[]) /* the same */
  

Зависит от контекста.

Если он определяет переменную, которая не является параметром функции, то in Type** name — name это указатель на указатель на переменную типа Type , а in Type* name[SOME_POSITIVE_INTEGER_CONSTANT] — это массив указателей на переменные типа Type .

Если это параметр функции, то оба они одинаковы и name являются указателем на указатель на переменную типа Type .

По сути, тип ** — это указатель на указатель. Подумайте, что это похоже на (Тип *) * . Таким образом, он указывает на тип *, который может быть типом или типом [] .

А другой, Type * — это указатель на тип или, в данном случае, на тип массива[]. Таким образом, они «почти» одинаковы.