メソッドの戻り値、参照渡しの結果について

Question

VB.Netのメソッドの戻り値、参照渡しの結果について、2点質問がございます。
理解不足なのでご教授お願いできませんでしょうか。

①
DataSetは参照型で、Returnした時点で参照型の代入によって別メモリに変数「dsResult」と同じ値が作成され、
メソッドAが終了した際は、変数「dsResult」のメモリは解放されるが、ReturnしたDetaSetは残る(Disposeの影響なし)、
という認識であっていますでしょうか。
（そもそも変数「dsResult」のDisposeが大きな意味がない、というご指摘も受けそうですが。）

②
引数「dsTest」はNothingの場合はメソッドA内で生成して処理をしますが、
レビュー指摘で『(参照渡し)dsTestはメソッドA内で生成されるとメソッドAが持つメモリになるので遷移元で生成』
、と指摘を受けました。
引数「dsTest」は遷移元とメソッドA内では同じメモリを参照しているので、生成処理が遷移元でもメソッドAでも
遷移元の変数が生成される、という認識ですが間違っていますでしょうか。

Sub メイン()
Dim dsTest As DataSet = Nothing
'
'処理
'
Dim dsRet As DataSet = メソッドA(dsTest)
End Sub

Shared Function メソッドA(ByRef dsTest As DataSet) As DataSet
Try
Dim dsResult As New DataSet
If dsTest Is Nothing Then
dsTest = New DataSet
'処理
End If
'SQLによるデータ取得結果をdsResultにセット
Return dsResult
Finally
If dsResult IsNot Nothing Then
dsResult.Dispose()
End If
End Try
End Sub

以下、「メソッドの戻り値について」を参考に考えてみたのですが、
少し理解に自信がないのでよろしくお願いします。
http://www.atmarkit.co.jp/bbs/phpBB/viewtopic.php?topic=32024&forum=7

Answer 1

勘違いをされておりますが、懇切丁寧に説明するのは長くなるし 苦手ですので
ほかの方にお任せして、ヒントだけ。

