如果您熟悉 ANSI C，那么下述信息应该能帮助您学习 Objective-C 的基本语法。如果您使用其他面向对象程序设计语言进行过编程，您会发现许多传统的面向对象概念，例如封装、继承、多态，都出现在 Objective-C 中。如果您不熟悉 ANSI C，在尝试阅读此文章时，最好先阅读一下 C 语言的概述。

Objective-C 语言在《The Objective-C Programming Language》（Objective-C 程序设计语言）中有完整说明。

Objective-C 是 C 语言的超集

Objective-C 程序设计语言采用特定的语法，来定义类和方法、调用对象的方法、动态地扩展类，以及创建编程接口，来解决具体问题。Objective-C 作为 C 程序设计语言的超集，支持与 C 相同的基本语法。您会看到所有熟悉的元素，例如基本类型（int、float 等）、结构、函数、指针，以及流程控制结构，如 if...else 语句和 for 语句。您还可以访问标准 C 库例程，例如在 stdlib.h 和 stdio.h 中声明的那些例程。

Objective-C 为 ANSI C 添加了下述语法和功能：

• 定义新的类

• 类和实例方法

• 方法调用（称为发消息）

• 属性声明（以及通过它们自动合成存取方法）

• 静态和动态类型化

• 块 (block)，已封装的、可在任何时候执行的多段代码

• 基本语言的扩展，例如协议和类别

如果您现在还不太熟悉 Objective-C 的这些方面，也不必担心。随着您读完这篇文章的剩余部分，将会逐渐了解它们。如果您是过程化程序开发人员，不懂面向对象的概念，那么先将对象从本质上视为具有关联函数的结构，可能会有助于理解。这个概念与事实差不多，特别是在运行时实现方面。

除了提供在其他面向对象语言中已有的多数抽象和机制之外，Objective-C 还是一种非常动态的程序设计语言，而且这种动态是其最大优势。这种动态体现在它允许在运行应用程序时（即运行时）才去确定其行为，而不是在生成期间就已固定下来。因此，Objective-C 的动态机制让程序免受约束（编译和链接程序时施加的约束）；进而在用户控制下，将大多数符号解析责任转移到运行时。

类和对象

如同其他大多数面向对象语言那样，Objective-C 中的类支持数据的封装，并定义对这些数据执行的操作。对象是类的运行时实例。它包含自己的实例变量（由其类声明）的内存副本，以及类方法的指针。您可以采用两步法（称为分配和初始化）创建对象。

Objective-C 中某个类的规格需要两个不同的部分：接口和实现。接口部分包含类声明，并定义该类的公共接口。如同 C 代码那样，您定义头文件和源代码文件，将公共声明与代码的实现细节分开。（如果其他声明是编程接口的一部分，并且打算专有，您可以将它们放在实现文件中。）这些文件的文件扩展名，列在下表中。

