参照渡しによる再帰アルゴリズムのトレース

Question

渡された参照引数は、呼び出し元と呼び出し先の間で共有される項目です。 このアイテムは関数の再帰呼び出し用に共有されていますか？アルゴリズムの終わりに

   2,3,0,1 
     2,3     1,0 
     2  3    1  0 

、コンパイラ：S = {2,3,1,0}、我々が持っているアルゴリズムをトレースすることにより

MergeSort(ref int[]S) 
{ 
    . 
    . 
    . 
    MergeSort(ref S1); 
    MergeSort(ref S2); 
    Merge(S1,S2,S); 
} 

：

このマージソートアルゴリズムを仮定します（0,1）と（2,3）をマージして（0,1,2,3）を作成する、ツリーの第2レベルでSにマージします。

私たちは1つのS配列を共有しています。どのようにコンパイラがS配列の2つをマージし、それらをマージしましたか？ Sは共有されていませんか？予め

Answer 1

で

おかげオブジェクト基準によって渡さしかし、すべての再帰呼び出しで、可変S点の異なるオブジェクトに[いう]れます。したがって、merge()はすべて実際には異なるオブジェクト上で実行されます。