递增时的字符串串联基础点
这是我的代码:
$a = 5;
$b = &$a;
echo ++$a.$b++;
难道不应该打印66吗?
为什么打印76?
这是我的代码:
$a = 5;
$b = &$a;
echo ++$a.$b++;
难道不应该打印66吗?
为什么打印76?
好。这实际上是非常直接的行为,它与引用在PHP中的工作方式有关。这不是一个错误,而是意外的行为。
PHP 内部使用写入时复制。这意味着当您写入内部变量时,它们会被复制(因此,在您实际更改其中一个变量之前,不会复制内存)。有了引用,它永远不会真正复制。这对以后很重要。$a = $b;
让我们来看看这些操作码:
line # * op fetch ext return operands
---------------------------------------------------------------------------------
2 0 > ASSIGN !0, 5
3 1 ASSIGN_REF !1, !0
4 2 PRE_INC $2 !0
3 POST_INC ~3 !1
4 CONCAT ~4 $2, ~3
5 ECHO ~4
6 > RETURN 1
前两个应该很容易理解。
5
!0
!0
!1
到目前为止,这是直截了当的。现在来了有趣的一点:
$2
因此,让我们看一下使用
变量调用PRE_INC背后的源代码:
static int ZEND_FASTCALL ZEND_PRE_INC_SPEC_VAR_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
{
USE_OPLINE
zend_free_op free_op1;
zval **var_ptr;
SAVE_OPLINE();
var_ptr = _get_zval_ptr_ptr_var(opline->op1.var, execute_data, &free_op1 TSRMLS_CC);
if (IS_VAR == IS_VAR && UNEXPECTED(var_ptr == NULL)) {
zend_error_noreturn(E_ERROR, "Cannot increment/decrement overloaded objects nor string offsets");
}
if (IS_VAR == IS_VAR && UNEXPECTED(*var_ptr == &EG(error_zval))) {
if (RETURN_VALUE_USED(opline)) {
PZVAL_LOCK(&EG(uninitialized_zval));
AI_SET_PTR(&EX_T(opline->result.var), &EG(uninitialized_zval));
}
if (free_op1.var) {zval_ptr_dtor(&free_op1.var);};
CHECK_EXCEPTION();
ZEND_VM_NEXT_OPCODE();
}
SEPARATE_ZVAL_IF_NOT_REF(var_ptr);
if (UNEXPECTED(Z_TYPE_PP(var_ptr) == IS_OBJECT)
&& Z_OBJ_HANDLER_PP(var_ptr, get)
&& Z_OBJ_HANDLER_PP(var_ptr, set)) {
/* proxy object */
zval *val = Z_OBJ_HANDLER_PP(var_ptr, get)(*var_ptr TSRMLS_CC);
Z_ADDREF_P(val);
fast_increment_function(val);
Z_OBJ_HANDLER_PP(var_ptr, set)(var_ptr, val TSRMLS_CC);
zval_ptr_dtor(&val);
} else {
fast_increment_function(*var_ptr);
}
if (RETURN_VALUE_USED(opline)) {
PZVAL_LOCK(*var_ptr);
AI_SET_PTR(&EX_T(opline->result.var), *var_ptr);
}
if (free_op1.var) {zval_ptr_dtor(&free_op1.var);};
CHECK_EXCEPTION();
ZEND_VM_NEXT_OPCODE();
}
现在我不指望你能马上明白它在做什么(这是深度引擎巫毒教),但让我们来看看它。
前两个 if 语句检查变量是否“安全”递增(第一个检查它是否是重载对象,第二个检查变量是否是特殊错误变量)。$php_error
接下来对我们来说是真正有趣的部分。由于我们正在修改该值,因此它需要预制写入时复制。所以它调用:
SEPARATE_ZVAL_IF_NOT_REF(var_ptr);
现在,请记住,我们已经将变量设置为上面的引用。所以变量不是分开的...这意味着我们在这里对它所做的一切也将发生......$b
接下来,变量递增 ()。fast_increment_function()
最后,它将结果设置为自身。这又是写入时复制。它不是返回操作的值,而是返回实际的变量。因此,回报仍然是对$a
和$b
的引用。PRE_INC
PRE_INC
让我们再次查看源代码:
static int ZEND_FASTCALL ZEND_POST_INC_SPEC_VAR_HANDLER(ZEND_OPCODE_HANDLER_ARGS)
{
retval = &EX_T(opline->result.var).tmp_var;
ZVAL_COPY_VALUE(retval, *var_ptr);
zendi_zval_copy_ctor(*retval);
SEPARATE_ZVAL_IF_NOT_REF(var_ptr);
fast_increment_function(*var_ptr);
}
这一次,我剪掉了所有不有趣的东西。让我们来看看它在做什么。
首先,它获取返回临时变量(在上面的代码中)。~3
然后,它将值从其参数( 或 )复制到结果中(因此引用被破坏)。!1
$b
然后递增参数。
现在请记住,参数是变量 ,它引用了 () 和 ,如果您还记得,则它是 来自 的结果。!1
$b
!0
$a
$2
PRE_INC
所以你有它。它返回 76,因为引用保留在PRE_INC的结果中。
我们可以通过强制复制来证明这一点,首先将pre-inc分配给临时变量(通过正常赋值,这将破坏引用):
$a = 5;
$b = &$a;
$c = ++$a;
$d = $b++;
echo $c.$d;
它按预期工作。证明
我们可以通过引入一个函数来维护引用来重现其他行为(您的错误):
function &pre_inc(&$a) {
return ++$a;
}
$a = 5;
$b = &$a;
$c = &pre_inc($a);
$d = $b++;
echo $c.$d;
这在你所看到的那样有效(76):证明
注意:这里单独函数的唯一原因是PHP的解析器不喜欢。因此,我们需要通过函数调用添加一个间接寻址级别来执行此操作...$c = &++$a;
我不认为这是一个错误的原因是,这是引用应该如何工作。预先递增引用的变量将返回该变量。即使是非引用的变量也应该返回该变量。它可能不是你在这里所期望的,但它在几乎所有其他情况下都运行得很好......
如果你使用引用,你大约99%的时间都做错了。因此,除非您绝对需要引用,否则不要使用它们。PHP比你在内存优化方面想象的要聪明得多。你对参考文献的使用确实阻碍了它的工作方式。因此,虽然你认为你可能正在编写智能代码,但绝大多数时候你真的会写出效率较低,不太友好的代码......
如果您想了解有关引用以及变量在PHP中如何工作的更多信息,请查看有关该主题的我的YouTube视频之一...
我认为首先执行完整的连接线,然后使用echo函数发送。按示例
$a = 5;
$b = &$a;
echo ++$a.$b++;
// output 76
$a = 5;
$b = &$a;
echo ++$a;
echo $b++;
// output 66
编辑:同样非常重要,$b等于7,但在添加之前回显:
$a = 5;
$b = &$a;
echo ++$a.$b++; //76
echo $b;
// output 767