Beispiel

Extract or iterate elements from package:collection PriorityQueue in priority order without mutating the queue

sha256:8376217b4f599376ba9a7e40e78691ee88b2b13e999166fe688cf065e655bbc3

Fall

Ziel

Extract or iterate elements from package:collection PriorityQueue in priority order without mutating the queue HOW

Pakete

collection 1.19.1

Umgebung

dart

Erstellt

2026-08-17T03:53:33Z

Häufige Annahme

HeapPriorityQueue's unorderedElements property yields elements in priority-sorted order and PriorityQueue implements Iterable.

So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.

Contract

• PriorityQueue does not implement Iterable, and HeapPriorityQueue.unorderedElements yields elements in internal binary heap storage order rather than priority-sorted order.
• Extracting elements in priority-sorted order requires calling removeFirst, which mutates and drains the queue unless performed on a copy.
• Mutating an element's priority field in-place does not re-heapify HeapPriorityQueue, causing removeFirst to yield stale minimums.

Dateien

• NOTES.md
• csx.json
• lib/priority_queue_trap.dart
• pubspec.lock
• pubspec.yaml
• test/contract.dart

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed

Verifizierungsbelege

• dart 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17 · ed25519:d91480838ac982c9