Python中为何未提供任意对象类型的array数组实现？

Python的array模块提供的数组和列表不同，它采用连续内存存储，通常拥有更出色的性能表现，但元素类型被限制在文档列出的基础类型范围内。

你提到的思路其实站得住脚：既然元素类型要求是固定大小（或有上限）的类型，那指针（或者可转换为intptr_t的对象指针）完全符合这个条件，而且Python的核心实现是C语言，理论上可以通过把对象指针转成intptr_t的方式，实现任意Python对象的数组。但array模块没这么做，原因主要有这几点：

• 定位与现有功能重叠：Python的list底层本身就是用连续数组存储对象指针的（CPython里的PyListObject内部是PyObject**类型的数组），已经实现了你说的“装箱+连续指针数组”的逻辑，还自带动态扩容、边界检查等成熟机制，完全能满足任意对象数组的需求。array模块再做一个同类功能，纯属重复造轮子。
• 偏离设计初衷：array模块的核心价值是紧凑存储基础数值类型。比如存储整数时，array.array('i')每个元素仅占4字节，而list存储整数对象要额外承担对象头、引用计数等几十字节的开销，这才是array性能优势的来源。如果存对象指针，每个元素的大小和list的存储开销完全一致，array就失去了它存在的意义。
• 额外的复杂度成本：要支持任意对象数组，必须处理对象的引用计数维护、垃圾回收联动等问题，这会让原本轻量高效的array模块复杂度飙升，违背它的设计方向。

如果确实需要更底层的对象连续存储实现，可以用ctypes模块自行封装，比如用ctypes.py_object创建数组，本质就是存储对象指针的连续内存块，完全符合你的设想。

内容的提问来源于stack exchange，提问作者ByteEater