iOS开发~Objective-C新特性

概要

WWDC 2015 推出和开源 Swift 2.0，Swift作为全新的开发语言，有很多新特性。而Swift可以与混编，所以Objective-C也增加了一些新特性与Swift同步 （ransparently interoperates）。虽然将来有一天Objective-C可能会被Swift取代，但就目前来说，Objective-C还是主流，原因是Swift还处于成长期。下面将介绍三个主要的新特性：

Nullability

Lightweight Generics

__kindof

Nullability

（官网：In previous Xcode releases, some Apple frameworks had been specially audited so that their API would show up with proper Swift optionals. Xcode 6.3 supports this for your own code with a new Objective-C language feature: nullability annotations）

Nullability特性不是Xcode7才有的，从Xcode6.3的发布，新版的Clang引入了一些关键字：

__nullable / nullable：标示指针可以为nil或NULL

__nonnull / nonnull：标示指针不应该为nil，如果传一个nil值给指针，会收到编译器警告

__null_unspecified / null_unspecified：未标示指针是否为nil（使用场景较少）

null_resettable：专门用来修饰属性的，标示该属性即使不赋值，也会有一个系统的默认值，不会为nil

其中__nullable与nullable有无下划线和__strong与strong、__weak与weak有无下划线道理相似（修饰属性用strong，修饰变量用__strong），但使用时摆放位置没有const关键字那么严谨：

（顺便回忆一下const：

int const aVar =10;

const int bVar =20;

const intconst cVar =30;

都代表什么意思）

例如：

+ (void)friendWithName:(__nonnull NSString *)name {
    return;
}

+ (void)friendWithNameEx:(NSString * __nonnull)name {
    return;
}

是没有区别的，然后通常还可以省略掉关键字前边的两个下划线，例如：

+ (nullable NSString *)friendWithName:(nonnull NSString *)name {
    return @"Jim";
}

之前在使用一个指针的时候，常用的办法是断言和异常来判断指针是否为nil，现在有了Nullability特性之后，在编译阶段就能更优雅的解决这个问题，例如方法需要一个部位nil的参数，如果执意给方法传递一个nil的参数，编译器会发出警告。

+ (nullable NSString *)friendWithName:(nonnull NSString *)name {
    return nil;
}

这样调用

[ViewController friendWithName:nil];

会有一个警告： Null passed to a callee that requires a non-null argument，意思是name形参不能传nil。

那么nonnull已经明白了，nullable就很好理解了，允许指针为nil。null_unspecified代表不标示指针是否为nil，用的很少，因为实际开发中建议明确标示指针是否可以为nil，但如果每个指针都要明确标示是否为nil，那显然是体力活，为了解决这个问题，出现了审查区域的概念（Audited Regions）。

例如：

NS_ASSUME_NONNULL_BEGIN

@interface ViewController : UIViewController

@property (nonatomic, strong) NSDictionary *sark;

@end

NS_ASSUME_NONNULL_END

这样使用，就会出现警告了，

self.sark = nil;

NS_ASSUME_NONNULL_BEGIN …… NS_ASSUME_NONNULL_END 表明此此区间的类的header文件中，所有属性都不为nil，不在需要明确指定：

@property (nonatomic, strong, nonnull) NSDictionary *sark;

下面再来说说 null_resettable特性，专门用来修饰属性的，如果不指定属性的值，系统会给一个默认的值，保证此属性不为nil，SDK中使用到此特性的地方有：

UIViewController的view属性：

@property(null_resettable, nonatomic,strong) UIView *view; // The getter first invokes [self loadView] if the view hasn't been set yet. Subclasses must call super if they override the setter or getter.

意思就是说，及时ViewController中你不重写loadView方法，而直接使用self.view属性的时候，view属性的get方法会调用[self loadView]方法，来初始化view。

类似的还有

@property(null_resettable, nonatomic, strong) UIColor *tintColor NS_AVAILABLE_IOS(7_0);

