Выход за границу выделенной памяти

nd2 · Регистрация: 29.01.2016

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

Какие операции (кроме записи) за пределами выделенной памяти приводят к UB?

@TheCalligrapher · 04.10.2016, 21:16

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

nd2, 5.7/5

И? Эта цитата позволяет нам лишь вычислять sarr+3. Но по поводу правильности *(sarr+3) и &*(sarr+3) там нет ни слова.

Именно эту цитату во времена С++98 приводили для того, чтобы объяснить, что &sarr[2]+1 делать можно, а &sarr[3] ни в коем случае нельзя. Как она может помочь нам сейчас мне не ясно.

@DrOffset · 04.10.2016, 21:21

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

И? Эта цитата позволяет нам лишь вычислять sarr+3

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

Как она может помочь нам сейчас мне не ясно.

Автора интересовало что есть UB, а что нет. Я дал выдержку касательно последнего упомянутого случая с получением адреса элемента следующего за последним. Что тут неясного? Выводы предоставил делать автору самостоятельно.

Я не комментировал никакие примеры из этого топика. Если Вы усмотрели какое-то несоответствие реальному положению вещей, то уверяю Вас - это исключительно в Вашей голове. Никакого умысла, кроме представленного, в этом комментарии не было и быть не могло.

nd2 · 04.10.2016, 21:35 **[ТС]**

А с vector: Выход за границу выделенной памяти
та же самая история, что и с обычным массивом? Или это другое?

@Avazart · 04.10.2016, 21:41

C++
1
strVec.assign(sarr,sarr+3);// без &sarr[]

@TheCalligrapher · 04.10.2016, 21:56

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

А с vector: Выход за границу выделенной памяти
та же самая история, что и с обычным массивом? Или это другое?

В примере

C++
1
2
vector <int> v(3);
&v[3];

однозначно UB.

@Avazart · 04.10.2016, 21:58

И тем не менее в коде до C++11

C++
1
&v[0]

встречается постоянно ибо еще не добавлен .data() ( и иногда даже с std::string ибо data там const возвращает)

nd2 · 04.10.2016, 22:05 **[ТС]**

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

однозначно UB.

А в чём отличие от такого?

C++
1
2
    int* arr = new int[3];
    &arr[3];

Добавлено через 2 минуты

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

C++
1
&v[0]

встречается постоянно

С пустым вектором?

@Avazart · 04.10.2016, 22:09

Нет естественно.

nd2 · 04.10.2016, 22:15 **[ТС]**

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

Нет естественно.

Но тут же разговор об обращении за границу выделенной памяти. Если вектор не пустой, то по поводу &v[0] нет никаких вопросов.

Добавлено через 4 минуты

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

strVec.assign(sarr,sarr+3);// без &sarr[]

Понятно. А так, я понимаю, уже однозначно UB?
strVec.assign(sarr, sarr + 4);

@TheCalligrapher · 04.10.2016, 22:29

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

А в чём отличие от такого?

C++
1
2
    int* arr = new int[3];
    &arr[3];

В том, что спецификация языка определяет эти операции по совершенно разным путям. Для вектора v[i] определяется как *(v.begin() + i), т.е. &v[v.size()] будет эквивалентно &*(v.begin() + v.size()), то эквивалентно &*v.end(). А спецификация стандартных контейнеров открыто запрещает выполнять разадресацию итератора end(), т.е. делать *v.end().

Добавлено через 6 минут
Хотя и это начинает вызывать сомнения в С++14...

nd2 · 04.10.2016, 22:30 **[ТС]**

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

т.е. &v[v.size()] будет эквивалентно &*(v.begin() + v.size()), то эквивалентно &*v.end(). А спецификация стандартных контейнеров открыто запрещает выполнять разадресацию итератора end(), т.е. делать *v.end().

Но это частный случай. А если так?

C++
1
2
vector <int> v(3);
&v[10];

@TheCalligrapher · 04.10.2016, 23:00

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

Но это частный случай. А если так?

C++
1
2
vector <int> v(3);
&v[10];

Тут без вопросов - неопределенное поведение.

nd2 · 04.10.2016, 23:05 **[ТС]**

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

Тут без вопросов - неопределенное поведение.

Это понятно, но в чём тогда отличие от этого?

C++
1
2
    int* arr = new int[3];
    &arr[10];

@TheCalligrapher · 04.10.2016, 23:17

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

Это понятно, но в чём тогда отличие от этого?

C++
1
2
    int* arr = new int[3];
    &arr[10];

С точки зрения UB - ни в чем. Тут тоже стопроцентное неопределенное поведение, без вопросов.

Отличие только в путях спецификации.

nd2 · 05.10.2016, 06:34 **[ТС]**

