php7 list explode,PHP7源码之array_flip函数分析

以下源码基于 PHP 7.3.8

array_flip 函数的源代码在 /ext/standard/array.c 文件中。/* {{{ proto array array_flip(array input)

Return array with key  value flipped */

PHP_FUNCTION(array_flip)

{

// 定义变量

zval *array, *entry, data;

zend_ulong num_idx;

zend_string *str_idx;

// 解析数组参数

ZEND_PARSE_PARAMETERS_START(1, 1)

Z_PARAM_ARRAY(array)

ZEND_PARSE_PARAMETERS_END();

// 初始化返回数组

array_init_size(return_value, zend_hash_num_elements(Z_ARRVAL_P(array)));

// 遍历每个元素，并执行键值交换操作

ZEND_HASH_FOREACH_KEY_VAL(Z_ARRVAL_P(array), num_idx, str_idx, entry) {

ZVAL_DEREF(entry);

if (Z_TYPE_P(entry) == IS_LONG) {

if (str_idx) {

ZVAL_STR_COPY(&data, str_idx);

} else {

ZVAL_LONG(&data, num_idx);

}

zend_hash_index_update(Z_ARRVAL_P(return_value), Z_LVAL_P(entry), &data);

} else if (Z_TYPE_P(entry) == IS_STRING) {

if (str_idx) {

ZVAL_STR_COPY(&data, str_idx);

} else {

ZVAL_LONG(&data, num_idx);

}

zend_symtable_update(Z_ARRVAL_P(return_value), Z_STR_P(entry), &data);

} else {

php_error_docref(NULL, E_WARNING, "Can only flip STRING and INTEGER values!");

}

} ZEND_HASH_FOREACH_END();

}

/* }}} */

参数解析 Z_PARAM_ARRAY

先看参数解析部分ZEND_PARSE_PARAMETERS_START(1, 1)

Z_PARAM_ARRAY(array)

ZEND_PARSE_PARAMETERS_END();

Z_PARAM_ARRAY 的主要作用是指定一个参数使数组解析为 zval。关于它的详细资料可以点此查看

返回值 return_value

解析完参数后，返回数组就被初始化了：array_init_size(return_value, zend_hash_num_elements(Z_ARRVAL_P(array)));

ZEND_FUNCTION 本身不像 PHP 一样用 return 返回值，而是修改 return_value 指针所指向的变量，内核会把 return_value 指向的变量作为用户端调用此函数后得到的返回值。

Z_ARRVAL_P 的定义如下：#define Z_ARRVAL_P(zval_p)          Z_ARRVAL(*(zval_p))

zend_hash_num_elements 函数代码如下：#define zend_hash_num_elements(ht) \

(ht)->nNumOfElements

array_init_size 函数代码如下：

define array_init_size(arg, size)  ZVAL_ARR((arg), zend_new_array(size))

返回数组的初始化主要分为 3 步：

Z_ARRVAL_P 宏从 zval 里面提取值到哈希表；

zend_hash_num_elements 提取哈希表元素的个数(nNumOfElements 属性)。

array_init_size 使用 size 变量初始化数组。

键值交换

ZEND_HASH_FOREACH_KEY_VAL 宏定义的内容如下：#define ZEND_HASH_FOREACH_KEY_VAL(ht, _h, _key, _val) \

ZEND_HASH_FOREACH(ht, 0); \

_h = _p->h; \

_key = _p->key; \

_val = _z;

继续展开 ZEND_HASH_FOREACH：#define ZEND_HASH_FOREACH(_ht, indirect) do { \

HashTable *__ht = (_ht); \

Bucket *_p = __ht->arData; \

Bucket *_end = _p + __ht->nNumUsed; \

for (; _p != _end; _p++) { \

zval *_z = &_p->val; \

if (indirect && Z_TYPE_P(_z) == IS_INDIRECT) { \

_z = Z_INDIRECT_P(_z); \

} \

if (UNEXPECTED(Z_TYPE_P(_z) == IS_UNDEF)) continue;

ZEND_HASH_FOREACH_END 的定义如下：#define ZEND_HASH_FOREACH_END() \

} \

} while (0)

则ZEND_HASH_FOREACH_KEY_VAL(Z_ARRVAL_P(array), num_idx, str_idx, entry) {

// code

}

