如何将临时值类型装箱

Question

这可能是一个奇怪的问题，但我想知道如何实现。

考虑以下代码段（出于任何原因，我决定在其中插入引用类型的数组，而不是仅创建T数组）

public class HeapScatteredValueList<T> where T : struct
{
    private object[] _list;
    private int _head;

    public HeapScatteredValueList(int maxCapacity)
    {
        _list = new object[maxCapacity];
    }

    public void Add(T item)
    {
        var newHead = _head + 1;
        if (newHead > _list.Length - 1)
        {
            throw new Exception();
        }

        _list[_head++] = item;
    } // The "item" that was copied in to the stack of this function should be destroyed here, what is in the list then?

    public T this[int index] => (T) _list[index];
}

现在，每当我调用此函数时，由于T将是值类型，所以我要传递的参数将通过值（因此是副本）传递。 此副本应仅存在于Add(T item)的范围内，因此在_list[_head++] = item究竟发生了什么？ 那个object在数组的那个位置在哪里指向...

Answer 1

.Net的IL语句将框值类型设置为box 。 Box操作执行以下操作：

1. 考虑值类型的大小分配内存（加上其他字段-类型对象指针和同步块索引）
2. 将值复制到此新内存
3. 返回存储器的地址，从而成为参考

原始值类型与此引用无关。 当它超出范围时，它将丢失，但是引用将一直保留到垃圾回收为止。