c# .net接口协定Contract

本文详细介绍了如何在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”

 

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

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值