关于Objective-C新增的__kindof关键字

Objective-C随着Xcode 7的升级带来了许多新特性，当然此次更新最最大的就是引入了Objective-C的轻量级泛型，确切地说是Objective-C类的轻量级泛型。除此之外，还有一个小特性就是__kindof关键字的引入。

有些技术网站上声称__kindof一般用于泛型，比如：NSArray<__kindof UIView*>表示在此NSArray对象中存放的是UIView对象或UIView子类对象。不过，由于Objective-C本来就是动态类型，况且编译器也会在编译时做类型匹配，所以即便我们用NSArray<UIView*>也能在此数组中存放UIScrollView的对象，不会有编译警告，更不会报错。那么这个__kindof有啥用呢？

__kindof  class_name 本意是将此类型指定为class_name或class_name的子类，告诉编译器这两者均能适配。现在对于编译器类型检查匹配倒是有一种情况存在，即结合C11标准中的泛型一起使用！由于C11中的generic selection表达式中的类型匹配完全由编译器在编译时进行匹配，而不会有任何运行时的动作（除非是动态变长类型，比如int[n]类型），所以这里可以由__kindof class_name 的形式来做一些更宽范围的类型匹配。如以下代码：

@interface MyObject : NSObject

@end


@implementation MyObject

@end


@implementation ViewController

- (void)viewDidLoad {
    MyObject *obj = [[MyObject alloc] init];

    int x = _Generic(obj, int:0, NSString*:1, NSObject*:2, default:-1);
    NSLog(@"x1 = %d", x);
    
    x = _Generic(obj, int:0, float:1, __kindof NSObject*:2, default:-1);
    NSLog(@"x2 = %d", x);

    [obj release];
}

@end

正由于编译器会在编译时做检查，所以这里第二个_Generic里就不能用NSString*，否则编译器会认为NSString*与__kindof NSObject*两者是相互兼容的类型，从而会产生匹配歧义。