编写高性能的Swift代码

Swift 通过泛型类型的使用，提供了一个非常强大的抽象机制 。Swift 编译器发出一个可以对任何 T 执行 MySwiftFunc 的具体的代码块。生成的代码需要一个函数指针表和一个包含 T 的盒子作为额外的参数。MySwiftFunc 和 MySwiftFunc 之间的不同的行为通过传递不同的函数指针表和通过盒子提供的抽象大小来说明。一个泛型的例子：

class MySwiftFunc }

MySwiftFunc X    // Will emit code that works with Int...

MySwiftFunc Y // ... as well as String.

当优化器启用时，Swift 编译器寻找这段代码的调用，并试着确认在调用中具体使用的类型（例如：非泛型类型）。如果泛型函数的定义对优化器来说是可见的，并知道具体类型，Swift 编译器将生成一个有特殊类型的特殊泛型函数。那么调用这个特殊函数的这个过程就可以避免关联泛型的消耗。一些泛型的例子：

class MyStack {

 func pushelementT}

 func pop-> T }

func myAlgorithm], length}

// The compiler can specialize code of MyStack[Int]

@H_595_301@stackOfIntsMyStack]

// Use stack of ints.

for i in stack.push(...)

 .pop(...)

arrayOfInts// The compiler can emit a specialized version of 'myAlgorithm' targeted for

// [Int]' types.

myAlgorithmarrayOfIntslength建议：将泛型的声明放在使用它的文件中

只有在泛型声明在当前模块可见的情况下优化器才能执行特殊化。这只有在使用泛型的代码和声明泛型的代码在同一个文件中才能发生。注意标准库是一个例外。在标准库中声明的泛型对所有模块可见并可以进行特殊化。

建议：允许编译器进行特殊化

只有当调用位置和被调函数位于同一个编译单元的时候编译器才能对泛型代码进行特殊化。我们可以使用一个技巧让编译器对被调函数进行优化，这个技巧就是在被调函数所在的编译单元中执行类型检查。执行类型检查的代码会重新分发这个调用到泛型函数—可是这一次它携带了类型信息。在下面的代码中，我们在函数 play_a_game 中插入了类型检查，使得代码的速度提高了几百倍。

//Framework.swift:

protocol Pingable { func Ping-> Self }

protocol Playable { func play}

extension Int : Pingable {

 func Ping{ return self + 1 class Game : Playable var t : T

 init (_ v {t v}

 func play{

   for _ in 0...100_000_000 { t t.Ping}

 }

func play_a_game(game : Playable // This check allows the optimizer to specialize the

 // generic call 'play'

 if let z = game as? Game {

   z.play()

 } else game}

/// -------------- >8

// Application.swift:

play_a_game(Game10))