浅析Swift中的associatedType与objc_setAssociatedObject

associatedType

含义：关联一个协议使之以类似泛型参数方式编译。

这句话是很抽象的，简单来说，当某个接口类内的协议参数逻辑是在Runtime期间完成的，为了确保安全性以及Buildtime期间就能发现问题，可以采用关联一个协议再命名具体实现逻辑的协议方式进行。

场景：

设存在一个协议为SmartDeivce，负责具体智能设备的抽象协议，由此产生PadDevice与PhoneDevice。

protocol SmartDevice {
    
}

class PadDevice: SmartDevice{
    
}

class PhoneDevice: SmartDevice{
    
}

显然存在着很多通信运营商为智能设备提供通信服务，为了规范其企业行为规范，制定一抽象方法func call(at device: SmartDevice)来统一标准。某电信运营商Telecome仅对PhoneDeivce类型的设备提供通话功能，显然通话智能在手机上进行不能在平板上进行。为此，可以在call这个实现方法内进行类型判断，如果调用通话的设备是PhoneDevice类型就对其服务，否则拒绝，如下所示：

protocol CallService{

    func call(at device: SmartDevice)
}

class TelecomeCallSerice: CallService{

    func call(at device: SmartDevice) {
        if let phone = device as? PhoneDevice {
            Log.debug("Phone called at: \(phone)")
        } else {
            Log.warning("ERROR")
        }
    }

}

这样做没什么大问题，但其实现思想和Swift稍有不符，swift强调以静为主，buildtime是swift的强项，如果问题能在buildtime内暴露则会更好。为此，可以设置关联种类变量，如下所示：

protocol CallService{
    associatedtype Device: SmartDevice
    func call(at device: Device)
}

class TelecomeCallService: CallService{
    typealias Device = PhoneDevice
    
    func call(at device: Device) {
        Log.debug("Phone called at: \(device)")
    }
    
    func couldRunCallService<T: CallService>(service: T) -> Bool{
        return service is TelecomeCallService ? true : false
    } 
}

associatedtype即为设置SmartDevice协议的关联变量Device，然后call方法内的参数不再显示地指名为SmartDeivce，而是通过类似泛型方式满足参数类型即可。
在TelecomeCallService内命名Deivce类行为PhoneDevice类型，然后此时可安全地使用Device类型。由于是在具体的子类里面显示地指出参数类型，协议里面无需改动，安全地完成了在buildtime期间对协议参数的操作。

但有个问题是采取了关联类型的协议便不可单独地当作独立类使用，必须使用泛型占位符占位其类型。例如当前需要判断某个运营商是否可提供通信服务，想当然地会传入CallService协议，但编译器会报出Protocol 'CallService' can only be used as a generic constraint because it has Self or associated type requirements的问题。
故最后模拟一个方法能否在传入的设备上面运行，便是采取了泛型方式去规定参数类型。

objc_setAssociatedObject

含义：动态地为增加属性。

这里唯一和assocaitedtype能牵扯到的关系就是二者都包含associated单词（有点臃余解释）。Swift中的associatedtype是静态思想，在编译期间确定类型，确保因为子类与父类继承问题而产生的nil问题在buildtime期间避免。而objc_setAssociatedObject则是在runtime期间动态为指定类添加属性值。

场景：

一个老生常谈的问题就是OC的分类（swift的extension）的属性如何实现的问题。oc里面分类属性只有声明没有实现，但是可以提供对外暴漏的setter 和getter手动实现，swift里面利用get和set属性同样也是如此：
OC:

#import <Foundation/Foundation.h>
@interface NSObject (Property)
@property (nonatomic,strong)NSString *name;
@end

#import "NSObject+Property.h"
#import <objc/message.h>
@implementation NSObject (Property)
-(void)setName:(NSString *)name{
    objc_setAssociatedObject(self, @"name", name, OBJC_ASSOCIATION_RETAIN_NONATOMIC);
}
-(NSString *)name{
    return objc_getAssociatedObject(self, @"name");
}
@end

Swift:

extension NSObject{
    
    private struct nameStruct{
        static var nameKey = "NAME_KEY"
    }
    
    var name: String{
        set{
            objc_setAssociatedObject(self, &nameStruct.nameKey, newValue, .OBJC_ASSOCIATION_COPY_NONATOMIC)
        }
        get{
            return (objc_getAssociatedObject(self, &nameStruct.nameKey) as! String)
        }
    }
}