Swift 方法调度探究

1.方法调度分类

1.1 方法调度可以分为静态调度(static dispatch)和动态调度，动态调度从实现上来说又可以划分为虚拟表也就是Table dispatch比如c++和消息分发message dispatch比如OC用到的就是消息分发机制。

1.2静态调度和动态调度各有各的好处

1.2.1编译器可以对静态调度的方法进行包括inline内联函数在内的编译期优化以及加快程序运行速度。

1.2.2动态调度可以实现面向对象编程三大特性之一的多态。即在运行时根据调用方去找具体的方法实现。

2.swift中的方法调度

2.1swift中根据方法所定义的位置来讲会用到上面所说的三种方法调度方法。

2.1.1 比如struct，enum等值类型中的定义的方法（不包含继承自某个协议中的方法），定义为final类型的class中的方法以及private方法 ，这些都是静态调度。

2.1.2 class类型中的方法，protocol中声明的方法 为table dispatch

2.1.3 nsobject子类中@objc dynamic 方法为message dispatch

3swift中table dispatch的实现

3.1 如上图所看到的，class类型的在其元数据类型中会引用一个函数指针类型的数组，在对象进行方法调用时去改数组中去查找相对应的方法实现。

3.2 protocol-Witness-Table,Existential Container，value-Witness-Table

3.2.1protocol-Witness-table作用和valuetable一样，在每一个struct中都会引用这样一张表，进行相应方法查询。

3.2.2Existential Container 如上图所示，由于每一个结构体类型的内存大小各不相同，为了保障数组的字节对齐。使用Existential Container的方式把每个struct对象存入数组中，Existential Container前三个valueBuffer用于存放struct的数据，剩余两个分别引用自己的vwt和pwt。需要注意的是如果结构体的属性过多(big value),那么会开辟一块堆区内存，然后valuebuffer对这块内存进行引用。为了管理Existential Container 存放的值，所以引用value-Witness-Table创建内存，初始化以及内存销毁。

protocol drawable {
    
    func draw()
}
struct point:drawable {
    
    func draw() {

        print("draw a point")
    }
    
    var x,y:Float;
}

struct line:drawable {
    
    var x1,y1,x2,y2:Float;
    
    func draw() {
        
         print("draw a line")
    }
  
  
}

 var draws = [drawable]()
        
        draws.append(point(x:10,y:10))
        
        draws.append(line(x1: 10, y1: 10, x2: 20, y2: 20))
        
        for temp in draws {
            
            temp.draw()
            
            let size =   MemoryLayout<drawable>.size(ofValue: temp)
            
            print("\(type(of: temp))----\(size)") //输出40
        }