递增时的字符串串联基础点

2022-08-30 12:41:38

这是我的代码:

$a = 5;
$b = &$a;
echo ++$a.$b++;

难道不应该打印66吗?

为什么打印76?


答案 1

好。这实际上是非常直接的行为,它与引用在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
  • ASSIGN_REF - 我们正在创建一个从 到 的引用(方向无关紧要)!0!1

到目前为止,这是直截了当的。现在来了有趣的一点:

  • PRE_INC - 这是实际递增变量的操作码。值得注意的是,它将结果返回到名为 的临时变量中。$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

  • POST_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$2PRE_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视频之一...


答案 2

我认为首先执行完整的连接线,然后使用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

推荐