Bug report

tuple.__sizeof__,int.__sizeof__, andbool.__sizeof__ incorrectly returns a size using an algorithm that assumes theob_item /ob_digit array is size 0 whenob_size is 0, when this is not true.

print((0).__sizeof__())>>24print((1).__sizeof__())>>28

This result of__sizeof__ suggests that int(0) has anob_digit array size of 0, and thus 4 less bytes (considering array dtype of c_uint32). However, this is not correct.

https://github.com/python/cpython/blob/3.11/Include/cpython/longintrepr.h#L79-L82
Code paths for the creation ofint(0) and other PyVarObject types all initialize with an array of size 1. Such the struct ofint(0) holds a c_uint32 array of size 1, and element [0] of 0.

The result24 of(0).__sizeof__() suggests that this array does not exist for sizing purposes. This seems to be misleading for performance calculations on memory size, and creates unsafe scenarios when moving memory.

Implementations of__sizeof__

(int) (bool also inherits this)
https://github.com/python/cpython/blob/main/Objects/longobject.c#L5876-L5884

res= offsetof(PyLongObject,ob_digit)+Py_ABS(Py_SIZE(self))*sizeof(digit);

(tuple)
https://github.com/python/cpython/blob/main/Objects/typeobject.c#L5929-L5942

Your environment

• CPython versions tested on: 3.11.1 and main branch
• Operating system and architecture: Windows and macOS

Linked PRs

• gh-100637: Fix int and bool __sizeof__ calculation to include the 1 element ob_digit array for 0 and False #100663
• [3.11] gh-100637: Fix int and bool __sizeof__ calculation to include the 1 element ob_digit array for 0 and False (GH-100663) #100717