2505d,d的借用检查器

fqbqrr

于 2025-05-10 19:50:21 发布

阅读量294

点赞数 3

CC 4.0 BY-SA版权

分类专栏： dlang d 文章标签： d

本文链接：https://blog.csdn.net/fqbqrr/article/details/147858267

dlang 同时被 2 个专栏收录

1121 篇文章

订阅专栏

1041 篇文章

订阅专栏

void func(scope ref int*) {}

unique(int*) a = ...;
assert(a !is null);

unique(int*) b = a;
assert(a is null);
assert(b !is null);

func(b); // ok

用@live作为检查器,不必有断定了.

int* a = ...;
int* b = a;   // 所有权转至b
*a = 3; // 不能再用a.

编译器保证约束指针.
@live不需要新语法,他是额外检测层.
DIP1000理念很好,避免栈指针漏洞.问题是适配D的高级构造,需要属性通知函数接口的参数状态.
借用检查器对标有@live的函数都工作.就像只针对@safe函数检查一样.
@live不能为传递性,就像人们要求不传递性的@nogc一样.
附加给指针没人用,因为要重写整个程序.