C++中unordered_set静态成员与构造函数初始化的效率及内存对比

针对你给出的两种unordered_set初始化方式，从内存占用和效率两方面分析如下：

内存占用对比 #

• 静态成员checkNames_v1：属于类级别的共享资源，整个程序生命周期内只会分配一份内存，无论创建多少个Example对象，它的内存都不会重复分配。
• 非静态成员checkNames_v2：是每个Example对象的独立成员，每创建一个Example实例，就会额外分配一份unordered_set的内存（包括内部哈希表结构和存储的元素）。如果创建多个Example对象，checkNames_v2的总内存占用会随实例数量线性增长，远高于checkNames_v1。

效率对比 #

• 初始化效率：checkNames_v1通过初始化列表一次性完成构造，能直接分配足够的内存容纳所有元素，避免了构造函数中多次调用insert可能触发的哈希表扩容操作，初始化开销更低。而checkNames_v2每次创建对象时都要执行两次insert，不仅有函数调用开销，还可能因为元素插入触发哈希表的扩容（虽然这里只有两个元素概率较低，但原理上存在这类开销）。
• 运行时开销：checkNames_v1在程序启动阶段就完成初始化，后续所有Example实例都可以直接复用这份资源，无需重复初始化。而checkNames_v2的初始化逻辑会在每个对象构造时重复执行，带来不必要的重复开销。

额外注意事项 #

• 静态成员的初始化顺序：如果类存在多个静态成员，它们的初始化顺序是未定义的，若checkNames_v1依赖其他静态资源，需要额外处理初始化顺序问题。
• 线程安全：C11及以后，全局静态成员的初始化会在main函数执行前完成（单线程阶段），不存在多线程竞态问题；但如果是在函数内定义的静态局部变量，C11保证了其初始化的线程安全性。

总结 #

如果你的unordered_set内容是固定且所有类实例共享的，静态成员初始化方式（v1）在内存占用和效率上都更优；只有当每个类实例需要拥有独立的unordered_set实例时，才适合使用构造函数初始化非静态成员（v2）。

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