c++ - boost::变体实现

Question

我只是对 boost::variant 的实现感到好奇。

是这样的吗？

两个成员:

1. 代表当前存储类型的数字(即第一个模板参数为 0，第二个模板参数为 1 等)
2. 所有可能类型的 union (当然是最大的)。

apply_visitor():

在表示当前存储类型的数字上有一个 switch 语句来调用正确的重载(这在最坏的情况下会被编译为跳转表，因此需要常数时间)。

我知道还有一些优化可以确保 boost::variant 不需要动态分配内存，详情 here ，但我想我明白了。

Answer 1

它的工作原理与您描述的差不多。长话短说:

1. 它有一个整数which，表示使用了哪种数据类型。

2. 存储是使用 boost 的 aligned_storage 实现的，它基本上是最大数据大小的缓冲区。 (它在 union 中，但为了对齐目的)

最后，访问者确实是用一个 switch 实现的，它在编译时生成，使用宏展开所有类型的可能性。