Changes between Version 1 and Version 2 of 参照型変数実装へ向けて

Timestamp:

Jan 28, 2007, 3:47:00 AM (18 years ago)

Author:

dai

Comment:

--

参照型変数実装へ向けて

@@ -10 +10 @@
 これらの措置は下位互換を重視するのが目的ということもあるが、スコープ単位で生成・破棄が繰り返されるオブジェクトの寿命管理は、コード中のほとんどの箇所で利用したいモデルであることは間違いない。C#やJavaを採用した場合でも、GCが面倒を見てくれるからといってオブジェクトの使用範囲（寿命）を全く無視してコーディングしたほうが良いなどという推奨は誰もしないだろう。
 
+実際問題、ABのデフォルトは値型なので、参照型を多用するようなプログラミングスタイルは推奨されない。もし、GCと組み合わせた参照型を推し進めるのであれば、それは下位互換を捨ててAB6などでやりたい課題である。
+
 
 == ABの参照型変数のモデル ==
 
- * 実体生成はNew演算子によって行い、インスタンスの破棄はGCによって管理される。参照型変数に対してのDeleteは可能だが、コンパイラが警告を発する。
- * 参照型変数は値渡し・参照渡し共に可能である。生成・破棄の手法が異なることを除き、一般的なローカルオブジェクトと扱いは変わらない。
- * 関数の戻り値として、実体オブジェクト・参照型変数の違いはない。Returnステートメントに指定された値によって柔軟に対応する。
+ * まずは、GCとの関係は切り離して考える。
+ * 参照型変数を更に値渡し・参照渡しすることが可能である。生成・破棄のアクションを自らが行わないだけであり、一般的なローカルオブジェクトと扱いは変わらない。
+ * 関数の戻り値として参照を持たせることができる。
 
-ABの参照型変数の一番のメリットは、静的オブジェクトとの相性が良いことである。静的オブジェクトを参照することもできれば、参照先のインスタンスを静的オブジェクトにコピーすることだって可能だ。
+ABの参照型変数の一番のメリットは、静的オブジェクトとの相性が良いことである。静的オブジェクトを参照することもできれば、参照先のインスタンスを静的オブジェクトにコピーすることも可能だ。
 
-それでは、"Function test() As Object" など、関数の戻り値にオブジェクトを指定したときこの戻り値は実態オブジェクトなのか、参照型オブジェクトなのか。。。答えはどちらも正解である。
+それでは、"Function test() As Object" など、関数の戻り値にオブジェクトを指定したときこの戻り値は実態オブジェクトなのか、参照型オブジェクトなのか。。。正解は値型。ABのデフォルトは値型となっているので、参照を返したい場合は別途ByRef指定をしなければならない。
 
 {{{
@@ -29 +31 @@
 
 Dim LocalObj As Object
-Ref RefObj As Object
 LocalObj = test()
-RefObj = test()
+Dim ByRef refObj = test()
 }}}
 
-上記のコードは、具体的に言えばtest関数内で定義される静的オブジェクトobjがLocalObjまたはRefObjにコピーされるというコードである。厳密に言えば、RefObjが参照しているのは、ヒープ領域に作成されたtest関数内のobjのコピーになる。
+上記のコードは、具体的に言えばtest関数内で定義される静的オブジェクトobjがLocalObjまたはrefObjにコピーされるというコードである。厳密に言えば、refObjが参照しているのは、ヒープ領域に作成されたtest関数内のobjのコピーになる（ヒープ領域に確保された一時オブジェクトはGCによって回収される実装にするため心配はいらない）。
 
 では、オブジェクトインスタンスのコピーを一回の発生させることなく、スマートに関数の戻り値にオブジェクトを指定したいときはどのようにすれば良いのだろう。下記にコードを示す。
 
 {{{
-Function test() As Object
-    Ref obj = New Object
-    ...
-    Return obj
+Dim globalObj As Object
+Function test() ByRef As Object
+    Return globalObj
 End Function
 
-Dim LocalObj As Object
-Ref RefObj As Object
-LocalObj = test()
-RefObj = test()
+Sub main()
+    Dim LocalObj As Object
+    LocalObj = test()
+    Dim ByRef refObj = test()
+End Sub
+main()
 }}}
 
-ここで、LocalObjには一旦ヒープ領域に一時確保されたtest関数内objが静的オブジェクトにコピーされる。
-そして、RefObjのほうは、一回もオブジェクトインスタンスのコピーが発生することなく、test関数内でNewされたObject型オブジェクトを保持している。
+ここで、LocalObjにはglobalObjの実体がコピーされる。
+そして、refObjのほうは、一回もオブジェクトインスタンスのコピーが発生することなく、globalObjを参照することになる。
 
 
-== Refステートメント ==
+== ByRef修飾子の活用範囲 ==
 
-ABの参照型変数を定義するためのステートメントとしてRefを実装する。Refステートメントは参照型変数を定義可能。基本型をRefで定義できるようにするかは未定。Refステートメントに対し、Dimステートメントで定義されたオブジェクトはスタック領域（グローバルの場合は静的領域）に作成される。
-
-尚、Refステートメントの書式はDimのものとほぼ同じ。
+今までは参照型パラメータのみに指定可能だったByRefが関数の戻り値やDimステートメントの修飾子として利用できるようになる。