Решить задачу "висячих" указателей

@JordanO2 · Регистрация: 15.09.2025

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

Добрый день.

Задача:
На объект может ссылаться несколько указателей. Когда объект удаляется, то указатели не должны превратиться в "висячие". Их надо либо сразу обнулить, либо обнулять при первом обращении, или любой другой способ, чтоб избежать ошибки.

Как это можно реализовать? ... хотя бы общие идеи?

Спасибо.

@a380 · 16.09.2025, 19:20

И сразу стрелки перевел.

Конечно, СЛОЖНАЯ тема. Все пояснили уже. Зачем спрашивать дальше

@SmallEvil · 16.09.2025, 19:39

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

Мы обсуждаем сложную техническую тему

Какую?
Передать указатель и гарантировать что объект по этому указателю существует(или нет) может лишь программист.
В рамках своего кода.
ТЗ как такового нет. Ничего мы(и вот правильное использование местоимения) тут не обсуждаем.

Добавлено через 4 минуты
Тепер вернемся к нашим баранам.
Если использовать для владельца std::shared_ptr, который уже имеет функционал.
То можно передавать std::weak_ptr на владельца и это он уже будет гарантировать и давать возможность определить, существует ли исходный объект.
Это разумный компромисс.

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

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
#include <iostream>
#include <memory>
 
int main(){
   {
      int* ptr_ref = nullptr; // указатель, ваш КО
      {
         int owner = 100500;
         ptr_ref = &owner;
      }
      // ptr_ref - аисячий указатель, и опять я, КО
      if (!ptr_ref)
         std::cout << "Object expired" << std::endl;
   }
   
   {
      std::weak_ptr<int> ptr_ref;
      {
         auto owner = std::make_shared<int>(100500); // не указатель, но владелец объекта
         ptr_ref = owner;
      }
      // ptr_ref не указатель, но и не висячий
      if (ptr_ref.expired())
         std::cout << "Object expired" << std::endl;
   }
}

Так вот, в первом блоке фрагменте кода, никаким образом нельзя определить что указатель "висячий".
Это очевидно всем.

Во втором случае мы имеем возможность это определить, существует ли объект.
При этом с минимальными накладными расходами и без каких либо дополнительных приспособлений и телодвижений.

Теперь давай очередную "закидуху" из карманов, ТЗ то все равно нет, можно на ходу придумывать всё)

@jcxz · 16.09.2025, 20:52

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

Всегда, везде, во ВСЕХязыках программирования ресурсы(объекты) очищает - владелец.

Потому и говорю, что вы - НАЧИНАЮЩИЙ. Или даже - ещё не начавший.

Раз с таким апломбом утверждаете то, в чём не разбираетесь.
В Python объекты(ресурсы) очищает - сам Python.
Потому и сразу рекомендовал его вам.

PS: Но есть и другие языки, имеющие встроенные "сборщики мусора". Поинтересуйтесь у гугла. Это вам на домашнее изучение.

@alecss131 · 16.09.2025, 21:20

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

ведь они в разы быстрее смартпоинтеров, а на некоторых задачах на порядок быстрее

Совершенно пустое заявление. Где доказательства? Умные почти не отличаются от сырых по скорости.

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

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

Но есть и другие языки, имеющие встроенные "сборщики мусора"

Не все языки сами управляющие жизнью объектов имеют сборщик мусора. Например есть Swift/Objective-C где нету ни ручного управления памятью ни сборщика мусора, за все отвечает ARC, который compile time.

@SmallEvil · 16.09.2025, 21:31

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

Например есть Swift/Objective-C где нету ни ручного управления памятью ни сборщика мусора, за все отвечает ARC, который compile time.

Можно небольшой пример на одном из этих ЯП. Где бы продлевалось или наоборот уменьшалось время жизни объекта (изменялось). Эти правила строго прописаны или есть возможность как то на это влиять?

@alecss131 · 16.09.2025, 21:50

