Арифметика указателей

@schoolboy_ · Регистрация: 02.03.2013

Студворк — интернет-сервис помощи студентам

Не могу понять, почему значения указателей не совпадают.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <stdio.h>
#include <stdlib.h>
 
int main()
{
    int arr[10] = {0,1,2,3,4,5,6,7,8,9};
    for (size_t i = 0; i < 10; i++)
    {
        int *value_p  = arr + i;
        int *value_pp = arr + (sizeof(int) * i);
 
        printf("%p %p", value_p, value_pp);
        printf("\n ");
    }
 
    printf("\n ");
 
    return 0;
    
}

@zayats80888 · 27.04.2019, 22:39

schoolboy_,

C++
1
2
int *value_p = arr + i;//0x0 + 3 * 4 = 0xС
int *value_pp = arr + (sizeof(int) * i);//0x0 + 4 * 3 * 4 = 0x30

@schoolboy_ · 27.04.2019, 22:42 **[ТС]**

zayats80888, понятно что непонятно. Как мне написать корректный код?

разве написав так:

C++
1
(sizeof(int) * i)

я не получу первый байт i-го элемента?

@zayats80888 · 27.04.2019, 22:43

Сообщение от schoolboy_

Как мне написать корректный код?

корректный для какой задачи?

@schoolboy_ · 27.04.2019, 22:46 **[ТС]**

Я хочу понять, как получить i-й элемент массива, не используя данный код:

C++
1
arr + i

@zayats80888 · 27.04.2019, 22:47

Сообщение от schoolboy_

я не получу первый байт i-го элемента?

у вас вообще нет доступа к отдельному байту, т. к тип указателя int

@schoolboy_ · 27.04.2019, 22:48 **[ТС]**

Вот напишу я такую функцию:

C++
1
void foo(void * arr, size_t size);

Как мне пробежаться по элементам массива, зная, что у меня массив int, размер которых sizeof(int)

@zayats80888 · 27.04.2019, 22:53

Сообщение от schoolboy_

Я хочу понять, как получить i-й элемент массива

C++
1
2
3
arr[i];
//или
*(arr + i);

Добавлено через 5 минут
schoolboy_, если передаете как void*

C++
1
static_cast<int*>(arr)[i]

@Renji · 27.04.2019, 22:56

Сообщение от schoolboy_

Как мне пробежаться по элементам массива, зная, что у меня в массив int, размер которых sizeof(int)

То что вы хотите сделать, делается через каст указателя к unsigned char*/std::byte*. Прибавляете к нему нужное смещение в байтах, при необходимости кастуете результат обратно.

C++
1
2
3
4
    int array[1234];
    void*ptr1=reinterpret_cast<unsigned char*>(&array)+sizeof(int)*4;
    void*ptr2=array+4;
    std::cout<<ptr1<<" "<<ptr2<<std::endl;

@schoolboy_ · 27.04.2019, 23:03 **[ТС]**

Renji, от души, чувак. Спасибо. До меня дошло. Сделал так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
int main()
{
    // const int count = 10;
    int arr[10] = {0,1,2,3,4,5,6,7,8,9};
    for (size_t i = 0; i < 10; i++)
    {
        int *value_p  = arr + i;
        void *value_pp = (char*)arr + (sizeof(int) * i);
 
        printf("%p %p", value_p, value_pp);
        printf("\n ");
    }
 
    printf("\n ");
    
}

zayats80888, спасибо.

@Renji · 27.04.2019, 23:17

Сообщение от schoolboy_

Сделал так:

А вот через char* строго говоря нарушение стандарта будет. Во имя хитрых оптимизаций, компилятор имеет право считать что char* никогда не будет указывать на int. И лучше ожидания компилятора не обманывать. А вот для unsigned char* в стандарте сделано исключение.

@schoolboy_ · 27.04.2019, 23:21 **[ТС]**

Renji, я сишным компилятором собираю. И это нормально. Даже с выставленным флагом -Werror

@Renji · 27.04.2019, 23:22

А, ну Си это конечно другая история, там и каламбуры типизации во вполне серьезных библиотеках используются.

@DrOffset · 28.04.2019, 00:05

Сообщение от schoolboy_

Даже с выставленным флагом -Werror

К слову, Werror не спасет вас от UB. В том числе от того, что было упомянуто выше (strict aliasing). Большинство таких ситуаций не требуют диагностики по стандарту.
Хотя в Cи, конечно, и правда для этой истории чуть другие правила.

Сообщение от Renji

А вот через char* строго говоря нарушение стандарта будет.

Не будет.

Сообщение от http://eel.is/c++draft/expr.prop#basic.lval-11

If a program attempts to access the stored value of an object through a glvalue whose type is not similar ([conv.qual]) to one of the following types the behavior is undefined:
(11.1) the dynamic type of the object,
(11.2) a type that is the signed or unsigned type corresponding to the dynamic type of the object, or
(11.3) a char, unsigned char, or std::byte type.

@Renji · 28.04.2019, 02:14

Сообщение от DrOffset

Не будет.

Действительно, проглючил.

@rat0r · 28.04.2019, 12:16

Непонятно, почему беспокоятся о strict aliasing, когда проблема в том, что набор байтов в сторадже не является массивом и поэтому адресная арифметика там — UB.

@Renji · 28.04.2019, 12:32

Сообщение от rat0r

Непонятно, почему беспокоятся о strict aliasing, когда проблема в том, что набор байтов в сторадже не является массивом и поэтому адресная арифметика там — UB.

Как не является? "The memory available to a C++ program consists of one or more sequences of contiguous bytes.". Массив у нас по определению contiguously allocated. Значит, именно что непрерывная последовательность байт, по которой разрешено кататься через std::byte*.

@rat0r · 28.04.2019, 21:37

http://wg21.link/cwg1701

@Renji · 28.04.2019, 22:19

Сообщение от rat0r

http://wg21.link/cwg1701

Вы про "However, it is not clear that a “sequence” can be indexed, as an array can and as is required for the implementation of memcpy and similar code."? В случае trivially copyable объектов, все предельно clear.

"For any object (other than a potentially-overlapping subobject) of trvially copyable type T, whether or not the object holds a valid value of type T, the underlying bytes ([intro.memory]) making up the object can be copied into an array of char, unsigned char, or std::byte ([cstddef.syn]).38
If the content of that array is copied back into the object, the object shall subsequently hold its original value."

@rat0r · 30.04.2019, 00:38

Сообщение от Renji

В случае trivially copyable объектов, все предельно clear.

Мне как-то нет.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .	SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .

Арифметика указателей

Решение

Решение

@schoolboy_ 3 / 3 / 1 Регистрация: 02.03.2013 Сообщений: 231
	27.04.2019, 23:21 [ТС]
	Renji, я сишным компилятором собираю. И это нормально. Даже с выставленным флагом -Werror 0

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602
	27.04.2019, 23:22
	А, ну Си это конечно другая история, там и каламбуры типизации во вполне серьезных библиотеках используются. 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	28.04.2019, 12:16
	Непонятно, почему беспокоятся о strict aliasing, когда проблема в том, что набор байтов в сторадже не является массивом и поэтому адресная арифметика там — UB. 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	28.04.2019, 21:37
	http://wg21.link/cwg1701 0