DataSetで .Tables.Add とかするだけだったら ByRefでも ByValでも同じ。
参照型なんだから。
ByRefと ByValで変わるのは 上のDataSetが参照型かどうかとは関係なく
そのDatasetの入った変数自体を変えるときで
ByValだと、その変数を = New Dataset(～ ってやっても 元には影響しない。

Comments

[msssk]

2.について有り難う御座います。

参照渡しであれば、遷移元も関数内でも同じメモリを参照するので生成場所は関係なく、引き継がれる、と理解しました。

[退会済みユーザー]

1は　いろいろありすぎて面倒で誰も回答してないのだと思います。
少なくとも、disposeについては、DataSetを使い終わったらにしましょうね。
戻してつかうんでしょう？
DataSetのdisposeの必要性だの、Datasetの保持してるリソースの問題は　検索してください。
関数内の変数　dsResult　のメモリを解放するのは　そのdisposeではないし、
それはやる必要はないです。

Answer 2

普段C#使っててVB.NETはどうなっているのか確かめようと
とりあえず1.について実験できるコード書いてみました

public class compiler
    shared function Main as integer
        Dim ret as Hoge
        ret = A()
        Console.WriteLine (ret.AskIfDisposed()) ' ここがどうなるか?
        return 0
    End function
  
    shared Function A() As Hoge
        Dim h As Hoge
        Try
            h = new Hoge()
            Return h
        Finally
            h.FakeDispose() 'ここをコメントアウトしてみたりすると
        End Try
    End Function
  
end class

class Hoge
    private isDisposed as boolean = false
    
    public sub FakeDispose
        isDisposed = true
    end sub
    
    public function AskIfDisposed as String
        if isDisposed
            return "disposed"
        else
            return "not disposed"
        end if
    end function
end class

呼び出し元に影響します。

続いて2.

public class compiler
    shared function Main as integer
'   Here your code !
        Dim ret as Hoge = Nothing
        B(ret) 'ここをコメントアウトしてみたりしなかったりすると
        
        if ret IsNot Nothing
            Console.WriteLine ("not null") 'ここが表示されるか?
        End if
        return 0
    End function
  
    Shared sub B(ByRef h as Hoge)
        h = new Hoge()
    End sub
  
end class

class Hoge
end class

呼び出し元に影響します。

『(参照渡し)dsTestはメソッドA内で生成されるとメソッドAが持つメモリになるので遷移元で生成』

文脈がわからないですが、素直に受け取ると、「なに言ってんだこいつ」って感じです。

---

「参照渡し」と「参照型変数の値渡し」は
それなりにプログラム組める人でも混同していることがあるので
注意です。

Comments

[msssk]

サンプルコードを有り難う御座います。明日確認させて頂きます。

確認前の質問で申し訳有りませんが、「１ 」ケースがまだしっくり来ません。
遷移元に影響するならば、リターン後にdisposeされても同じメモリを参照するので、遷移元ではdisposeされた値が取得できそうでが、実際にはreturn値が保持されています。

参照型の値渡しなので、return時に値渡しされ、disposeされるのはreturnの元、つまりメモリは別、という認識で大丈夫でしょうか。

[ozwk]

1.の例はdisposedと表示されます。
ちゃんとdisposeされた値が取得できます。

「参照型の値渡し」というのはざっくり言うとアドレス自体の値をコピーするという意味です。

メインのdsRetもメソッドAのdsResultも同じアドレスを指しています。

Dispose()をメモリ解放かなんかと勘違いしてませんか?

Answer 3

１．まずメモリの開放については、取り合えず.Netに任せて忘れてください。不要なものは自動できれいにしてくれます。
２．基本型の変数にはreturnで、値が代入されます。
３．参照型の変数には、参照先のアドレス（以下ポインタ）が入っています。
４．参照型の変数にはreturnで、ポインタが入ってきます。
５．参照型の変数にアクセスする際は、ポインタをもとにアドレスを計算します。

インスタンス化された際のアドレスがやり取りされているとイメージするとわかりやすいと思います。

参照型はメソッド内でも、returnのときでも、やり取りされるのはアドレスで、実際の値ではないです。
アドレスなので、どちらも同じ変数を見に行きますし、コピーはされません。

Comments

[msssk]

ご回答有り難う御座います。
やはり「1」の謎が残りまし、上記を考えるとreturn値とreturnのセット値は同じアドレスである、気がします。
しかしそこは値渡しされている、という事なのでしょうか？

[iwamoto_takaaki]

１についてはガベージコレクションという機能で、参照されなくなったオブジェクトを削除して、メモリを解放したりする機能を持っています。

この機能は、C++などでは手動で行われ、効率的なメモリ管理を行える反面、プログラマに手間を強いていました。このため、Javaや.Netやその他オブジェクト指向を取り入れた言語は、参照されなくなったオブジェクトを監視し削除を自動で行います。
かなり、複雑な機構なので渡しはうまく説明することができません。でも、現時点では、メモリ解放は自動でやっているだけ理解しておけば問題はないと思います。

アドレスの渡し方ですが、アドレス用の変数が呼び出し元と先両方にとられるのか片方にしか取られないのかは、コンパイラが最適化するかどうかの話なので基本的には考えなくても良いと思います。ただ、基本はアドレス用の変数が、呼び出し元と呼び出し先両方で用意され、return時にアドレスの値をコピーすると考えた方が良いと思います。

私の想像で基本的にはそうした方が良い理由が幾つかありますし、少なくともポインタを利用する言語ではそれぞれに変数を定義するのは通例になっています。

Answer 4

dsTest はメソッド A を呼び出す前に呼び出し側が初期化しなくてはなりません。
メソッド A 内で作られたものは破棄され、呼び出し側には戻りません。

もちろん、戻り値として呼び出し側に戻したものは別です。

例えば、呼び出し元が Hoge1 を作成して変数 a1 にセットして A を呼び出し、A の中で Hoge2 を作成して引数と戻り値にセットしたとします。
呼び出し元は A の戻り値を変数 a2 に代入します。
この場合、a1 の値は Hoge1 であって、Hoge2 ではありません。

追記

実験してみました。
出力は
Hi
Hi
となります。
私の間違いです。いい加減なことを書いて申し訳ありませんでした。

Imports System
Imports System.IO

Public Class Caller
	Public Shared Sub Main()
		Dim Hoge1 As New Hoge
		Dim Hoge2 As Hoge

		Hoge1.Message = "Hello"
		Hoge2 = A(Hoge1)
		Console.WriteLine(Hoge1.Message)
		Console.WriteLine(Hoge2.Message)
	End Sub
	
	Private Shared Function A(ByRef hoge As Hoge) As Hoge
		Dim Result As New Hoge
		
		Result.Message = "Hi"
		hoge = Result
		Return Result
	End Function
End Class

Public Class Hoge
	Public Message As String
End Class

Comments

[ozwk]

引数がByRef付きなのですが。