c# – 是否可以在数据对象中使用Code Contracts的不变量？

在该问题中,Ahmed KRAIEM和Stephen J. Anderson都声明,如果必须始终保持与对象的状态正确性相关的检查,则应将其置于该对象内.

但是我遇到了一个实现它的问题：在将检查实现为Code Contracts的不变量之后,我不再能够使用对象初始化,AutoMapper或EntityFramework.

出现问题的原因是它们首先使用默认的空构造函数创建一个新对象,然后填充各种属性,这会触发Code Contracts的不变量,从而在运行时生成异常.

一个快速示例包含在Visual Studio单元测试中(您需要通过NuGet添加AutoMapper才能使其工作)：

namespace Playground.Sandbox
{
    using System.Diagnostics.Contracts;

    using AutoMapper;

    using Microsoft.VisualStudio.TestTools.UnitTesting;

    [TestClass]
    public class ContractTest
    {
        private const int CatAge = 5;
        private const string CatName = "Tama";
        private const int DogAge = 10;
        private const string DogName = "Poochi";

        static ContractTest()
        {
            Mapper.CreateMap<Dog,Cat>();
        }

        [TestMethod]
        public void EmptyConstructorShouldThrow()
        {
            var cat = new Cat();

            Assert.AreEqual(default(int),cat.Age);
            Assert.AreEqual(default(string),cat.Name);
        }

        [TestMethod]
        public void NonEmptyConstructorShouldNotThrow()
        {
            var cat = new Cat(CatAge,CatName,true);

            Assert.AreEqual(CatAge,cat.Age);
            Assert.AreEqual(CatName,cat.Name);
        }

        [TestMethod]
        public void ObjectInitializerShouldThrow()
        {
            var cat = new Cat { Age = CatAge,Name = CatName };

            Assert.AreEqual(CatAge,cat.Name);
        }

        [TestMethod]
        public void AutoMapperConversionShouldThrow()
        {
            var dog = new Dog { Age = DogAge,Name = DogName };
            var cat = Mapper.Map<Dog,Cat>(dog);

            Assert.AreEqual(DogAge,cat.Age);
            Assert.AreEqual(DogName,cat.Name);
        }

        private class Cat
        {
            public Cat()
            {
            }

            public Cat(int age,string name,bool doesMeow)
            {
                this.Age = age;
                this.Name = name;
            }

            public int Age { get; set; }

            public string Name { get; set; }

            [ContractInvariantMethod]
            private void ObjectInvariant()
            {
                Contract.Invariant(this.Age > 0);
                Contract.Invariant(!string.IsNullOrWhiteSpace(this.Name));
            }
        }

        private class Dog
        {
            public int Age { get; set; }

            public string Name { get; set; }
        }
    }
}

如果你想知道为什么有公共的Cat(int,string,bool)构造函数,如果没有使用它,就是愚弄AutoMapper.对于此示例,我需要一个构造函数来初始化整个对象,AutoMapper会识别它并自动使用它来初始化目标对象.但是,我们的数据对象没有这样的构造函数(而且,它们不能,因为它们可以具有许多属性).

唯一通过的测试是NonEmptyConstructorShouldNotThrow,其他都是(正确)失败.

出现问题的原因是它们首先使用默认的空构造函数创建一个新对象,从而在运行时生成异常.

我是否错误地使用了Code Contracts,或者在使用对象初始化,AutoMapper或EntityFramework时无法在数据对象中实现不变量？