Home php教程 php手册 PHP数组下标类型陷阱

PHP数组下标类型陷阱

Jun 13, 2016 am 10:50 AM
mongo php subscript use storage develop powerful data array yes of type language trap project

项目使用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) {                                             \  
    register char *tmp=key;                                                             \  
                                                                                        \  
    if (*tmp=='-') {                                                                    \  
        tmp++;                                                                          \  
    }                                                                                   \  
    if ((*tmp>='0' && *tmp         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                 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' && *tmp2) { /* don't accept numbers with leading zeros */    \            break;                                                                      \        }                                                                               \        while (tmp='0' && *tmp     从宏里我们知道了字符串下标自动转化为长整数下标的规则:
 
    1. 全部为数字,但是不能有前导0,比如arKey="0123"不会转化成123
 
    2. 不能超过long的表示范围(LONG_MIN, LONG_MAX),即(-2147483648, 2147483647)

Statement of this Website
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

AI Hentai Generator

AI Hentai Generator

Generate AI Hentai for free.

Hot Article

R.E.P.O. Energy Crystals Explained and What They Do (Yellow Crystal)
2 weeks ago By 尊渡假赌尊渡假赌尊渡假赌
Repo: How To Revive Teammates
1 months ago By 尊渡假赌尊渡假赌尊渡假赌
Hello Kitty Island Adventure: How To Get Giant Seeds
4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌

Hot Tools

Notepad++7.3.1

Notepad++7.3.1

Easy-to-use and free code editor

SublimeText3 Chinese version

SublimeText3 Chinese version

Chinese version, very easy to use

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment

Dreamweaver CS6

Dreamweaver CS6

Visual web development tools

SublimeText3 Mac version

SublimeText3 Mac version

God-level code editing software (SublimeText3)

CakePHP Project Configuration CakePHP Project Configuration Sep 10, 2024 pm 05:25 PM

In this chapter, we will understand the Environment Variables, General Configuration, Database Configuration and Email Configuration in CakePHP.

PHP 8.4 Installation and Upgrade guide for Ubuntu and Debian PHP 8.4 Installation and Upgrade guide for Ubuntu and Debian Dec 24, 2024 pm 04:42 PM

PHP 8.4 brings several new features, security improvements, and performance improvements with healthy amounts of feature deprecations and removals. This guide explains how to install PHP 8.4 or upgrade to PHP 8.4 on Ubuntu, Debian, or their derivati

CakePHP Date and Time CakePHP Date and Time Sep 10, 2024 pm 05:27 PM

To work with date and time in cakephp4, we are going to make use of the available FrozenTime class.

CakePHP File upload CakePHP File upload Sep 10, 2024 pm 05:27 PM

To work on file upload we are going to use the form helper. Here, is an example for file upload.

CakePHP Routing CakePHP Routing Sep 10, 2024 pm 05:25 PM

In this chapter, we are going to learn the following topics related to routing ?

Discuss CakePHP Discuss CakePHP Sep 10, 2024 pm 05:28 PM

CakePHP is an open-source framework for PHP. It is intended to make developing, deploying and maintaining applications much easier. CakePHP is based on a MVC-like architecture that is both powerful and easy to grasp. Models, Views, and Controllers gu

How To Set Up Visual Studio Code (VS Code) for PHP Development How To Set Up Visual Studio Code (VS Code) for PHP Development Dec 20, 2024 am 11:31 AM

Visual Studio Code, also known as VS Code, is a free source code editor — or integrated development environment (IDE) — available for all major operating systems. With a large collection of extensions for many programming languages, VS Code can be c

CakePHP Creating Validators CakePHP Creating Validators Sep 10, 2024 pm 05:26 PM

Validator can be created by adding the following two lines in the controller.

See all articles