Почему я могу использовать адрес адреса без каких-либо ошибок?
Я нашел коды, которые используют оператор адреса для адреса. См. ниже примеры кодов.
int arr[4] = { -1, -1, -1, -1 };
int arr2[4] = { 0, 0, 0, 0 };
memcpy(arr, &arr2, sizeof(arr2)); // & operator to arr2
И я понятия не имею, почему эти коды действительны. (я использую С++ 14)
Краткий ответ - потому что язык позволяет это
Также обратите внимание, что из-за распада массива на указатель очень сложно передавать массивы функциям. В качестве аргумента объявление int arr[] (или даже использование такого размера, как int arr[4]) рассматривается как int *arr. Если вы затем используете оператор указателя на переменную-аргумент, вы получите указатель на эту переменную (имеющую тип int **), а не на исходный массив.
И в С++, пожалуйста, не используйте простые массивы, если вы можете этого избежать. Если размер фиксирован и известен во время компиляции (и не слишком велик), используйте std::array (как в std::array<int, 4>). В противном случае используйте std::vector. Это решит множество проблем, с которыми вы можете столкнуться при использовании простых массивов в стиле C.
Эти ответы ясны и полезны. Спасибо за ответы и дополнительные пояснения!
Ответы 1
Почему я могу использовать адрес адреса без каких-либо ошибок?
Потому что std::memcpy принимает аргументы типа void* (кроме квалификатора const), а все указатели на объекты неявно преобразуются в void*.
Хотя arr сам по себе не является указателем, это массив, а массивы неявно преобразуются в указатель на первый элемент, который неявно преобразуется в void*.
Место в памяти первого элемента массива совпадает с местом в памяти массива.
&arr2— адрес массива в целом.arr2сам по себе распадается на адрес первого элемента массива. Бывает так, что массив и его первый элемент находятся по одному и тому же адресу.