Аналог unique_ptr в python

@oldnick85 · Регистрация: 15.07.2017

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

Доброго дня всем!
Коротко: существует ли в python аналог сишного unique_ptr?

Возможно ли реализовать такое:

Python
1
2
3
4
5
a1 = A()        
a2 = None
 # a1==A, a2==None
a2 = a1         
 # a1==None, a2==A

Есть ли вообще в питоне средства контроля владением объектов?
Спасибо, за потраченное время!

@Garry Galler · 30.01.2021, 14:25

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

Есть ли вообще в питоне средства контроля владением объектов?

Какой нафиг указатель в динамическом скриптовом языке?
В Python есть только ссылки, но программист ими не управляет.

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

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

Возможно ли реализовать такое:

Что это? Обмен ~~женами~~ значениями?
Да не вопрос.

@oldnick85 · 30.01.2021, 14:38 **[ТС]**

В питоне все "переменные" (точнее имена) по сути и являются умными указателями. Здесь разжевано.

Я спрашивал не про указатели в питоне, я спрашивал про аналог уникального указателя, т.е. средство контроля владения, гарантию единственности владельца объекта.

@Garry Galler · 30.01.2021, 14:40

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

В питоне все "переменные" (точнее имена) по сути и являются умными указателями.

В Python это называется просто ссылками. И как я сказал - программист их не контролирует, поскольку они скрыты от него самим языком.

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

т.е. средство контроля владения

Попробуй сформулировать это для языка динамического рантайма.

@oldnick85 · 30.01.2021, 14:53 **[ТС]**

Сообщение от Garry Galler

язык динамического рантайма

Что бы это значило? Возможно имеется в виду динамически типизированный язык? Как динамическая типизация мешает контролировать количество ссылок на объект?
Задача простая: гарантировать, чтобы в каждый момент времени к данному объекту будет доступ только у одной ссылки. Не обязательно, чтобы ссылка указывала на сам объект, может быть использован промежуточный объект для доступа. Есть ли встроенные возможности языка или готовые реализации?

@Garry Galler · 30.01.2021, 14:58

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

Как динамическая типизация мешает контролировать количество ссылок на объект?

Наверно, никак. Но Python программист их не контролирует - контролирует алгоритм подсчета ссылок, который является частью сборщика мусора.

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

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

Спроси это Гвидо. Хотя, я думаю он ответил бы что-то типа: как вы себе представляете контроль ссылок в динамическом языке, где в каждый момент времени любая (или одна и та же) переменная может иметь любой тип?

@oldnick85 · 30.01.2021, 15:12 **[ТС]**

Сообщение от Garry Galler

в каждый момент времени любая (или одна и та же) переменная может иметь любой тип?

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

@Garry Galler · 30.01.2021, 15:20

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

а именно в отсутствии контроля над ссылками

Я как бы это в первом же посте и написал, но кто-то не поверил...

@oldnick85 · 30.01.2021, 18:57 **[ТС]**

Сообщение от Garry Galler

кто-то не поверил

И правильно сделал, поскольку есть как минимум getrefcount. Возможно найдутся и другие возможности, курю мануалы...

А пока накидал велосипед:

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

Python
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
40
41
import sys
 
class UniqPtr:
    def __init__(self, uniq_object = None):
        self.__obj = uniq_object
        return
 
    def obj(self):
        if (self.__obj != None):
            assert(sys.getrefcount(self.__obj) == 2)
        return self.__obj
 
    def move(self):
        o = self.__obj
        self.__obj = None
        return UniqPtr(o)
 
class Foo:
    def get_string(self):
        return "123"
 
def main(args):
    p1 = UniqPtr(Foo())
    p2 = UniqPtr()
    print(f"p1={p1.obj()}")
    print(f"p2={p1.obj()}")
    print(f"get_string={p1.obj().get_string()}")
    print("")
    p2 = p1.move()
    print(f"p1={p1.obj()}")
    print(f"p2={p1.obj()}")
    print(f"get_string={p2.obj().get_string()}")
    print("")
    p3 = p2.obj()
    # дальше сработает ассерт
    print(f"get_string={p2.obj().get_string()}")
    return 0
 
if __name__ == '__main__':
    import sys
    sys.exit(main(sys.argv))

@Welemir1 · 30.01.2021, 19:08

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

return 0
if __name__ == '__main__':
import sys
sys.exit(main(sys.argv))

прикольный подход) С?

@oldnick85 · 30.01.2021, 19:27 **[ТС]**

Не, кресты. Фрустрирует параллельное использование C++ и Python, хочется фич одного в другом и наоборот

@Garry Galler · 30.01.2021, 22:01

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

Фрустрирует параллельное использование C++ и Python

Значит ты оба языка используешь неправильно.

Я использую Python и Go абсолютно не смущаясь тем, что в Go нет ничего из Python, а в Python - из Go.

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

поскольку есть как минимум getrefcount.

Знать число ссылок это не контроль над ними.

Добавлено через 23 минуты
Да, кстати, механизм контроля ресурсами в Python реализован через контекстные менеджеры.

Python
1
2
with open("test.txt") as f:    
    data = f.read()

Оператор with создает контекст (блок) который автоматически ограничивает время (до конца блока) существования полученного ресурса (в данном случае файлового объекта).
Такой блок можно реализовать для любого объекта посредством документированной семантики.
И вот такое владение ресурсами в Python имеет смысл и пользу. В отличие от контроля числа ссылок, которым занимается сам интерпретатор и программист просто не должен туда лезть.

Ну и в очень редких случаях Python программисту могут понадобиться слабые ссылки, которые либо не инкрементируют счетчик ссылок (и потому не препятствуют уничтожению объекта, когда сильных ссылок не остается), либо вызывают исключение, когда слабая ссылка (в виде прокси-объекта) используется, в то время как сильная ссылка уже уничтожена.

Python
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
import weakref
 
class Foo(object):
    def __init__(self):
        self.obj = None
        print('created')
    def __del__(self):
        print('destroyed')
    def show(self):
        print(self.obj)
    def store(self, obj):
        self.obj = obj
 
print("> a = Foo()")
a = Foo()
print("> b = weakref.proxy(a)")
b = weakref.proxy(a)
print("> b.store('fish')")
b.store('fish')
print("> b.show()")
b.show()
print("> del a")
del a
print("> b.show() # -> will produce exception ReferenceError")
 # -> will produce exception
b.show()

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@oldnick85 36 / 34 / 10 Регистрация: 15.07.2017 Сообщений: 128
	30.01.2021, 14:38 [ТС]
	В питоне все "переменные" (точнее имена) по сути и являются умными указателями. Здесь разжевано. Я спрашивал не про указатели в питоне, я спрашивал про аналог уникального указателя, т.е. средство контроля владения, гарантию единственности владельца объекта. 0

@oldnick85 36 / 34 / 10 Регистрация: 15.07.2017 Сообщений: 128
	30.01.2021, 19:27 [ТС]
	Не, кресты. Фрустрирует параллельное использование C++ и Python, хочется фич одного в другом и наоборот 0