Impractical Introduction of Boost Spirit Qi [PPT]

非実用的 Boost Spirit Qi 入門 2011/5/14 Boost 勉強会名古屋 @yak_ex / 新康孝

自己紹介 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Spirit との馴れ初め ,[object Object],[object Object],[object Object],[object Object],[object Object],※ プラグインは axpdf--.spi β 版として公開中 ,[object Object]

Boost Spirit とは？ ,[object Object],[object Object],[object Object],[object Object]

Boost Spirit とは？ ,[object Object],[object Object],[object Object],[object Object],結論： Boost Spirit ＝変態

これが Spirit の力だ！ ,[object Object],[object Object],[object Object],[object Object],<key>=<value> が std::map に突っ込まれる型と出力変数定義入力定義出力へんたい

高度に発達した C++ は魔法と区別がつかないアーサー・ C++ ・クラーク

Boost Spirit とは？ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],← 今回のテーマ

Spirit Qi 入門 ,[object Object]

アジェンダ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Boost Spirit とは？ ,[object Object],[object Object],[object Object]

構文解析と EBNF ,[object Object],[object Object],10 20 30 40 - * + 0 ( - 4 3 0 0 * ) 2 + 0 1

構文解析と EBNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Boost Spirit の rule ,[object Object],[object Object],[object Object],[object Object],C++ の式として有効 ,[object Object],[object Object],[object Object],[object Object]

Boost Spirit の rule ,[object Object],[object Object],[object Object],[object Object]

Boost Spirit の rule ,[object Object],etc. 文字列 abc を読む lit(“abc”) abc いずれか 1 文字を読む char_(“abc”) a ～ b の範囲の 1 文字を読む char_(‘a’, ‘b’) isgraph() が true な 1 文字を読む graph a 1 文字を読む lit(‘a’) 整数値を読む int_ 任意の 1 文字を読む char_

Boost Spirit の rule ,[object Object],etc. p の N 回の繰り返し repeat(N)[p] p 内部で大文字、小文字を区別しない no_case[p] p の N 回以上の繰り返し repeat(N,inf)[p] p の N ～ M 回の繰り返し repeat(N,M)[p] p 先頭で空白をスキップ、 p 内部では空白をスキップしない lexeme[p]

Boost Spirit の rule ,[object Object],etc. p が 0 or 1 回 -a b でない a a - b p の 0 回以上の繰り返し *a 選択（ a あるいは b ） a | b b で区切られた a の繰り返し a % b p の 1 回以上の繰り返し +a 連接（普通に繋げる） a >> b

これが Spirit の力だ！ ,[object Object],[object Object],[object Object],[object Object],<key>=<value> が std::map に突っ込まれるへんたい

Boost Spirit の rule ,[object Object],0 回以上の繰り返し内部スキップなし 0 回以上の繰り返し = 以外の表示文字 = 内部スキップなし表示文字の 0 回以上の繰り返し <key>=<value> の繰り返し

で、出力は？ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],※ tuple, vector は代表で Fusion シーケンス / コンテナなら何でも良い ※ 詳細は「 Quick Reference 」の「 Compound Attribute Rules 」を参照

で、出力は？ ,[object Object],[object Object],[object Object],[object Object],※ Fusion は前回勉強会の cpp_akira さんの発表も参照 BOOST_FUSION_DEFINE_STRUCT( (yak)(pdf), indirect_ref, (int, number) (int, generation) ) 構造体 yak::pdf::indirect_ref が tuple<int, int> 相当になる

出力先 ,[object Object],[object Object],[object Object],※ vector<char> と string は互換 ->これらも互換 *(*(graph - char_('=')) >> lit('=') >> *graph) *(*char >> *char) ,[object Object],[object Object],[object Object],Rule の属性代入先 *(lexeme[*(graph - char_('='))] >> lit('=') >> lexeme[*graph])

Spirit.Qi 入門完まだ Spirit の変態フェイズは終了してないぜ！！

拡張性 ,[object Object],[object Object],[object Object],[object Object]

