PHP：为什么零长度字符串上的数组语法将字符串转换为数组？

在PHP中,您可以使用数组语法来访问字符串索引.以下程序

<?php
$foo = "Hello";
echo $foo[0],"\n";
?>

回声

H

但是,如果您访问零长度字符串的第一个字符

<?php
$bar = "";
$bar[0] = "test";
var_dump($bar);
?>

PHP将您的字符串转换为数组.上面的代码产生

array(1) {
    [0] =>
    string(4) "test"
}

即我的零长度字符串被强制转换为数组.类似的“访问字符串的未定义索引”示例不会产生此转换行为.

$bar = " ";
$bar[1] = "test";
var_dump($bar);

产生字符串t.即$bar仍然是一个字符串,并且不会转换为数组.

当语言需要推断和/或自动为你投射变量时,我会发现这些不直观的边缘情况是不可避免的,但有谁知道幕后发生了什么？

即,在PHP的C/C++级别发生了什么来实现这一目标.为什么我的变量变成了一个数组.

PHP 5.6,如果重要的话.

解决方法:

在C级别,当使用[]运算符完成赋值时,变量将转换为数组.当然,当它是一个字符串时,长度为0并且不是未设置的调用类型(例如,unset($test [0])).

case IS_STRING: {
                zval tmp;

                if (type != BP_VAR_UNSET && Z_STRLEN_P(container)==0) {
                    goto convert_to_array;
                }

https://github.com/php/php-src/blob/PHP-5.6.0/Zend/zend_execute.c#L1156

布尔值假值发生相同的转换.

case IS_BOOL:
            if (type != BP_VAR_UNSET && Z_LVAL_P(container)==0) {
                goto convert_to_array;
            }

通过使用测试确认：

<?php
$bar = false;
$bar[0] = "test";
var_dump($bar);

输出：

array(1) { [0]=> string(4) "test" }

使用true时：

<?php
$bar = true;
$bar[0] = "test";
var_dump($bar);

输出：

WARNING Cannot use a scalar value as an array on line number 3
bool(true)

https://github.com/php/php-src/blob/PHP-5.6.0/Zend/zend_execute.c#L1249

当值是bool类型且值为true时,将执行以下代码：

case IS_BOOL:
            if (type != BP_VAR_UNSET && Z_LVAL_P(container)==0) {
                goto convert_to_array;
            }
            /* break missing intentionally */

        default:
            if (type == BP_VAR_UNSET) {
                zend_error(E_WARNING, "Cannot unset offset in a non-array variable");
                result->var.ptr_ptr = &EG(uninitialized_zval_ptr);
                PZVAL_LOCK(EG(uninitialized_zval_ptr));
            } else { // Gets here when boolean value equals true.
                zend_error(E_WARNING, "Cannot use a scalar value as an array");
                result->var.ptr_ptr = &EG(error_zval_ptr);
                PZVAL_LOCK(EG(error_zval_ptr));
            }
            break;

PHP 5.6版使用ZEND版本2.6.0

标签：php,types,casting,php-internals
来源： https://codeday.me/bug/20190712/1443441.html