使用LLVM/Clang静态分析仪

注意:在Xcode 4中，这是内置在IDE中。

你可以使用Clang Static Analyzer在Mac OS X 10.5上分析你的C和Objective-C代码(还没有c++)。安装和使用起来很简单:

从本页下载最新版本。 从命令行，cd到您的项目目录。 执行scan-build -k -V xcodebuild。

(还有一些额外的限制等等，特别是你应该在“调试”配置中分析一个项目——详情请参阅http://clang.llvm.org/StaticAnalysisUsage.html——但这或多或少就是它的总结。)

分析器然后为您生成一组网页，显示可能的内存管理和编译器无法检测的其他基本问题。

变量和属性

1/保持头文件整洁，隐藏实现 不要在头文件中包含实例变量。作为属性放入类延续中的私有变量。公共变量在头文件中声明为公共属性。 如果它应该是只读的，将其声明为readonly，并在类延续中将其重写为readwrite。 基本上我根本不用变量，只用属性。

2/给你的属性一个非默认变量名，例如:

@synthesize property = property_;

原因1:在分配属性时，您将捕获由于忘记“self.”而引起的错误。 原因2:从我的实验中，仪器中的泄漏分析仪在检测默认名称的泄漏属性时存在问题。

3/不要在属性上直接使用retain或release(或仅在非常特殊的情况下)。在dealloc中，给它们分配一个nil。保留属性意味着自己处理保留/释放。例如，您永远不知道setter是否没有添加或删除观察器。您应该只在它的setter和getter中直接使用变量。

的观点

1/如果可以的话，将每个视图定义放入xib中(例外通常是动态内容和层设置)。它节省时间(比写代码简单)，易于更改，并保持代码整洁。

2/不要试图通过减少视图数量来优化视图。不要在代码中创建UIImageView而不是xib，因为你想在其中添加子视图。使用UIImageView作为背景。视图框架可以毫无问题地处理数百个视图。

3/ iboutlet不需要总是被保留(或强大)。注意，大多数iboutlet都是视图层次结构的一部分，因此隐式保留。

4/释放viewDidUnload中的所有iboutlet

5/从dealloc方法调用viewDidUnload。它不是隐式调用的。

内存

1/创建对象时自动释放对象。许多错误是由于将释放调用移动到一个if-else分支或在返回语句之后引起的。释放而不是自动释放应该只在特殊情况下使用——例如，当你在等待一个运行循环时，你不想让你的对象过早被自动释放。

2/即使你在使用自动引用计数，你也必须完全理解保留-释放方法是如何工作的。手动使用保留-释放并不比ARC更复杂，在这两种情况下，您都必须考虑泄漏和保留周期。 考虑在大型项目或复杂的对象层次结构上手动使用保留释放。

评论

1/让你的代码自动文档化。 每个变量名和方法名都应该说明它在做什么。如果代码编写正确(这方面需要大量实践)，则不需要任何代码注释(与文档注释不同)。算法可能很复杂，但代码应该总是简单的。

2/有时候，你需要别人的评论。通常用来描述一种不明显的代码行为或黑客行为。如果您觉得必须写注释，首先尝试重写代码，使其更简单，不需要注释。

缩进

1/不要增加太多缩进。 大多数方法代码应该在方法级别上缩进。嵌套块(if, for等)降低了可读性。如果您有三个嵌套块，您应该尝试将内部块放入一个单独的方法中。四个或更多嵌套的块永远不应该使用。 如果大部分方法代码都在If中，则对If条件求反，例如:

if (self) {
   //... long initialization code ...
}

return self;

if (!self) {
   return nil;
}

//... long initialization code ...

return self;

了解C代码，主要是C结构

注意Obj-C只是C语言之上的一个轻量级OOP层。你应该了解C语言的基本代码结构(枚举、结构体、数组、指针等)是如何工作的。 例子:

view.frame = CGRectMake(view.frame.origin.x, view.frame.origin.y, view.frame.size.width, view.frame.size.height + 20);

等于:

CGRect frame = view.frame;
frame.size.height += 20;
view.frame = frame;

还有更多

维护自己的编码标准文档，并经常更新它。试着从错误中学习。理解错误产生的原因，并尝试使用编码标准来避免它。

我们的编码标准目前大约有20页，混合了Java编码标准，谷歌Obj-C/ c++标准和我们自己的添加。记录你的代码，在正确的地方使用标准的缩进，空格和空行等等。

想想nil值

正如这个问题所指出的，到nil的消息在Objective-C中是有效的。虽然这通常是一个优势——导致更干净和更自然的代码——但如果您在意想不到的情况下获得nil值，该功能偶尔会导致特殊且难以追踪的错误。

编写单元测试。您可以在Cocoa中测试许多在其他框架中可能比较困难的事情。例如，对于UI代码，您通常可以验证事物是否按照应有的方式连接，并相信它们在使用时能够正常工作。你可以很容易地设置状态和调用委托方法来测试它们。

在编写内部测试时，也不会有公共、受保护和私有方法可见性。

不要使用未知字符串作为格式字符串

当方法或函数接受格式字符串参数时，应确保能够控制格式字符串的内容。

例如，当记录字符串时，很容易将字符串变量作为唯一参数传递给NSLog:

    NSString *aString = // get a string from somewhere;
    NSLog(aString);

这样做的问题是，字符串可能包含被解释为格式字符串的字符。这可能导致错误的输出、崩溃和安全问题。相反，你应该将字符串变量替换为一个格式字符串:

    NSLog(@"%@", aString);

简单但经常被遗忘。根据规格:

一般来说，方法各不相同 具有相同选择器的类 (相同的名字)也必须共享 相同的返回值和参数类型。这 约束是由编译器施加的 允许动态绑定。

在这种情况下，所有相同的命名选择器，即使在不同的类中，也会被认为具有相同的返回/参数类型。这里有一个简单的例子。

@interface FooInt:NSObject{}
-(int) print;
@end

@implementation FooInt
-(int) print{
    return 5;
}
@end

@interface FooFloat:NSObject{}
-(float) print;
@end

@implementation FooFloat
-(float) print{
    return 3.3;
}
@end

int main (int argc, const char * argv[]) {

    NSAutoreleasePool * pool = [[NSAutoreleasePool alloc] init];    
    id f1=[[FooFloat alloc]init];
    //prints 0, runtime considers [f1 print] to return int, as f1's type is "id" and FooInt precedes FooBar
    NSLog(@"%f",[f1 print]);

    FooFloat* f2=[[FooFloat alloc]init];
    //prints 3.3 expectedly as the static type is FooFloat
    NSLog(@"%f",[f2 print]);

    [f1 release];
    [f2 release]
    [pool drain];

    return 0;
}