本条要点：（作者总结）

　　引用计数这个概念相当容易理解。需要执行保留与释放操作的地方也很容易就能看出来。所以 Clang 编译器项目带有一个 “静态分析器”（static analyzer）。用于指明程序里引用计数出问题的地方。举个例子，假设下面这段代码采用手工方式管理引用计数：

1 　　　if ([self shouldLogMessage]) {
2 
3 　　　　NSString *message = [[NSString alloc] initWithFormat:@"I am object, %p", self];
4 
5 　　　　NSLog(@"Message = %@", message);
6 
7 　　　　}　

　　此代码有内存泄漏问题，因为 if 语句块末尾并未释放 message 对象。由于在 if 语句之外无法引用 message，所以此对象所占的内存泄漏了（这里“泄漏”的意思是：没有正确释放已经不再使用的内存）。判定内存是否泄漏所用的规则很简明:调用NSString 的 alloc 方法所返回的那个 message 对象的保留计数比期望值要多 1。然而却没有与之对应的释放操作来抵消。因为这些规则很容易表述，所以计算机可以简单地将其套用在程序上，从而分析出有内存泄漏问题的对象。这正是 “静态分析器” 要做的事。

　　静态分析器还有更为深入的用途。既然可以查明内存管理问题，那么应该也可以根据

第30条:以ARC简化引用计数