PHP中数组实际占用内存大小的分析

参考：http://www.phpmianshi.com/?id=18

 

1.数组正常的赋值是不会发生内存改变的，但是当赋值的新数组发生改动的时候，php就会新开辟内存给新的数组，这里会造成无谓的内存消耗。最好是不要直接这样赋值，如果非赋值不可的话，记得加上‘&’符号，通过传引用直接传递地址给新数组，这样当新数组发生变化的时候，更改的还是原来的那块内存。

2.在php程序中，只要传参，参数都会拷贝一份，所以值越大，耗的内存越大。针对这种情况，
建议是在类里面定义全局变量，然后函数体里面通过：$this->repos来操作这个数组。也可以考虑使用传引用的方式，因为使用&的话，传递过去的事一个内存地址，位数并不大。

3.针对一些比较大的变量（最好大于256字节），如果只是临时使用的话，使用完之后记得unset()掉。如果对变量进行'&'传引用的话，会增加该内存的引用计数,直接unset()变量并不会立马释放变量，因为unset只是断开一个变量到一块内存区域的连接，同时将该内存区域的引用计数-1，如果把引用赋值的那个变量也unset()掉才会立马释放内存。PHP也是有计数器的概念，unset只是让计数器进行减一，不代表这块内存真的被释放了，只有当指向这块内存的引用数为0时，这块内存才得到释放，这个释放是还给PHP的内存管理。

4.PHP会自己有一个内存管理，它会一次性向系统多申请一些内存，然后自己分配。

PHP的垃圾回收机制
php 5.3之前使用的垃圾回收机制是单纯的“引用计数”，也就是每个内存对象都分配一个计数器，当内存对象被变量引用时，计数器+1；当变量引用撤掉后，计数器-1；当计数器=0时，表明内存对象没有被使用，该内存对象则进行销毁，垃圾回收完成。

“引用计数”存在问题，就是当两个或多个对象互相引用形成环状后，内存对象的计数器则不会消减为0；这时候，这一组内存对象已经没用了，但是不能回收，从而导致内存泄露。

php5.3开始，使用了新的垃圾回收机制，在引用计数基础上，实现了一种复杂的算法，来检测内存对象中引用环的存在，以避免内存泄露。

<?php

echo memory_get_usage();
echo "\n";
$start = memory_get_usage();
$a = Array();
for ($i = 0; $i < 1000; $i++) {
    $a[$i] = $i + $i;
}
$mid = memory_get_usage();
echo memory_get_usage();
echo "\n";
for ($i = 1000; $i < 2000; $i++) {
    $a[$i] = $i + $i;
}
$end = memory_get_usage();
echo memory_get_usage();
echo "\n";
echo 'argv:', ($mid - $start) / 1000, 'bytes';
echo "\n";
echo 'argv:', ($end - $mid) / 1000, 'bytes';
echo "\n";

我们在前面的php高效写法提到，尽量不要复制变量，特别是数组。一般来说，PHP数组的内存利用率只有 1/10, 也就是说，一个在C语言里面100M 内存的数组，在PHP里面就要1G。下面我们可以粗略的估算PHP数组占用内存的大小,首先我们测试1000个元素的整数占用的内存：

输出是:

393584
430536
463304
argv:36.92bytes
argv:32.768bytes

大概了解1000 个元素的整数数组需要占用 36k 内存，平均每个元素占用 36 个字节。而纯 C 中整体只需要 4k(一个整型占用4byte * 1000 )。memory_get_usage() 返回的结果并不是全是被数组占用了，还要包括一些 PHP 运行本身分配的一些结构，可能用内置函数生成的数组更接近真实的空间:

<?php
    $start = memory_get_usage();
    $a = array_fill(0, 1000, 1);
    $mid = memory_get_usage(); //1k elements array;
    echo 'argv:', ($mid - $start )/1000,'byte';
    echo "\n";
    $b = array_fill(0, 1000, 1);
    $end = memory_get_usage(); //1k elements array;
    echo 'argv:', ($end - $mid)/1000 ,'byte';
    echo "\n";

得到：

argv:36.92byte
argv:36.952byte

从这个结果来看似乎一个数组元素大约占用了36个字节左右。

首先看一下64位机C语言各种类型占用的字节：

#include <stdio.h>
 
