網站首頁 編程語言 正文
為什么說指針不安全
- 我們在創建一個對象的時候,是需要在堆上開辟內存空間的 但是這個內存空間的聲明周期是有限的 也就意味著如果使用指針指向這塊內存空間,當這塊內存空間的生命周期結束(引用計數為0),那么當前的指針就變成未定義的了
- 創建的內存空間是有邊界的,通過指針訪問的內存空間超過已開辟內存空間的邊界,也就是訪問了一個未知的內存空間
- 指針類型與內存的值類型不一致,也不安全,這一點參考 swift指針&內存管理-內存綁定
指針類型
Swift中的指針分為兩類 typed pointer(指定指針數據類型) & raw pointer(原生指針-未指定指針數據類型)
如果需要開辟一段連續的內存空間,就可以使用 unsafeBufferPointer, 當然了unsafeMutableBufferPointer 就是可變的
連續的原生內存空間 unsafeRawBufferPointer / unsafeMutableRawBufferPointer , 這種指針需要結合 指針內存綁定來使用
原始指針-rawPointer 的使用
如何使用 rawPointer 來存儲4個整型的數據
在存儲之前,先了解幾個概念
print("MemoryLayout<Int>.size = \(MemoryLayout<Int>.size)") print("MemoryLayout<Int>.stride = \(MemoryLayout<Int>.stride)") print("MemoryLayout<Int>.alignment = \(MemoryLayout<Int>.alignment)") print("MemoryLayout<Int32>.size = \(MemoryLayout<Int32>.size)") print("MemoryLayout<Int32>.stride = \(MemoryLayout<Int32>.stride)") print("MemoryLayout<Int32>.alignment = \(MemoryLayout<Int32>.alignment)") print("MemoryLayout<Int16>.size = \(MemoryLayout<Int16>.size)") print("MemoryLayout<Int16>.stride = \(MemoryLayout<Int16>.stride)") print("MemoryLayout<Int16>.alignment = \(MemoryLayout<Int16>.alignment)")
結果:
MemoryLayout.size = 8
MemoryLayout.stride = 8
MemoryLayout.alignment = 8
MemoryLayout.size = 4
MemoryLayout.stride = 4
MemoryLayout.alignment = 4
MemoryLayout.size = 2
MemoryLayout.stride = 2
MemoryLayout.alignment = 2
MemoryLayout 是用來測定內存的
stride是步長,也就是一段連續內存空間 指定類型指針的偏移最小單位
alignment是對齊字節,一段連續內存空間,指令讀取內存數據,都是標準化操作,不會出現第一個整型讀了8字節,下一個整型讀了4字節這樣
然后我們進行 4個整型的數據的存儲
首先開辟一塊內存空間
UnsafeMutableRawPointer.allocate(byteCount: Int, alignment: Int)
byteCount: 開辟內存空間的總的字節大小
alignment: 連續內存空間中 每一個整型數據的對齊大小
然后存儲 - UnsafeMutableRawPointer - storeBytes(of: T, as: T.Type)
of - 存儲的數據
as - 存儲的數據的類型
let mP = UnsafeMutableRawPointer.allocate( byteCount: 4 * MemoryLayout<Int>.size, alignment: MemoryLayout<Int>.stride) for i in 0..<4 { mP.storeBytes(of: i, as: Int.self) } // 取出 for i in 0..<4 { let mV = mP.load(as: Int.self) let mV = mP.load(fromByteOffset: i * MemoryLayout<Int>.stride, as: Int.self) print("mV ===> \(mV)") }
結果
mV ===> 3
mV ===> 3
mV ===> 3
mV ===> 3
為什么不是 0, 1, 2, 3
這是因為 mP
指向 UnsafeMutableRawPointer.allocate 開辟出來的一段連續內存空間首地址
mP.load(as: Int.self) 循環里每次取的都是 從首地址處取出 數據,所以總是一樣的3
調整之后
let mP = UnsafeMutableRawPointer.allocate( byteCount: 4 * MemoryLayout<Int>.size, alignment: MemoryLayout<Int>.stride) for i in 0..<4 { mP.storeBytes(of: i, as: Int.self) } // 取出 for i in 0..<4 { let mV = mP.load(fromByteOffset: i * MemoryLayout<Int>.stride, as: Int.self) print("mV ===> \(mV)") }
結果
mV ===> 3
mV ===> 0
mV ===> 16
mV ===> 0
這又是為何
因為 mP.storeBytes(of: i, as: Int.self) 每次也只是往 mP指向的連續內存空間的首地址里存儲,所以最后存儲的 3會覆蓋前面的幾次寫值
let mP = UnsafeMutableRawPointer.allocate( byteCount: 4 * MemoryLayout<Int>.size, alignment: MemoryLayout<Int>.stride) for i in 0..<4 { // 正解 mP.advanced(by: i * MemoryLayout<Int>.stride).storeBytes(of: i, as: Int.self) } // 取出 for i in 0..<4 { let mV = mP.load(fromByteOffset: i * MemoryLayout<Int>.stride, as: Int.self) print("mV ===> \(mV)") }
結果
mV ===> 0
mV ===> 1
mV ===> 2
mV ===> 3
也可以直接 計算具體指針位置進行寫值,前提是必須知道指針的類型才可以
for i in 0..<4 { (mP + i * MemoryLayout<Int>.stride).storeBytes(of: i, as: Int.self) }
size/stride/alignment的理解
情況一
struct IFLObject1 { var age: Int var gender: Bool } print("MemoryLayout<IFLObject1>.size = \(MemoryLayout<IFLObject1>.size)") print("MemoryLayout<IFLObject1>.stride = \(MemoryLayout<IFLObject1>.stride)") print("MemoryLayout<IFLObject1>.alignment = \(MemoryLayout<IFLObject1>.alignment)")
結果
MemoryLayout.size = 9
MemoryLayout.stride = 16
MemoryLayout.alignment = 8
情況二
class IFLobject2 { var age: Int = 0 var gender: Bool = true var heigh: Double = 170 var heigh2: Double = 170 var heigh3: Double = 170 var heigh4: Double = 170 } print("MemoryLayout<IFLobject2>.size = \(MemoryLayout<IFLObject2>.size)") print("MemoryLayout<IFLobject2>.stride = \(MemoryLayout<IFLObject2>.stride)") print("MemoryLayout<IFLobject2>.alignment = \(MemoryLayout<IFLObject2>.alignment)")
結果
MemoryLayout.size = 8
MemoryLayout.stride = 8
MemoryLayout.alignment = 8
與結構體不同的是,struct屬于值類型,棧上開辟空間,class 堆上開辟內存空間,指針大小為8字節, 所以8字節對齊,步長也是8字節
泛型指針的使用
泛型指針相比原生指針來說,就是當前指針綁定到了具體的類型
泛型指針訪問過程中,并不是使用store load 方法進行存儲 取值操作,而是使用到泛型指針內置的變量pointee
var age = 10 var age1 = withUnsafePointer(to: &age) { $0.pointee + 1 } print("age1 = \(age1)")
結果
age1 = 11
另一種情況
var age = 10 withUnsafePointer(to: &age) { $0.pointee += 1 }
這種情況下 指針 0是不可變的,同時0 是不可變的,同時0是不可變的,同時0指向的內容 $0.pointee也是不可變的, 如果要操作,調整如下
var age = 10 withUnsafeMutablePointer(to: &age) { $0.pointee += 1 } print("age = \(age)")
結果
age = 11
還有一種方式直接分配內存
var age = 10 let tPtr = UnsafeMutablePointer<Int>.allocate(capacity: 1) tPtr.initialize(to: age) print(tPtr.pointee)
結果
10
struct IFLObjStruct { var age: Int var height: Double } var tPtr = UnsafeMutablePointer<IFLObjStruct>.allocate(capacity: 5) tPtr[0] = IFLObjStruct(age: 19, height: 170.0) tPtr[1] = IFLObjStruct(age: 20, height: 171.0) tPtr[2] = IFLObjStruct(age: 21, height: 172.0) tPtr[3] = IFLObjStruct(age: 22, height: 173.0) tPtr[4] = IFLObjStruct(age: 23, height: 174.0) print(tPtr[4])
結果
IFLObjStruct(age: 23, height: 174.0)
還可以
struct IFLObjStruct { var age: Int var height: Double } var tPtr = UnsafeMutablePointer<IFLObjStruct>.allocate(capacity: 5) tPtr[0] = IFLObjStruct(age: 19, height: 170.0) tPtr[1] = IFLObjStruct(age: 20, height: 171.0) tPtr[2] = IFLObjStruct(age: 21, height: 172.0) tPtr[3] = IFLObjStruct(age: 22, height: 173.0) tPtr[4] = IFLObjStruct(age: 23, height: 174.0) tPtr.deinitialize(count: 5) // 回收內存空間 tPtr.deallocate() tPtr = UnsafeMutablePointer<IFLObjStruct>.allocate(capacity: 5) for i in 0..<5 { tPtr.advanced(by: i).initialize(to: IFLObjStruct(age: 19 + i * 5, height: 170.0 + Double(i * 5))) } for i in 0..<5 { print(tPtr.advanced(by: i).pointee) }
結果
IFLObjStruct(age: 19, height: 170.0)
IFLObjStruct(age: 24, height: 175.0)
IFLObjStruct(age: 29, height: 180.0)
IFLObjStruct(age: 34, height: 185.0)
IFLObjStruct(age: 39, height: 190.0)
注意:
tPtr.advanced by 參數 含義是 只需要標明移動多少個指針內存單位, 并不需要計算具體移動的內存塊字節大小,
因為 泛型指針已經 指明了當前內存 綁定的具體類型, 與原生指針 adviced by 參數有所區別
一般情況下,我們會在 defer 中,也就是當前程序運行完成之后, 執行 deinitialize 與 deallocate
原文鏈接:https://juejin.cn/post/7169234917270749215
相關推薦
- 2022-06-27 Android利用ContentProvider初始化組件的踩坑記錄_Android
- 2022-03-19 Go?語言的?:=的具體使用_Golang
- 2022-06-23 批處理腳本del命令的具體使用_DOS/BAT
- 2023-10-11 在MyBatisPlus中添加分頁插件
- 2022-07-21 nginx?配置指令之location使用詳解_nginx
- 2024-03-01 【Typescript】tsconfig 常用配置項(常用or總結)
- 2022-09-15 關于PCL出現"無法找到?pcl_commond.dll?文件程序無法執行"的問題及解決方法_C 語
- 2022-04-05 用css改變input光標的3種方法
- 最近更新
-
- window11 系統安裝 yarn
- 超詳細win安裝深度學習環境2025年最新版(
- Linux 中運行的top命令 怎么退出?
- MySQL 中decimal 的用法? 存儲小
- get 、set 、toString 方法的使
- @Resource和 @Autowired注解
- Java基礎操作-- 運算符,流程控制 Flo
- 1. Int 和Integer 的區別,Jav
- spring @retryable不生效的一種
- Spring Security之認證信息的處理
- Spring Security之認證過濾器
- Spring Security概述快速入門
- Spring Security之配置體系
- 【SpringBoot】SpringCache
- Spring Security之基于方法配置權
- redisson分布式鎖中waittime的設
- maven:解決release錯誤:Artif
- restTemplate使用總結
- Spring Security之安全異常處理
- MybatisPlus優雅實現加密?
- Spring ioc容器與Bean的生命周期。
- 【探索SpringCloud】服務發現-Nac
- Spring Security之基于HttpR
- Redis 底層數據結構-簡單動態字符串(SD
- arthas操作spring被代理目標對象命令
- Spring中的單例模式應用詳解
- 聊聊消息隊列,發送消息的4種方式
- bootspring第三方資源配置管理
- GIT同步修改后的遠程分支