8
int  arr[] = {1, 2, 3, 4, 5, 6};
int size = *(&arr + 1) - arr;

Помогите понять, каким образом у нас arr - это массив(указатель на первый элемент массива). А вот &arr - это указатель на весь целочисленный массив из 6 элементов. Что есть тогда указатель &arr на весь массив при условии, что в size мы получаем размер массива. Как указатель &arr может указывать на весь массив?

Пример нашел тут, но понять как тут работает адресная арифметика пока не могу.

2 ответа 2

8

arr имеет тип int [6] - массив из 6 элементов int, это не указатель на первый элемент. Соответственно &arr имеет тип int ( * ) [6] - указатель на массив из 6 элементов int (тот самый "указатель на весь целочисленный массив"). В выражении *(&arr + 1) - arr сначала при сложении происходит адресная арифметика с указателем на массив из 6 элементов int, при этом указатель рассматривается как указывающий на первый элемент массива, элементы которого имеют тип int [6], далее результат (&arr + 1) разыменовывается и получается int ( & ) [6] - ссылка на массив из 6 элементов int и наконец при вычитании происходит адресная арифметика с двумя массивами из 6 элементов - для этого создаются два временных объекта - указатели на первые элементы этих массивов.

Проверить, что есть что, можно используя std::is_same:

#include <type_traits>

int main()
{
    int arr []{1, 2, 3, 4, 5, 6};
    static_assert(::std::is_same_v<int [6]      , decltype(arr         )>);
    static_assert(::std::is_same_v<int ( * ) [6], decltype(&arr        )>);
    static_assert(::std::is_same_v<int ( * ) [6], decltype(&arr + 1    )>);
    static_assert(::std::is_same_v<int ( & ) [6], decltype(*(&arr + 1) )>);
    static_assert(::std::is_same_v<int *        , decltype(+arr        )>);
    static_assert(::std::is_same_v<int *        , decltype(+*(&arr + 1))>);
    return 0;
}

online compiler

1
  • 1
    Проверка азов языка (имею ввиду std::is_same_v) лишнее. 1 апр 2022 в 8:42
3
int  arr[] = {1, 2, 3, 4, 5, 6};
int size = *(&arr + 1) - arr;
  • Массив arr имеет тип int [6], т.е. массив из шести элементов типа int.
  • Выражение &arr имеет тип int (*)[6], т.е. указатель на (массив из шести элементов типа int).
  • В выражении &arr + 1 к указателю применяется арифметика указателей. Значение указателя наращивается на sizeof(int[6]) байт, что равно sizeof(int) * 6 байт. Получившийся указатель указывает на гипотетический массив из шести элементов типа int, следующий непосредственно за массивом arr.
  • В выражении *(&arr + 1) происходит разыменование указателя. Т.е. мы получаем lvalue «ссылающееся» на гипотетический массив после массива arrUB-1). Тип этого выражения  — int[6]3).
  • В выражении *(&arr + 1) - arr оба операнда бинарного оператора - имеют тип массива  — int [6]. И к обоим операндам применяется неявное преобразование из типа массива к типу указателя на первый элемент массива.
    Т.е гипотетический массив *(&arr + 1) после массива arr типа int [6] преобразуется к указателю типа int* на свой первый элемент.
    Аналогично массив arr преобразуется к указателю на свой первый элемент.
  • Разность двух указателей типа int* даёт знаковое целочисленное значение типа std::ptrdiff_t, равное количеству объектов типа int между двумя указателямиUB-2).

  1. Разыменование указателя на гипотетический элемент после массива вызывает неопределённое поведение, так как такой указатель не является указателем на объект.

basic.compound / 3:

... Every value of pointer type is one of the following:

  • a pointer to an object or function (the pointer is said to point to the object or function), or
  • a pointer past the end of an object ([expr.add]), or
  • the null pointer value for that type, or
  • an invalid pointer value.

expr.unary.op / 1:

The unary * operator performs indirection: the expression to which it is applied shall be a pointer to an object type, or a pointer to a function type and the result is an lvalue referring to the object or function to which the expression points.

Код

