2411d,原位新

原文

概述

当前只允许在GC堆上分配new符号.使用原位新式,新符号可在任意位置初化对象.它替换了core.lifetime.emplace函数.

理由

在GC堆上分配现有新符号,或,如果它正在初化有域属性的类对象,则在栈上分配.不能与malloc()或其他存储分配器分配的存储一起使用它.
也不能用它来初化数组中的槽.

为此,创建了core.lifetime.emplace.它有效.但它也有一些缺点:
1,这很复杂
2,它模拟编译器初化对象,如:

core.lifetime.copyEmplace(s, t);

模拟:

S s = t;

3,编译器不知道原位作用,因此不能利用生命期等信息.

4,CTFE引擎也不知道原位的干了啥,并扩展模板来模拟它,这使得简单的操作变慢且消费大量内存.
5,如果想使用如在BetterC中的没有GC的类,则使用原位会很尴尬.

先前的工作

d运行时位置:这里
C++版本新:这里

描述

NewExp的当前语法为:

NewExpression:
    new Type
    new Type [ AssignExpression ]
    new Type ( NamedArgumentList opt )
    NewAnonClassExpression
NewAnonClassExpression:
    new class ConstructorArgs opt AnonBaseClassList opt AggregateBody

修改它以包含可选的PlacementExpression前缀:

NewExpression:
    new PlacementExpression opt Type
    new PlacementExpression opt Type [ AssignExpression ]
    new PlacementExpression opt Type ( NamedArgumentList opt )
    NewAnonClassExpression
NewAnonClassExpression:
    new PlacementExpression opt class ConstructorArgs opt AnonBaseClassList opt AggregateBody
PlacementExpression:
    ( AssignExpression )