Swift指针

Swift中的指针分为两类:
typed pointer 指定数据类型指针,即 UnsafePointer<T>,其中T表示泛型
raw pointer 未指定数据类型的指针(原生指针) ,即UnsafeRawPointer
OC的指针对比如下:

Swift OC 说明
unsafePointer<T> const T * 指针及所指向的内容都不可变
unsafeMutablePointer T * 指针及其所指向的内存内容均可变
unsafeRawPointer const void * 指针指向未知类型,指向的值必须是常量
unsafeMutableRawPointer void * 指针指向未知类型可变

其中,T表示泛型,对照上文,OC指针表示,如:NSObjct *objc = [NSObjct alloc] init]void *objc = [NSObjct alloc] init]

一、type pointer

获取基本数据类型的地址可通过withUnsafePointer(to:)方法获取,例如:

/**
 value(T):
 body(Result): 闭包表达式,通过rethrows重新抛出Result(即闭包表达式产生的结果)。
 方法:
 @inlinable public func withUnsafePointer<T, Result>
 (to value: T, _ body: (Swift.UnsafePointer<T>) throws -> Result) 
 rethrows -> Result {}
 */

var age = 18
let p = withUnsafePointer(to: &age) { ptr in
    return ptr }
print(p)

//withUnsafePointer: 方法中的闭包属于单一表达式,因此可以省略参数、返回值,
//直接使用$0,$0等价于ptr,表示第一个参数,$1表示第二个参数
//简写为: withUnsafePointer(to: &age){print($0)}

//访问指针的值,可以直接通过:pointee属性
print(p.pointee)

p的类型是 UnsafePointer<Int>

image.png

1.1 修改指针值

修改指针指向的值,有2种方式,间接修改 & 直接修改

var age = 18
//1、间接修改
age = withUnsafePointer(to: &age) { p in
    //返回Int整型值
    return p.pointee + 10
}
print("1、间接修改:\(age)")


//2.1、直接修改
withUnsafeMutablePointer(to: &age) { p in
    p.pointee += 10
}
print("2.1、直接修改:\(age)")


/**
 2.2 直接修改,通过 allocate 创建 UnsafeMutablePointer
     ①,initialize 与 deinitialize是成对的
     ②,deinitialize中的count与申请时的capacity需要一致
     ③,需要deallocate
 */
//分配容量大小,为8字节
let p = UnsafeMutablePointer<Int>.allocate(capacity: 1)
//初始化
p.initialize(to: age)
p.deinitialize(count: 1)

p.pointee += 10
print("2.2、直接修改 p:\(p.pointee)")
print("2.2、直接修改 age:\(age)")

//释放
p.deallocate()

控制台打印:

1、间接修改:28
2.1、直接修改:38
2.2、直接修改 p:48
2.2、直接修改 age:38

问题:为什么最后两次打印的值不一样,因为指针修改之后,未赋值给age。

二、raw pointer

raw pointer也叫做原生指针,就是指未指定数据类型的指针。需要注意,raw pointer 需要手动管理 指针的内存,所以指针在使用完需要手动释放

//定义一个未知类型的指针:本质是分配32字节大小的空间,指定对齐方式是8字节对齐
let p = UnsafeMutableRawPointer.allocate(byteCount: 32, alignment: 8)

/**
 存值1:读取数据时有问题,原因是因为读取时指定了每次读取的大小。
 但是存储是直接在8字节的p中存储了i+1,即可以理解为并没有指定存储时的内存大小
 */
//for i in 0..<4 {
//    p.storeBytes(of: i + 1, as: Int.self)
//}

//存值2
for i in 0..<4 {
    //指定当前移动的步数,即i * 8
    p.advanced(by: i * 8).storeBytes(of: i + 1, as: Int.self)
}

//取值
for i in 0..<4 {
    //p是当前内存的首地址,通过内存平移来获取值
    let value = p.load(fromByteOffset: i * 8, as: Int.self)
    print("index: \(i), value: \(value)")
}

//使用完需要手动释放
p.deallocate()

三、指针应用

3.1 访问结构体
struct Animal{
    var age: Int = 8
    var height:Float = 1.75
}

然后,使用UnsafeMutablePointer创建指针,访问结构体对象t

