回答編集履歴

6

修正

2016/03/22 15:55

投稿

mpyw
mpyw

スコア5223

test CHANGED
@@ -60,9 +60,9 @@
60
60
 
61
61
 
62
62
 
63
- シンボルテーブル上のzval構造体へのポインタ -> value.lval = 整数
63
+ シンボルテーブル -> zval.value.lval = 整数
64
64
 
65
- シンボルテーブル上のzval構造体へのポインタ -> value.str -> val = 文字列
65
+ シンボルテーブル -> zval.value.str.val -> 文字列
66
66
 
67
67
 
68
68
 
@@ -78,10 +78,10 @@
78
78
 
79
79
 
80
80
 
81
- シンボルテーブル上のzval構造体.value.lval = 整数
81
+ シンボルテーブル.zval.value.lval = 整数
82
82
 
83
- シンボルテーブル上のzval構造体.value.str -> val = 文字列
83
+ シンボルテーブル.zval.value.str.val -> 文字列
84
84
 
85
- シンボルテーブル上のzval構造体.value -> ref.val.value.lval = 整数
85
+ シンボルテーブル.zval.value.ref -> val.value.lval = 整数
86
86
 
87
87
 

5

追記

2016/03/22 15:55

投稿

mpyw
mpyw

スコア5223

test CHANGED
@@ -2,7 +2,23 @@
2
2
 
3
3
 
4
4
 
5
- まずこの代入を行うと,`$this->_b`が使用している値を`$c`も使用するようになります.この後は,`$c`が変更されれば`$this->_b`は変更されますし,`$this->_b`が変更されれば`$c`も変更されます.`unset`でリファレンスを解除することをどこかで行わない限り,この2つの変数名は互いにエイリアスのような扱いになります.
5
+ まずこの代入を行うと,`$this->_b`が使用している値を`$c`も使用するようになります.この後は,`$c`が変更されれば`$this->_b`は変更されますし,`$this->_b`が変更されれば`$c`も変更されます.`unset`でリファレンスを解除することをどこかで行わない限り,この2つの変数名は互いにエイリアスのような扱いになります.が,`$c`の寿命はこのメソッドの内部だけなので,その外部で`$c`という変数を追う必要はありません.
6
+
7
+
8
+
9
+ > ・もうそうなら、_aメソッドはセッターでも何でもないということでしょうか?
10
+
11
+
12
+
13
+ そもそも引数が何もない時点でセッターの定義から外れています.
14
+
15
+
16
+
17
+ > ・privateメソッドの意味はない?
18
+
19
+
20
+
21
+ publicかprivateかは無関係です.
6
22
 
7
23
 
8
24
 

4

修正

2016/03/22 15:49

投稿

mpyw
mpyw

スコア5223

test CHANGED
@@ -18,11 +18,13 @@
18
18
 
19
19
 
20
20
 
21
- これを踏まえて,PHPコミッタの人が書いた以下の記事(日本語訳)を読んでみると動きがよくわかると思います.「参照型」についてはあまり触れられていませんが,「参照渡し」については完全に網羅されています.
21
+ これを踏まえて,PHPコミッタの人が書いた以下の記事を読んでみると動きがよくわかると思います.「参照型」についてはあまり触れられていませんが,「参照渡し」については完全に網羅されています.
22
22
 
23
23
 
24
24
 
