如何用Boost预处理工具获取C++类型的唯一序列？

完全可以用Boost.Preprocessor实现这个需求，核心思路是利用它的序列遍历、查找和条件判断能力，在预处理阶段完成去重操作，最终得到无重复的类型序列，避免后续重复实例化问题。

实现代码 #

首先需要引入Boost.Preprocessor的相关头文件：

#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/seq/find.hpp>
#include <boost/preprocessor/seq/size.hpp>
#include <boost/preprocessor/control/if.hpp>
#include <boost/preprocessor/cat.hpp>

接下来定义辅助宏和主去重宏：

// 辅助宏：判断当前元素是否已存在于结果序列，不存在则追加
#define ADD_IF_NOT_EXIST(r, current_seq, elem) \
    BOOST_PP_IF( \
        /* 检查元素是否未找到（索引等于序列长度） */ \
        BOOST_PP_EQUAL(BOOST_PP_SEQ_FIND(current_seq, elem), BOOST_PP_SEQ_SIZE(current_seq)), \
        /* 未找到则追加元素 */ \
        BOOST_PP_CAT(current_seq, (elem)), \
        /* 已找到则保持原序列 */ \
        current_seq \
    )

// 主去重宏：遍历原序列，逐步构建无重复序列
#define UNIQUE_SEQ(seq) \
    BOOST_PP_SEQ_FOR_EACH(ADD_IF_NOT_EXIST, (), seq)

使用示例 #

按照你的需求定义原序列后，直接调用去重宏即可：

#define ENTITY_SEQ (A)(B)(C)(A)(C)
#define UNIQUE_ENTITY_SEQ UNIQUE_SEQ(ENTITY_SEQ)

预处理阶段展开后，UNIQUE_ENTITY_SEQ会被替换为(A)(B)(C)，完全符合预期。

逻辑说明 #

• BOOST_PP_SEQ_FOR_EACH会遍历原序列的每个元素，初始传入的current_seq是空序列()。
• 对每个元素，BOOST_PP_SEQ_FIND会在当前的current_seq中查找该元素：如果返回的索引等于序列长度，说明元素不存在，就用BOOST_PP_CAT将元素追加到序列末尾；如果已存在，则保持原序列不变。
• 整个过程在编译前的预处理阶段完成，不会影响运行时性能，正好满足你避免重复实例化的需求。

内容的提问来源于stack exchange，提问作者Eugene W.