D 中基于堆栈的对象实例化

Question

我正在学习 D，并且对我遇到的错误感到困惑。

考虑以下事项：

module helloworld;

import std.stdio;
import std.perf;

ptrdiff_t main( string[] args )
{
     auto t = new PerformanceCounter;    //From managed heap
     //PerformanceCounter t;             //On the stack

     t.start();
     writeln( "Hello, ", size_t.sizeof * 8, "-bit world!" );
     t.stop();

     writeln( "Elapsed time: ", t.microseconds, " \xb5s." );

     return 0;
} //main()

产生完全可观的结果：

Hello, 32-bit world!
Elapsed time: 218 µs.

现在考虑当我尝试在堆栈上初始化 PerformanceCounter 而不是使用托管堆时会发生什么：

 //auto t = new PerformanceCounter;  //From managed heap
 PerformanceCounter t;               //On the stack

产生：

--- killed by signal 10

我被难住了。有什么想法为什么会破裂吗？ （Mac OS X 10.6.4 上的 DMD 2.049）。 预先感谢您对 n00b 的帮助。

Answer 1

您似乎将 C++ 类与 D 类混淆了。

D 类总是通过引用传递（与 C++ 类不同），并且 PerformanceCounter t 不会在堆栈上分配该类，而只是分配一个指向该类的指针。

这意味着 t 设置为 null，因为 null 是指针的默认初始值设定项 - 因此会出现错误。

编辑：您可以将 D Foo 类视为 C++ 的 Foo*。

如果您希望将其分配在堆上，您可以尝试使用结构 - 它们也可以有方法，就像类一样。然而，他们没有继承权。

Answer 2

最明显的答案是使用struct。如果您使用的是无法控制的库或其他内容，并且堆分配是一个性能问题，则可以使用 std.typecons.scoped 功能来不安全地分配类实例堆栈。该实例仍然通过引用传递，如果其生命周期超过当前堆栈帧的生命周期，将导致未定义的行为。根据 anoncow 的回答，scope 关键字将起作用，但计划在 D2 中弃用。

Answer 3

谢谢，蒂姆。

感谢您的回答，我能够在 http://www.digitalmars 找到以下内容。 com/d/2.0/memory.html：

---

在堆栈上分配类实例

类实例通常在垃圾收集堆上分配。但是，如果他们：
被分配为函数中的局部符号
使用 new 进行分配
使用不带参数的 new（允许使用构造函数参数）
具有范围存储类别
然后它们被分配在堆栈上。这比在实例上执行分配/释放循环更有效。但要小心，对对象的任何引用都不会在函数返回后继续存在。

class C { ... }

scope c = new C();  // c is allocated on the stack
scope c2 = new C(5);    // allocated on stack
scope c3 = new(5) C();  // allocated by a custom allocator

如果类有析构函数，那么当类对象超出范围时，即使是析构函数也保证会运行如果作用域通过异常退出。

---

我的代码现在读取

scope t = new PerformanceCounter();  //On the stack 

This (据称) allocates on the stack 并且运行良好。 ：）

再次感谢！