2408d,加@GC作为函数属性
原文
按函数属性添加@gc
概述
按新的用作@nogc属性的取反的函数属性,来添加@gc.
理由
当对多个函数应用@nogc的@nogc:或@nogc{}属性语法时,可能在其他属性中,随后包含要用(GC)垃集器分配的函数,需要如下:
1,更改定义函数的位置.
2,关闭大括号声明块,并在定义后重新打开它,使用更多属性时,会违反DRY
3,用括号语法更改冒号语法,然后应用上述项符号.
4,消除冒号或块语法,并附加属性到,除了新函数的每个函数定义.
此类更改会导致更大的差异,且更难审查.
前期工作
该提案精神类似,按throw属性取反的按函数属性/存储类添加不抛的DIP1029.
这里
描述
语义
从语义上讲,@gc函数恰好是个不是@nogc的函数.可在语法上附加@nogc属性的都可附加@gc属性.
@nogc
{int[] f() => [1]; //错误:`"@nogc"`函数`"f"`中的`数组文本`可能会导致`GC`分配int[] g() @gc => [1]; //好的,`"g"`不是`"@nogc"`
}
@gc和@nogc属性与其他对立属性对如(@safe/@system和nothrow/throw)完全相同.
void f() @gc @nogc; //错误:属性冲突
与@system和throw一样,@gc属性是逆变的.
void f(void function() @gc callback);
void function(void function() @nogc) fp = &f; //好
void g(void function() @nogc callback);void function(void function() @gc callback) gp = &g; //错误.可用@nogc方法覆盖虚@gc方法,但不能用@gc方法覆盖虚@nogc方法.
语法
AtAttribute:@ disable@ __future@ nogc
+ @ gc@ liveProperty@ safe@ system@ trustedUserDefinedAttribute