Function must not return a pointer to content without an explicit resource management

[vstinner]

The Python C API has many functions giving a direct access to an object content as a pointer:

• PyBytes_AsString(), PyBytes_AS_STRING()
• PyByteArray_AsString(), PyByteArray_AS_STRING()
• PyEval_GetFuncName()
• PyUnicode_AsUTF8(), PyUnicode_AsUTF8AndSize()
• PyCapsule_GetName()

Problem: the returned pointer becomes a dangling pointer if the object is deleted. It's not explicit for the caller how long the pointer remains valid.

For PyUnicode_AsUTF8(), the caller can guess that the pointer remains valid until the Python str is deleted (until the last strong reference is deleted).

Problem: These API make assumptions on how Python objects are implemented. What if tomorrow we want to remove the UTF-8 cached string of Python str object?

See "C API: Add PyObject_AsObjectArray() function: get tuple/list items as PyObject** array" issue python/cpython#106592 to have a different look at this problem.

[vstinner]

I proposed a generic PyResource API: python/cpython#106592

It makes resource management explict and make the C API more generic. Don't rely on the exact current object layout, allow changing the layout.

[vstinner]

See also Unclear lifetimes of borrowed references: issue #5.

[scoder]

I see this mostly as a documentation/naming issue. IMHO, the fact that the pointer lifetime is handled by CPython because it is directly tied to a live Python object makes this very easy to deal with. It just needs to be clear in which functions/cases this happens. Keeping a life reference to a Python object is something that people do all the time, so this is a trivial concept, much simpler than a new "handle this non-object resource" API. And it can always trivially be implemented with an additional pointer in the object, even if the internal layout changes.

[encukou]

Proposed guideline issues:

• Document lifetimes & ownership rules api-evolution#17
• Terminology for managing ownership api-evolution#25

(These do focus on explicitly documenting the lifetime of a return value. IMO, doing that will reveal the pathological cases.)