René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"TypeManager.pointer_attribute are broken due to incompatibility with the C/C++ memory ownership model.","articleBody":"1. The values given to pointer_attribute are managed by CustomType's [_allocated_pointers](https://github.com/Source-Python-Dev-Team/Source.Python/blob/0171b36297c23d480c17631561c98c0ff2afca28/addons/source-python/packages/source-python/memory/manager.py#L90)/[_pointer_values](https://github.com/Source-Python-Dev-Team/Source.Python/blob/0171b36297c23d480c17631561c98c0ff2afca28/addons/source-python/packages/source-python/memory/manager.py#L94), but since CustomType may be generated from raw pointers, CustomType cannot have ownership of the value. This applies to CustomType generated by `make_object()`, nested [CustomType](https://github.com/Source-Python-Dev-Team/Source.Python/blob/0171b36297c23d480c17631561c98c0ff2afca28/addons/source-python/packages/source-python/memory/manager.py#L249-L252), and Array generated by static_pointer_array/dynamic_pointer_array.\r\n(See also #480, #489).\r\n\r\n2. If the value set in the pointer_attribute is an object generated by Python/Boost.Python, the memory will eventually be double free if the memory is managed by the C++ side. This can be circumvented by the user, but this is incompatible with the actual [Source.Python implementation](https://github.com/Source-Python-Dev-Team/Source.Python/blob/0171b36297c23d480c17631561c98c0ff2afca28/addons/source-python/packages/source-python/memory/manager.py#L512-L519). Furthermore, this means that when the user handles a pointer_attribute, it must be fully aware of how the memory is managed. While this may be feasible at the library level, it is impractical at the user level.\r\n\r\nThese two problems eventually lead to segmentation violation or double free or memory corruption, and these problems are very difficult or impossible to debug.\r\n\r\nProposal:\r\n\r\nWe should not assign the pointer of an object generated by Python/Boost.Python directly to other memory location, we should always make a copy of it and assign it, as in an [earlier implementation](https://github.com/Source-Python-Dev-Team/Source.Python/commit/7690d9674053a158bc79246dfc64d26a507d5209) (https://github.com/Source-Python-Dev-Team/Source.Python/commit/7690d9674053a158bc79246dfc64d26a507d5209). \r\nhttps://github.com/Source-Python-Dev-Team/Source.Python/blob/7690d9674053a158bc79246dfc64d26a507d5209/addons/source-python/packages/source-python/memory/__init__.py#L394-L399\r\n\r\nThis means that _allocated_pointers/_pointer_values are no longer required. If the user needs to delete a copied object, they can always use [CustomType._destructor](https://github.com/Source-Python-Dev-Team/Source.Python/blob/0171b36297c23d480c17631561c98c0ff2afca28/addons/source-python/packages/source-python/memory/manager.py#L73-L74).","author":{"url":"https://github.com/CookStar","@type":"Person","name":"CookStar"},"datePublished":"2023-08-10T00:21:30.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/490/Source.Python/issues/490"}