Objective—C语言的新魅力——Nullability、泛型集合与类型延拓

Objective—C语言的新魅力

一、引言

        在Xcode7中,iOS9的SDK已经全面兼容了Objective-C的一些新特性和新功能。这些功能都只作用于编译期,对程序的运行并没有影响,因此,它可以很好的向下进行兼容,无缝的衔接低版本的iOS系统,那么这些特性有什么样的用处呢,作为开发者,我保证你一定会爱上他们,如果你可以将这些新特性都应用于你的开发,你的开发效率和代码质量,相比之前,会有一个很大的提升。

二、Nullability检测的支持

        在swift语言中,通过!和?可以将对象声明成Optional,用于在开发中标记这个对象是否可以为空。在OC中,以前是没有这样的功能的,因此我们在开发中会经常遇到因为某个函数应该返回实例而返回了空导致的崩溃。Nullability的主要用武之地,就是在这里,它可以起到提示开发者做是否为空得判断的提示。

        打开Xcode7,系统的框架中已经支持了Nullability,如下:

@property (nullable, nonatomic, readonly) ObjectType firstObject;
@property (nullable, nonatomic, readonly) ObjectType lastObject;

这是NSArray中的两个属性,其中nullable关键字说明了这里可能返回空的值。

如果仅仅是在返回值中给开发者一些提示,你可能觉得应用并不大,是的,对开发者最大的帮助是这一特性可以用于函数的参数中,这样我们在调用函数时起到的提示作用,将是非常重要的,越是多人合作的项目,作用也越大。

例如:

-(void)setValue:(NSNumber * _Nonnull )number{
    
}

我们在调用函数时,如果传入了空值,编译器会给我们警告:

注意:

这一特性在Xcode6.3中就已经支持,但在Xcode7中又做了一些写法上的小改动,例如,在Xcode6.3中这样写:

-(void)setValue:( nonnull NSNumber *  )number{
    
}

而在Xcode7中提倡我们使用第一种写法。

与之相关的几个关键字如下:

修饰参数

nonnull:不可为空

nullable: 可以为空

null_unspecified:不确定是否可以为空(极少情况)

在属性的声明中,还会有如下一个修饰符:

null_resettable:set方法可以为nil,get方法不可返回nil

一点提示:

你可以发现,iOS9的SDK中已经完全兼容使用了这些特性,并且nonnull的使用会比nullable广泛的多,因此,系统提供了这样一对宏:

#define NS_ASSUME_NONNULL_BEGIN _Pragma("clang assume_nonnull begin")

#define NS_ASSUME_NONNULL_END   _Pragma("clang assume_nonnull end")

我们在这对宏之间定义的变量都会加上nonnull的修饰符,只有我们特殊声明nullable的才需要手动写。

三、泛型集合的支持

        这一特性和Nullability一样,只作用于编译期,是为我们开发者服务的另一重要特性。还记得,在Xcode7之前,依然是为了方便多人开发,我经常会在框架中写这样的一个空得宏:

在开发时如下使用,做到提示伙伴我这个数组中是什么东西的作用:

@interface ViewController ()
{
    NSArray __TYPE__FIT_TO__CLASS(NSString) *  array;
}
@end

当然,所有这些都是我自己的自导自演,编译器并不会鸟我,我在这个数组中加其他的东西,它也不会介意,所有这些只是我和我的伙伴们约定的一种一厢情愿。所以,当我看到Xcode7中的集合类型时,我着实兴奋了一下。

1、有类型约定的集合

        在Xcode7中,我们可以给集合类型添加一个泛型的约定,如下:

 NSMutableArray<NSString *> *array = [[NSMutableArray alloc]init];

声明了这样一个数组后,就好比我告诉了编译器,这个数组中的数据类型都是NSString*类型的,现在非常好,如果我这个数组中元素的方法,会出现如下的提示:

激动吧,使用点语法可以访问到数组中泛型的方法了,还有更加诱人的:

在我们向这个数组中追加元素的时候,编译器将元素的类型提示了出来,并且将FromArray方法中需要的元素类型也提示了出来。

同样,如果我们向这个数组中追加类型不匹配的元素,如下:

    NSMutableArray<NSString *> *array = [[NSMutableArray alloc]init];
    [array addObject:@1];

编译器会给我们一个这样的警告:

2、关于一个类型通配符

        观察Xcode7中iOS系统的类,我们可以发现这么一个好玩的东西:ObjectType。它既不是一个类型,也不是关键字,然而却大量存在,如下是系统的NSMutableArray的头文件:

@interface NSMutableArray<ObjectType> : NSArray<ObjectType>
- (void)addObject:(ObjectType)anObject;
- (void)insertObject:(ObjectType)anObject atIndex:(NSUInteger)index;
- (void)removeLastObject;
- (void)removeObjectAtIndex:(NSUInteger)index;
- (void)replaceObjectAtIndex:(NSUInteger)index withObject:(ObjectType)anObject;
- (instancetype)init NS_DESIGNATED_INITIALIZER;
- (instancetype)initWithCapacity:(NSUInteger)numItems NS_DESIGNATED_INITIALIZER;
- (nullable instancetype)initWithCoder:(NSCoder *)aDecoder NS_DESIGNATED_INITIALIZER;
@end

这个ObjectType其实只是一个类型标识符,它具体怎么写并不重要,只是系统中都约定使用了ObjectType,你也可以在自己的类中按自己的喜好来命名,这个东西有怎样的用处,我用文字描述不清楚,我们可以通过自己来定义一个集合类来理解:

创建一个类,继承于NSObject,我取名叫MyArray:

