nim的引用和指针
nim语言的引用和其他语言的指针有点相似
可以提供一种“多对一”的关系
这就意味着不同的引用可以指向同一个内存位置
nim区分可被追踪的引用和不可被追踪的引用
不可被追踪的引用又称为指针
可被追踪的引用可以被垃圾回收器回收
不可被追踪的引用指向手动分配的对象,或其他地方创建出来的一块内存区域
这也就是说,不可被追踪的引用是不安全的
对于某些底层操作,不可被追踪的引用有其存在的必要
可被追踪的引用使用ref关键字定义,
不可被追踪的引用使用ptr关键字定义
空下标的方括号[]可以用来解引用
addr方法可以返回一个实例的地址
对于一个地址来说,它始终是一个不可追踪的引用
所以addr方法也是一个不安全的方法。
.操作符和[]操作符可以隐式执行,先来看一下下面的代码
type Node = ref NodeObj NodeObj = object le, ri: Node data: int var n: Node new(n) n.data = 9
在上面的代码中,不需要写成n[].data,
因为方括号操作符已经隐式执行了
事实上nim官方也强烈不建议写成n[].data
另外,自动解引用操作也直接作用于一个方法的调用
但目前看来,还必须加上{.experimental.}配置节
请看如下示例代码:
{.experimental.} proc depth(x: NodeObj): int = ... var n: Node new(n) echo n.depth
也不用写成n[].depth
为了简化类型检查,nim语言不支持递归元组
下面的写法是错误的
type MyTuple = tuple[a: ref MyTuple]
同样 T = ref T 也是错误的
如果一个对象只能出现其引用类型,不能出现其值类型
那么可以用如下方法完成:
type Node = ref object le, ri: Node data: int
可以使用内置的new方法为一个可被追踪的对象分配内存
可以使用alloc、dealloc和realloc来应对不可被追踪的对象
这些方法的具体信息都可以在system类库的说明文档中找到
如果一个引用指向为空,那么这个引用的值就是nil
如果你碰到一个不可被追踪的对象里面包含一个可被追踪的对象(或者是一个字符串、又或者是一个sequences)
那么就需要特别留意了,为了让一切都正常释放,
你必须在释放不可被追踪的对象之前,使用内置的GCunref方法处理一下这个对象的那些特殊属性
请看下面的示例代码:
type Data = tuple[x, y: int, s: string] # 在内存堆上创建一个不可被追踪的对象: var d = cast[ptr Data](alloc0(sizeof(Data))) # create a new string on the garbage collected heap: d.s = "abc" # 告诉 GC 这个string类型的属性已经没有存在的必要了: GCunref(d.s) # 释放不可被追踪的对象: dealloc(d)
如果不用GCunref方法处理一下对象的字符串属性,
那么这个字符串所占用的内存将永远不会被释放
上面的代码同时也展示了:
怎么获得一个类型的size
alloc0方法创建一个没有类型的指针
cast方法可以绕过类型系统,让指针具有类型ptr Data
只有在非常必要的时候再用cast方法,因为他会破坏类型安全,导致不可预知的BUG