Floyd算法的核心是更新dist数组，以找到所有顶点对之间的最短路径。选项A正确描述了当通过顶点k的路径更短时，dist[i][j]会更新。选项B描述的是错误的情况，选项C描述的是路径长度相等的情况，此时不需要更新dist[i][j]。选项D错误地表示dist[i][j]总是等于dist[i][k] + dist[k][j]，这是不正确的，只有当通过顶点k的路径更短时才会更新。因此，正确答案是A。