constexpr static int  arr[] = {1, 2, 3, 4, 5, 6};
constexpr std::ptrdiff_t diff = *(&arr + 1) - arr;

может вызвать следующую ошибку компиляции:

//cannot access array element of pointer past the end of object
constexpr std::ptrdiff_t diff = *(&arr + 1) - arr;
                                ^

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

constexpr static int arr[2][2] = {{0, 1}, {2, 3}};
constexpr int val = arr[0][2];

может вызвать следующую ошибку компиляции:

//read of dereferenced one-past-the-end pointer is not allowed in a constant expression
constexpr int val = arr[0][2];
                    ^
  1. Разность двух указателей, указывающих на элементы разных массивов, вызывает неопределённое поведение.

expr.add / 5:

When two pointer expressions P and Q are subtracted, the type of the result is an implementation-defined signed integral type; this type shall be the same type that is defined as std​::​ptrdiff_­t in the <cstddef> header.

  • If P and Q both evaluate to null pointer values, the result is 0.
  • Otherwise, if P and Q point to, respectively, array elements i and j of the same array object x, the expression P - Q has the value i − j.
  • Otherwise, the behavior is undefined.
    [Note 1: If the value i − j is not in the range of representable values of type std​::​ptrdiff_­t, the behavior is undefined. — end note]

Код

constexpr static int arr[2][2] = {{0, 1}, {2, 3}};
constexpr const int* p00 = &arr[0][0];
constexpr const int* p10 = &arr[1][0];
constexpr std::ptrdiff_t diff = p10 - p00;

Может вызвать ошибку компиляции:

//subtracted pointers are not elements of the same array
constexpr std::ptrdiff_t diff = p10 - p00;
                                    ^
  1. Результат разыменования указателя на тип T — это lvalue типа T (не ссылка).

expr.unary.op / 1:

The unary * operator performs indirection: the expression to which it is applied shall be a pointer to an object type, or a pointer to a function type and the result is an lvalue referring to the object or function to which the expression points. If the type of the expression is “pointer to T”, the type of the result is “T.

Выражение наподобие std::is_same_v< int ( & ) [6], decltype(*(&arr + 1)) > возвращает true в силу особенностей работы спецификатора decltype, который для lvalue типа T в качестве типа выводит T&.

dcl.type.decltype / 1:

For an expression E, the type denoted by decltype(E) is defined as follows:
...
otherwise, if E is an lvalue, decltype(E) is T&, where T is the type of E;
...


Итого: приведённый в вопросе код содержит неопределённое поведение. Результат его выполнения (если вообще скомпилируется) не предсказуем.

5
  • Что "это"???????
    – wololo
    1 апр 2022 в 22:09
  • Я специально добавил constexpr, т.к. стандарт обязывает детектировать неопределённое поведение в константных выражениях. Если я уберу constexpr из примеров кода, то что по вашему это должно доказать?
    – wololo
    1 апр 2022 в 22:11
  • Собственно, не совсем понятно, что конкретно вы пытаетесь оспорить. Сформулируйте точнее, с каким утверждением из ответа вы не согласны.
    – wololo
    1 апр 2022 в 22:18
  • godbolt.org/z/8xaWTnx17 — что должен опровергнуть данный пример кода? В ответе я указал, что код может не компилироваться, но не сказал, что обязан. Более того, на практике, код содержащий UB, как раз таки компилируется, но это никак не отменяет наличие неопределённого поведения Да, большая часть моего ответа сосредоточена на UB. Предлагаете игнорировать UB? Использование constexpr демонстрирует, что компилятор явно знает про UB, и его игнорирование чревато неприятными последствиями, даже если код успешно компилируется.
    – wololo
    1 апр 2022 в 22:34
  • Вот к чему (оценка в -1) приводит ненавистное народу гипотетическое UB. Собственно, наверное, говоря об UB такого типа, надо иметь в виду, что реальная прога при физическом доступе к памяти за массивом может грохнуться, если этот виртуальный адрес будет недоступен в таблице трансляции MMU (например, такое реально может произойти при играх с mmap)
    – avp
    1 апр 2022 в 23:31

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.