objective-c - 为什么在项目中使用 '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

它是 Design by Contract 的一个实现, 或 DbC .

Objective C 没有对 DbC 的前置条件、后置条件和不变量的原生支持。 , 但尤其是后置条件和前置条件可以用宏很好地实现。

这里有一些其他的方法来实现 DbC在 Objective-C 中:

• http://www.roard.com/contracts/
• http://lists.apple.com/archives/objc-language/2006/Sep/msg00000.html
• D programming language有DbC ，这里是 Michel Fortins 对相同风格的尝试 DbC ，但对于 Objective-C :http://michelf.com/weblog/2010/dobjc-preliminary-design/