目前网络上很多代码都使用了 memset(dis, 0x3f, sizeof(dis)) 和 for (int i(1); i<=n; ++i) h[i] += dis[i]。

这样如果两次以上 dis 为正无穷，那么 h 就会溢出，是否可以证明这些 h 以后都用不到？