Boost.勉強会 #4 ノート

Boost Fusion Library

タプルとは

• Boost Tuple Library
• std::pair の N個版

ヘテロなコンテナとは

あらゆる型を格納できるコンテナ。 std::vector<boost::any> タプルもヘテロの一種

Boost.Fusion

タプルをヘテロとみなして STL チックな種々のアルゴリズムを適用するライブラリ。

Fusion シーケンス

• vector, list, deque が使える
• イテレータもいける
• for_each の実装例 ... 要素毎に型が異なるので再起関数として実装する

アルゴリズム

• View を用いた遅延評価が特徴。

使いどころ

• 名前がついているがシーケンスとしても扱いたい場合 (RGB など)
  • 構造体として扱うと名前を付けられるがシーケンスとして扱えない
  • 配列だと名前が…
• DSEL の内部実装 (Boost.Spirit.Qj/Karma)
  • 異なる型のシーケンスを扱う機会が多い。Regexp やパーサコンビネータ。

    fusion::vector<int, char, double> result;
    parse("1 a 3.14", int_ >> char_ >> double_, result);
    

• Fusion Sequence をコンセプトとするライブラリへの一括アダプト (Boost.Geometry)
  • Fusion シーケンスとしてアダプトされたすべての型を、 Geometry の coordinate として扱うことが出来る。

ライブラリの設計

• タプルは値 (メンバ変数) と値の集合 (クラス) に、名前のない複合データ型。
• Boost.Fusion では、ユーザー定義型を Fusion シーケンスにアダプトすることで、名前有りタプルとみなすことが出来るようになる。
• ユーザーコード: 名前有り世界 / ライブラリコード: 名無し世界 として棲み分けするとよさげ…。
  • タプルはクラスを作るのが面倒くさいときに即興で使われることが多い。... メンテナンス性が低下する
  • データを単なるシーケンスとして扱って良いのはライブラリの中だけ。
• ユーザーコードではユーザー定義型を fusion シーケンスへアダプトすることで有用なアルゴリズムが使えるようになる。

まとめ

• タプルをリストとみなす
• タプルに名前をもたらす
• ライブラリの設計に取り入れればユーザーコードが柔軟に