优先级相同时的优先级队列行为

Question

我在 .Net 6 中试用 PriorityQueue，对以下行为感到困惑。我想知道是否有人可以帮助我更好地理解它。

考虑以下代码。

var priortyQueue = new PriorityQueue<string,int>();
priortyQueue.Enqueue("A",1);
priortyQueue.Enqueue("C-1",3);
priortyQueue.Enqueue("C-2",3);
priortyQueue.Enqueue("D", 4);

while (priortyQueue.TryDequeue(out var str,out var priority))
{
    Console.WriteLine($"Element:{str} with Priority {priority}");
}

这将产生如下输出。

Element:A with Priority 1
Element:C-1 with Priority 3
Element:C-2 with Priority 3
Element:D with Priority 4

这看起来不错，但请注意“C-1”和“C-2”出队的位置或顺序。

现在，如果我要更改上面的代码并在插入“C1”和“C2”之间添加另一个入队语句，情况会略有不同。

var priortyQueue = new PriorityQueue<string,int>();
priortyQueue.Enqueue("A",1);
priortyQueue.Enqueue("C-1",3);
priortyQueue.Enqueue("B", 2); // change here
priortyQueue.Enqueue("C-2",3);
priortyQueue.Enqueue("D", 4);

上面的输出将是

Element:A with Priority 1
Element:B with Priority 2
Element:C-2 with Priority 3  // Order is reversed
Element:C-1 with Priority 3
Element:D with Priority 4

如您所见，“C2”和“C1”的位置现在已经改变了。我很好奇为什么当优先级相同时不遵循FIFO。请注意此行为仅适用于

“B”的优先级低于“C1”和“C2”
“B”在“C1”之后和“C2”之前排队。

Answer 1

永远无法保证具有相同优先级的元素的顺序。

然而，从源代码来看，列表的机制不仅仅是一个有序数组，它使用某种链接样式列表从最后一个节点开始，将每个节点向后移动一步，直到找到使用任何方法的比较你给它的比较器（或默认值），直到它找到它可以去的地方。

在这种情况下，插入的顺序很重要，并且可以准确地产生您看到的工件。

为什么您可能会问，可能是因为它更有效，但是需要追踪设计记录、讨论和论文试验，以了解他们为什么专门选择这个。

优先级相同时的优先级队列行为

Priority Queue behavior when Priority is same

c#

.net-6.0