RT，当时学得有些囫囵吞枣，刚碰到一道最短路题突然不懂了

我的理解，每次松弛时我们都会更新外面的 $dis$ 数组，任何时候 $u$ 可以通过 $dis$ 唯一对应到 当前 $s\to u$ 最短路径的长度，堆内部直接以 $dis$ 的大小为基准排序即可，每次从堆里取出元素 $x$ 时能够保证 $dis_x=\delta(s,x)$ 的长度。

如下代码可以通过弱化版，本题则 WA68：

#include <cstdio>
#include <vector>
#include <queue>
#include <cstring>

using namespace std;

const int N=1e5+1.14514,inf=0x3f3f3f3f;

struct edg{int v,w;};

vector<edg> vc[N];

int f[N],s;bool vis[N];

struct cmp{bool operator()(int x,int y){return f[x]>f[y];}};

priority_queue<int,vector<int>,cmp> q;

void di_kstra(){
	memset(f,inf,sizeof(f));
	f[s]=0;q.push(s);
	while(!q.empty()){
		int now=q.top();q.pop();
		if(vis[now]) continue;vis[now]=1;
		for(auto [v,w]:vc[now]) if(f[v]>f[now]+w) f[v]=f[now]+w,q.push(v);
	}
}

int main()
{
	int n,m,u,v,w;scanf("%d%d%d",&n,&m,&s);
	for(int i=1;i<=m;++i) scanf("%d%d%d",&u,&v,&w),vc[u].push_back((edg){v,w});
	di_kstra();for(int i=1;i<=n;++i) printf("%d ",f[i]==inf?2147483647:f[i]);
}

求 dalao 解释下为什么我的想法是错的或者告诉我我写挂了，不胜感激。