25
25
  - [PHP7における内部値の表現―パート1 : PHP5とPHP7のzvalの仕組み](http://postd.cc/internal-value-representation-in-php-7-part-1/)
26
+
27
+ - [PHP7はなぜ速いのか(zval編)](http://d.hatena.ne.jp/hnw/20141207)
26
28
 
27
29
 
28
30
 
@@ -34,7 +36,7 @@
34
36
 
35
37
 
36
38
 
37
- シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が内包するzvalue_value共用体に変更があってもコピーオンライトが走らないようにします.
39
+ シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が内包するに変更があってもコピーオンライトが走らないようにします.
38
40
 
39
41
 
40
42
 
@@ -42,12 +44,28 @@
42
44
 
43
45
 
44
46
 
47
+ シンボルテーブル上のzval構造体へのポインタ -> value.lval = 整数
48
+
49
+ シンボルテーブル上のzval構造体へのポインタ -> value.str -> val = 文字列
50
+
51
+
52
+
45
53
  ###### PHP7
46
54
 
47
55
 
48
56
 
49
- シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体(zend_value共用体の1つ)を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包するzend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.
57
+ シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包するに関して変更があっても,コピーオンライトが走らないようにします.
50
58
 
51
59
 
52
60
 
53
- なお,ポインタ参照は「zend_value共用体が指す数値以外の値」でしか発生しません.PHP7が速くなった理由はこれです.
61
+ なお,ポインタ参照は「zend_value共用体が指す数値以外の値」でしか発生しません.PHP7が速くなった理由はこれです.しかし今回のようにzend_reference構造体はポインタ参照の対象となってしまうのが難点です.
62
+
63
+
64
+
65
+ シンボルテーブル上のzval構造体.value.lval = 整数
66
+
67
+ シンボルテーブル上のzval構造体.value.str -> val = 文字列
68
+
69
+ シンボルテーブル上のzval構造体.value -> ref.val.value.lval = 整数
70
+
71
+

3

修正

2016/03/22 15:46

投稿

mpyw
mpyw

スコア5223

test CHANGED
@@ -38,8 +38,16 @@
38
38
 
39
39
 
40
40
 
41
+ なお,ポインタ参照は「zval構造体」と「zvalue_value共用体が指す数値以外の値」で2回発生しています.
42
+
43
+
44
+
41
45
  ###### PHP7
42
46
 
43
47
 
44
48
 
45
- シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包するzend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.
49
+ シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体(zend_value共用体の1つ)を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包するzend_reference構造体が内包するzval構造体が内包するzend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.
50
+
51
+
52
+
53
+ なお,ポインタ参照は「zend_value共用体が指す数値以外の値」でしか発生しません.PHP7が速くなった理由はこれです.

2

ポインタの語弊がありそうだったので修正

2016/03/22 15:28

投稿

mpyw
mpyw

スコア5223

test CHANGED
@@ -34,7 +34,7 @@
34
34
 
35
35
 
36
36
 
37
- シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体がすzvalue_value共用体に関して変更があってもコピーオンライトが走らないようにします.
37
+ シンボル`$this->_b`に対応するzval構造体へのポインタを,シンボル`$c`からも対応付けます.そして,zval構造体の参照カウントを1増加させます.更にzval構造体の参照フラグを有効にし,この後の操作でzval構造体が内包zvalue_value共用体に変更があってもコピーオンライトが走らないようにします.
38
38
 
39
39
 
40
40
 
@@ -42,4 +42,4 @@
42
42
 
43
43
 
44
44
 
45
- シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体(zend_value共用体の1つ)を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体がすzend_reference構造体がすzval構造体がすzend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.
45
+ シンボル`$this->b`と既存のzval構造体の間に,zend_reference構造体を内包する新しいzval構造体が入り込む形になります.その上で,シンボル`$c`も`$this->b`と同様の新しいzval構造体に対応するようになります.これにより,この後の操作でzval構造体が内包zend_reference構造体が内包zval構造体が内包zend_value共用体に関して変更があっても,コピーオンライトが走らないようにします.

1

修正

2016/03/22 15:21

投稿

mpyw
mpyw

スコア5223

test CHANGED
@@ -2,7 +2,7 @@
2
2
 
3
3
 
4
4
 
5
- まずこの代入を行うと,`$this->_b`が使用している値を`$a`も使用するようになります.この後は,`$c`が変更されれば`$this->_b`は変更されますし,`$this->_b`が変更されれば`$c`も変更されます.
5
+ まずこの代入を行うと,`$this->_b`が使用している値を`$c`も使用するようになります.この後は,`$c`が変更されれば`$this->_b`は変更されますし,`$this->_b`が変更されれば`$c`も変更されます.`unset`でリファレンスを解除することをどこかで行わない限り,この2つの変数名は互いにエイリアスのような扱いになります.
6
6
 
7
7
 
8
8