如何基于uint32_t创建编译器视角下静态区分的不同类型

这里直接给两种完全符合C++规范的实现，都能满足你要求的同类型可比较赋值、不同类型编译报错的需求。

方案1：强类型枚举（enum class） #

这是最简单、零开销的实现，C++11及以上版本原生支持：
强类型枚举天然具备类型隔离属性，显式指定底层为uint32_t即可完全匹配你的需求，不需要额外写运算符重载或者宏。

#include <cstdint>

// 定义各独立ID类型
enum class TextureResourceId : uint32_t;
enum class PipelineResourceId : uint32_t;
enum class BufferResourceId : uint32_t;

int main() {
    TextureResourceId t1{1000}, t2{2000};
    PipelineResourceId p1{1000}, p2{2000};
    BufferResourceId b1{1000}, b2{1000};

    if (t1 == t2) {} // 编译正常
    // if (t1 == p1) {} // 编译报错，不同枚举类型无法比较
    // if (t1 == b1) {} // 编译报错，不同枚举类型无法比较
    return 0;
}

方案2：CRTP模板实现可扩展ID类 #

如果你需要给ID类型添加自定义成员函数（比如无效值判断、序列化、自定义比较逻辑等），可以用CRTP模板方案替代宏，没有宏的副作用，代码更易维护：

#include <cstdint>

// 通用ID基类，CRTP范式保证每个派生类都是独立类型
template <typename Derived>
class BaseResourceId {
public:
    explicit BaseResourceId(uint32_t value) : m_value(value) {}
    bool operator==(const BaseResourceId&) const noexcept = default;
    // 可按需扩展operator<、哈希接口、值获取接口等
    uint32_t value() const noexcept { return m_value; }
private:
    uint32_t m_value;
};

// 派生独立ID类型
class TextureResourceId : public BaseResourceId<TextureResourceId> {
    using BaseResourceId::BaseResourceId; // 继承构造函数
};
class PipelineResourceId : public BaseResourceId<PipelineResourceId> {
    using BaseResourceId::BaseResourceId;
};
class BufferResourceId : public BaseResourceId<BufferResourceId> {
    using BaseResourceId::BaseResourceId;
};

int main() {
    TextureResourceId t1{1000}, t2{2000};
    PipelineResourceId p1{1000}, p2{2000};
    BufferResourceId b1{1000}, b2{1000};

    if (t1 == t2) {} // 编译正常
    // if (t1 == p1) {} // 编译报错，类型不匹配
    // if (t1 == b1) {} // 编译报错，类型不匹配
    return 0;
}

选型建议 #

• 无自定义逻辑需求优先选enum class方案，代码最简，无额外开销，调试信息更友好。
• 需要扩展ID类功能选CRTP模板方案，可复用通用逻辑，避免宏的各种坑。

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