int main() {
        printf("int:%d\nlong:%d\ndouble:%d\nchar*:%d\nsize_t:%d\n", 
        sizeof(int), sizeof(long), 
        sizeof(double), sizeof(char *), 
        sizeof(size_t));
	return   0; 
}

gcc main.c   

输出

int:4
long:8
double:8
char*:8
size_t:8

在PHP中都使用long类型来代表数字，没有使用int类型
大家都明白PHP是一种弱类型的语言，它不会去区分变量的类型，没有int float char *之类的概念。
我们看看php在zend里面存储的变量，PHP中每个变量都有对应的 zval， Zval结构体定义在Zend/zend.h里面，其结构:

typedef struct _zval_struct zval;
struct _zval_struct {
    /* Variable information */
    zvalue_value value;     /* The value 1 12字节(32位机是12，64位机需要8+4+4=16) */
    zend_uint refcount__gc; /* The number of references to this value (for GC) 4字节 */
    zend_uchar type;        /* The active type 1字节*/
    zend_uchar is_ref__gc;  /* Whether this value is a reference (&) 1字节*/
};

PHP使用一种UNION结构来存储变量的值,即zvalue_value 是一个union，UNION变量所占用的内存是由最大成员数据空间决定。

typedef union _zvalue_value {
    long lval;                  /* long value */
    double dval;                /* double value */
    struct {                    /* string value */
        char *val;
        int len;
    } str; 
    HashTable *ht;              /* hash table value */
    zend_object_value obj;      /*object value */
} zvalue_value;

最大成员数据空间是struct str，指针占*val用4字节，INT占用4字节，共8字节。

       struct zval占用的空间为8+4+1+1 = 14字节，
      其实呢，在zval中数组，字符串和对象还需要另外的存储结构，数组则是一个 HashTable:

   HashTable结构体定义在Zend/zend_hash.h.

typedef struct _hashtable {
    uint nTableSize;//4
    uint nTableMask;//4
    uint nNumOfElements;//4
    ulong nNextFreeElement;//4
    Bucket *pInternalPointer;    /* Used for element traversal 4*/
    Bucket *pListHead;//4
    Bucket *pListTail;//4
    Bucket **arBuckets;//4
    dtor_func_t pDestructor;//4
    zend_bool persistent;//1
    unsigned char nApplyCount;//1
    zend_bool bApplyProtection;//1
#if ZEND_DEBUG
    int inconsistent;//4
#endif
} HashTable;

HashTable 结构需要 39 个字节，每个数组元素存储在 Bucket 结构中:

typedef struct bucket {
    ulong h;    /* Used for numeric indexing                4字节 */
    uint nKeyLength;    /* The length of the key (for string keys)    4字节 */
    void *pData;        /* 4字节*/
    void *pDataPtr;         /* 4字节*/
    struct bucket *pListNext;  /* PHP arrays are ordered. This gives the next element in that order4字节*/
    struct bucket *pListLast;  /* and this gives the previous element            4字节 */
    struct bucket *pNext;      /* The next element in this (doubly) linked list        4字节*/
    struct bucket *pLast;      /* The previous element in this (doubly) linked list        4字节*/
    char arKey[1];              /* Must be last element    1字节*/
} Bucket;

Bucket 结构需要 33 个字节，键长超过四个字节的部分附加在 Bucket 后面，而元素值很可能是一个 zval 结构，另外每个数组会分配一个由 arBuckets 指向的 Bucket 指针数组， 虽然不能说每增加一个元素就需要一个指针，但是实际情况可能更糟。这么算来一个数组元素就会占用 54 个字节，与上面的估算几乎一样。

    一个空数组至少会占用 14(zval) + 39(HashTable) + 33(arBuckets) = 86 个字节，作为一个变量应该在符号表中有个位置，也是一个数组元素，因此一个空数组变量需要 118 个字节来描述和存储。从空间的角度来看，小型数组平均代价较大，当然一个脚本中不会充斥数量很大的小型数组，可以以较小的空间代价来获取编程上的快捷。但如果将数组当作容器来使用就是另一番景象了，实际应用经常会遇到多维数组，而且元素居多。比如10k个元素的一维数组大概消耗540k内存，而10k x 10 的二维数组理论上只需要 6M 左右的空间，但是按照 memory_get_usage 的结果则两倍于此，[10k,5,2]的三维数组居然消耗了23M，小型数组果然是划不来的。