当前位置：首页 > news >正文

2505d,d的一些疑问

news 2025/5/12 10:31:33

:1.函数声明没有体,因此无法检查函数体.
没有体的原型必须总是信任声明.你必须简单地假设参上有'域'断定调用者不会保存该参数,且调用者也可依赖它;即,使用temp/stack内存来分配参数.
是,当然,这就是dip1000的工作原理.

:2.检查所有体表明编译速度会减慢很多.
:如果不想逃逸分析,就不要写'域';关键是,为什么你需要把两个属性写在一起,才能使自身是完全可选的第一个属性生效
需要'域'来表示传递的指针不会逃逸.需要'中'来指示允许通过函数的中逃逸.

:3.当在函数调用流图有循环时,推导属性出现先有鸡还是先有蛋的问题
我不关注.
F调用G调用H调用F.
你不能推导f的属性,因为它依赖f.你不能推导g的属性,因为它依赖依赖g的f.等等.要解决它,需要构造数据流方程,然后通过迭代和收敛到唯一的解来求解这些方程.

这就是链接到gflow.d中的代码的作用.它在注释中.
可惜,构建和解决DFE的速度很慢.因此优化后的构建比未优化的构建慢得多.因此使用简单的DFA而不是DFA来推导属性,因为想要快速的非优化构建.
:是不是;接收参但没有显式声明'域'的模板只是花时间试推导'域',因为该模板的调用者可能依赖该属性推导.
当然.

:是,但我仍不明白;如果你不想逃逸分析,请不要编写'域'.
是,然后你不能用域指针调用该函数.

:如果你真写了它,你已显式地表明你确实想要逃逸分析,所以它应该.
我看不出有任何理由需要第二个无关属性来使第一个属性``正常工作,你编写'域'认为它会有效,然后因为不写(或忘记写)另一个属性,你的代码现在就在骗你.
除非被你试阻止的逃逸漏洞咬伤,否则你不会知道它;使情况实际上比无用更糟糕,因为当你追踪你的漏洞时,你看着属性并继续找其他地方.
'域'应该在你编写它时工作.如果说写'域'推导出另一个属性,则不管怎样…,但这不好,即'域'默默地闲着,并混淆或误导作者.

当你编写它时,它确实有效.“第二个无关属性”(我假设是"中"属性)指示域'指针是否返回.
没有'中'属性表明无法编写以下代码:

int* = foo(scope int* a) { return a; }//错误:`'A'`正在通过`中`逃逸!
scope int* p = ...;
scope int* q = foo(p);

好吧,则为什么'域'需要’@safe'?

不是.不过,它需要-dip1000.

int* foo(scope int* q) { return q; }
./cc -c x.d -dip1000

x.d(1):错误:可能无法返回"q"域参数.

int* foo(scope int* q) { return q; }^

:好吧,则为什么'域'需要’@safe',它自身就是一个额外的属性;要求有第二个属性,才能使第一个属性生效,价值不大.
当你编写'域'时,'域'就应该可工作.如果你不想域检查,请不要写'域'?

因为在@系统代码中,你可随心所欲.但是,要向调用者,表明它是'域',请在参数列表中添加该属性.要靠你来兑现该承诺.

在一个设计合理的程序中应该最小化@系统.这就是默认转为安全的原因.

1.'域'不是类型的一部分.它是一个存储类,而不是类型限定器.唯一的类型限定器是immutable,const,shared和进出.
在编译器处理类型时普遍处理它们.除了借用检查器外,制作一个新的指针类型会是一项巨大的工作.

2.在传递属性方面拥有丰富的经验.因此,使用它们有很多阻力.看看所有对'nogc'是传递的抱怨就知道了.就我个人而言,我发现'常'是传递性的,严重阻碍了在dmd源码中使用'常'.

问题是它不适合访问者模式.有几种情况丢弃了'常'.

3.我很清楚,最好,如果@活是传递性的,那会更响亮.我98%确定,如果@活是传递性的,它将立即毫无用处,因为没人愿意让现有程序或库通过借用检查器.

Rust花了巨大的努力来说服人们他们必须丢弃现有代码并从头开始重新编码才能使用借用检查器.将不得不丢弃许多现有代码.
制作完美的借用检查器是制作实用的检查器的敌人.

4.使dip1000变成传递性,在现有代码中会不实用.
5.dip1000使得给多个间接赋值域指针是一个错误(因为域不是类型限定器).

6.当一个@活函数调用另一个函数时,"域"参数是借用,非域参数是转移物主.

7.因为DFA,编译@活函数的速度很慢.使其有传递性将使整个程序编译速度像Rust一样慢.

:D自身已有3种不同类型的指针:引用,指针,数组/切片.
加上'this',lazy,闭包,关联数组和类引用.
它们是D最初设计的一部分,该语言围绕着他们成长起来.

他们还使dip1000的实现非常复杂.
试在新的指针类型中折叠是个巨大的变化.
如果我要为D重新做一次,我会努力考虑丢弃其中的一半.几年前,我试摆脱lazy,但遭到了很多阻力.
微软的管理C++有用不同语法区分的普通指针和gc指针.但在市场上失败了.
:不承认语言的缺点,很多人必须一遍遍地说明.你还不承认.
我已多次承认了它,并说明了所提出的方法有的问题(传递性,新的指针类型).
Rust是一个一切围绕着借用检查器的单一语言.这不适合多彩的D语言.借用检查器必须与语言的其余部分相适应.
当然,即妥协.妥协不表明它毫无用处.