Я правильно понял, что если код как в 33 посте, то однозначно UB, а если так (разыменование и взятие адреса верхней границы диапазона):

C++
1
2
int* arr = new int[3];
&arr[3];

, то когда-то было UB, потом стало не UB, чем, вроде-бы, является и на сегодняшний день (только получение адреса, без использования значения по адресу)?

@TheCalligrapher · 05.10.2016, 09:41

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

Я правильно понял, что если код как в 33 посте, то однозначно UB, а если так (разыменование и взятие адреса верхней границы диапазона):

C++
1
2
int* arr = new int[3];
&arr[3];

, то когда-то было UB, потом стало не UB, чем, вроде-бы, является и на сегодняшний день (только получение адреса, без использования значения по адресу)?

Да, правильно.

Насчет "стало не UB" однако еще не ясно. Такое впечатление, что работы в этом направлении так ни к чему пока не привели, т.е. похоже что формально и это вариант - тоже UB до сих пор.

Croessmah · 05.10.2016, 09:46

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

Такое впечатление, что работы в этом направлении так ни к чему пока не привели

Ну так разыменование невалидного указателя (явное или не явное) - UB.
Если не UB, то получается, что

C++
1
2
3
4
5
6
7
8
9
10
11
struct X
{
    void foo(){}
};
 
 
int main()
{
    X *p = (X*)123;
    p->foo();//не UB.
}

Думаю, над этой темой можно долго думать.

@nonedark2008 · 05.10.2016, 10:07

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

Но это частный случай. А если так?

C++
1
2
vector <int> v(3);
&v[10];

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

Тут без вопросов - неопределенное поведение.

Никакого UB не будет, вектор выдаст соответствующее исключение. Так что для вектора поведение в этом конкретном случае очень даже определено.

Croessmah · 05.10.2016, 10:11

Ну или вот высосанный из пальца пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
//clang 3.7.0
 
#include <iostream>
#include <algorithm>
 
struct X
{
    X(int x_ = 0): x(x_){}
    X(const X&) = default;
    X& operator=(const X&) = default;
    bool operator==(const X &rhv) {return x==rhv.x;}
    X *operator &()
    {
        x = 0xFFFF;
        return this;
    }
    int x;
};
 
 
 
int main()
{
    int arr_z[] = {1, 2, 3, 4};
    X arr_x[4] = {};    
    
    
    int value = 0;
    std::cin >> value;
    X *p = std::find(arr_x, &arr_x[4], X(value));
    
    if(p == arr_x + 4){
        std::cout << "not found" << std::endl;
    }
    
    for(auto &e: arr_z){
        std::cout << e << std::endl;
    }    
}

http://rextester.com/WCZ31559

not found
65535
2
3
4

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

Никакого UB не будет, вектор выдаст соответствующее исключение.

operator[] не проверяет границы и не кидает исключений.

@TheCalligrapher · 05.10.2016, 10:37

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

Ну так разыменование невалидного указателя (явное или не явное) - UB.

Ну так речь идет о том, что, во-первых, в С++ давно порываются убрать UB с разыменования невалидного указателя, а перенести его на момент "доступа к несуществующему объекту" после такого разыменования. Мол, если нет досупа - то нет и UB. При этом планируется разрешить разыменование и нулевого указателя.

http://www.open-std.org/jtc1/s... e.html#232

C этим связано

http://www.open-std.org/jtc1/s... d.html#315

Что интересно, несмотря на то, что DR#232 - не закрыт, DR#315 открыто помечен как "не дефект" и разрешает разыменование нулевого указателя (?!), т.е. вызов нестатического члена класса через нулевой указатель.

А там уже и до вашего примера недалеко.

Во-вторых, в С это уже давно разрешили, но по другому пути - пара операторов &* считается "самоуничтожающейся" и не имеющей никакого эффекта. Соответственно int a[42]; &a[42]; эквивалентно &*(a + 42) и эквивалентно a + 42, т.е. никакого разыменования тут вообще нет. Нет и UB.

Добавлено через 12 минут

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

Никакого UB не будет, вектор выдаст соответствующее исключение. Так что для вектора поведение в этом конкретном случае очень даже определено.

Нет. Исключения по неправильному индексу кидает метод std::vector::at. std::vector::operator[] исключений не кидает. Он порождает UB.

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,430

	Выход за границу выделенной памяти 04.10.2016, 18:49. Показов 3650. Ответов 41 Метки нет (Все метки) Какие операции (кроме записи) за пределами выделенной памяти приводят к UB? 1

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,430
	04.10.2016, 21:35 [ТС]
	А с vector: Выход за границу выделенной памяти та же самая история, что и с обычным массивом? Или это другое? 0

@Avazart 8489 / 6156 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	04.10.2016, 22:09
	Нет естественно. 0