d - 错误 : null dereference

Question

这段代码:

int main(char[][] args)
{
  MyObject obj;
  obj.x;
  return 0;
}

给我: Error: null dereference in function _Dmain当我用 -O 标志(在 dmd2 上)编译它时，为什么？不是 obj在堆栈上分配？我应该总是使用 new创建对象？

Answer 1

摘要 : 你必须有新的对象。总是。

D 的类比 C++ 更接近 C# 或 Java。具体来说，对象总是，总是 引用值。

MyObject 本质上是一个指向实际对象的指针。因此，当您使用 MyObject obj; 时，您正在创建一个 null指针，实际上并没有创建对象。必须使用 new 创建对象运算符(operator):

auto obj = new Object();

这会在堆上创建 obj。

你不能直接在 D 中的堆栈上构造对象。你能做的最好的事情是这样的:

scope obj = new MyObject;

允许编译器将对象放在堆栈上，但不是必须的。

(实际上，我怀疑这可能会在 D2 的 future 版本中消失。)

附带说明一下，如果您使用的是 D2，那么我相信您的主要功能应该如下所示:

int main(string[] args)
{
    ...
}

char[]和 string具有相同的物理布局，但含义略有不同；具体来说， string只是 immutable(char)[] 的别名，所以通过使用 char[]你绕过了 const 系统保护。