C# +代码合约 - 抛出异常

Question

更新 - 由于缺乏我方面的解释，我重写了这篇文章。

您对使用代码契约在无效输入上引发异常有何看法？ （我正在根据我的服务合同进行编码，该合同要求用户名不能为空或包含空格）

MembershipServiceContracts.cs - 位于子文件夹的服务层

[ContractClassFor(typeof (IMemberShipService))]
internal abstract class MemberShipServiceContracts : IMemberShipService
{
    #region IMemberShipService Members

    public MembershipCreateStatus CreateUser(string userName, string password, string email)
    {
        Contract.Requires(!String.IsNullOrWhiteSpace(userName), "Test");
        Contract.Requires(!String.IsNullOrWhiteSpace(password));
        Contract.Requires(!String.IsNullOrWhiteSpace(email));

        return default(MembershipCreateStatus);
    }

    #endregion

}

MembershipService.cs - 位于在我的服务层中

[ContractClass(typeof (MemberShipServiceContracts))]
public interface IMemberShipService
{
    MembershipCreateStatus CreateUser(string userName, string password, string email);
}

public class MemberShipService : IMemberShipService
{
    private readonly MembershipProvider _provider;

    public MemberShipService()
        : this(null)
    { }

    public MemberShipService(MembershipProvider provider)
    {
        _provider = provider ?? Membership.Provider;
    }

    #region IMemberShipService Members

    public MembershipCreateStatus CreateUser(string userName, string password, string email)
    {
        MembershipCreateStatus status;
        _provider.CreateUser(userName, password, email, null, null, true, null, out status);

        return status;
    }

    #endregion
}

AccountController.cs - 位于 UI 层

现在这是有趣的部分...

如果

    [Authorize(Roles = "Developer")]
    [HttpPost]
    public ActionResult Create(CreateUserViewModel model)
    {
        if (!String.IsNullOrEmpty(model.UserName))
        {
            throw new ArgumentException("UserName May not be null or contain only white spaces.", model.UserName);
        }

        if (!String.IsNullOrEmpty(model.Password))
        {
            throw new ArgumentException("Password May not be null or contain only white spaces", model.Password);
        }

        if (!String.IsNullOrEmpty(model.Email))
        {
            throw new ArgumentException("Email May not be null or contain only white spaces", model.Email);
        }

        if (!ModelState.IsValid)
        {
            return Json("Model validation failed");
        }

        MembershipCreateStatus newUser = _memberShipService.CreateUser(model.UserName, model.Password,
                model.Email);

        return Json(newUser != MembershipCreateStatus.Success ? "Failed" : "Success");
    }

为

[Authorize(Roles = "Developer")]
[HttpPost]
public ActionResult Create(CreateUserViewModel model)
{
    Contract.Requires<ArgumentException>(!String.IsNullOrWhiteSpace(model.UserName),
            "UserName May not be null or contain only white spaces.");

    Contract.Requires<ArgumentException>(!String.IsNullOrWhiteSpace(model.Password),
            "Password May not be null or contain only white spaces");

    Contract.Requires<ArgumentException>(!String.IsNullOrWhiteSpace(model.Email),
            "Email May not be null or contain only white spaces");

    if (!ModelState.IsValid)
    {
        return Json("Model validation failed");
    }

    MembershipCreateStatus newUser = _memberShipService.CreateUser(model.UserName, model.Password,
            model.Email);

    return Json(newUser != MembershipCreateStatus.Success ? "Failed" : "Success");
}

代码收缩 CreateUser() 方法未实现？

提前致谢。

Answer 1

代码合同中的失败表明您的代码存在需要修复的严重错误。它不会取代用户输入的验证。相反，您将首先验证用户输入，然后在确定有效时尝试处理数据（否则提示用户重新输入）。如果您的有效数据不满足目标合约，那么将会抛出一个无法捕获的异常，因为您显然有一个错误。

我希望这是一个灵丹妙药，但很快意识到我仍然需要我的验证。从那以后，我开始真正喜欢代码合约取代我常用的所有防护代码的方式。

想一想您每次都会遇到 NullReferenceException（对我来说太多了！）。代码契约可以消除这种痛苦。

R.

Ps 另外，不要使用合约来验证安全敏感数据，因为代码合约可以在运行时关闭......

Answer 2

恐怕要说：这取决于你想如何使用代码契约。

您最好查看用户手册，部分“使用指南”。这是一小段摘录：

最简单的合约工具使用
如果您决定不需要
执行参数验证
发布版本中的运行时（用法 1）。
在这种情况下，您可以使用合同
开发期间的工具，但不是
运送的位。请记住，你可以
发送合同参考组件
连同你的发布位所以 18
客户端可以获得运行时检查
您的参数验证
通过调用站点进行调试构建需要
检查。第二个最简单的方法
如果您需要参数验证
您的发布版本将打开
所有构建中的合同检查（使用
2）。因此，您可以利用
生成运行时的工具
您的条件字符串并
为您执行契约继承。
您可以选择生产特定的
您的参数的例外情况
验证，或者有默认值
合约异常。

我建议您在做出任何重大决定之前阅读整个部分。

Answer 3

两种方法都很好。

检查先决条件的 3 种方法是

1. Contract.Requires -> 。进入该方法时，特定条件必须为真。

2. 合同.需要->与上面相同，但如果不满足条件则抛出异常
   Requires 始终被编译，因此使用此方法需要对工具产生硬依赖。在使用此方法之前，您应该决定是否需要这样做。

3. 你的第一个方法 -->这种类型的前提条件的好处是它总是可以执行运行时检查。

在第一种方法中，您可能需要添加 Contract.EndContractBlock();

我自己正在探索此功能，但我认为您可以在服务层中抛出异常，这是可以的。

华泰