SmallEvil, Я в этом плане плохо знаком. Они похожи на умные указатели в С++.
В языке только ссылки, они не могут быть нулевыми (nil), для этого в языке есть опционалы.
Ну там во первых все типы делятся на reference и value, те что value хранятся на стеке и всегда копируются (хотя можно параметр задать как inout и менять его копию), а другие в куче и передается только ссылка. Ссылки только у классов и замыканий (структуры это value тип), вот у них есть несколько видов ссылок, по умолчанию они все сильные (strong), есть еще слабые (weak) и бесхозные (unowned). Слабые всегда опционалы и требуют проверки на наличие значения и извлечения значения, а бесхозные неявные опционалы (автоматическое извлечение значения, можно нарваться на не валидную ссылку).
А так если есть хотя бы одна сильная ссылка то объект будет висеть, слабые и бесхозные ссылки не учитываются при удалении.

@JordanO2 · 17.09.2025, 06:32 **[ТС]**

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

Совершенно пустое заявление. Где доказательства?

alecss131,
извиняюсь, но хотелось бы общаться ближе к теме, т.к. офтопика тут уже 4 страницы...
Хотя, вижу от вас грамотные коменты, как исключение, отвечу:
Про доказательства(скорости указателей над смартами) - см. в любой официальной документации всегда упоминается, что смарты(из-за медлительности и ресурсоемкости) можно использовать ТОЛЬКО в случае необходимости(контролировать время жизни объекта), во всех остальных случаях, просто менять указатели на смарты - это расточительство.
-----------
Кстати(было тут #16), ТС может исправить заголовок темы? заменить бы слово "проблему" на "задачу", это возможно причина офтопика...

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

В Python объекты(ресурсы) очищает - сам Python.

Вопрос ко всем,
кто-нибудь еще согласен с этим утверждением?

@alecss131 · 17.09.2025, 12:04

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

в любой официальной документации

Без тестов все равно пустые слова. Да и что называть офф документацией? Есть только стандарты.

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

кто-нибудь еще согласен с этим утверждением?

Да.

Я тут придумал интересный пример.
Возьмем за основу чистый Си, компилятор Clang и библиотеку Blocks. Напишем вот такой код

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
#include <stdio.h>
#include <Block.h>
 
typedef int (^IntBlock)();
 
IntBlock makeCounter(int start, int increment) {
    __block int i = start;
    return Block_copy( ^(void) {
        int ret = i;
        i += increment;
        return ret;
    });
}
 
int main(void) {
    IntBlock mycounter0 = makeCounter(0, 1);
    IntBlock mycounter1 = makeCounter(1, 2);
    printf("%d\n", mycounter0());
    printf("%d\n", mycounter1());
    printf("%d\n", mycounter0());
    printf("%d\n", mycounter1());
    printf("%d\n", mycounter0());
    printf("%d\n", mycounter1());
    Block_release(mycounter0);
    Block_release(mycounter1);
    return 0;
}

Перепишем его на Swift

Swift
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
typealias IntBlock = () -> Int
 
func makeCounter(start: Int, increment: Int) -> IntBlock{
    var i = start
    return { let ret = i
        i += increment
        return ret 
    }
}
 
let counter0 = makeCounter(start:0, increment: 1)
let counter1 = makeCounter(start:1, increment: 2)
print(counter0())
print(counter1())
print(counter0())
print(counter1())
print(counter0())
print(counter1())

Оба кода на выходе дадут

Что вполне ожидаемо, так как замыкание захватывает переменную по ссылке и продлевает время жизни захваченных объектов, у каждой копии замыкания свои объекты.
Попробуем переписать это максимально точно на С++

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>
#include <functional>
 
using IntBlock = std::function<int()>;
 
IntBlock makeCounter(int start, int increment){
    int i = start;
    return [&i, increment]{ int ret = i;
        i += increment;
        return ret;
    };
}
 
int main(){
    IntBlock counter0 = makeCounter(0, 1);
    IntBlock counter1 = makeCounter(1, 2);
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    return 0;
}

В голову приходит только такой вариант, но он не работающий, так как тут захваченный объект уничтожается после возврата из функции.
Единственное решение приходит только использовать сырые указатели

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>
#include <functional>
 
using IntBlock = std::function<int()>;
 
IntBlock makeCounter(int start, int increment){
    int *i = new int{start};
    return [i, increment]{ int ret = *i;
        *i += increment;
        return ret;
    };
}
 
int main(){
    IntBlock counter0 = makeCounter(0, 1);
    IntBlock counter1 = makeCounter(1, 2);
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    return 0;
}

Но и тут возникает проблема, код работает и выдает нужный результат, но тут есть утечка памяти, даже 2. Как вот тут очистить память используя сырые указатели? При этом минимально изменив код.
В голову приходит только решение с использованием умных указателей. Хотя с их помощью не получается решить, не хватает знаний языка.

@JordanO2 · 17.09.2025, 12:21 **[ТС]**

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

Да и что называть офф документацией?

Вы же понимаете, о чем речь. Тем более было написано "в любой официальной документации"

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

используя сырые указатели?

И снова, уже второй раз, зачем указатели называть "сырыми" ?

@alecss131 · 17.09.2025, 12:27

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

Хотя с их помощью не получается решить, не хватает знаний языка.

Пытался использовать unique_ptr, не вышло, а вот с shared_ptr вполне

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
#include <iostream>
#include <functional>
 #include <memory>
 
using IntBlock = std::function<int()>;
 
IntBlock makeCounter(int start, int increment){
    auto i = std::make_shared<int>(start);
    return [i, increment]{ int ret = *i;
        *i += increment;
        return ret;
    };
}
 
int main(){
    IntBlock counter0 = makeCounter(0, 1);
    IntBlock counter1 = makeCounter(1, 2);
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    std::cout << counter0() << std::endl;
    std::cout << counter1() << std::endl;
    return 0;
}

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

о чем речь

https://en.cppreference.com/w/... e_ptr.html
Прошу ткнуть носом, где написано про их медлительность

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

зачем указатели называть "сырыми" ?

Тем что они сырые, ими никто не владеет и все надо делать руками. А просто указатели это общее понятие, включающее и умные.
https://learn.microsoft.com/en... w=msvc-170

@JordanO2 · 17.09.2025, 12:36 **[ТС]**

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

Тем что они сырые, ими никто не владеет

вы хотели сказать "они" не владеют, а не "ими" не владеют.
Согласны?
---------
Ура .... Raw pointers ... теперь вижу, откуда "сырые".
Спасибо за ссылку (learn.microsoft.com) - а вы спрашивали "что такое официальные доки"?
Но, ведь, microsoft - это ни капли НЕ стандарт.
Согласны?

@alecss131 · 17.09.2025, 12:45

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

ткните меня носом

Вот, с моей же ссылки

In contrast, std::shared_ptr cannot be constructed from a raw pointer to incomplete type, but can be destroyed where T is incomplete

Добавлено через 6 минут
Ссылки на cppreference

@andrey_f · 17.09.2025, 12:54

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

Пытался использовать unique_ptr, не вышло, а вот с shared_ptr вполне

можно еще вот так сделать

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>
#include <functional>
 
using IntBlock = std::function<int()>;
 
IntBlock makeCounter(int start, int increment) {
    return [i = start, increment]() mutable {
        int ret = i;
        i += increment;
        return ret;
    };
}
 
int main() {
    IntBlock counter0 = makeCounter(0, 1);
    IntBlock counter1 = makeCounter(1, 2);
    std::cout << counter0() << std::endl; // 0
    std::cout << counter1() << std::endl; // 1
    std::cout << counter0() << std::endl; // 1
    std::cout << counter1() << std::endl; // 3
    std::cout << counter0() << std::endl; // 2
    std::cout << counter1() << std::endl; // 5
    return 0;
}

@JordanO2 · 17.09.2025, 12:55 **[ТС]**

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

Вот, с моей же ссылки

да, про RAW pointer, я успел сам себя ткнуть носом, раньше чем вы это сделали
Спасибо

---------------
Кстати, а на этом cppreference.com есть какой-нибудь "About Us" ?
Не могу найти их причастность к "Комитету"

@JordanO2 · 17.09.2025, 13:13 **[ТС]**

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

Кстати, а на этом cppreference.com есть какой-нибудь "About Us" ?
Не могу найти их причастность к "Комитету"

Сам спросил, сам нашел.
Оказывается, "комитет" знает про cppreference, но не признает их.

alecss131,
последняя просьба, как бесплатно скачать стандарт C++ с сайта isocpp.org ?
Они с меня деньги просят.

@Shamil1 · 17.09.2025, 14:16

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

Как исправить заголовок темы?

Нажать кнопку "пожаловаться" (на стартовом сообщении) и описать ситуацию.

@SmallEvil · 17.09.2025, 14:37

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

как бесплатно скачать стандарт C++ с сайта isocpp.org ?

Бесплатно можно только черновики.
Например: Document Number: N4950 (с++23)
C++ Standards Committee Papers

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

Они с меня деньги просят.

Какие нехорошие дяди...

@Shamil1 · 17.09.2025, 14:54

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

Наверное просто так там блоки using, финализаторы и ещё куча, чего я не знаю, разработано именно для этих целей.

Нет, не для этих. Это для освобождения прочих (не память) ресурсов.

@Shamil1 · 17.09.2025, 15:11

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

На объект может ссылаться несколько указателей. Когда объект удаляется, то указатели не должны превратиться в "висячие". Их надо либо сразу обнулить, либо обнулять при первом обращении, или любой другой способ, чтоб избежать ошибки.

Вариант 1.
Работать с объектами и указателями на них через "фабрику". В ней запоминать выданные указатели и обнулять их при удалении объекта.

Вариант 2.
Хранить множество живых объектов (адресов). Перед использованием указателя проверять, что адрес содержится в множестве.

Вариант 3.
К каждому объекту добавлять заголовок. Перед использованием указателя анализировать содержимое заголовка.

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

@Shamil1 · 17.09.2025, 15:23

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

Похоже автор пишет кривой код, а как собрать мусор, он не знает.

Вопрос был не про удаление объекта вообще и не про сборку мусора в частности. Вопрос был про указатели на удалённые объекты.

Новые блоги и статьи Все статьи Все блоги /
FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .
Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .

@JordanO2 2 / 1 / 1 Регистрация: 15.09.2025 Сообщений: 49

	Решить задачу "висячих" указателей 15.09.2025, 20:11. Показов 6022. Ответов 98 Метки указатель на объект (Все метки) Добрый день. Задача: На объект может ссылаться несколько указателей. Когда объект удаляется, то указатели не должны превратиться в "висячие". Их надо либо сразу обнулить, либо обнулять при первом обращении, или любой другой способ, чтоб избежать ошибки. Как это можно реализовать? ... хотя бы общие идеи? Спасибо. 0

@a380 110 / 74 / 6 Регистрация: 08.08.2025 Сообщений: 716
	16.09.2025, 19:20
	И сразу стрелки перевел. Конечно, СЛОЖНАЯ тема. Все пояснили уже. Зачем спрашивать дальше 0

@alecss131 Модератор 2902 / 1407 / 413 Регистрация: 11.08.2017 Сообщений: 4,514 Записей в блоге: 2
	16.09.2025, 21:50
	SmallEvil, Я в этом плане плохо знаком. Они похожи на умные указатели в С++. В языке только ссылки, они не могут быть нулевыми (nil), для этого в языке есть опционалы. Ну там во первых все типы делятся на reference и value, те что value хранятся на стеке и всегда копируются (хотя можно параметр задать как inout и менять его копию), а другие в куче и передается только ссылка. Ссылки только у классов и замыканий (структуры это value тип), вот у них есть несколько видов ссылок, по умолчанию они все сильные (strong), есть еще слабые (weak) и бесхозные (unowned). Слабые всегда опционалы и требуют проверки на наличие значения и извлечения значения, а бесхозные неявные опционалы (автоматическое извлечение значения, можно нарваться на не валидную ссылку). А так если есть хотя бы одна сильная ссылка то объект будет висеть, слабые и бесхозные ссылки не учитываются при удалении. 0