// 分配2个Animal大小的空间
let p = UnsafeMutablePointer<Animal>.allocate(capacity: 2)
// 初始化第一个空间
p.initialize(to: Animal())
// 移动,初始化第2个空间
p.successor().initialize(to: Animal(age: 10, height: 1.55))
//异常:p.advanced(by: MemoryLayout<Animal>.stride).initialize(to:  Animal(age: 20, height: 1.80))
//正常:p.advanced(by: 1).initialize(to:  Animal(age: 20, height: 1.80))

//访问指针
//方式1:下标访问
print(p[0])
print(p[1])

//方式2:内存平移
print(p.pointee)
print((p+1).pointee)

//方式3:successor()
print(p.pointee)
print(p.successor().pointee)   //successor 往前移动

//必须和分配是一致的
p.deinitialize(count: 2)
//释放
p.deallocate()

注意:通过advanced(by: MemoryLayout<Animal>.stride)赋值不行,但是advanced(by: 1)可以,why?
advanced(by: MemoryLayout<Animal>.stride)的移动步长是类Animal实例的大小 16字节,而advanced(by: 1)是移动步长为1
关键 在于这句代码 let ptr = UnsafeMutablePointer<Animal>.allocate(capacity: 2),此时我们是知道ptr的具体类型的,就是指向Animal的指针
所以:在确定指针的类型后,通过步长的移动+1,就表示移动了那个类的实例大小空间+1

3.2 实例对象绑定到struct内存
struct HeapObject {
    var kind: Int   //测试:Int, UnsafeRawPointer
    var strongRef: UInt32
    var unownedRef: UInt32
}

class Animal{
    var age = 18
}

var t = Animal()

Animal实例对象t绑定到结构体HeapObject中:

//将t绑定到结构体内存中
/*
 1、获取实例变量的内存地址,声明成了非托管对象
 通过 Unmanaged 指定内存管理,类似于 OC 与 CF 的交互方式(所有权的转换 __bridge)
 - passUnretained 不增加引用计数,即不需要获取所有权
 - passRetained 增加引用计数,即需要获取所有权
 - toOpaque 不透明的指针
 */
let p = Unmanaged.passUnretained(t as AnyObject).toOpaque()

/*
 2、绑定到结构体内存,返回值是 UnsafeMutablePointer<T>
 - bindMemory 更改当前 UnsafeMutableRawPointer 的指针类型,绑定到具体的类型值
 - 如果没有绑定,则绑定
 - 如果已经绑定,则重定向到 HeapObject类型上
 */
let heapObject = p.bindMemory(to: HeapObject.self, capacity: 1)
//3、访问成员变量
//print(heapObject.pointee.kind)
print(heapObject.pointee)

这时打印的kind是数值,把Kind的类型改为 UnsafeRawPointer,就可以打印地址了。

3.2.1 绑定到类结构

Swift底层对应的class结构

struct swift_class {
    var kind: UnsafeRawPointer
    var superClass: UnsafeRawPointer
    var cachedata1: UnsafeRawPointer
    var cachedata2: UnsafeRawPointer
    var data: UnsafeRawPointer
    var flags: UInt32
    var instanceAddressOffset: UInt32
    var instanceSize: UInt32
    var flinstanceAlignMask: UInt16
    var reserved: UInt16
    var classSize: UInt32
    var classAddressOffset: UInt32
    var description: UnsafeRawPointer
}

然后,把kind绑定到类结构

//1、绑定到swift_class
let metaPtr = heapObject.pointee.kind.bindMemory(to: swift_class.self, capacity: 1)
//2、访问
print(metaPtr.pointee)

运行结果:

HeapObject(kind: 0x0000000100008190, strongRef: 3, unownedRef: 0)
swift_class(kind: 0x0000000100008158, superClass: 0x00000001f49631a8, cachedata1: 0x00000001893f0e60, cachedata2: 0x0000802000000000, data: 0x00000001005169c2, flags: 2, instanceAddressOffset: 0, instanceSize: 24, flinstanceAlignMask: 7, reserved: 0, classSize: 136, classAddressOffset: 16, description: 0x0000000100003c90)
3.3 元组指针类型转换

代码:

var tul = (10, 20)

