Zend Engine3 における refcount の使い方

Question

PHP Extension の書き方について調べていたのですが、refcount のところで
行き詰まりました。テストプログラムを書いてみたのですが、なぜこうなるのか、
理屈がよくわかりません。どなたかご教示いただけないでしょうか。

1. TEST1 で refcount=0 はこれでいいの？。1 かと思っていた。
2. TEST3 でいきなり refcount=2 になるの？ 0+1=1 かと思っていた。
3. TEST6 で refcount=4 になるのは、、、

$ cat ref_test.php
<?php
echo 'PHP_VERSION = ' . PHP_VERSION . PHP_EOL;
$a = "new string";
echo 'TEST1: after $a = "new string"' . PHP_EOL;
xdebug_debug_zval('a', 'b', 'c');
$b = $a;
echo 'TEST2: after $b = $a' . PHP_EOL;
xdebug_debug_zval('a', 'b', 'c');
$c = &$a;
echo 'TEST3: after $c = &$a' . PHP_EOL;
xdebug_debug_zval('a', 'b', 'c');
$a = "another string";
echo 'TEST4: after $a = "another string"' . PHP_EOL;
xdebug_debug_zval('a', 'b', 'c');
$c = "further string";
echo 'TEST5: after $c = "further string"' . PHP_EOL;
xdebug_debug_zval('a', 'b', 'c');
echo 'TEST6: after dump($a, $b, $c)' . PHP_EOL;
dump($a, $b, $c);

function dump(&$x, &$y, &$z) {
  xdebug_debug_zval('x', 'y', 'z');
}

$ php ref_test.php
PHP_VERSION = 7.1.5
TEST1: after $a = "new string"
a: (refcount=0, is_ref=0)='new string'
b: (refcount=0, is_ref=0)=*uninitialized*
c: (refcount=0, is_ref=0)=*uninitialized*
TEST2: after $b = $a
a: (refcount=0, is_ref=0)='new string'
b: (refcount=0, is_ref=0)='new string'
c: (refcount=0, is_ref=0)=*uninitialized*
TEST3: after $c = &$a
a: (refcount=2, is_ref=1)='new string'
b: (refcount=0, is_ref=0)='new string'
c: (refcount=2, is_ref=1)='new string'
TEST4: after $a = "another string"
a: (refcount=2, is_ref=1)='another string'
b: (refcount=0, is_ref=0)='new string'
c: (refcount=2, is_ref=1)='another string'
TEST5: after $c = "further string"
a: (refcount=2, is_ref=1)='further string'
b: (refcount=0, is_ref=0)='new string'
c: (refcount=2, is_ref=1)='further string'
TEST6: after dump($a, $b, $c)
x: (refcount=4, is_ref=1)='further string'
y: (refcount=2, is_ref=1)='new string'
z: (refcount=4, is_ref=1)='further string'

Answer 1

PHP 7ではzvalの仕組みが大きく変わっています。今回のコードに関わる点については、以下の2つが影響しています。

• 文字列もPHP 5のオブジェクトのように、内部的にオブジェクト参照の形となっている（参照）
• ふつうのzvalと参照用のzvalが別となっている（参照）

TEST1ですが、通常のzvalは参照カウントでなくなっているので、refcount=0です（コピーする際はzvalごとコピーされます）。

TEST3ですが、$aと$cの両方を参照に切り替えないとうまく動かないので、一気にrefcount=2となります。

TEST6では、$aと$c、そしてそれぞれの仮引数の、合計4変数からの参照ですので、refcount=4です。