我可以确定这个临时变量不会被优化掉吗？

Question

我的系统中工作线程上发生了一些事情。假设状态发生了变化。我想在 UI 线程中处理新的 state，因此我调度一个要在那里调用的委托：

var state = GetState();
Dispatcher.BeginInvoke(() => StateChanged(state));

当 StateChanged 在 UI 线程上执行时，我可以确定参数state的值是GetState()在调度之前返回的值，或者是临时的state 变量被优化，以便 GetState()在 UI 线程上调用来填充 StateChanged 参数？

Answer 1

不，GetState 肯定会在工作线程上调用。在 lambda 表达式中移动 GetState() 调用的“优化”将完全无效。

Answer 2

这不会发生，因为它会改变操作的语义，优化不允许这样做；您通过调用方法对变量进行赋值，因此由于 C# 不是惰性语言，因此此时必须发生这种情况。

Answer 3

你的代码

var state = GetState();
Dispatcher.BeginInvoke(() => StateChanged(state));

没问题。但这种变化将更难以分析和证明其正确性：

var state = GetState();
Dispatcher.BeginInvoke(() => StateChanged(state));  // after GetState()
state = null;                       // before or after StateChanged() ?

Answer 4

我可以确定参数状态的值就是这个值吗
GetState() 在分派之前返回，或者临时状态变量是否会被优化>离开

状态不会被优化掉。
然而，之前实际上是这个问题的棘手部分。只要您之后（在同一范围内）不更改状态变量，您就无需担心。

{
 // say GetState returns 2
 var state = GetState(); 
 // state now = 2
 Dispatcher.BeginInvoke(() => StateChanged(state)); 
 state = 3; 
}

在上面的代码中，state 不会被优化掉。但是，这并不意味着 StateChanged 将以值 2 进行调用。如果工作线程在启动调度程序线程之前完成执行，则可能是 3。

这里的要点是变量捕获确保保留该值以供闭包使用，但这并不意味着该值是不可变的。