如何在C++编译时实现类似std::unordered_set的唯一性判断？

要实现编译期类似static_assert的唯一性检测，核心是把元素的插入和唯一性校验放到编译阶段——这要求所有待插入的元素必须是编译期常量，同时借助C的编译期特性（模板元编程或C20+的constexpr容器）来完成校验。

以下是两种可行的实现方式：

方式一：模板元编程（兼容C++11及以上） #

通过可变参数模板递归检查元素是否重复，在编译阶段直接触发错误：

#include <type_traits>

// 辅助模板：检查单个元素是否在参数包中重复
template <typename T, T... Rest>
struct has_duplicate;

// 递归终止条件：参数包为空，无重复
template <typename T>
struct has_duplicate<T> : std::false_type {};

// 检查第一个元素是否和后面的元素重复
template <typename T, T First, T... Rest>
struct has_duplicate<T, First, Rest...> : std::integral_constant<bool, 
    ((First == Rest) || ...) || has_duplicate<T, Rest...>::value> {};

// 定义编译期插入宏，触发static_assert校验
#define COMPILE_INSERT(set_type, ...) \
    static_assert(!has_duplicate<set_type, __VA_ARGS__>::value, "Duplicate elements detected!"); \
    constexpr set_type s = {__VA_ARGS__};

// 使用示例
void init() {
    // 正常编译，无重复元素
    COMPILE_INSERT(const char*, "dog", "bird");
    
    // 编译失败，触发static_assert报错
    // COMPILE_INSERT(const char*, "dog", "dog");
}

该方案通过模板元编程在编译期遍历参数包，一旦发现重复元素，static_assert会直接终止编译并抛出错误，完全不需要运行时逻辑。

方式二：C++20 constexpr容器（更直观） #

C++20允许std::unordered_set在constexpr上下文中使用，我们可以借助这一特性在编译期完成插入和校验：

#include <unordered_set>

// 编译期插入并校验的辅助函数
template <typename T, typename... Args>
constexpr bool compile_time_insert(std::unordered_set<T>& set, Args&&... args) {
    return (set.insert(std::forward<Args>(args)).second && ...);
}

// 包装成宏，配合static_assert做编译期校验
#define COMPILE_INSERT(set, ...) \
    constexpr auto init_result = []{ \
        std::unordered_set<decltype(__VA_ARGS__)> s; \
        return compile_time_insert(s, __VA_ARGS__); \
    }(); \
    static_assert(init_result, "Duplicate elements detected!");

// 使用示例
void init() {
    // 正常编译
    COMPILE_INSERT(s, "dog", "bird");
    
    // 编译失败，触发static_assert报错
    // COMPILE_INSERT(s, "dog", "dog");
}

这里利用constexpr lambda在编译期执行容器插入操作，通过static_assert校验所有插入是否成功（即无重复元素）。需要注意的是，C++20对constexpr下的std::unordered_set有部分限制（比如元素类型需满足可平凡复制等要求），复杂类型可能需要调整实现。

关键说明 #

• 两种方案都要求待插入的元素是编译期常量，如果元素是运行时生成的值，编译期检测无法实现——这是编译期校验的核心前提。
• 相比原代码的运行时assert，编译期检测能更早发现问题，避免将错误带到运行阶段。

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