完全展开如下：do {

Bucket *_p = (_ht)->arData; // Z_ARRVAL_P(array) ---> ht ---> _ht

Bucket *_end = _p + (_ht)->nNumUsed; // 起始地址+偏移地址

for (; _p != _end; _p++) {

zval *_z = &_p->val;

if (indirect && Z_TYPE_P(_z) == IS_INDIRECT) {

_z = Z_INDIRECT_P(_z);

}

if (UNEXPECTED(Z_TYPE_P(_z) == IS_UNDEF)) continue;

_h = _p->h; // zend_ulong num_idx ---> _h

_key = _p->key; // zend_string *str_idx ---> _key

_val = _z; // zval *entry ---> _val

{

//code

}

}

} while (0)

主要作用是迭代一个哈希表的键和值。在上面完全展开的代码中，省略的代码 code 主要实现交换键值。如果数组元素的索引为数字：if (Z_TYPE_P(entry) == IS_LONG) {

if (str_idx) {

ZVAL_STR_COPY(&data, str_idx);

} else {

ZVAL_LONG(&data, num_idx);

}

zend_hash_index_update(Z_ARRVAL_P(return_value), Z_LVAL_P(entry), &data);

}

zend_hash_index_update 的三个参数分别是：需要更新的哈希表 Z_ARRVAL_P(return_value)，整型下标 Z_LVAL_P(entry)，值 &data。

如果str_idx 不为空，就将 str_idx 拷贝给 data ，反之将 num_idx 拷贝给 data ，然后使用 zend_hash_index_update 函数将值插入/更新到返回数组中。如果数组元素的索引为字符串：else if (Z_TYPE_P(entry) == IS_STRING) {

if (str_idx) {

ZVAL_STR_COPY(&data, str_idx);

} else {

ZVAL_LONG(&data, num_idx);

}

zend_symtable_update(Z_ARRVAL_P(return_value), Z_STR_P(entry), &data);

}

如果str_idx 不为空，就将 str_idx 拷贝给 data ，反之将 num_idx 拷贝给 data ，然后使用 zend_symtable_update 函数将值插入/更新到返回数组中。数组元素的值只能为字符串或整数，否则报 warning 错误：else {

php_error_docref(NULL, E_WARNING, "Can only flip STRING and INTEGER values!");

}

以上就是 array_flip 函数的源码分析。(END)

后记：其实一开始的标题是『为什么array_flip(array_flip())比array_unique()快』，于是有了以下的篇幅☟，再然后觉得要追根溯源，于是去研究 PHP7 的源代码，于是标题改成了『PHP7源码解释为什么array_flip(array_flip())比array_unique()快』，就有了上边的篇幅☝，可没想到光一个 array_flip 函数的源码整理就用去了不少时间，遂定为『PHP7源码之array_flip函数』，等后面得了时间再整理 array_unique 函数的笔记。(捂脸)

今天在项目中看到这样一句代码$userIds = array_flip(array_flip($ids));

显而易见，这是为了去重，因为 array_flip 函数可以交换数组中的键和值，原来重复的值会变为相同的键。再进行一次键值互换，把键和值换回来则可以完成去重。

想起几年前跟朋友学 PHP 时，朋友说去重函数 array_unique 性能不高，要少用。只不过那时是初学，没有刨根问底。可今天不忙，就亲自动手测试了一下，简易代码如下：//运行开始

$startTime = getMicrotime();

$startMemory = getUseMemory();

$arr = [1,2,3...]; // 数据略

array_unique($arr);

// array_flip(array_flip($arr));

//运行结束

$endTime = getMicrotime();

$endMemory = getUseMemory();

//运行结果

echo "执行耗时：" . ($endTime - $startTime) * 1000 . '毫秒';

echo "占用内存：" . ($endMemory - $startMemory) . 'kb';

/**

* 获取时间(微秒)

*/

function getMicrotime(){

list($usec, $sec) = explode(' ', microtime());

return (float)$usec + (float)$sec;

}

/**

* 获取使用内存(kb)

*/

function getUseMemory(){

$useMemory = round(memory_get_usage(true) / 1024, 2);

return $useMemory;

}

注：代码在终端执行：CentOS 7.4，PHP 7.3.4。

1w个元素，15个重复元素：

可以看到 array_unique 函数去重确实比 array_flip 函数所用时间长一些，但差异不大。

如果是10w个元素，10个重复元素：

可以看到两个函数的耗时拉开了差距。相信随着数据量的增大，耗时的差距也会更大。