C++中为person_info实例分配ID的计数器变量应当放在哪里？

原有类内静态计数器方案的潜在问题 #

首先纠正一个常见误区：你提到的「创建对象副本会调用构造函数导致ID自增」实际上不会触发，因为对象副本调用的是拷贝/移动构造函数，你仅在默认构造中实现了ID自增逻辑，所以拷贝场景不会让global_id增加，但你会得到两个ID完全相同的person_info实例，如果你后续用ID作为唯一标识，这才是更需要注意的语义问题。

除此之外该方案还有以下潜在风险：

• 线程安全风险：静态成员global_id是全局共享的，多线程场景下同时创建person_info实例时，对global_id的自增操作没有锁保护，会出现竞态条件，导致ID重复、跳号等问题。
• 多场景计数冲突：如果你需要同时处理多个独立的文件解析任务，所有任务会共用同一个global_id，无法实现每个任务的ID都从0开始独立计数，甚至会出现不同文件的人员ID重叠的问题。
• 重置成本高：如果需要重新加载文件、重新计数，你必须手动修改person_info::global_id的值，破坏了封装性，也容易因为漏重置导致后续逻辑出错。
• 可测试性差：单元测试时不同用例之间会共享global_id的状态，无法独立控制每个用例的ID起始值，用例执行顺序会影响测试结果，需要额外加重置逻辑增加测试复杂度。
• 意外构造触发跳号：如果调用了默认构造的其他场景（比如容器resize自动填充默认元素、声明临时变量做占位等），都会无意义消耗ID号段，哪怕你没用到这些对象也会导致ID跳增。

满足封装需求的改进方案 #

你可以用嵌套生成器的方案，既把计数器逻辑封装在person_info的作用域内，又支持多场景独立计数，还能避免意外构造带来的问题，代码示例如下：

struct person_info
{
  // 仅允许通过生成器创建实例，避免意外构造生成无效ID
private:
  person_info(int assigned_id) : id(assigned_id) {}
public:
  int id;
  // 其他成员变量...

  // 嵌套ID生成器，封装在person_info内部，不对外暴露计数逻辑
  struct id_generator
  {
    int next_id = 0;
    person_info create_new() {
      return person_info(next_id++);
    }
  };
};

使用的时候只需要在解析函数内创建id_generator实例即可：

void parse_file(std::istream& in) {
  person_info::id_generator gen;
  std::string line;
  while (std::getline(in, line)) {
    person_info p = gen.create_new();
    // 解析line填充p的其他成员...
  }
}

这个方案的优势：

• 计数逻辑完全封装在person_info的作用域内，不需要在类外维护独立的全局变量，符合你的封装要求。
• 每个id_generator实例独立计数，多个解析任务互不影响，也不存在全局静态变量的线程安全问题（只要每个线程用自己的generator实例即可）。
• 只有显式调用create_new才会生成新ID，不会出现意外构造导致的ID浪费、重复问题。
• 拷贝person_info实例时只会复用原有ID，符合「副本是同一个人员信息拷贝」的语义，不会出现ID冲突。

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