//这个类型通配符只能在interfave里使用,作用域为@interface到@end之间
//这里我使用Type来做这个通配符
@interface MyArray<Type> : NSObject
@property(nonatomic,strong,nonnull)NSMutableArray<Type> *array;
-(void)addObject:(nonnull Type)obj;
@end

实现如下:

- (instancetype)init
{
    self = [super init];
    if (self) {
        _array = [[NSMutableArray alloc]init];
    }
    return self;
}
-(void)addObject:(id)obj{
    [_array addObject:obj];
}
-(NSString *)description{
    NSMutableString * str = [[NSMutableString alloc]init];
    for (int i=0; i<_array.count; i++) {
        [str appendString:[NSString stringWithFormat:@"%@\n",_array[i]]];
    }
    return str;
}

我们在使用这个自定义的集合类型时,就会有和系统一样的效果了:

3、关于多参数的泛型集合

        多参数的泛型集合,有一个非常好的例子,就是NSDictionary,在Xcode7中我们可以这样写字典:

可以看到,字典键值的类型编译器为我们提示了出来,结合上面类型通配符的使用,对于多参的集合,将参数类型用“,”隔开即可。

4、协变性与逆变性

        因为有了泛型集合的概念,相比之前,我们的类型实际上更加复杂了,比如还拿我们自定义的集合类型来举例:

    MyArray<NSString *> * array;
    MyArray<NSMutableString *>*muArray;

array和muArray在编译器看来已经是不同的类型,如果我们强行转换,会报如下的警告:

因此,就有了逆变和协变这个概念:

__covariant :子类型指针可以向父类型指针转换

__contravariant:父类型指针可以向子类型转换

上面的情况,我们将自定义的类做如下修改,就不会出现警告:

@interface MyArray<__covariant Type> : NSObject
@property(nonatomic,strong,nonnull)NSMutableArray<Type> *array;
-(void)addObject:(nonnull Type)obj;
@end

四、类型延拓符的应用

        在开发中,开发者经常会遇到这样的情况,例如通过tag获取某些UI控件时,viewWithTag方法通常会返回给我们一个UIView类型的指针,这就需要开发者手动的强转一下,十分麻烦。新增加的__kindof修饰符可以帮助我们解除这个烦恼。我们还从自定义的那个数组类开刀,对其添加一个属性:

@interface MyArray<__covariant Type> : NSObject
@property(nonatomic,strong,nonnull)NSMutableArray<Type> *array;
@property(nonnull,strong,nonatomic)NSMutableArray<UIView *> * viewArray;
-(void)addObject:(nonnull Type)obj;
@end

创建一个自定义的数组对象,并向其中添加一个UIButton,我们会看到有如下一个警告:

这也是我们开发中常遇到的问题,对吧,以前需要强转。但是以后就不需要了,我们在声明这个数组时加上一个__kindof修饰符:

@property(nonnull,strong,nonatomic)NSMutableArray<__kindof UIView *> * viewArray;

警告就消失了,很cool吧。

这个修饰符就是告诉编译器,这里可以返回UIView的子类指针。

五、结语

         虽然这些优点在swift中早有体现,但就我个人而言,我对OC的感情会更深一些,也更加愿意接受OC的改变和成长,大家都说swift的趋势势在必行,我只想说,swift很优秀,OC亦然。

专注技术,热爱生活,交流技术,也做朋友。 ——珲少 QQ群:203317592

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏IT派

两句话轻松掌握 Python 最难知识点

千万不要被所谓"元类是99%的python程序员不会用到的特性"这类的说辞吓住。因为每个中国人,都是天生的元类使用者

17920
来自专栏V站

PHP日期时间函数 :time(),date(),mktime()区别

语法: int checkdate(int month, int day, int year);

28830
来自专栏华仔的技术笔记

编程规范之《招聘一个靠谱的iOS》

33470
来自专栏梧雨北辰的开发录

Python学习(3):理解计算机中编码三、认识常见的计算机编码

17930
来自专栏Java3y

《阿里巴巴 Java开发手册》读后感

前一阵子一直在学Redis,结果在黄金段位被虐了,暂时升不了段位了,每天都拿不到首胜(好烦)。

15130
来自专栏xingoo, 一个梦想做发明家的程序员

日志分析系统——Hangout源码学习

这两天看了下hangout的代码,虽然没有运行体验过,但是也算是学习了一点皮毛。 架构浅谈 Hangout可以说是java版的Logstash,我是没有测...

29680
来自专栏Jimoer

Java设计模式之GoF设计模式概述

最近要开始学习设计模式了,以前是偶尔会看看设计模式的书或是在网上翻到了某种设计模式,就顺便看看,也没有仔细的学习过。前段时间看完了JVM的知识,然后就想着JVM...

10830
来自专栏我杨某人的青春满是悔恨

设计模式之创建型模式

GoF的《设计模式》一书总结了面向对象软件中一些宝贵的设计经验,系统地对它们命名、解释和评价,并以编目分类的形式将它们展现出来,这就是广为流传的23个设计模式的...

15840
来自专栏ImportSource

设计WeakReference的那段日子

当你遇到要开发一个缓存,并且是短期内就过期的那种缓存的需求?你会怎么实现呢? Mark Reinhold看着1.1版的Java代码沉思着,最近社区传来1.1版本...

32960
来自专栏谦谦君子修罗刀

程序员面试闪充--Block

1、介绍 Block是OC中非常重要的一种技术手段 ? 2、从c函数和oc函数的区别来定义block C函数写法:int add(int num1, int n...

29880

扫码关注云+社区

领取腾讯云代金券