这个帖子中指出，$Dijkstra$与$SPFA$的区别体现在代码上只在于queue与priority_queue（指类似$OI\ Wiki$上的不使用vis数组方法）

那么，我就想，既然优先队列也是队列，那么，使用优先队列的$Dijkstra$是否可以『以$SPFA$的方式』处理负权图

那么，如果可以，使用优先队列的$Dijkstra$是否有更多的$SPFA$的特性

那么，这样是不是意味着使用优先队列的$Dijkstra$是一种$SPFA$（暴论

或者是说，使用优先队列的$Dijkstra$是针对非负权图特殊优化的$SPFA$（暴论+1

至少，从代码上看，使用优先队列的$Dijkstra$更像$SPFA$，而不是无优化的$Dijkstra$