当您想要在源代码中包括头文件时，请在头文件或源文件的前几行之中，指定一个导入 (#import) 指令，#import 指令类似于 C 的 #include 指令，不过前者确保同一文件只被包括一次。如果您要导入框架的大部分或所有头文件，请导入框架的包罗头文件 (umbrella header file)，它具有与框架相同的名称。导入（假设的）Gizmo 框架的头文件的语法是：

#import <Gizmo/Gizmo.h>

下列框图中的语法声明名为 MyClass 的类，它是从基础类（或根类）NSObject 继承而来的。（根类是供其他类直接或间接继承的类。）类声明以编译器指令 @interface 开始，以 @end 指令结束。类名称后面（以冒号分隔），是父类的名称。在 Objective-C 中，一个类只能有一个父类。

在 @interface 指令和 @end 指令之间，编写属性和方法的声明。这些声明组成了类的公共接口。（已声明的属性在“已声明的属性和存取方法”中有介绍。）分号标记每个属性和方法声明的结尾。如果类具有与其公共接口相关的自定函数、常量或数据类型，请将它们的声明放在 @interface ...@end 块之外。

类实现的语法与类接口文件类似。它以 @implementation 编译器指令开始（接着是该类的名称），以 @end 指令结束。中间是方法实现。（函数实现应在 @implementation ...@end 块之外。）一个实现应该总是将导入它的接口文件作为代码的第一行。

#import "MyClass.h"

@implementation MyClass

- (id)initWithString:(NSString *)aName

{

    // code goes here

}

+ (MyClass *)myClassWithString:(NSString *)aName

{

    // code goes here

}

@end

对于包含对象的变量，Objective-C 既支持动态类型化，也支持静态类型化。静态类型化的变量，要在变量类型声明中包括类名称。动态类型化的变量，则要给对象使用类型 id。您会发现在某些情况下，会需要使用动态类型化的变量。例如，集 (collection) 对象，如数组，在它包含对象的类型未知的情况下，可能会使用动态类型化的变量。此类变量提供了极大的灵活性，也让 Objective-C 程序拥有了更强大的活力。

下面的例子，展示了静态类型化和动态类型化的变量声明：

MyClass *myObject1;  // Static typing

id       myObject2;  // Dynamic typing

NSString *userName;  // From Your First iOS App (static typing)

请注意第一个声明中的星号 (*)。在 Objective-C 中，执行对象引用的只能是指针。如果您还不能完全理解这个要求，不用担心。并非一定要成为指针专家才能开始 Objective-C 编程。只需要记住，在静态类型化的对象的声明中，变量的名称前面应放置一个星号。id 类型意味着一个指针。

方法和发消息

如果您不熟悉面向对象编程，则将方法想像成一个规范特定对象的函数，可能会有所帮助。通过将一则消息发送到——或发消息给——一个对象，您可调用该对象的一个方法。Objective-C 中有两种类型的方法：实例方法和类方法。

• 实例方法，由类的实例来执行。换言之，在调用实例方法之前，必须先创建该类的实例。实例方法是最常见的方法类型。

• 类方法，可由它所在的类直接执行。它不需要对象的实例作为消息的接收者。

方法声明包含方法类型标识符、返回类型、一个或多个签名关键词，以及参数类型和名称信息。以下是 insertObject:atIndex: 实例方法的声明。

对于实例方法，声明前面是减号 (-)；对于类方法，对应指示器是加号 (+)。下面的“类方法”将详细介绍类方法。

一个方法的实际名称 (insertObject:atIndex:) 是包括冒号字符在内的所有签名关键词的串联。冒号字符表明有参数存在。在上述示例中，该方法采用两个参数。如果方法没有参数，则省略第一个（也是仅有的一个）签名关键词后面的冒号。

当您想要调用一个方法时，通过给实施该方法的对象发送一则消息来实现。（虽然“发送消息”常可与“调用方法”互换，但实际上，Objective-C 在运行时才会执行实际地发送。）消息包含方法名称，以及方法所需的参数信息（类型要匹配）。您发送到一个对象的所有消息，都被动态地分派，这样使 Objective-C 类的多态行为更加容易。（多态性是指不同类型的对象响应同一消息的能力。）有时被调用的方法，是由接收消息对象的类之超类来实现。

要分派消息，运行时需要一个消息表达式。消息表达式使用方括号（[ 和 ]）将消息本身（以及任何所需参数）括起来，同时将接收消息的对象放在最左边方括号右侧。例如，要将 insertObject:atIndex: 消息发送给 myArray 变量保存的对象，您会使用以下语法：

[myArray insertObject:anObject atIndex:0];

为避免声明大量局部变量来储存临时结果，Objective-C 让您嵌套消息表达式。每个嵌套表达式的返回值，都用作另一个消息的一个参数或接收对象。例如，可以将上个示例中使用的任何变量替换为取回值的消息。因此，如果您具有另一个名为 myAppObject 的对象，并且此对象具有访问数组对象的方法以及要插入数组的对象，则可以将上个示例编写为如下形式：

[[myAppObject theArray] insertObject:[myAppObject objectToInsert] atIndex:0];

Objective-C 还提供用于调用存取方法的点记法语法。存取方法获取并设定对象的状态，因此对于封装很重要，是所有对象的重要功能。对象隐藏或封装其状态，并显示接口，该接口是访问该状态的所有实例都通用的。使用点记法语法，您可以将上个示例重新编写为如下形式：

[myAppObject.theArray insertObject:myAppObject.objectToInsert atIndex:0];

您还可以使用点记法语法进行赋值：

myAppObject.theArray = aNewArray;

此语法只是编写 [myAppObject setTheArray:aNewArray]; 的另一种方式。在点记法表达式中，您不能使用对动态类型化的对象（类型为 id 的对象）的引用。

在“您的首个 iOS 应用程序”中，您已经使用点语法来进行变量赋值：

self.userName = self.textField.text;

类方法

尽管前几个示例将消息发送到了类的实例，但您也可以将消息发送到类本身。（类是运行时创建的、类型为 Class 的对象。）向类发送消息时，您指定的方法必须定义为类方法，而非实例方法。类方法是一种功能，类似于 C++ 中的静态类方法。

您通常这样使用类方法：要么将类方法用作工厂方法创建类的新实例，要么访问与该类关联的一些共享信息。类方法声明的语法，与实例方法声明的语法相同，只是方法类型标识符使用加号 (+)，而非减号。

以下示例说明如何将类方法用作类的工厂方法。在这种情况下，array 方法是 NSArray 类上的类方法——被 NSMutableArray 继承——它分配并初始化类的新实例，并将其返回给您的代码。

NSMutableArray *myArray = nil;  // nil is essentially the same as NULL

// Create a new array and assign it to the myArray variable.

myArray = [NSMutableArray array];

已声明的属性和存取方法

属性通常是指某些由对象封装或储存的数据。它可以是标志（如名称或颜色），也可以是与一个或多个其他对象的关系。一个对象的类定义一个接口，该接口使其对象的用户能获取并设定所封装属性的值。执行这些操作的方法，称为存取方法。

存取方法有两种类型，每个方法都必须符合命名约定。“getter”存取方法返回属性的值，且名称与属性相同。“setter”存取方法设定属性的新值，且形式为 setPropertyName:，其中属性名称的第一个字母大写。正确命名的存取方法是 Cocoa 和 Cocoa Touch 框架的多种技术的关键元素，如键－值编码 (KVC)，它的机制是，通过对象的名称间接访问对象的属性。

Objective-C 提供已声明的属性作为一种方便的写法，用于存取方法的声明和实现。在“您的首个 iOS 应用程序”中，您声明了 userName 属性：

@property (nonatomic, copy) NSString *userName;

使用已声明的属性后，就不必为该类中用到的每个属性实现 getter 和 setter 方法。而是使用属性声明，指定您想要的行为。编译器接着可以根据该声明，创建或合成实际的 getter 和 setter 方法。已声明的属性减少了您必须编写的样板文件代码量，因此使代码更简洁、更少机会出错。使用已声明的属性或存取方法，来获取和设定各项对象状态。

您在类接口中包括方法声明和属性声明。您在类的头文件中声明公共属性；而在源文件的类扩展中声明专有属性。（有关类扩展的简短说明及其示例，请参阅“协议和类别”。）控制器对象（如委托和视图控制器）的属性通常应该为专有的。

属性的基本声明使用 @property 编译器指令，后面紧跟属性的类型信息和名称。您还可以使用自定选项来配置属性，以定义存取方法如何表现、属性是否为弱引用，以及是否为只读。选项位于圆括号中，前面是 @property 指令。

以下代码行说明了更多的属性声明：

@property (copy) MyModelObject *theObject;  // Copy the object during assignment.

@property (readonly) NSView *rootView;      // Declare only a getter method.

@property (weak) id delegate;               // Declare delegate as a weak reference

编译器自动合成所声明的属性。在合成属性时，它创建自己的存取方法，以及“支持”该属性的专有实例变量。实例变量的名称与属性的名称相同，但具有下划线前缀 (_)。只有在对象初始化和取消分配的方法中，您的应用程序应该直接访问实例变量（而不是其属性）。

如果您想要让实例变量采用不同名称，可以绕过自动合成，并明确地合成属性。在类实现中使用 @synthesize 编译器指令，让编译器产生存取方法，以及进行特殊命名的实例变量。例如：

@synthesize enabled = _isEnabled;

同时，在声明属性时，您可以指定存取方法的自定名称，通常是使 Boolean 属性的 getter 方法遵循约定形式，如下所示：

@property (assign, getter=isEnabled) BOOL enabled; // Assign new value, change name of getter method

块

块是封装工作单元的对象，即可在任何时间执行的代码段。它们在本质上是可移植的匿名函数，可作为方法和函数的参数传入，或可从方法和函数中返回。块本身具有一个已类型化的参数列表，且可能具有推断或声明的返回类型。您还可以将块赋值给变量，然后像调用函数一样调用它。

插入符号 (^) 是用作块的语法标记。块的参数、返回值和正文（即执行的代码）存在其他类似的语法约定。下图解释了该语法，尤其是在将块赋值给变量时。

您接着可以调用块变量，就像它是一个函数一样：

int result = myBlock(4); // result is 28

块共享局部词法作用范围内的数据。块的这项特征非常有用，因为如果您实现一个方法，并且该方法定义一个块，则该块可以访问该方法的局部变量和参数（包括堆栈变量），以及函数和全局变量（包括实例变量）。这种访问是只读的，但如果使用 __block 修饰符声明变量，则可在块内更改其值。即使包含有块的方法或函数已返回，并且其局部作用范围已销毁，但是只要存在对该块的引用，局部变量仍作为块对象的一部分继续存在。

作为方法或函数参数时，块可用作回调。被调用时，方法或函数执行部分工作，并在适当时刻，通过块回调正在调用的代码，以从中请求附加信息，或获取程序特定行为。块使调用方在调用时能够提供回调代码。块从相同的词法作用范围内采集数据（就像宿主方法或函数所做的那样），而非将所需数据打包在“关联”结构中。由于块代码无需在单独的方法或函数中实现，您的实施代码会更简单且更容易理解。

Objective-C 框架具有许多含块参数的方法。例如，Foundation 框架的 NSNotificationCenter 类声明以下方法，该方法具有一个块参数：

- (id)addObserverForName:(NSString *)name object:(id)obj queue:(NSOperationQueue *)queue usingBlock:(void (^)(NSNotification *note))block

此方法将一个观察者添加到通知中心（通知在“采用设计模式使您的应用程序合理化”中有介绍）。指定名称的一则通知发布时，块被调用以处理该通知。

    opQ = [[NSOperationQueue alloc] init];

    [[NSNotificationCenter defaultCenter] addObserverForName:@"CustomOperationCompleted"

             object:nil queue:opQ

        usingBlock:^(NSNotification *notif) {

        // handle the notification

    }];

协议和类别

协议可声明由任何类实施的方法，即使实施该协议的那些类没有共同的超类。协议方法定义了独立于任何特定类的行为。协议简单定义了一个由其他类负责实现的接口。当您的类实施了一个协议的方法时，就是说您的类符合该协议。

从实践角度而言，一个协议定义了一列方法，这些方法在对象之间建立合约，而无需那些对象成为任何特定类的实例。此合约使那些对象能够相互通信。一个对象想要告知另一个对象它遇到的事件，或者它可能想要寻求有关那些事件的建议。

UIApplication 类实现一个应用程序必需的行为。UIApplication 类不是强制您对 UIApplication 进行子类化，来接收有关应用程序当前状态的简单通知，而是通过调用指定给它的委托对象的特定方法，为您传送那些通知。实施 UIApplicationDelegate 协议的对象，可以接收那些通知，并提供适当的响应。

在接口块中，您指定您的类符合或采用一个协议，方法是将该协议的名称，放在尖括号 (<...>) 中，并且放在它继承的类的名称后面。在“您的首个 iOS 应用程序”中，您指明了采用 UITextFieldDelegate 协议，代码行如下：

@interface HelloWorldViewController :UIViewController <UITextFieldDelegate> {

您无需声明所实现的协议方法。

协议的声明，看起来类似于类接口的声明，只是协议没有父类，并且不定义实例变量（尽管它们可以声明属性）。以下示例展示使用一个方法进行一个简单的协议声明：

@protocol MyProtocol

- (void)myProtocolMethod;

@end

对于许多委托协议来说，采用一个协议仅仅是实现该协议定义的方法。有些协议要求您明确地声明支持该协议，而协议可以指定必需方法和可选方法。

当您开始探索 Objective-C 框架的头文件时，将很快遇到如下的代码行：

@interface NSDate (NSDateCreation)

这行代码通过使用圆括号将类别名称括起来的语法约定，声明了该类别。类别是 Objective-C 语言的一项功能，可让您扩展类的接口，而无需对类进行子类化。类别中的方法成为类类型的一部分（在程序的作用范围内），而这些方法由类的所有子类继承。您可以将消息发送给类（或其子类）的任何实例，以调用在类别中定义的方法。

您可以将类别用作一种手段，来对头文件内的相关方法声明进行分组。您甚至还可以将不同的类别声明放在不同的头文件中。框架在其所有头文件中使用这些技巧，来达到清晰明确。

您还可以使用称为类扩展的匿名类别，在实现 (.m) 文件中声明专有属性和专有方法。类扩展看起来类似于类别，只是圆括号之间没有文本。例如，以下是一个典型的类扩展：

@interface MyAppDelegate ()

@property (strong) MyDataObject *data;

@end

已定义的类型和编码策略

Objective-C 有几个不能用作变量名称的术语，保留用于特殊用途。其中部分术语是以 @ 符号为前缀的编译器指令，如 @interface 和 @end。其他保留的术语，包括已定义的类型以及与这些类型相配的字面常量。Objective-C 使用很多已定义的类型和字面常量，这些却不会出现在 ANSI C 中。在某些情况下，这些类型和字面常量替换 ANSI C 相应的类型和字面常量。下表介绍几种重要类型，包括每种类型的允许字面常量。

在错误检查和控制流代码中，通常使用已定义类型和字面常量。在程序的控制流语句中，您可以测试合适的字面常量，来确定如何继续。例如：

NSDate *dateOfHire = [employee dateOfHire];

if (dateOfHire != nil) {

    // handle this case

}

解释一下此代码，如果表示雇用日期的对象不是 nil（换言之，如果它是一个有效对象），则逻辑在某个方向继续。以下是执行相同分支的简写形式：

NSDate *dateOfHire = [employee dateOfHire];

if (dateOfHire) {

    // handle this case

}

您甚至可以进一步减少代码行数（假设无需引用 dateOfHire 对象）：

if ([employee dateOfHire]) {

    // handle this case

}

您可采用大体相同方式，来处理 Boolean 值。在下面的示例中，isEqual: 方法返回一个 Boolean 值。

BOOL equal = [objectA isEqual:objectB];

if (equal == YES) {

    // handle this case

}

您可以采用与测试是否存在 nil 的代码相同的方式，来缩短此代码。

在 Objective-C 中，您可以将消息发送到 nil，而没有副作用。事实上，完全没有影响，只是如果方法应该返回一个对象，运行时就会返回 nil。只要返回的内容类型化为一个对象，即可保证发送给 nil 的消息的返回值正常运行。

Objective-C 中其他两个重要的保留术语，是 self 和 super。第一个术语 self 是可在消息实现内使用的局部变量，用于引用当前对象；它等同于 C++ 中的 this。您可以用保留字 super 替换 self，但在消息表达式中，只能作为接收者。如果您将消息发送到 self，运行时先在当前对象的类中查找方法实现；如果在那里找不到方法，则在其超类中查找（依此类推）。如果您将消息发送到 super，运行时先在超类中查找方法实现。

self 和 super 的主要用途，都是发送消息。当要调用的方法是由 self 的类实现时，您将消息发送到 self。例如：

[self doSomeWork];

self 还用于点记法，用于调用由已声明属性合成的存取方法。例如：

NSString *theName = self.name;

在继承自超类的方法的覆盖（即重新实现）中，通常将消息发送到 super。在这种情况下，被调用方法与被覆盖方法的签名，都是相同的。