它是如何工作的？

维护一个 dist 数组：dist[source] = 0，其他每个顶点的初始值都是“无穷大”（一个非常大的数）。为每个顶点维护一个 visited 标记。

分步过程：

1. 在未访问的顶点中，选择 dist 最小的顶点 u。如果没有可到达的顶点，就停止。
2. 将 u 标记为已访问：它的距离现在已确定。
3. 松弛 u -> v 的每条权重为 w 的边：如果 dist[u] + w < dist[v]，就减小 dist[v]。
4. 重复以上步骤，直到所有可到达的顶点都已确定。

最后，仍为无穷大的顶点都不可到达（我们将其报告为 -1）。