Boost Spirit の rule （再掲） ,[object Object],etc. p の N 回の繰り返し repeat(N)[p] p 内部で大文字、小文字を区別しない no_case[p] p の N 回以上の繰り返し repeat(N,inf)[p] p の N ～ M 回の繰り返し repeat(N,M)[p] p 先頭で空白をスキップ、 p 内部では空白をスキップしない lexeme[p]

Directive の自作 ,[object Object],[object Object],[object Object],[object Object],[object Object]

Directive の自作 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],※ 今回 semantic action には全く触れませんので Tutorial 参照

Directive の自作 ,[object Object]

Directive の自作 ,[object Object],※ Directive 内部の Parser の型 delimited(delimiter)[parser]

Directive の自作 ,[object Object],※ 属性

Directive の自作 ,[object Object],[object Object],引数の 0 番目要素 Directive の引数の型： Delimiter 1 つ delimited (delimiter) [parser] Parser のコンストラクタ呼び出し

Directive の自作 ,[object Object],[object Object],[object Object],[object Object],※ 入力を微妙に変更

代替手段 ,[object Object],[object Object],[object Object],引数引数値を捨てる引数の型属性

Customization point ,[object Object],[object Object]

Customization point ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Customization point の関係例） Foo >> *Bar の結果の戻し先として型 Qux の変数 qux が渡された場合　　 ※ Foo >> *Bar の属性が Qux 型であるとは限らない！　　 ※ 大枠だけ図示、 ::type や ::call も省略 is_container<Qux> handles_container<Foo> handles_container<*Bar> push_back_container<Qux,Foo_temp>(qux, foo_temp); foo_temp ← Foo 読み出し container_value<Qux>::type foo_temp; true true qux ← Foo 読み出し false true qux ← *Bar 読み出し ※ * ならデフォルト true 　　false なら↑と同様の処理 clear_value<Bar> push_back_container<Qux,Bar_attr> を内部で利用

Customization point の関係例） Foo >> *Bar の結果の戻し先として型 Qux の変数 qux が渡された場合　　 ※ Foo >> *Bar の属性が Qux 型であるとは限らない！　　 ※ 大枠だけ図示、 ::type や ::call も省略 is_container<Qux> is_container<QA> transform_attribute<QA, Foo_attr>::type foo_temp = transform_attribute<QA, Foo_attr>::pre(qa); false true 前ページと同様の処理 false Qux は 2 要素の Fusion シーケンス tuple<QA, QB> とする foo_temp ← Foo 読み出し transform_attribute<QA, Foo_attr>::post(qa, foo_temp); QB と *Bar の属性について上と同様の処理 Foo は何？ rule や attr_cast Foo_attr foo_temp; 他 ※ デフォルトは内部で assign_to を使用 ※ 内部で assign_to_* 族を使用 assign_to(foo_temp, qa); foo_temp ← Foo 読み出し

Spirit Qi とうまく付き合うために ,[object Object],　 ->コーヒーでも飲んで優雅に待つといいよ！ ※ axpdf--.spi だとフルビルドに約 10 分 ,[object Object],[object Object]

Spirit Qi とうまく付き合うために ,[object Object]

見えてる範囲 20% 縮小表示画像補正しないと薄くて文字が分からないレベル

Spirit Qi とうまく付き合うために ,[object Object],[object Object],[object Object]

error で検索ココ 20% 縮小表示

Spirit Qi とうまく付き合うために ,[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],Spirit Qi とうまく付き合うために

[object Object],[object Object],[object Object],Spirit Qi とうまく付き合うために 277 行目

[object Object],Spirit Qi とうまく付き合うために　　->プログラムは思った通りに動かない。　書いたとおりに動く。 ,[object Object],[object Object]

まとめ ,[object Object],[object Object],[object Object],[object Object],[object Object]

ご静聴ありがとうございました

Impractical Introduction of Boost Spirit Qi [PPT]

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Similar to Impractical Introduction of Boost Spirit Qi [PPT]

Similar to Impractical Introduction of Boost Spirit Qi [PPT] (20)

More from yak1ex

More from yak1ex (7)

Recently uploaded

Recently uploaded (8)

Impractical Introduction of Boost Spirit Qi [PPT]