如何处理运行时代码契约违规

发布于 2024-11-04 08:18:24 字数 471 浏览 0 评论 0原文

上周我访问了荷兰的 devday11，了解了 Code Contract。我正在考虑实施代码契约，但我仍然不清楚以下内容。我应该如何处理应用程序中的运行时代码契约违规？

例如，我的应用程序中有一个层使用空值调用另一个层。调用的函数有一个必需的联系人，因此它会抛出合同验证错误。这应该如何处理？那么像这样的事情

public string GetOrderSomething(OrderModel order)
{
 Contract.Requires(order != null);
 // jibidi jibeda do something
 }  

//other application layer
private void something()
{
 Class.GetOrderSomething(null);
}

应该做什么呢？我应该用正常的 try catch 来处理它，还是根本不应该处理它？我应该做一些“特别”的事情吗？

原文

I visited devday11 in the Netherlands last week and learned about Code Contract. I am thinking about implementing Code Contract, but the following is still unclear to me. How should I handle runtime code contract violations in my application?

For example I have a layer in my application that calls another layer with a null value. The function called had a Required Contact, so it throws a contract validation error. How should this be handled? So something like this

public string GetOrderSomething(OrderModel order)
{
 Contract.Requires(order != null);
 // jibidi jibeda do something
 }  

//other application layer
private void something()
{
 Class.GetOrderSomething(null);
}

What should be done? Should I handle it with a normal try catch, should I not handle it at all? Is there something "special" I should do?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

如果没结果 2024-11-11 08:18:25

对于这种情况，如果存在

if (order == null) { ，您应该执行通常会执行的操作
抛出新的 ArgumentNullException();
但是，

这个 CodeContract 并不意味着该类已经不稳定，只是因为您向该方法传递了错误的参数...

如果这将是某个内部成员的 Requires 并且您知道它永远不应该为 null，那么那就是另一个故事了。您将有一个永久无法工作的类，如果您无法通过捕获来“修复它”，那么可能应该引发一些致命异常并发出警报。

回复收藏 0 原文

情未る 2024-11-11 08:18:25

假设您已经制定了“异常处理”政策，那么您不必执行任何特殊操作。

如果建议选择一个特定的异常：

public string GetOrderSomething(OrderModel order)
{
  Contract.Requires<ArgumentNullException> (order != null, "order");
  // jibidi jibeda do something
}

现在您可以以与不使用合约（之前）相同的方式和位置处理 ArgumentNullException。

PS：希望你喜欢这次演讲。

Assuming you already have an 'exception handling' policy in place, you should not have to do anything special.

If would be advisable to pick a specific exception:

public string GetOrderSomething(OrderModel order)
{
  Contract.Requires<ArgumentNullException> (order != null, "order");
  // jibidi jibeda do something
}

Now you can handle the ArgumentNullException in the same manner and place(s) as you would without (before) using contracts.

PS: Hope you liked the talk.

回复收藏 0 原文