php数组下标不规则,PHP数组下标类型陷阱

忘是亡心i 2022-11-18 01:27 206阅读 0赞

项目使用PHP语言开发，其中用到了MONGO DB存储;MONGO DB里的数据是强类型，PHP里的数据是弱类型，上周五我在MONGODB里查询一个数据总是找不到，最后发现问题是PHP数组的数值型字符串下标自动转变成了整数型下标；因此虽然PHP是弱类型语言，我们也要关注变量当前什么类型，熟悉PHP的类型自动转换规则，在一些类型敏感的地方要进行类型判断或者强制类型转换。

以下示例程序简单解释了这个现象：

Php代码

$id = "22";

$arr1\[$id\] = "xxx";

var\_dump($arr1);

$id = 22;

$arr2\[$id\] = "xxx";

var\_dump($arr2);

$id = "022";

$arr3\[$id\] = "xxx";

var\_dump($arr3);

$id = "2222222222222";

$arr4\[$id\] = "xxx";

var\_dump($arr4);

$id = "22";$arr1\[$id\] = "xxx";var\_dump($arr1);$id = 22;$arr2\[$id\] = "xxx";var\_dump($arr2);$id = "022";$arr3\[$id\] = "xxx";var\_dump($arr3);$id = "2222222222222";$arr4\[$id\] = "xxx";var\_dump($arr4);

这段程序的输出是：

Php代码

array(1) \{

\[22\]=>

string(3) "xxx"

array(1) \{

\[22\]=>

string(3) "xxx"

array(1) \{

\["022"\]=>

string(3) "xxx"

array(1) \{

\["2222222222222"\]=>

string(3) "xxx"

array(1) \{ \[22\]=> string(3) "xxx"\}array(1) \{ \[22\]=> string(3) "xxx"\}array(1) \{ \["022"\]=> string(3) "xxx"\}array(1) \{ \["2222222222222"\]=> string(3) "xxx"\}

那么，PHP的数组字符串下标类型是怎么确定的呢？我们一起到PHP的源代码里看一看。

首先，我们在Zend/zend\_language\_parser.y里搜索\[,找到数组的语义解析规则：

Php代码

object\_dim\_list:

object\_dim\_list '\[' dim\_offset '\]' \{ fetch\_array\_dim(&$$, &$1, &$3 TSRMLS\_CC); \}

| object\_dim\_list '\{' expr '\}' \{ fetch\_string\_offset(&$$, &$1, &$3 TSRMLS\_CC); \}

| variable\_name \{ znode tmp\_znode; zend\_do\_pop\_object(&tmp\_znode TSRMLS\_CC); zend\_do\_fetch\_property(&$$, &tmp\_znode, &$1 TSRMLS\_CC);\}

;

object\_dim\_list: object\_dim\_list '\[' dim\_offset '\]' \{ fetch\_array\_dim(&$$, &$1, &$3 TSRMLS\_CC); \} | object\_dim\_list '\{' expr '\}' \{ fetch\_string\_offset(&$$, &$1, &$3 TSRMLS\_CC); \} | variable\_name \{ znode tmp\_znode; zend\_do\_pop\_object(&tmp\_znode TSRMLS\_CC); zend\_do\_fetch\_property(&$$, &tmp\_znode, &$1 TSRMLS\_CC);\} ;

我们使用的是数组，因此使用第一个规则fetch\_array\_dim,在fetch\_array\_dim函数里，我们发现生成的opcode是ZEND\_FETCH\_DIM\_W(84)。在Zend/zend\_vm\_def.h里,ZEND\_FETCH\_DIM\_W的处理函数里zend\_fetch\_dimension\_address处理取下标逻辑。

继续跟踪下去，从zend\_fetch\_dimension\_address函数到zend\_fetch\_dimension\_address\_inner，再到zend\_symtable\_update：

Php代码

static inline int zend\_symtable\_update(HashTable \*ht, char \*arKey, uint nKeyLength, void \*pData, uint nDataSize, void \*\*pDest) \\

HANDLE\_NUMERIC(arKey, nKeyLength, zend\_hash\_index\_update(ht, idx, pData, nDataSize, pDest));

return zend\_hash\_update(ht, arKey, nKeyLength, pData, nDataSize, pDest);

static inline int zend\_symtable\_update(HashTable \*ht, char \*arKey, uint nKeyLength, void \*pData, uint nDataSize, void \*\*pDest) \\\{ HANDLE\_NUMERIC(arKey, nKeyLength, zend\_hash\_index\_update(ht, idx, pData, nDataSize, pDest)); return zend\_hash\_update(ht, arKey, nKeyLength, pData, nDataSize, pDest); \}

HANDLE\_NUMERIC这个宏很有意思，如果字符串下标arKey可转化为长整数idx,则调用zend\_hash\_index\_update把数据插入到idx位置，否则调用zend\_hash\_update修改arKey位置的值 。我们看下宏的具体定义：

Php代码

\#define HANDLE\_NUMERIC(key, length, func) \{ \\

if (\*tmp=='-') \{ \\

tmp++; \\

\} \\

if ((\*tmp>='0' && \*tmp<='9')) do \{ /\* possibly a numeric index \*/ \\

char \*end=key+length-1; \\

long idx; \\

if (\*tmp++=='0' && length>2) \{ /\* don't accept numbers with leading zeros \*/ \\

break; \\

\} \\

while (tmp

if (!(\*tmp>='0' && \*tmp<='9')) \{ \\

break; \\

\} \\

tmp++; \\

\} \\

if (tmp==end && \*tmp=='\\0') \{ /\* a numeric index \*/ \\

if (\*key=='-') \{ \\

idx = strtol(key, NULL, 10); \\

if (idx!=LONG\_MIN) \{ \\

return func; \\

\} \\

\} else \{ \\

idx = strtol(key, NULL, 10); \\

if (idx!=LONG\_MAX) \{ \\

return func; \\

\} \\

\} while (0); \\

\#define HANDLE\_NUMERIC(key, length, func) \{ \\ register char \*tmp=key; \\ \\ if (\*tmp=='-') \{ \\ tmp++; \\ \} \\ if ((\*tmp>='0' && \*tmp<='9')) do \{ /\* possibly a numeric index \*/ \\ char \*end=key+length-1; \\ long idx; \\ \\ if (\*tmp++=='0' && length>2) \{ /\* don't accept numbers with leading zeros \*/ \\ break; \\ \} \\ while (tmp='0' && \*tmp<='9')) \{ \\ break; \\ \} \\ tmp++; \\ \} \\ if (tmp==end && \*tmp=='\\0') \{ /\* a numeric index \*/ \\ if (\*key=='-') \{ \\ idx = strtol(key, NULL, 10); \\ if (idx!=LONG\_MIN) \{ \\ return func; \\ \} \\ \} else \{ \\ idx = strtol(key, NULL, 10); \\ if (idx!=LONG\_MAX) \{ \\ return func; \\ \} \\ \} \\ \} \\ \} while (0); \\\}

从宏里我们知道了字符串下标自动转化为长整数下标的规则：

1. 全部为数字，但是不能有前导0，比如arKey="0123"不会转化成123

2. 不能超过long的表示范围(LONG\_MIN, LONG\_MAX)，即(-2147483648, 2147483647)