如何生成与类实例化顺序一致的自动连续类ID？

核心结论 #

对于局部作用域的对象（函数内、代码块内），用静态变量递增生成ID的方式完全能保证ID连续且与源代码实例化顺序一致；但全局/跨编译单元的静态对象会因为编译器初始化顺序未定义，可能出现ID乱序的情况，需要针对性处理。

1. 局部对象：直接用静态计数器即可 #

局部对象的构造严格遵循代码执行流的顺序，每次实例化时递增静态计数器，生成的ID必然和源代码里的实例化顺序完全匹配，不会出现你担心的id1得2、id2得1的情况。

示例实现：

#include <iostream>

class Id {
private:
    // C++17及以上支持inline静态变量，旧标准可在类外初始化
    static inline int counter = 0;
    int id;
public:
    Id() : id(++counter) {}
    int get_id() const { return id; }
};

int main() {
    Id id1; // get_id() 返回1
    Id id2; // get_id() 返回2
    Id id3; // get_id() 返回3
    std::cout << id1.get_id() << ", " << id2.get_id() << ", " << id3.get_id() << std::endl;
    return 0;
}

这段代码的输出必然是1, 2, 3，完全符合预期。

2. 全局/跨编译单元静态对象：注意初始化顺序问题 #

如果是在不同文件中定义的全局Id对象，比如file1.cpp里的Id g_id1和file2.cpp里的Id g_id2，C++标准对跨编译单元的全局对象初始化顺序是未定义的——编译器可能先初始化g_id2，导致它的ID是1，g_id1的ID是2，和你在源代码中写的顺序不符。

解决方法：改用延迟初始化，通过函数内的静态对象控制构造顺序，让ID顺序由函数调用顺序决定（也就是源代码中调用函数的顺序）：

// 替代直接定义全局对象，改用函数返回静态实例
Id& get_global_id1() {
    static Id id; // 第一次调用函数时构造
    return id;
}

Id& get_global_id2() {
    static Id id;
    return id;
}

int main() {
    auto& g_id1 = get_global_id1(); // ID=1
    auto& g_id2 = get_global_id2(); // ID=2
    // 调用顺序完全由源代码决定，ID顺序与之一致
}

3. 多线程场景：保证线程安全 #

如果你的代码是多线程环境，普通静态计数器的递增操作不是原子的，可能导致ID重复或乱序。这时候需要用原子类型作为计数器：

#include <atomic>

class Id {
private:
    static inline std::atomic<int> counter = 0;
    int id;
public:
    Id() : id(++counter) {}
    int get_id() const { return id; }
};

注意：多线程场景下，实例化的实际顺序由线程执行顺序决定，如果你的需求是严格匹配源代码的文本顺序，多线程本身无法保证这一点——因为线程的执行调度是操作系统决定的。

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