总结：Nullability在编译器层面提供了空值的类型检查，在类型不符时给出 warning，方便开发者第一时间发现潜在问题，还有一些需要注意的问题，建议去看官网，而不要去看个人的理解或官网翻译版本

Lightweight Generics

以前容器对象（NSArray、NSDictionary）对其中的对象类型没有限制，现在有了泛型之后，终于可以解决这个问题了，带泛型的容器：

    NSArray<NSString *> *stringArray = @[@"a", @"b", @"c"];
    NSLog(@"%lu", stringArray.firstObject.length);
    
    NSMutableDictionary <NSString *, NSString *> *stringDic = [NSMutableDictionary dictionaryWithObject:@"a" forKey:@"key_a"];
    
    [stringDic setObject:@"b" forKey:@"key_b"];
    [stringDic setObject:@3 forKey:@"key_c"]; //将会收到编译器警告

进一步研究，看看 NSArray头文件：

NS_ASSUME_NONNULL_BEGIN

@interface NSArray<__covariant ObjectType> : NSObject <NSCopying, NSMutableCopying, NSSecureCoding, NSFastEnumeration>

@property (readonly) NSUInteger count;
- (ObjectType)objectAtIndex:(NSUInteger)index;
- (instancetype)init NS_DESIGNATED_INITIALIZER;
- (instancetype)initWithObjects:(const ObjectType [])objects count:(NSUInteger)cnt NS_DESIGNATED_INITIALIZER;
- (nullable instancetype)initWithCoder:(NSCoder *)aDecoder NS_DESIGNATED_INITIALIZER;

@end
@interface NSArray<ObjectType> (NSExtendedArray)

- (NSArray<ObjectType> *)arrayByAddingObject:(ObjectType)anObject;
…
@end

…

NS_ASSUME_NONNULL_END

参考NSArray的头文件，我们不难写出自定义泛型类，但这里有一些细节问题需要注意，首先__covariant这个关键字眼生的很，了解__covariant之前先回忆一下以下代码：

    NSArray<NSString *> *stringArray = @[@"a", @"b", @"c"];
    NSArray<NSMutableString *> *mutStringArray = @[[@"a" mutableCopy], [@"b" mutableCopy]];
    stringArray = mutStringArray; //没问题
//    mutStringArray = stringArray; 会有警告，最基本的C面试题了

对了，强制类型转换，泛型也涉及到强制类型转换问题，NSArray<__covariant ObjectType>，其中__covariant关键字就是表达可以 stringArray = mutStringArray，假如这样定义数组NSArray<ObjectType>，那stringArray = mutStringArray也会有警告（可以自定义类实现泛型验证），与__covariant对应的是__contravariant，如果这样定义数组NSArray<__contravariant ObjectType>，那么mutStringArray = stringArray;也不会有警告了，但这明显不合理。关于__covariant与__contravariant就不翻译了（有时候翻译真不如英文原版）

注1：参考NSDictionary头文件定义，来思考多参数泛型实现。

注2：如果不指定泛型类型，默认为id类型，OC的id指针与其他指针的类型转换规则…省略100字…

__kindof

NSObject类头文件定义中有一个常用的方法：

- (BOOL)isKindOfClass:(Class)aClass;

判断某对象是否是某类型或其子类型。

下面看UIView的subviews属性：

@property (nonatomic, readonly, copy) NSArray<__kindof UIView *> *subviews;

表明subviews数组中的对象类型是UIView类型或UIView子类型

__kindof关键字的好处在于更加明确了以前id类型无法清晰表达的短板，例如：

- (nullable __kindof UITableViewCell *)dequeueReusableCellWithIdentifier:(NSString *)identifier;  // Used by the delegate to acquire an already allocated cell, in lieu of allocating a new one.

表明方法返回的是UITableViewCell或其子类型，比以前的id类型更清晰，更明确。