关于C++ UnionFind类构造函数中vector初始化语法的疑问

你看到的UnionFind(int sz) : root(sz)是C++里的成员初始化列表，作用是在构造函数执行主体代码之前，完成类成员变量的初始化，这里就是初始化私有成员vector<int> root。

具体拆解： #

• : root(sz) 是初始化列表的写法，紧跟在构造函数参数列表后，以冒号开头。如果有多个成员需要初始化，用逗号分隔即可。
• root(sz) 本质是直接调用vector<int>的构造函数：vector<int> root(sz)，这个构造函数会创建一个包含sz个元素的vector，每个元素默认初始化为0（int类型的默认值）。
• 构造函数大括号里的循环for (int i = 0; i < sz; i++) { root[i] = i; }，是把vector里每个元素的默认值0替换成对应的索引值i。

为什么用初始化列表而不是在构造函数里赋值？ #

如果不用初始化列表，你可能会写成这样：

UnionFind(int sz) {
    root = vector<int>(sz); // 先默认构造空vector，再赋值新的vector对象
    for (int i = 0; i < sz; i++) {
        root[i] = i;
    }
}

但初始化列表的方式更高效：它直接在创建root时就分配好sz大小的内存并完成初始化，避免了先创建空vector再赋值的额外开销。

完整代码回顾 #

class UnionFind {
    public:
        UnionFind(int sz) : root(sz) { // 初始化列表直接创建指定大小的vector
            for (int i = 0; i < sz; i++) {
                root[i] = i; // 将每个元素设置为自身索引值
            }
        }
    private:
        vector<int> root;
};

int main() {
    UnionFind uf(10); // 创建一个root向量大小为10、元素值为0-9的UnionFind对象
}

内容的提问来源于stack exchange，提问作者Somyadeep Shrivastava