Question

我已经为Node*的一堆node编写了以下代码，这些代码可以在模块import std.exception, std.container; public import node; alias NodeArray = Array!(const (Node)*); alias NodeHeap = BinaryHeap!(NodeArray, cmp_node_ptr); auto make_heap() { return new NodeHeap(NodeArray(cast(const(Node)*)[])); } void insert(NodeHeap* heap, in Node* u) { enforce(heap && u); heap.insert(u); } pure bool cmp_node_ptr(in Node* a, in Node* b) { enforce(a && b); return (a.val > b.val); }中找到：

make_leaf

然后我尝试在其上运行以下单元测试，其中Node*返回使用给定参数初始化的unittest { auto u = make_leaf(10); auto heap = make_heap(); insert(heap, u); //bad things happen here assert(heap.front == u); auto v = make_leaf(20); insert(heap, v); assert(heap.front == u); //assures heap property }：

enforce(a && b)

测试进入我评论标记的行，然后在cmp_node_ptr的行{{1}}上抛出强制执行错误。我完全不知道为什么会这样。

Answer 1

你在这个操作符中做错了什么：

NodeArray(cast(const(Node)*)[])

你显然想要创建空的NodeArray，但真正得到的是具有一个空项的NodeArray。 NodeArray构造函数将新数组的值列表作为参数，并传递一个“空数组”（基本上为null），从而创建带有一个null元素的NodeArray。

正确的方法是：

NodeArray()

即：

auto make_heap() {
  return new NodeHeap();
}

进行此更改，一切都会好起来的。

P.S。看起来U类型的多个参数的D符号（U []值...）让你认为构造函数接受另一个数组作为初始化。

p.p.s。抱歉，修复了make_heap（）代码：意外忘记在其中写入“NodeArray（）”。并再次编辑它，因为那里不需要空的NodeArray（）调用。双重错误！

D：来自std.container.BinaryHeap的奇怪行为以及用于比较的自定义函数

1 个答案: