为什么在项目中使用'assert'？(以及为何多次使用它)

Question

我正在阅读示例代码ListAdder,并且在变量之后有很多断言,或者几乎在每个方法中使用,例如:

self.formatter = [[[NSNumberFormatter alloc] init] autorelease]; assert(self.formatter != nil);

要么 :

- (UITableViewCell *)tableView:(UITableView *)tv cellForRowAtIndexPath:(NSIndexPath *)indexPath
{
   #pragma unused(tv)
   #pragma unused(indexPath)
   UITableViewCell *    cell;

   assert(tv == self.tableView);
   assert(indexPath != NULL);
   assert(indexPath.section < kListAdderSectionIndexCount);
   assert(indexPath.row < ((indexPath.section == kListAdderSectionIndexNumbers) ? [self.numbers count] : 1));

我在想,有什么意义呢？

谢谢

Answer 1

它是契约式设计或DbC的实施.

Objective C对DbC的前置条件,后置条件和不变量没有原生支持,但特别是后置和前置条件可以很好地实现宏.

以下是在Objective C中实现DbC的一些其他方法:

• http://www.roard.com/contracts/
• http://lists.apple.com/archives/objc-language/2006/Sep/msg00000.html
• 该d的编程语言有DbC的,这里是同样风格的米歇尔Fortins尝试DbC的,但对目标C:http://michelf.com/weblog/2010/dobjc-preliminary-design/