//UnsafePointer<T>
func testPointer(_ p : UnsafePointer<Int>){
    print(p)
    print("第一个值:\(p.pointee),第二个值:\((p+1).pointee)")
}

withUnsafePointer(to: &tul) { (tulPtr: UnsafePointer<(Int, Int)>) in
    //不能使用bindMemory,因为已经绑定到具体的内存中了
    //使用assumingMemoryBound,假定内存绑定,目的是告诉编译器ptr已经绑定过Int类型了,不需要再检查memory绑定
    testPointer(UnsafeRawPointer(tulPtr).assumingMemoryBound(to: Int.self))
}

上面是将元组tul的指针类型 UnsafePointer<(Int, Int)>)转换成了UnsafePointer<Int>
也可以直接告诉编译器转换成具体的类型:

func testPointer(_ p: UnsafeRawPointer){
    p.assumingMemoryBound(to: Int.self)
}
3.4 获取结构体的成员变量的指针
struct HeapObject {
    var strongRef: UInt32 = 10
    var unownedRef: UInt32 = 20
}

func testPointer(_ p: UnsafePointer<Int>){
   print(p)
}
//实例化
var  t = HeapObject()
//获取结构体属性的指针传入函数
withUnsafePointer(to: &t) { (ptr: UnsafePointer<HeapObject>) in
    //获取变量
    let strongRef = UnsafeRawPointer(ptr) + MemoryLayout<HeapObject>.offset(of: \HeapObject.strongRef)!
    //传递strongRef属性的值
    testPointer(strongRef.assumingMemoryBound(to: Int.self))
}

通过withUnsafePointert绑定到结构体HeapObject内存中,然后通过 MemoryLayout<HeapObject>.offset()内存平移获取结构体成员变量strongRef,最后通过assumingMemoryBound进行内存的绑定。
assumingMemoryBound:假定内存绑定,就是告诉编译器,我的类型就是这个,不用检查了,但实际类型不变。

3.5 临时绑定内存类型
var age = 10

func testPointer(_ p: UnsafePointer<Int64>){
   print(p)
}
//异常:参考
withUnsafePointer(to: &age) { (ptr: UnsafePointer<Int>) in
    //Cannot convert value of type 'UnsafePointer<Int>' to expected argument type 'UnsafePointer<Int64>'
    //testPointer(ptr)  //报错:指针类型不一致
}

let ptr = withUnsafePointer(to: &age) {$0}
//通过withMemoryRebound临时绑定内存类型
ptr.withMemoryRebound(to: Int64.self, capacity: 1) { (ptr: UnsafePointer<Int64>)  in
    testPointer(ptr)
}
总结

withMemoryRebound:临时更改内存绑定类型;
bindMemory(to: Capacity:):更改内存绑定的类型,如果之前没有绑定,那么就是首次绑定,如果绑定过了,会被重新绑定为该类型;
assumingMemoryBound:假定内存绑定,就是告诉编译器,我的类型就是这个,不用检查了,其实际类型不变。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,417评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,921评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 158,850评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,945评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,069评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,188评论 1 291
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,239评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,994评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,409评论 1 304
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,735评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,898评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,578评论 4 336
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,205评论 3 317
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,916评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,156评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,722评论 2 363
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,781评论 2 351

推荐阅读更多精彩内容

  • 一、指针    1、指针类型   Swift中的指针分为两类:指定数据类型的指针(typed pointer);未...
    spyn_n阅读 877评论 1 4
  • Swift 指针 前言 指针,作为编程中最重要的概念,一直存在于各大语言中,下面我们就来探索一下Swift中的指针...
    just东东阅读 689评论 0 3
  • 指针不是安全的 1.野指针。指针指向对象释放,指针变为野指针 2.指针超出内存空间边界访问。如数组越界 3.原⽣指...
    张天宇_bba7阅读 564评论 0 1
  • 前言 本篇文章主要讲解一下Swift中的指针,以及相关的应用场景,指针也是面试官经常问到的知识点,希望大家能够掌握...
    深圳_你要的昵称阅读 3,236评论 0 11
  • 指针分类: raw pointer:未指定数据类型的指针(原生指针) typed pointer:指定数据类型的指...
    BBLv阅读 565评论 0 1