Question

我有一个非常奇怪的问题。这是我的代码：

<declare E,JV>

<perform some actions with E>
JV.Math_Mul(E);

////

public new void Math_Mul(Matrix a)
    {

        double[,] vC = new double[a.ColCount, this.RowCount];


        externExtensions.MatMul(vC,a.Values ,this.Values, a.RowCount, this.ColCount, a.ColCount);
        Values = vC;

        CopyB(B.Values,vC);
     }

    static unsafe void CopyB(double[,] B, double[,] val)
    {
        int Col = val.GetLength(1);
        int j = 0;
        fixed (double* pA = B, pB = val)
        {
            for (int i = 0; i < val.Length; i++)
            {
                if (i != j * Col)
                    pA[i-j] = pB[i];
                else
                    j++;

            }
        }
    }

执行CopyB函数后，E会发生一些事情（这很奇怪，因为它不是CopyB的参数），VS 2012告诉我：无法获取本地或参数'E'的值，因为它在此指令指针处不可用，可能是因为它已被优化掉了。代码优化已关闭，此代码运行良好，直到我制作了CopyB。那么，问题是什么？ E会发生什么，我该怎么做？

PS CopyB用于在乘法后更快地解析矩阵，这是我的数学工具的一部分，我使用块矩阵。

我将非常感谢您的帮助！

Answer 1

让我们简化您的问题：

我正在调试器中查看此代码。

static void Foo(int a, int b)
{
  DoSomething(a);
  DoSomethingElse(b);
}

有时在a运行后尝试在调试器中查看DoSomething时，我收到消息“无法获取本地或参数'a'的值，因为它在此处不可用指令指针，可能是因为它已被优化掉了。“这是什么意思？

形式参数是变量，这意味着它必须实现为存储位置。由于形式参数的生命周期较短，因此可以在短期池上分配该存储位置。这意味着抖动将使其成为堆栈位置或寄存器。

我们假设它是一个寄存器。寄存器是x86域中的稀缺资源，因此抖动可能希望将该寄存器用于DoSomethingElse中的其他内容。它知道它可以安全地这样做，因为它知道在DoSomethingElse之后没有任何内容引用a;就抖动而言，a现在已经“死”，所以它的寄存器可以用于其他东西。

调试器知道寄存器不再意味着a，所以它不会让你误以为寄存器的值是a的值。这个价值已经消失，因为它的存储现在被用于其他东西。

这就解释了为什么在添加新方法调用时调试器的行为发生了变化？

是。在原始程序中，抖动不需要重新使用寄存器，因此它在整个方法调用中都有其原始值。

您的实际场景只是这个场景的一个更复杂的版本，其中包含三个方法。抖动很可能会重新使用代表变量E的寄存器。

不安全代码块后变量丢失

1 个答案: