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

问题一：在创建包含 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 的计算逻辑是什么？为什么是这样计算的