Проблемы с указателями

@Dante20171 · Регистрация: 17.04.2018

Есть вот такой код:

C++
1
2
3
4
5
6
int main 
    {
        int arr[10] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
        int *p1 = arr, *p2 = arr + 4;
        cout << p2 + p1;
    }

1) Я не понимаю почему это выражение не выводит адрес? Ведь p2 и p1 не разыменованы?
2) Почему не получается складывать p2 и p1? При сложении у меня выходит ошибка, а при вычитании все в порядке.
3) И что еще я не могу понять, так это почему при выражении p1 - p2 выходит отрицательное число?

Для меня в теме указателей это 3 не понятных момента. В особенности я не пойму почему мы не разыменовываем все это. Как при таком подходе получается целое число а не 16-тиричное число?
Вот например есть код.

C++
1
2
3
int a = 2;
int *b = a;
cout << *a;

тут мы получим целое число только разыменовав переменную a. А в случае выше все как-то само происходит.

@QueryMonkey · 02.06.2022, 06:34

Хотя С++ стандарт уже *давно* разрешил delete через const указатель, мне бы хотелось создать класс который это не позволяет.

C++
1
2
3
4
5
6
7
8
9
10
class T 
{
.. some magic
};
 
  const T* pc = NULL;
  T* p = NULL;
 
  delete pc; // тут хочу ошибку компиляции
  delete p;  // тут должно работать как раньше.

Кто-то знает как это возможно сделать в современном С++?

@DrOffset · 02.06.2022, 13:48

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

Вы же уже упоминали эти баги в старинных версиях MSVC++ и пр. компиляторах ранее. В былые времена в них столько багов было - закачаешься...

Конкретно это никакой не баг. В том смысле, что на момент разработки этих компиляторов, это была вполне официальная позиция. В версии С++ до официальной стандартизации, в той, что описана в ARM, действительно было прямое требование о запрете delete для указателей на const. Я вот тут сделал парочку фотографий из этой книжки:

@QueryMonkey · 02.06.2022, 20:19

Порылся в стандарте, поигрался с компилятором.

Отключить оператор delete оказалось довольно просто, и его отсутствие не мешает созданию/уничтожению автоматических конст переменных.

это запретило delete const объектов, или delete const указателей и заставило пользоваться не-конст member function del().

Не слишком элегантно, но ответило на мой вопрос.

Кликните здесь для просмотра всего текста

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
#include <iostream>
using namespace std;
 
class T
{
//  static void operator delete (void*, ...);
public:
  int n;
  T(int x=5) { n = x; cout << n << " created\n"; }
  ~T() { cout << n << " destroyed\n"; }
  static void operator delete (void*, ...) = delete;
  void del() { ::delete this; } ;  // non-const
};
 
int main()
{
  const T t = 8;
  T* p = new T(6);
  p->del();
 
  const T* q = new T;
  delete q; // gives error
  q->del(); // also error
}

@TheCalligrapher · 03.06.2022, 00:02

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

это запретило delete const объектов, или delete const указателей и заставило пользоваться не-конст member function del().

Почему только del()? Никто не запретил пользователю явно пользоваться ::new и ::delete

C++
1
2
  const T *q = ::new const T;
  ::delete q;

@QueryMonkey · 03.06.2022, 01:46

TheCalligrapher,

Меня интересовал вопрос, можно ли предотвратить ненамеренный вызов delete на конст-объекте или конст-указателе, т.к. это лучше укладывается в мои привычки. Я привык что функции декларированные с const параметром не изменяют свойства объекта, в том числе не разрушают его.

Всегда можно перекастить в неконст или иначе "обхитрить" конст, запретить такое в рамках С++ вряд ли возможно.
Мне нужно чтобы если в моем коде внутри конст-метода или внутри функции с конст-параметром уничтожается конст-объект, компилятор дал мне знать, а я уже решу хотел я этого или нет. Обычно нет, поэтому и спросил как это сделать.

На чужие библиотеки я не смогу повлиять, но будет повод добавить assert() после некоторых конст функций - а не удалили ли без спроса объект, который я давал лишь "посмотреть".

Возможно в будущем появится "delete const" или "delete nonconst" если кто-то в комитете озаботится такой проблемой.

Я узнал много нового про C++14 пока ковырял этот вопрос, возможно и ТС было интересно. Или будет интересно когда перечитает позже.

Новые блоги и статьи Все статьи Все блоги /
Клиент Uhbif79 18.06.2026 Здесь простой клиент для работы с сервером.	Сервер Uhbif79 18.06.2026 Выкладываю простейший сервер.	Дефенестрация kumehtar 18.06.2026 Узнал интересное слово. Дефенестрация. Это когда ты выбрасываешь кого-либо или что-либо из окна. Возьму на вооружение)))	Дихотомия добра и зла kumehtar 18.06.2026 Как Дзен-буддисты говорят о добре и зле: не нужно воевать против зла, нужно воевать против невежества. Тогда добро станет ествественным, и поэтому вечным. Но дело в том, что невежество всё время. . .
Своя Интернет-Компания iceja 18.06.2026 Я программист с экономическим образованием, пишу свой проект, это SaaS для бизнесов. Мне нужен co-founder с высшим экономическим образованием, и/ или инвестор. Сейчас проект в интенсивной разработке,. . .	24 Мат модель здравосохранения: функциональные требования к строительству пищеблока anaschu 18.06.2026 СРесурсами1: финансовый SD-контур, калькулятор функциональных требований пищеблока Сегодня разделили затраты в агенте Экономика по образцу модели НАСОСЫ, добавили расчёт ROI и построили первый. . .	23. что сделано за последнее время. anaschu 17.06.2026 • Эталон: Клиника НИИ питания РАМН, Москва — централизованный пищеблок, 225 коек, 180 пациентов • Git: репозиторий med2, ветка абсентеизм. Рабочий файл: СРесурсами1_v4. alp • Смежный проект:. . .	22. Подключение слоя системной динамики (потоковые диффуры): экономические метрики модели anaschu 17.06.2026 Апдейт модели: финансовый контур, разделение затрат Продолжаю развивать модель рабочего коллектива на AnyLogic. В этот раз работа шла над агентом Экономика — финансовым SD-слоем модели. Задача:. . .

@QueryMonkey Нарушающий 417 / 305 / 46 Регистрация: 13.04.2022 Сообщений: 1,759
	03.06.2022, 01:46
	TheCalligrapher, Меня интересовал вопрос, можно ли предотвратить ненамеренный вызов delete на конст-объекте или конст-указателе, т.к. это лучше укладывается в мои привычки. Я привык что функции декларированные с const параметром не изменяют свойства объекта, в том числе не разрушают его. Всегда можно перекастить в неконст или иначе "обхитрить" конст, запретить такое в рамках С++ вряд ли возможно. Мне нужно чтобы если в моем коде внутри конст-метода или внутри функции с конст-параметром уничтожается конст-объект, компилятор дал мне знать, а я уже решу хотел я этого или нет. Обычно нет, поэтому и спросил как это сделать. На чужие библиотеки я не смогу повлиять, но будет повод добавить assert() после некоторых конст функций - а не удалили ли без спроса объект, который я давал лишь "посмотреть". Возможно в будущем появится "delete const" или "delete nonconst" если кто-то в комитете озаботится такой проблемой. Я узнал много нового про C++14 пока ковырял этот вопрос, возможно и ТС было интересно. Или будет интересно когда перечитает позже. 0