Question

我有一个静态容器类，它包含某个类A的句柄：

public static class Container
{
    private static A _a;        
    public static void Register(A a) { _a = a; }
    public static void Run() { _a.DoIt(); }
}

在A构造函数中执行容器A实例的注册：

public class A
{
    public A() { Container.Register(this); }        
    public void DoIt() { Console.WriteLine("Running!"); }
}

现在，假设我通过调用仅包含A实例的方法来注册我的A实例：

public void Init() { var a = new A(); }

理论上，编译是否可以优化以忽略此分配，或者我可以100％确定在调用A方法时Init 总是实例化？

示例当我运行以下代码时：

Init(); ... Container.Run();

总是会定义Container._a并将DoIt方法的输出写入控制台吗？

Answer 1

编译器通常不知道A的构造函数是否具有可观察的副作用，因此它总是会调用它。它可能不会保留变量'a'。

因此，将调用构造函数，但结果可能不会分配给变量;相反，如果没有别的东西引用它，A对象可能只是立即注册垃圾收集。（在你的情况下，还有别的东西引用它 - 即Container类 - 所以它不会被垃圾收集！）

在你的情况下，构造函数显然在任何情况下都有副作用（因此编译器优化掉构造函数调用将是一个重大错误。）

总结：

将始终调用构造函数。
可能无法将结果分配给局部变量，因为编译器知道它没有可观察到的副作用。
在你的代码中，其他东西保留了对构造对象的引用，因此它不会被GCed。

是否总是执行局部变量赋值，即使变量未使用？

1 个答案: