C++相談室 part154 YouTube動画>1本 ->画像>1枚

103デフォルトの名無しさん2021/01/14(木) 06:54:42.42ID:mrWYZ3Pm

Caper や Bison でプッシュ型を調べてみるとわかると思います。

104デフォルトの名無しさん2021/01/14(木) 06:59:25.06ID:mrWYZ3Pm

あらゆるソフトウェアで使いまわされるライブラリにおいて、詳細が既に決まっているのは不自由なことです。

106デフォルトの名無しさん2021/01/14(木) 07:23:48.43ID:mrWYZ3Pm

>>105
プッシュ型はパーサーでよく使われます。
ユーザーが柔軟性を求めるからです。

Caperはプッシュ型、Bisonはパーサー側が文字を読む方式ですが、オプションとしてプッシュ型を選べます。
パーサにおいてプッシュ型とは、（パーサではなく）パーサを呼び出す側が文字を送り込みます。

それによって何が起きるでしょうか？
従来のパーサーは状態と共に行番号を保存します。
プッシュ型の場合、行番号を保存するのは呼び出し側です。

パーサーが読む文字とは何でしょうか？
プッシュ型において、Cではint、C++ではユニコード。コードポイントです。
文字デコードを行うのは、呼び出し側です。

では従来のパーサでは？
行番号を管理するためには、文字デコードもパーサーの仕事です。
つまりパーサーは大きな塊でアリ、組み合わせる部品ではありません。

107デフォルトの名無しさん2021/01/14(木) 07:27:04.63ID:mrWYZ3Pm

プッシュ型はUNIXに通じるものがありますが、UNIXでは実現されませんでした。

108デフォルトの名無しさん2021/01/14(木) 07:47:44.25ID:mrWYZ3Pm

パーサーは本来、構文解析が仕事です。
しかし、現状多くのパーサーは、構文解析以外の機能を密に結合している。

本来の仕事以外は分離して、小さな部品にすることで再利用性が高まる。
という感じですかね。

これはテンプレートと同じでもろ刃の剣でもあるんですよ。
詳細を設計しないんですから。

しかし、STLの寿命の長さを見て分かる通り、詳細が設計されていないという事は利用者が自由に設計できるという事で、使い出があるんです。

109デフォルトの名無しさん2021/01/14(木) 07:48:23.53ID:mrWYZ3Pm

もちろん、パーサーに限った話ではないですよ。
例です。

111デフォルトの名無しさん2021/01/14(木) 09:29:21.76ID:mrWYZ3Pm

>>110
使う側にとって良いことなんですよ。

それと、プッシュ型は万能ではないんですよ。
一部のコンポーネントの部品化に対して利益があるのです。

113デフォルトの名無しさん2021/01/14(木) 10:15:16.01ID:mrWYZ3Pm

まあそうですね。
すいませんでした。

C++相談室 part154 YouTube動画>1本 ->画像>1枚

ID:mrWYZ3Pmのレス一覧：