c# - ORM 与 CodeContracts 结合使用的实体 - 确保不变量

Question

我目前正在将 CodeContracts 添加到我现有的代码库中。
事实证明困难的一件事是使用由 NHibernate 水化的实体。

假设这个简单的类:

public class Post
{
    private Blog _blog;

    [Obsolete("Required by NHibernate")]
    protected Post() { }

    public Post(Blog blog)
    {
        Contract.Requires(blog != null);
        _blog = blog;
    }

    public Blog Blog
    {
        get
        {
            Contract.Ensures(Contract.Result<Blog>() != null);
            return _blog;
        }
        set
        {
            Contract.Requires(value != null);
            _blog = value;
        }
    }

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

此类试图保护不变的 _blog != null。但是，它目前失败了，因为我可以通过从它派生并使用 protected 构造函数轻松创建 Post 的实例。在这种情况下，_blog 将是 null。
我正在尝试以不变量确实受到保护的方式更改我的代码库。

乍一看，NHibernate 需要 protected 构造函数来创建新实例，但是有 a way around this requirement .
该方法基本上使用 FormatterServices.GetUninitializedObject .重要的一点是，此方法不运行任何构造函数。
我可以使用这种方法，它可以让我摆脱 protected 构造函数。 CodeContracts 的静态检查器现在会很高兴并且不再报告任何违规行为，但是一旦 NHibernate 尝试混合这些实体，它将生成“不变失败”异常，因为它会尝试一个接一个地设置属性，并且每个属性 setter 都会执行验证不变量的代码。

因此，为了使所有这些工作正常进行，我将必须确保实体是通过其公共(public)构造函数实例化的。

但是我该怎么做呢？

Answer 1

Daniel，如果我没记错的话(自从我与 NH 合作以来已经有一段时间了)你可以有一个私有(private)构造函数，他仍然可以创建你的对象。

除此之外，为什么您需要 100% 确定？这是某种方式的要求，还是您只是想涵盖所有基础？

我这样问是因为根据需求，我们可以采用另一种方式来实现它。

为了提供额外的保护，您现在可以做的是连接一个 IInterceptor 类，以确保在加载后您的类仍然有效。

我想最重要的是，如果有人想弄乱您的域和类，无论您做什么，他们都会这么做。在大多数情况下，为防止所有这些事情所做的努力并没有奏效。

澄清后编辑

如果您使用您的对象写入数据库并且您的契约(Contract)正在工作，您可以安全地假设数据将被正确写入，因此如果没有人篡改数据库则正确加载。

如果您手动更改数据库，您应该停止这样做并使用您的域来执行此操作(这是验证逻辑所在的位置)或测试数据库更改过程。

尽管如此，如果您真的需要它，您仍然可以连接一个 IInterceptor，它会在加载后验证您的实体，但我不认为您可以通过确保您的自来水管道完好来解决来自街道的水淹问题。