请选择 进入手机版|继续访问电脑版
发新帖

Python 源码中 PyListObject 中的两个问题请教各位大神

[复制链接]
4426 4

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?立即注册

x
问题一:在创建包含 size 个 PyObject *的 PyListObject 时,内存数量计算,溢出检查。部分代码如下
int size;
size_t nbytes = size * sizeof(PyObject *)
if( nbytes/sizeof(PyObject *) != (size_t) size){
    return 溢出
}
这段代码判断溢出的思路是什么?

问题二:在插入元素时,判断是否需要申请新的内存
if (allocated >= newsize >= (allocated>>1)) 不申请新的内存
else  new_allocated = (newsize >> 3) + (newsize < 9?3:6)+newsize    申请 new_allocated 个新的内存

这里 new_allocated 的计算逻辑是什么?为什么是这样计算的

举报 使用道具

回复

精彩评论4

joehuang  新手上路  发表于 2018-3-6 19:54:13 | 显示全部楼层
关于问题二,已经找到答案。https://stackoverflow.com/questions/1100311/what-is-the-ideal-growth-rate-for-a-dynamically-allocated-array

举报 使用道具

回复
wangxn  新手上路  发表于 2018-3-6 20:39:00 | 显示全部楼层
能不能直接复制源码而不要用奇怪的伪码……

举报 使用道具

回复
gnaggnoyil  新手上路  发表于 2018-3-6 21:39:02 | 显示全部楼层
1 中的代码的本意是认为`size * sizeof(PyObject *)`只有在不发生溢出的情况下其值才是数学意义上相乘的结果.不过我很怀疑这段代码可能不能保证 portable:一个`int`和一个`size_t`相乘的结果不保证一定是个无符号的(比如`int`的 rank 严格大于`size_t`的时候).而有符号数溢出是未定义行为.我没怎么读过 CPython 源码,如果 CPython 源码真的是这么写的话我只能说这代码质量还是有待改进……

举报 使用道具

回复
gnaggnoyil  新手上路  发表于 2018-3-6 21:55:15 | 显示全部楼层
哦不对我傻了.我忘了有个东西叫做 Integer promotion. Integer promotion 的存在导致`int`的 rank 必然小于等于`size_t`进行 Integer promotion 之后的类型,所以两者相乘的结果必然是严格无符号的,所以这段代码应该是严格没问题的……

举报 使用道具

回复
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

快速回复 返回顶部 返回列表