c# .net接口协定Contract

最新推荐文章于 2024-10-02 19:32:13 发布

原创最新推荐文章于 2024-10-02 19:32:13 发布 · 1.5k 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#c# .net协定 #Contract

c#后台专栏收录该内容

22 篇文章

订阅专栏

本文详细介绍了如何在C#中使用Code Contracts对接口成员变量进行约束，包括接口定义、协定规则实现及测试过程。通过具体示例展示了如何确保代码符合预设规则，避免运行时错误。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.背景

学习以及研究协定Contract

2.代码

（1）接口代码

    [ContractClass(typeof(PersonContract))]
    public interface IPerson
    {
        string FirstName { get; set; }
        string LastName { get;set; }
        int Age { get;set; }
        void ChangeName (string firstName,string lastName );
    }

（2）协定规则代码（对接口成员变量进行协定限制）

[ContractClassFor(typeof(IPerson))]
    public abstract class PersonContract:IPerson
    {
        string IPerson.FirstName
        {
            get { return Contract.Result<string>(); }
            set { Contract.Requires(value != null); }
        }
        string IPerson.LastName
        {
            get { return Contract.Result<string>(); }
            set { Contract.Requires(value != null); }
        }
        int IPerson.Age
        {
            get
            {
                Contract.Ensures(Contract.Result<int>()>=0 &&
                    Contract.Result<int>() < 121);
                return Contract.Result<int>();
            }
            set
            {
                Contract.Requires(value >= 0 && value<123);
            }

（3）接口实现类代码

 public class Person:IPerson
    {
        public Person(string firstName,string lastName)
        {
            this.FirstName = firstName;
            this.LastName = lastName;
        }
        public string FirstName { get; set; }
        public string LastName { get; set; }
        public int Age {get; set;}
        public void ChangeName(string firstName, string lastName)
        {
            this.FirstName = firstName;
            this.LastName = lastName;
        }
    }

（4）新建对象，测试并使用

Person pe=new Person("111",null)

可以发现，定义好的规则并未生效。经查找，需要安装插件，并设置项目属性，具体细节见https://www.cnblogs.com/TBW-Superhero/p/7151085.html

（5）在正确设置后，再次测试调用 var pp = new Person("132", null);

可发现，该新建对象失败，进入异常，异常信息为：

“System.Diagnostics.Contracts.__ContractsRuntime.ContractException”类型的未经处理的异常在 xxxx.exe 中发生“”

“其他信息: 前置条件失败: value != null”

至此，正确的设置了协定并成功起效。