必须证明基类属性在所有派生类中不变？

Question

我有一个基类，在其中尝试使用空对象模式来提供默认记录器实现，然后可以在稍后阶段通过 IoC setter 注入来更改该实现。

public interface ILog
{
    void Log(string message);
}

public class NoOpLogger: ILog 
{
    public void Log(string message)
    { }
}

public abstract class ClassWithLogger
{
    private ILog _logger = new NoOpLogger();

    protected ClassWithLogger()
    {
        Contract.Assert(Logger != null);
    }

    public ILog Logger
    {
        get { return _logger; }
        set
        {
            Contract.Requires(value != null);
            _logger = value;
            Contract.Assert(Logger != null);
        }
    }

    [ContractInvariantMethod]
    private void ObjectInvariant()
    {
        Contract.Invariant(Logger != null);
    }
}

public sealed class DerivedClass : ClassWithLogger
{
    private readonly string _test;
    public DerivedClass(string test)
    {
        Contract.Requires<ArgumentException>(!String.IsNullOrWhiteSpace(test));
        _test = test;

        // I get warning at end of ctor: "invariant unproven: Logger != null"
    }

    public void SomeMethod()
    {
        Logger.Log("blah");
    }
}

正如我在代码中指出的，我的问题是，我在派生类的构造函数末尾收到一条警告，指出基类的“Logger！= null”对象不变性尚未得到证明，即使很明显没有任何变化Logger 属性值，我还在 setter 周围签订了合同，以确保它永远不会为空。

有什么方法可以避免在所有派生类中重新证明这一事实，或者这只是静态分析器的限制？

更新：问题已在最新版本的 CodeContracts 中得到解决。另外，我不再需要抽象基类构造函数中的断言（“Contract.Assert(Logger != null);”行）

Answer 1

我刚刚测试了您发布的代码，它工作得很好。您是否使用最新版本的代码合约 (1.4.30707.2)？