為什么通過參考傳遞陣列元素會顯式導致IL中的賦值操作？

我創建了以下 SSCCE：

Module Module1

Sub Main()
    Dim oList As ArrayList = New ArrayList()
    oList.Add(New Object())
    For Each o As Object In oList
        subA(oList)
    Next

End Sub

Private Sub subA(ByRef oList As ArrayList)
    subB(oList(0))
End Sub

Private Sub subB(ByRef oObj As Object)
    oObj.ToString()
End Sub

End Module

此代碼編譯為以下 IL：

[StandardModule]
internal sealed class Module1
{
[STAThread]
public static void Main()
{
    ArrayList oList = new ArrayList();
    oList.Add(RuntimeHelpers.GetObjectValue(new object()));
    IEnumerator enumerator = default(IEnumerator);
    try
    {
        enumerator = oList.GetEnumerator();
        while (enumerator.MoveNext())
        {
            object o = RuntimeHelpers.GetObjectValue(enumerator.Current);
            subA(ref oList);
        }
    }
    finally
    {
        if (enumerator is IDisposable)
        {
            (enumerator as IDisposable).Dispose();
        }
    }
}

private static void subA(ref ArrayList oList)
{
    ArrayList obj = oList;
    object oObj = RuntimeHelpers.GetObjectValue(obj[0]);
    subB(ref oObj);
    obj[0] = RuntimeHelpers.GetObjectValue(oObj);
}

private static void subB(ref object oObj)
{
    oObj.ToString();
}
}

記下 subA(ArrayList) 中發生的賦值。

我問為什么會發生這種情況，因為一位開發人員要求我查看他們在涉及自定義代碼的特定作業流程中遇到的錯誤。當源代碼似乎只對集合執行 get 操作時，在迭代集合時正在修改集合。我確定錯誤是由顯式使用 byref 引入的，實際上，如果我從方法簽名中洗掉 byref 關鍵字，生成的 IL 如下所示：

[StandardModule]
internal sealed class Module1
{
    [STAThread]
    public static void Main()
    {
        ArrayList oList = new ArrayList();
        oList.Add(RuntimeHelpers.GetObjectValue(new object()));
        IEnumerator enumerator = default(IEnumerator);
        try
        {
            enumerator = oList.GetEnumerator();
            while (enumerator.MoveNext())
            {
                object o = RuntimeHelpers.GetObjectValue(enumerator.Current);
                subA(ref oList);
            }
        }
        finally
        {
            if (enumerator is IDisposable)
            {
                (enumerator as IDisposable).Dispose();
            }
        }
    }

    private static void subA(ref ArrayList oList)
    {
        subB(RuntimeHelpers.GetObjectValue(oList[0]));
    }

    private static void subB(object oObj)
    {
        oObj.ToString();
    }
}

Note that now, there is no assignment. I don't entirely understand this behavior but it seems like it could be a painful gotchya for developers, and clearly was in my case. Could someone elaborate on the reasoning behind why the IL generates in this manner? Shouldn't these two variants of the original source code compile to identical IL given that I am passing reference types around exclusively? Aren't they all by ref? Any info which helps me understand the mechanism(s) at play here would be appreciated.

uj5u.com熱心網友回復：

讓我們來看看VB.Net 規范，看看發生了什么：

9.2.5.2 參考引數

參考引數有兩種模式，作為別名或通過copy-in copy-back。

別名。當引數充當呼叫者提供的引數的別名時，將使用參考引數。參考引數本身并不定義變數，而是參考對應引數的變數。參考引數的修改直接并立即影響相應的引數

抄入抄回。如果傳遞給參考引數的變數型別與參考引數的型別不兼容，或者如果將非變數（例如屬性）作為引數傳遞給參考引數，或者呼叫是后期系結的，然后分配一個臨時變數并將其傳遞給參考引數。傳入的值將在呼叫方法之前復制到此臨時變數中，并在方法回傳時復制回原始變數（如果有且可寫）。因此，參考引數可能不一定包含對傳入變數的確切存盤的參考，并且對參考引數的任何更改在方法退出之前可能不會反映在變數中。

因此，由于存盤位置 oList與ref object CLR 規則不兼容（因為它可能導致ArrayList插入非物件），編譯器無法直接傳遞該位置。

所以它使用copy-in copy-back代替。

當方法回傳時會發生什么？

如果新物件不兼容，則方法完成后會出現例外

當從F (previous example)回傳時，臨時變數中的值被強制轉換回變數的型別Derived，并分配給 d。由于無法將傳回的值強制轉換為Derived，因此在運行時會引發例外。

為清楚起見，C# 根本不允許這樣做，正如您在此小提琴中所見。這是一個特定的 VB 問題，因為它允許ByRef進行拷入拷回轉換。

標籤：.net vb.net clr cil

上一篇：使用e.graphics創建5PointStar，但在VB.NET中將x和y起始位置設定為110,110

下一篇：安裝列印機時的VB.net進度條