D1的内存分配的自动和范围差异

Question

D的文档说当你使用局部变量的scope时，它们将被分配到栈上（即使你分配了class实例）。但关于auto关键字呢？它是否保证实例将被分配到栈上？

1. void foo() { auto instance = new MyClass();}
2. void foo() { scope instance = new MyClass();}

所以我认为，这两个语句是相等的（在分配方面）？

Answer 1

不，auto只能推断出类型。
如果您希望将其分配到堆栈中，则使用auto毫无意义;这是scope是（是）。

他们已经出色地（读：不那么多）决定从语言中删除scope，delete等，所以它可能会在堆上分配。最好的办法是在其中一个模块中使用名为scoped的函数来分配堆栈。

Answer 2

要回答第二个问题：在D1中，这两个陈述是不相等的。第一个分配在堆上，第二个分配（应该）分配到堆栈上。