Objective-C-三大新特性

支持原创,原文地址:www.KentonYu.com

Nullability

Nullability其实在Xcode6.3里就已经出现了。

 @property (nonatomic, copy, nonnull) NSString *str;
 @property (nonatomic, copy, readonly, nullable) NSArray *arr;
 + (nullable NSString *)confirmWithString:(nonnull NSString *)str;

上面的两个属性和一个方法的声明中添加了 <code>nonnull</code> 和 <code>nullable</code> ,很明显,前者是不可空,后者是可空的意思。
当然在给变量添加修饰时,就能在前面加上两个下划线了,就如 <code> __nullable </code> 一样。例:

       @interface TestClass() {
          NSString * __nullable str;
       }

除此之外还有一个 <code>null_resettable</code> ,它意思是setter nullable,但是 getter nonnull。简单来说就是可以赋值为nil,但是你获取的值必定不是nil。

在代码里重复写nonnull一定是一件非常蛋疼的事情,毕竟coding的原则是DRY,所以 <code> NS_ASSUME_NONNULL_BEGIN </code> , <code> NS_ASSUME_NONNULL_END </code> 这对宏就出现了。它的意思是把它们之间的对象都设置为nonnull,如果是nullable,那么我们得显式声明下。

     NS_ASSUME_NONNULL_BEGIN
     @interface TestClass : NSObject
     @property (nonatomic, copy, nullable) NSString *str;
     @property (nonatomic, copy) NSArray *arr;
     - (nullable NSString *)getString;
     @end
     NS_ASSUME_NONNULL_END

Nullability 在编译器层面提供了空值的类型检查,在类型不符时给出 warning,方便开发者第一时间发现潜在问题。不过我想更大的意义在于能够更加清楚的描述接口,是主调者和被调者间的一个协议,比多少句文档描述都来得清晰。

Lightweight Generics

Lightweight Generics 轻量级泛型,轻量是因为这是个纯编译器的语法支持(llvm 7.0),和 Nullability 一样,没有借助任何 objc runtime 的升级,也就是说,这个新语法在 Xcode 7 上可以使用且完全向下兼容(更低的 iOS 版本)

看到上面对 Lightweight Generics 的描述,是不是特别爽,以后可以用泛型拉!泛型拉!!泛型拉!!!因为之前学过用C#写web,超级享受泛型带来的代码智能提醒。那么Objective-C的泛型会不会带来这种体验,Let's try it!

类ClassOne

   @interface ClassOne : NSObject
   @property (nonatomic, copy) NSString *classOneDes;
   @end

ViewController

   @interface ViewController ()
   @property (nonatomic, strong) NSMutableArray<ClassOne *> *testArr;
   @end
智能提醒

竟然真的支持智能提醒!!爽的不要不要的。再也不用担心强转了!!!!

竟然在取值有智能提醒了,那么在赋值时,会不会有提醒呢?仍旧是上面的属性:

  [self.testArr addObject:<#(nonnull ClassOne *)#>]

提示我们 <code>self.testArr</code>中必须是添加一个 <code>ClassOne</code>对象。假设我们添加一个NSString:

   [self.testArr addObject:@"1"];

接着,编译器出现警告啦。


警告

其实泛型和之前的 Nullability最重要的作用是丰富了接口描述信息,例如

   @property (readonly) NSArray<NSString *> *imageURLs;
   @property (readonly) NSArray<NSURL *> *avatarURLs;

这样就可以描述清楚 imageURLs 存的是NSString,而 avatarURLs 存的则是 NSURL 。

在Objective-C中常用的容器类型都增加了泛型支持,甚至连 NSEnumerator 都支持了。那么我们是否可以自定义泛型类呢???try try try。

我们先看一下NSArray的头文件定义的属性:

  @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

NSArray的头文件中,多了一个 ObjectType ,从字面意思来讲是对象类型,在NSArray中声明的方法中也使用到了 ObjectType ,猜测它的作用类似C#泛型中的 T
那么我们来验证下,按照NSArray的定义方式来自定义一个容器类。

  @interface Container <ObjectType> : NSObject
  - (void)pushObject:(ObjectType)object;
  - (ObjectType)popObject;
  @property (nonatomic, readonly) NSArray<ObjectType> *allObjects;
  @end

定义这样一个头文件,并实现。然后我们尝试使用这个自定义泛型类。

  @interface ViewController ()
  @property (nonatomic, strong) Contanier<NSString *> *contanier;
  @end
哇塞,可以,可以

的确,可以实现自定义泛型,具体的使用,大家可以尝试下。
自定义泛型类中的 ObjectType 在 @interface 和 @end 区间的作用域有效,可以把它作为入参、出参、甚至内部 NSArray 属性的泛型类型。

大家一定看到了 NSArray 的头文件中ObjectType前面有一个 <code> __covariant </code> 修饰符,那么这个是什么意思呢?
不指定泛型类型的 Stack 可以和任意泛型类型转化,但指定了泛型类型后,两个不同类型间是不可以强转的,假如你希望主动控制转化关系,就需要使用泛型的协变性和逆变性修饰符了:

协变性

__covariant - 协变性,子类型可以强转到父类型。

逆变性

__contravariant - 逆变性,父类型可以强转到子类型。

协变性用的比较多,例如将 NSArray <NSString *> * 类型的对象赋值给 NSArray * ,假设不设置NSArray泛型的协变性那将会导致警告。当然NSArray泛型带有协变性,所以这样转换是没有问题的。

那么逆变性呢?将一个父类型转换成子类型。这是一个具有风险的事情。比如 你将一个NSArray * 的对象赋值给NSArray<NSNumber *> * 对象,很明显,前者的对象中可能是 NSString 类型,这时如果设置具有逆变性,那么赋值将会出现问题。

所以逆变性慎用!!!

__kindof

__kindof 这修饰符还是很实用的,解决了一个长期以来的小痛点,拿原来的 UITableView 的这个方法来说:
<code>- (id)dequeueReusableCellWithIdentifier:(NSString *)identifier;</code>
使用时前面基本会使用 UITableViewCell 子类型的指针来接收返回值,所以这个 API 为了让开发者不必每次都蛋疼的写显式强转,把返回值定义成了 id 类型,而这个 API 实际上的意思是返回一个 UITableViewCell 或 UITableViewCell 子类的实例,于是新的 __kindof 关键字解决了这个问题:
<code>- (__kindof UITableViewCell *)dequeueReusableCellWithIdentifier:(NSString *)identifier;</code>
既明确表明了返回值,又让使用者不必写强转。再举个带泛型的例子,UIView 的 subviews 属性被修改成了:
<code>@property (nonatomic, readonly, copy) NSArray *subviews;</code>
这样,写下面的代码时就没有任何警告了:
<code>
UIButton *button = view.subviews.lastObject;
</code>

References:

推荐阅读更多精彩内容