原文更改编译器支持C风格位域中的默认值D现在支持在结构和类中,指定C风格位域的默认值.这样有效的D代码更接近C20允许的行为,并允许更简洁的初化位域成员.在编译时检查值区间,以确保默认值符合指定的位数.structS{inta:42;//好的intb:25;//错误:位域初化器5无法在2位中出现uint c:11;//好的boold:11;//好的}当错误通过不抛展开时,析构器现在会按不抛运行析构器和域(退出)块阻塞内部生成tryfinal语句.自2018年以来,DMD通过按简单序列优化了它们,避免了异常展开的成本,来重写不抛 试主体中的终块.然而,出错时,该优化也跳过了终块,导致无法运行期望的清理.该优化已恢复2018年前的行为:无论试体是否可抛异常,总是运行终块.要重启优化,使用新的-nothrow-optimizations开关.以下示例展示了修复方法,尽管callMe是不抛函数,现在也会打印exiting:importcore.stdc.stdio;voidmain(){S s2;callMe();}structS{~this(){printf(exiting\n);}}voidcallMe()nothrow{thrownewError(hi there :));}-betterC开关不受此变化影响.无效性和真值的新型实验性数据流分析引擎一个新的实验性数据流分析(DFA)已在预览标志-previewfastdfa下实现.该引擎的目标是既快速又无误报;如果成功,未来可能会默认打开.迄今为止尚未实现属性;在考虑它们前,引擎自身必须即可使用且平衡合理,又具备理想的特征.这有一些副作用:它阻止了单独的编译,函数指针和循环函数的分析.这些限制不应阻塞在使用时成功编译.引擎自身是以变量为中心,如果情况太复杂,就会放弃分析变量.导致信息在发送位置上看似不合理,因为分析捷径的原理.以循环为例:voidloopy(){int*ptrnewint;foreach(i;0..2)//错误:要求针变量为非空,但已变为空{intval*ptr;ptrnull;}}如果引擎成功,按跟踪状态通过替换报告机制.这将逐行解释引擎为何及为何认为一些为真.该引擎已在10万个LOC(防御性代码基)上测试,且无任何误报.性能与DIP1000类似,且不明显.快速DFA报告未初化变量读快速DFA引擎,在证明未初化变量时,被读取时出错.voidreadFromUninit()system{intval1void;intval2val1;//错误int*ptrval1;intval3*ptr;//错误}其中,现在可用指针查看栈中变量的属性.可以避免数学符号访问默认初化浮点类型.voidcheckFloatInit(boolcondition){floatv;floattv*2;//错误数学符号if(condition)v2;floatuv*2;//无错误}对其他式或语句不会激活它.只有在数学式中才会这样.这最初不属于快速DFA引擎的领域;其持续存在依赖社区反馈.改进-ftime-trace模板实例细节-ftime-trace的分析输出,对模板实例事件,现在在事件名中包含模板参数类型,允许用户区分同一模板的不同实例化(如isArray!(int)而非仅是isArray).新增__traits(needsDestruction, T)如果T是一个需要复杂析构的值类型,这就成立.这包括带显式~this()析构器和/或编译器生成的结构(由需要析构的字段引起),静态数组,及有此类基类型的枚举.classC{~this();}structS{~this();}staticassert(!__traits(needsDestruction,C));staticassert(__traits(needsDestruction,S));staticassert(!__traits(needsDestruction,S[0]));staticassert(__traits(needsDestruction,S[1]));新的特征__traits(isOverlapped,field)来检测覆盖字段D现在提供了一个检查结构或类字段是否与内存中的其他字段覆盖的编译时特征.这对序化库,代码生成器和需要识别共享相同内存位置字段的元编程任务非常有用.该特征接受单一字段参数,若字段保存与其他字段覆盖(一般是因为它属于联),则该参数返回为真.structS{inta;union{intx;//用Y覆盖floaty;//用X覆盖}intb;}staticassert(__traits(isOverlapped,S.x));//真staticassert(__traits(isOverlapped,S.y));//真staticassert(!__traits(isOverlapped,S.a));//假普通字段staticassert(!__traits(isOverlapped,S.b));//假普通字段该特征适合匿名和命名联:unionNamedUnion{intx;floaty;}staticassert(__traits(isOverlapped,NamedUnion.x));//真staticassert(__traits(isOverlapped,NamedUnion.y));//真1,这一特征对以下情况很有用:2,只需处理覆盖集中一个字段的序化库3,理解内存布局与字段交互4,为带覆盖字段的类型实现正确的析构器5,需要推导字段存储语义的模板代码该特征暴露了DMD内部的覆盖跟踪(VarDeclaration.overlapped),提供了直接查询该语义属性的方法.检查解引用空新实现了一个在解引用指针前注入检查空针代码的检查.一般用在需要生成跟踪或想在分发器中抓并处理错误时.用-checknullderefon或仅对安全函数,用-checknullderefsafeonly.默认是关闭的.可用-checkaction开关和在core.exception中设置新处理器,来自定义.safevoidfoo(){int*p;//如果设置了checknullderefon或checknullderefsafeonly:intx*p;//运行时抛空解引用错误}systemvoidbar(){int*p;//设置了-checknullderefon:intx*p;//无显式检查;依赖系统信号/异常}因为DMD后端有问题,不保证检查所有指针的解引用.允许按安全对待某些pragma(printf)调用函数printf调用函数一般是不安全的.然而,许多调用可自动检查安全.这一变化允许如下时从安全代码调用pragma(printf)函数:1,按安全或trusted标记被调2,传递的格式串是一个字面.3,不使用串格式限定符注意:pragma(printf)已强制类型安全.如:extern(C)pragma(printf)voidprintf(constchar*format,...)trusted;safevoidfunc(inti,char*s){printf(i is %d\n,i);//允许printf(s is %s\n,s);//错误:调用不安全printf(s);//错误:调用不安全}增加静态数组长度推导支持增加了使用$自动从初化器推导静态数组长度的支持.这样声明更简洁,无需手动计数元素.int[$]arr[1,2,3];//长度推导为3编译器现在会在单独趟中内联pragma(内联,真)函数编译器现在会先考虑pragma(内联,真)函数,先特化内联,再试内联其他符合条件的函数.这能更好地控制内联策略,如:autostaticSquares(uint n)(){int[n]arr;staticforeach(i;0..n)arr[i](i1)^^2;returnarr;}pragma(inline,true)intthirtyThirty(){returnstaticSquares!30[$-1];}此前,dmd -inline会先内联staticSquares()为thityThirty(),随后未能将thirtyThirty()内联到其调用者中.在新实现中,可期望编译器会用staticSquares!30[$-1]替换调用thityThirty(),然后再搞其他内联.-vgc现在报告创建闭包的嵌套函数的位置当创建GC分配闭包时,-vgc开关只指向创建闭包的外部函数.对一个大函数,这仍需要你搜索要求闭包的嵌套函数实际位置.现在与nogc的错误信息一样,它会像错误消息一样报告闭包函数和变量位置.autofoo(){intx;intbar(){returnx;}returnbar;}前:vgc.d(1):vgc:使用闭包会导致GC分配后:vgc.d(1):vgc:使用闭包会导致GC分配VGC.D(4):VGC:栏函数闭包了x变量.vgc.d(3):vgc:在此声明x增加支持with(auto xexpression())增加了按AssignExpression使用支持带式初化器的语句,如if,while,for和开关switch.为了兼容,with仍接受不赋值变量的限定式,如with (immutable expression()).运行时变化现在可用Throwable的Gravedigger方法转义线程入口ThreadBase新增了一个允许在抽象线程处理前过滤任何可抛的方法.可每线程和全局使用,来记录错误或退出进程.一个有用的合理的处理错误程序:importcore.exception;voidmain(){filterThreadThrowableHandler(ref Throwable t){importcore.stdc.stdio;importcore.stdc.stdlib;if(autoecast(Error)t){automsge.message();fprintf(stderr,Thread death due to error: %.*s\n,cast(int)msg.length,msg.ptr);fflush(stderr);abort();}};}对每线程处理器,以下示例可能更好:importcore.thread;classMyThread:Thread{this(voidfunction()fn,size_t sz0)safe pure nothrow nogc{super(fn,sz);}this(voiddelegate()dg,size_t sz0)safe pure nothrow nogc{super(dg,sz);}overridevoidfilterCaughtThrowable(ref Throwable t)system nothrow{importcore.stdc.stdio;importcore.stdc.stdlib;if(autoecast(Error)t){automsge.message();fprintf(stderr,Thread death due to error: %.*s\n,cast(int)msg.length,msg.ptr);fflush(stderr);abort();}super.filterCaughtThrowable(t);}}更改库变量:用disable this()支持大结构当负载是大于其内部缓冲的结构,必须分配到堆上,且有disable this()时,不会编译std.variant.新的处理现在总是跳过构造器,直接在分配的区域复制负载.配音更改对dub dustmite命令,新增了--超时选项.每次oracle调用都会增加超时(秒数),避免dustmite进程在测试命令未终止时长时挂起.要求超时timeout命令(Linux/macOS上的coreutils).
