对于 dis 数组的初始值，若边权数据范围为 int，则定义为 0x3f3f3f3f 会比 INT_MAX 要好，因为可以避免在加的时候溢出。

该说法是否正确？