boost :: variant implementation

Question

私はboost::variantの実装について興味があります。

このように機能しますか？

2人のメンバー：

1. （第2のテンプレートパラメータなどのために、すなわち0最初のテンプレートパラメータは、1）現在記憶されているタイプを表す数字
2. コースの全ての可能な種類（の組合最大のサイズ）。

apply_visitor()：

（これはジャンプテーブルとしてコンパイルすることが最悪の場合にはその一定の時間がかかるでしょう）正しいオーバーロードを呼び出すために現在保存されているタイプを表す数でswitch文を持っています。

また、boost::variantには、詳細なhereのように動的にメモリを割り当てる必要はないことが確かな数多くの最適化がありますが、私はこれらを得ると思います。

Answer 1

これはあなたの説明どおりです。かいつまん：

1. これは、データ型が使用されているかを示す整数whichを持っています。

2. 記憶は、基本的に最大データサイズのバッファであるブーストのaligned_storageを使用して実装されます。 （それが組合であるが、位置合わせのために）

最後に、訪問者は、実際にすべてのタイプの可能性をアンロールするマクロを使用してコンパイル時に生成され、switchで実装されています。