c# - 为什么 'double-checked-locking' 的表达式总是正确的？

Question

我有单例对象“Service”和两种初始化和释放它的方法:

public class BaseService
{
    protected static readonly object StaticLockObject = new object();
}

public abstract class WebServiceBase<TService> : BaseService
    where TService : System.Web.Services.Protocols.SoapHttpClientProtocol, new()
{
    protected static void EnsureServiceIsOpened()
    {
        if (Service == null)
        {
            lock (StaticLockObject)
            {
                if (Service == null)
                {
                    Service = new TService();
                }
            }
        }
    }

    protected static void EnsureServiceIsClosed()
    {
        if (Service != null)
        {
            lock (StaticLockObject)
            {
                if (Service != null) // Why expression is always true
                {
                    Service.Dispose();
                    Service = null;
                }
            }
        }
    }

对于带有注释的行，resharper(我使用的是 5.1 版)显示了一个提到的警告...

问题 1:为什么？

问题2:为什么在“EnsureServiceIsOpened”方法中不显示“类似”消息？

谢谢。

Answer 1

Resharper 对代码进行了有限的分析，发现两个嵌套的 if 语句检查完全相同。在单线程环境中，resharper 的评论完全正确 - Service 不可能在第一个 if 之后为 null。当然，在多线程环境中，这不适用，因为 Service 可以从外部更改。在这种情况下，您应该为 resharper 注释代码或抑制此文件的消息，因为它在多线程环境中不成立。