当你新建一个类的时候， Xcode 会自动给你写上以下代码。
#import <Foundation/Foundation.h>
@interface Car : NSObject
@end
#import "Car.h"
@implementation Car
@end
Objective-C 编译器指令是以 @ 打头，它通常用来描述文件中的内容。.h 文件中 @interface 指令用来标识文件的接口代码的起始位置，而 @end 指令标示该段的结束位置。在 .m 文件中，@implementation 指令用来标识实现的起始位置，@end 标识结束位置
@interface 用于定义类的公共接口，通常，接口被称为 API（application programming interface）而真正使对象能够运行的代码，位于 @implementation 中。
当我们要给一个 Car 类声明一个发动机属性的时候，如果对外公开，则代码为
#import <Foundation/Foundation.h>
@interface Car : NSObject
@property (nonatomic, strong) Engine *engine;
@end
如果不对外公开，则在 .m 里的代码为
@interface Car ()
@property (nonatomic, strong) Engine *engine;
@end
@interface Car () 看起来和 .h 里的 @interface Car : NSObject 很像，其实 @interface Car () 是一个特殊的匿名 Category，即扩展（extension）。
类别（Category）是一种为现有的类添加新方法的方式。
利用 Objective-C 的动态运行时分配机制，Category 提供了一种比继承（inheritance）更为简洁的方法来对 class 进行扩展，无需创建对象类的子类就能为现有的类添加新方法，可以为任何已经存在的 class 添加方法，包括那些没有源代码的类（如某些框架类），申明的方法不需要在 @implementation 里实现。
但 Category 无法向类中添加新的实例变量，类别没有空间容纳实例变量。（也有一些技术可以克服类别无法增加新实例变量的局限。例如，使用全局字典来存储对象与你想要关联的额外变量之间的映射。）
而 extension 可以添加新的实例变量
@property 是以 @ 开头，所以它也是 Objective—C 编译器指令，用于声明属性，并为它自动创建一个带下划线的实例变量，及实例变量的 setter 和 getter 方法。
而直接声明实例变量的写法，即
@interface Car () {
Engine *_engine;
}
@end
和
@implementation Car {
Engine *_engine;
}
@end
从语法上说它们等效。
如果只是声明一个 @implementation 里需要用到的全局变量，自然是放在 @implementation 里声明，但如果是声明一个不对外公开的属性呢，比如 engine，既然是属性，好像是需要在 extension 里声明，但如果我使用 _engine 来访问成员变量，则并不会用到它的 setter 和 getter 方法。如果我使用点语法来访问成员变量呢，点语法其实是调用了 getter 方法 [Car engine]，而这种默认的隐藏在代码中多了，会影响代码的阅读和维护。
但 engine 明明是 Car 的一个属性，却声明在 @implementation 里作为一个变量，其实实例变量也是这个对象的构成元素，和属性除了名字并没有涵义上的区别。所以在 @implementation 里声明的变量也是这个对象的属性，只是为了区分两种声明方式的叫法不同而已。
另一个用 @property 和 @implementation 声明属性的区别就是，@property 可以给属性添加属性标识符，即 assign，copy，weak，strong，nonatomic，但其实大部分的属性标识符都有对应的所有权修饰符，assign 对应 __unsafe_unretained，copy 对应 __strong 修饰符（但 copy 赋值的是被复制的对象），strong 对应 __strong，weak 对应 __weak。id 和对象类型在没有明确指定所有权修饰符时，默认为 __strong 修饰符，而 @property 声明属性的默认属性标识符为 readwrite，assign, atomic。atomic 的确没有对应的所有权修饰符，id 和对象类型自然是没有原子性的，在 iOS 开发，除非特殊需要，我们都会给属性标识符添加 nonatomic，所以在这点上，@property 和 @implementation 声明属性倒是没什么区别。
在 @interface 里使用 @property 声明属性的时候，如果属性类型为 NSString ，它的属性标识符是需要添加 copy 的，原因就在与，设置方法的新值有可能指向一个 NSMutableString 类的实例，那么设置完属性之后，字符串的值就可能会在对象不知情的情况下遭人更改，那在 @implementation 里声明一个 NSString 会不会有这个顾虑呢？copy 不是简单的赋值，对应的 __strong 并不会通过 copyWithZone: 方法复制赋值源所生产的对象，所以 @implementation 里声明的 NSString 没有 copy 作用的修饰符，但在 @implementation 里声明即这个属性是不对外公开的，即不会被其它对象直接修改这个属性，那你既然声明了一个 NSString 类型的属性，自然用意就是使用一个不可变的字符串，自然自己不会去修改它，如果你无意中修改了它，我只能说这是你的代码写错了。所以不需要使用 copy 作用的修饰符。同理，在 extension 里使用 @property 声明 NSString，也是不需要 copy 属性标识符的。所以 NSString 在 @implementation 里声明并不会有所影响。
总结
在 @implementation 里声明并没有缺点，但在 extension 里使用 @property 声明属性，会有不带来价值的隐藏代码，以及 _engine 比 self.engine 更简短易读，最后还有可以避免在 init 和 dealloc 中会去调用 self.engine。（这是一件比较危险的事情。）
参考资料
《iOS与OS X多线程和内存管理》
《Objective-C基础教程（第二版）》
