快速通用函數中的位移

Question

我正在嘗試編寫一個需要位移操作的通用函數。我得到了我不明白的行爲。這是一個簡單的函數來演示問題。

func testBytes<T: IntegerType>(bytesIn: [UInt8], inout dataOut: T){ 

let outputSize = sizeof(T) 
var temp: T = 0 
dataOut = 0 
temp = bytesIn[0] as T 
temp = temp << 1 

} 

如果我這樣做，那麼最後一行在xcode中給我一個錯誤「T is not convertible to Int」。

我最後一行更改爲temp = temp << (1 as T)

然後此行的錯誤更改爲「T是無法轉換爲UINT8」

無論這些錯誤消息之一在這方面道理給我。我能做些什麼來啓用一個泛型類型的位移？

Answer 1

我有一個blog post on this topic即進入更多細節，但本質上有三個步驟：

1. 從UInt8創建位移操作符的新協議和構造：

   protocol BitshiftOperationsType { 
       func <<(lhs: Self, rhs: Self) -> Self 
       func >>(lhs: Self, rhs: Self) -> Self 
       init(_ val: UInt8) 
   } 
   

2. 聲明符合每種整數類型的擴展名 - 容易，因爲它們已經實現了所有內容BitshiftOperationsType：

   extension Int : BitshiftOperationsType {} 
   extension Int8 : BitshiftOperationsType {} 
   extension Int16 : BitshiftOperationsType {} 
   extension Int32 : BitshiftOperationsType {} 
   extension Int64 : BitshiftOperationsType {} 
   extension UInt : BitshiftOperationsType {} 
   extension UInt8 : BitshiftOperationsType {} 
   extension UInt16 : BitshiftOperationsType {} 
   extension UInt32 : BitshiftOperationsType {} 
   extension UInt64 : BitshiftOperationsType {} 
   

3. 添加通用約束等等T符合您的新的協議：

   func testBytes<T: IntegerType where T: BitshiftOperationsType>(bytesIn: [UInt8], inout dataOut: T){ 
       let outputSize = sizeof(T) 
       var temp: T = 0 
       dataOut = 0 
       temp = T(bytesIn[0]) 
       temp = temp << 1 
   } 
   

感謝Martin R.用於修復總比特我收到了這裏！