回答編集履歴
6
修正
answer
CHANGED
@@ -29,8 +29,8 @@
|
|
29
29
|
|
30
30
|
なお,ポインタ参照は「zval構造体」と「zvalue_value共用体が指す数値以外の値」で2回発生しています.
|
31
31
|
|
32
|
-
シンボルテーブル
|
32
|
+
シンボルテーブル -> zval.value.lval = 整数
|
33
|
-
シンボルテーブル
|
33
|
+
シンボルテーブル -> zval.value.str.val -> 文字列
|
34
34
|
|
35
35
|
###### PHP7
|
36
36
|
|
@@ -38,6 +38,6 @@
|
|
38
38
|
|
39
39
|
なお,ポインタ参照は「zend_value共用体が指す数値以外の値」でしか発生しません.PHP7が速くなった理由はこれです.しかし今回のようにzend_reference構造体はポインタ参照の対象となってしまうのが難点です.
|
40
40
|
|
41
|
-
シンボルテーブル
|
41
|
+
シンボルテーブル.zval.value.lval = 整数
|
42
|
-
シンボルテーブル
|
42
|
+
シンボルテーブル.zval.value.str.val -> 文字列
|
43
|
-
シンボルテーブル
|
43
|
+
シンボルテーブル.zval.value.ref -> val.value.lval = 整数
|
5
追記
answer
CHANGED
@@ -1,7 +1,15 @@
|
|
1
1
|
> ・これはリファレンス代入なので、$cの値が変更されれば、_bプロパティの値も変更される、ということでしょうか?
|
2
2
|
|
3
|
-
まずこの代入を行うと,`$this->_b`が使用している値を`$c`も使用するようになります.この後は,`$c`が変更されれば`$this->_b`は変更されますし,`$this->_b`が変更されれば`$c`も変更されます.`unset`でリファレンスを解除することをどこかで行わない限り,この2つの変数名は互いにエイリアスのような扱いになります.
|
3
|
+
まずこの代入を行うと,`$this->_b`が使用している値を`$c`も使用するようになります.この後は,`$c`が変更されれば`$this->_b`は変更されますし,`$this->_b`が変更されれば`$c`も変更されます.`unset`でリファレンスを解除することをどこかで行わない限り,この2つの変数名は互いにエイリアスのような扱いになります.が,`$c`の寿命はこのメソッドの内部だけなので,その外部で`$c`という変数を追う必要はありません.
|
4
4
|
|
5
|
+
> ・もうそうなら、_aメソッドはセッターでも何でもないということでしょうか?
|
6
|
+
|
7
|
+
そもそも引数が何もない時点でセッターの定義から外れています.
|
8
|
+
|
9
|
+
> ・privateメソッドの意味はない?
|
10
|
+
|
11
|
+
publicかprivateかは無関係です.
|
12
|
+
|
5
13
|
###### 備考
|
6
14
|
|
7
15
|
「参照型」と「参照渡し」は全く別の概念なので注意してください.PHPにおいてはオブジェクトやリソースが参照型で,それ以外は値型に相当します.参照渡しは型に関わらず`&`をつけて代入されているかがすべてを決定します.
|
4
修正
answer
CHANGED
@@ -8,20 +8,28 @@
|
|
8
8
|
|
9
9
|
- [<値型>と<参照型>、<値渡し>と<参照渡し>について実行例を出す(PHP編)](http://qiita.com/mpyw/items/bd38da57837d35214aae)
|
10
10
|
|
11
|
-
これを踏まえて,PHPコミッタの人が書いた以下の記事
|
11
|
+
これを踏まえて,PHPコミッタの人が書いた以下の記事を読んでみると動きがよくわかると思います.「参照型」についてはあまり触れられていませんが,「参照渡し」については完全に網羅されています.
|
12
12
|
|
13
13
|
- [PHP7における内部値の表現―パート1 : PHP5とPHP7のzvalの仕組み](http://postd.cc/internal-value-representation-in-php-7-part-1/)
|
14
|
+
- [PHP7はなぜ速いのか(zval編)](http://d.hatena.ne.jp/hnw/20141207)
|
14
15
|
|
15
16
|
上記内容をもとに今回述べたことを正確に書くと
|
16
17
|
|
17
18
|
###### PHP5
|
18
19
|
|
19
|
-
シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が内包する
|
20
|
+
シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が内包する値に変更があっても,コピーオンライトが走らないようにします.
|
20
21
|
|
21
22
|
なお,ポインタ参照は「zval構造体」と「zvalue_value共用体が指す数値以外の値」で2回発生しています.
|
22
23
|
|
24
|
+
シンボルテーブル上のzval構造体へのポインタ -> value.lval = 整数
|
25
|
+
シンボルテーブル上のzval構造体へのポインタ -> value.str -> val = 文字列
|
26
|
+
|
23
27
|
###### PHP7
|
24
28
|
|
25
|
-
シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体
|
29
|
+
シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包する値に関して変更があっても,コピーオンライトが走らないようにします.
|
26
30
|
|
27
|
-
なお,ポインタ参照は「zend_value共用体が指す数値以外の値」でしか発生しません.PHP7が速くなった理由はこれです.
|
31
|
+
なお,ポインタ参照は「zend_value共用体が指す数値以外の値」でしか発生しません.PHP7が速くなった理由はこれです.しかし今回のようにzend_reference構造体はポインタ参照の対象となってしまうのが難点です.
|
32
|
+
|
33
|
+
シンボルテーブル上のzval構造体.value.lval = 整数
|
34
|
+
シンボルテーブル上のzval構造体.value.str -> val = 文字列
|
35
|
+
シンボルテーブル上のzval構造体.value -> ref.val.value.lval = 整数
|
3
修正
answer
CHANGED
@@ -18,6 +18,10 @@
|
|
18
18
|
|
19
19
|
シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が内包するzvalue_value共用体に変更があってもコピーオンライトが走らないようにします.
|
20
20
|
|
21
|
+
なお,ポインタ参照は「zval構造体」と「zvalue_value共用体が指す数値以外の値」で2回発生しています.
|
22
|
+
|
21
23
|
###### PHP7
|
22
24
|
|
23
|
-
シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包するzend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.
|
25
|
+
シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体(zend_value共用体の1つ)を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包するzend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.
|
26
|
+
|
27
|
+
なお,ポインタ参照は「zend_value共用体が指す数値以外の値」でしか発生しません.PHP7が速くなった理由はこれです.
|
2
ポインタの語弊がありそうだったので修正
answer
CHANGED
@@ -16,8 +16,8 @@
|
|
16
16
|
|
17
17
|
###### PHP5
|
18
18
|
|
19
|
-
シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が
|
19
|
+
シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が内包するzvalue_value共用体に変更があってもコピーオンライトが走らないようにします.
|
20
20
|
|
21
21
|
###### PHP7
|
22
22
|
|
23
|
-
シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体
|
23
|
+
シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包するzend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.
|
1
修正
answer
CHANGED
@@ -1,6 +1,6 @@
|
|
1
1
|
> ・これはリファレンス代入なので、$cの値が変更されれば、_bプロパティの値も変更される、ということでしょうか?
|
2
2
|
|
3
|
-
まずこの代入を行うと,`$this->_b`が使用している値を`$
|
3
|
+
まずこの代入を行うと,`$this->_b`が使用している値を`$c`も使用するようになります.この後は,`$c`が変更されれば`$this->_b`は変更されますし,`$this->_b`が変更されれば`$c`も変更されます.`unset`でリファレンスを解除することをどこかで行わない限り,この2つの変数名は互いにエイリアスのような扱いになります.
|
4
4
|
|
5
5
|
###### 備考
|
6
6
|
|