Union Findで親の頂点番号とグループのサイズを1つのvectorで管理するやつについて

struct UnionFind {
    /**
     * parで親の頂点番号と、サイズを同時に管理する
     * 根ではない頂点のparは親となる頂点の値が入ってる
     * 根にはサイズ数が入っている。区別できるようにサイズはマイナスの値で入っている
     * そのため、初期値はすべて-1になる(mergeの際にmergeされる側の根に、mergeする方の根が加算される)
     */
    vector<int> par;

    /**
     * コンストラクタ
     * 最初は全ての頂点が、別グループで初期化する
     * @param n : 全ての頂点数
     */
    UnionFind(int n) : par(n, -1) { }

    /**
     * 頂点xが属するグループの根になる頂点の番号を返す
     * @param x : 頂点番号
     * @return 頂点xが属するグループの根になる頂点の番号
     */
    int root(int x) {
        // 負の値ということは、根である
        if (par[x] < 0) return x;
        return par[x] = root(par[x]);
    }

    /**
     * 頂点xとyをマージする(1つのグループにする)
     * @param x : マージしたい頂点番号
     * @param y : マージしたい頂点番号
     * @return Bool値を返す, マージ成功した場合は`true`, すでに同じグループだった場合は`false`を返す
     */
    bool merge(int x, int y) {
        x = root(x); y = root(y);
        if (x == y) return false;
        // サイズが大きいほうにマージする
        // 以下は必ずxが大きいほう(サイズはマイナスの値が入ってるので)にするように調整している
        if (par[x] > par[y]) swap(x, y);
        // xのサイズに、yのサイズを加算する
        par[x] += par[y];
        // yの根をxに更新する
        par[y] = x;
        return true;
    }

    /**
     * 頂点xとyが同じ木に属するかを判定する
     * @param x : 頂点番号
     * @param y : 頂点番号
     * @return xとyが同じ木に属するのであれば`true`, そうでないのであれば`false`を返す
     */
    bool same(int x, int y) {
        int rx = root(x);
        int ry = root(y);
        return rx == ry;
    }

    /**
     * 頂点xが属する木のサイズ(その木に属する頂点の個数)を返す
     * @param x : 頂点番号
     * @return 頂点xが属する木のサイズ
     */
    int size(int x) {
        // サイズはマイナスで入ってるので、-をかけて返す
        return -par[root(x)];
    }
};