18

はすでに専門分野であるためboost::optional<T&>、ラッパーとして実装されていないのはなぜT*ですか？m_initializedこれにより、ブール値が不要になるため、占有するスペースが少なくなります。

4

3 に答える 3

6

boost 1.61以降のオプションは、参照の場合に最適化されています。

リリースノートには次のように記載されています。

sizeof(optional<T&>) == sizeof(T*)

したがって、その場合は確かにポインターとして実装されます。

于 2016-05-17T13:13:55.280 に答える
2

これはおそらく、初期化されていないオブジェクトが で初期化されたboost::optional<T*>ものと区別されなければならないためです。たとえば、この関数は値を返さないか、 aまたは非ポインタを返すことができます。boost::optional<T*>NULLNULLNULL

NULLこの場合、値を示さない単純なポインターを使用しないのはなぜですか。を使用して、さらに複雑にする必要はありませんboost::optional<>。つまり、物事を大きくしたり複雑にしたりするのは簡単ですが、より良くするのは難しいということです。

于 2012-09-17T08:48:35.187 に答える
1

まず、boost::optional<T&>専門分野ではありません。コードを見ると、タグベースのディスパッチを行って参照型の動作をカスタマイズしていることがわかりますが、boost::optional_base<T>クラス テンプレート自体は特殊化されていません。

ただし、このスペースの最適化が実装されていない理由については、依然として正当な疑問です。専門的でないからか、その分大変な仕事なのかはわかりません。

生のポインターよりも優先する理由についての質問optional<T&>は、まったく別のものですので、お気軽に個別に質問してください...

于 2013-02-13T19:10:12.237 に答える