c++ - 为任意 UDT 创建可序列化的唯一编译时标识符

Question

我想要一种通用的方法来为任何 C++ 用户定义的类型创建唯一的编译时标识符。
例如:

unique_id<my_type>::value == 0 // true
unique_id<other_type>::value == 1 // true  

我已经设法使用预处理器元编程实现了类似的东西，问题是序列化不一致。例如，如果类模板 unique_id 首先用 other_type 实例化，那么我程序的先前修订版中的任何序列化都将无效。

我已经搜索了这个问题的解决方案，并找到了几种方法来在唯一值是编译时常量的情况下使用非一致性序列化来实现这一点。如果使用 RTTI 或类似的方法，如 boost::sp_typeinfo，那么唯一值显然不是编译时常量，并且会出现额外的开销。这个问题的临时解决方案是，以正确的顺序在单独的 header 中实例化所有 unique_id，但这会导致额外的维护和样板代码，这与使用 enum unique_id{my_type, other_type };。

这个问题的一个很好的解决方案是使用用户定义的文字，不幸的是，据我所知，目前没有编译器支持它们。语法为 'my_type'_id; 'other_type'_id; 与 udl 的。

我希望有人知道允许在 C++ 中使用当前标准 (C++03/C++0x) 实现可序列化的唯一标识符的技巧，如果它适用于最新的稳定 MSVC 和GNU-G++ 编译器，尽管我希望有解决方案，但它不可移植。

我想澄清一下，使用 mpl::set 或类似的结构如 mpl::vector 和过滤，并不能解决这个问题，因为作用域元集/vector 的数量是有限的，实际上会导致比预处理器元编程更多的问题。

Answer 1

不久前，我在我的一个项目中添加了一个构建步骤，这使我可以在 C++ 源文件中编写 @script_name(args) 并自动将其替换为相关的输出脚本，例如 ./script_name.pl args 或 ./script_name.py args。

您可能会对将语言污染为非标准 C++ 的想法犹豫不决，但您所要做的就是编写 @sha1(my_type) 来获取类名的唯一整数哈希，无论构建顺序如何，也不需要显式实例化。

这只是许多可能的非标准解决方案之一，我认为这是一个相当干净的解决方案。目前没有很好的方法在你的类上强加一个任意的、一致的顺序而不只是明确地指定它，所以我建议你简单地让步并走显式实例化路线；集中信息并没有什么错，但正如你所说，它与枚举并没有什么不同，而枚举正是我在这种情况下实际使用的。