drumato.com

about
contacts
免責事項
ライセンス
記事一覧
日記一覧
ENGLISH
Rust製のパーサコンビネータcombine v4.4.0を覗き見する

Rust製のパーサコンビネータcombine v4.4.0を覗き見する

parser-combinatorcode-readingcombinerust

この記事は 言語実装 Advent Calendar 2020 の10日目です.
昨日は @kimiyuki さんの記事でした.
明日は @fukkun さんの記事です.

Twitter等で rustcのコードリーディングを助ける為の記事 を書くみたいなこと言っていましたが,
ある理由により実現できませんでした.

Motivation

つい先日,このような記事を上げました.

nomという比較的よく使われるパーサコンビネータについて解析し,
パーサコンビネータとRustに詳しくなろう,みたいな目的の記事です.
思ったより多くの方にご覧頂けたようで,大変嬉しく思っております.

この記事の冒頭で言っていた,まさにそれです.
combineも同様に理解することで,更にRustに詳しくなろうと考えています.

パーサコンビネータについての解説等は特にしないですし,
「nomと比較してxxな実装なんですね」という切り口で解説したいと思っているので,
是非nom解説の記事もご覧頂ければと思います.
実際にnom解説を理解したあとこちらの記事に戻ってくると,
あまり理解するのに時間はかからないんじゃないかなと思います.
nom解説の記事は2,3週間練って作ったものなので出来がいいのもあります

2つのプロジェクトの規模感を把握するために,
clocを使って比較してみました.

1$ cloc nom/src/ 2 32 text files. 3 32 unique files. 4 0 files ignored. 5 6github.com/AlDanial/cloc v 1.82 T=0.04 s (853.9 files/s, 581289.6 lines/s) 7------------------------------------------------------------------------------- 8Language files blank comment code 9------------------------------------------------------------------------------- 10Rust 32 1480 7348 12957 11------------------------------------------------------------------------------- 12SUM: 32 1480 7348 12957 13------------------------------------------------------------------------------- 14 15$ cloc combine/src/ 16 23 text files. 17 23 unique files. 18 0 files ignored. 19 20github.com/AlDanial/cloc v 1.82 T=0.03 s (778.9 files/s, 551101.4 lines/s) 21------------------------------------------------------------------------------- 22Language files blank comment code 23------------------------------------------------------------------------------- 24Rust 23 1401 3594 11278 25------------------------------------------------------------------------------- 26SUM: 23 1401 3594 11278 27-------------------------------------------------------------------------------

こうしてみると,そこまで大きな差はなさそうですね.

今回は v4.4.0 を対象に読み進めていきます.

サンプルから読み始める

READMEに書いてあるサンプルから読み始めて,
サンプルで使われている各関数の実装を見てみることにしましょう.
適宜コメントを加えているので,combineを使ったことない人も理解できると思います.
nomの記事もそうでしたし今回もそうですが,私はほぼ使ったことないまま記事を書いています

1use combine::{many1, Parser, sep_by}; 2use combine::parser::char::{letter, space}; 3 4// parser::char::letter はchar型の入力がstd::char::is_alphabeticを満たせばeatして返す 5// many1 は引数に受け取ったパーサが一回以上適用できればパース成功とする 6// ここで得られるwordという変数ももちろんパーサである(後述) 7let word = many1(letter()); 8 9// sep_by は2つ目の引数に渡したパーサをseparatorとする構造をパースする 10// 今回で言えばparser::char::space なので,スペース区切りの文字列をパースすると考えてくれれば良い 11// 後述するが,各パーサはmap()メソッドを持つ. 12// sep_by の返り値が Vec<String> であると注釈することで, 13// rustcは parser.parse() の成果物がStringだとわかる 14let mut parser = sep_by(word, space()) 15 .map(|mut words: Vec<String>| words.pop()); 16 17// parse() メソッドを呼び出すことで,実際にパースを実行する 18// 今回は入力文字列としてとして &'static strを渡している 19let result = parser.parse("Pick up that word!"); 20 21// パース成功時,(パーサの成果物, eatされた文字列)というタプルが返る 22// タプルの順番がnomと真逆なので注意 23assert_eq!(result, Ok((Some("word".to_string()), "!")));

私の解説では(個人的好みにつき)一切触れませんでしたが,
一般的には "マクロのnomと関数のcombine" みたいな比較をされることが多いです.
但し前回の記事で散々説明したようにnomには関数APIも存在するので,
この比較は現在あまり意味がありません.

parser::char::letter

非常にシンプルな機能を提供する関数だとわかったので,
この関数を見ていくことでcombineの設計を覗き見ることにします.
実際のコードを見てみると,
提供する機能と同じく非常にシンプルな実装になっていることがわかります.

1/// Parses an alphabet letter according to [`std::char::is_alphabetic`]. 2/// 3/// [`std::char::is_alphabetic`]: https://doc.rust-lang.org/std/primitive.char.html#method.is_alphabetic 4/// 5/// ``` 6/// use combine::Parser; 7/// use combine::parser::char::letter; 8/// assert_eq!(letter().parse("a"), Ok(('a', ""))); 9/// assert_eq!(letter().parse("A"), Ok(('A', ""))); 10/// assert!(letter().parse("9").is_err()); 11/// ``` 12pub fn letter<Input>() -> impl Parser<Input, Output = char, PartialState = ()> 13where 14 Input: Stream<Token = char>, 15 Input::Error: ParseError<Input::Token, Input::Range, Input::Position>, 16{ 17 satisfy(|ch: char| ch.is_alphabetic()).expected("letter") 18} 19

where 句で設けられているトレイト境界ですが,nomの時と似たような感じになっていますね.
この関数を ボトムアップ 的に理解することにしましょう.
ボトムアップ式理解の欠点として,
ずっと不安感を覚えながら読みすすめる必要がある というのがあるので,
ここで簡潔に letter() の理解の方針を示します.

  • まず letter() の定義で用いられているトレイトや型を簡潔に説明します
    • これによって,letter() が生成するパーサはどんな入力を受け取れて何を返すかがわかります
  • 次に関数内部を理解します
    • 今回で言えば satisfy() が何をするのか,ということです

letter() で使われている各種トレイトや型

まず気になるのは返り値の型とされているimpl Objectです.
これはParserトレイトを実装する型を返すようです.
nomでは Fn(Input) -> IResult<Input, Output, Error> のように Fn トレイトがそのまま使われていましたが,
combineでは少し異なる実装がされているようですね.
ドキュメントを見てみましょう.

いくつかのメソッドがありますが,
とりあえずは fn parse(&mut self, input: Input) -> Result<(Self::Output, Input), <Input as StreamOnce>::Error> だけ理解できていれば大丈夫です.
そしてこれ,まさしく先程言っていたように,
nomにおける Fn(Input) -> IResult<Input, Output, Error> に似たものを感じます.

ドキュメントの内容と合わせるとかなり多くの型が出てきたので,整理したいと思います.

  • Parser<Input: Stream> は各関数が返す"パーサが実装するトレイト"
    • associated typeとして Output を持ち,これはパーサの成果物の型を指定する
      • 今回でいえば Output = char
    • fn parse() はパース実行のエントリポイント
  • Stream は3つのトレイトの集合的存在
  • ParseError はそのままパーサエラーの定義

と,ここまで言われても"ナンノコッチャ"ってなってると思います,
nomと同様,トレイトとジェネリクスを最大限活用してゼロコスト抽象化を実現している点は変わらないようです.

今回も同じく &str に限定して考えます.
まずは以下のコードを見てみましょう.

1impl<'a> StreamOnce for &'a str { 2 type Token = char; 3 type Range = &'a str; 4 type Position = PointerOffset<str>; 5 type Error = StringStreamError; 6 7 #[inline] 8 fn uncons(&mut self) -> Result<char, StreamErrorFor<Self>> { 9 let mut chars = self.chars(); 10 match chars.next() { 11 Some(c) => { 12 *self = chars.as_str(); 13 Ok(c) 14 } 15 None => Err(StringStreamError::Eoi), 16 } 17 } 18} 19 20impl<'a, T> Positioned for &'a [T] 21where 22 T: Clone + PartialEq, 23{ 24 #[inline] 25 fn position(&self) -> Self::Position { 26 PointerOffset::new(self.as_ptr() as usize) 27 } 28} 29 30impl<'a> Positioned for &'a str { 31 #[inline] 32 fn position(&self) -> Self::Position { 33 PointerOffset::new(self.as_bytes().position().0) 34 } 35} 36 37#[doc(hidden)] 38#[macro_export] 39macro_rules! clone_resetable { 40 (( $($params: tt)* ) $ty: ty) => { 41 impl<$($params)*> ResetStream for $ty 42 where Self: StreamOnce 43 { 44 type Checkpoint = Self; 45 46 fn checkpoint(&self) -> Self { 47 self.clone() 48 } 49 #[inline] 50 fn reset(&mut self, checkpoint: Self) -> Result<(), Self::Error> { 51 *self = checkpoint; 52 Ok(()) 53 } 54 } 55 } 56} 57 58clone_resetable! {('a) &'a str}

やっぱりこうして一つのトレイト実装を見てみると非常にわかりやすいですね.
StreamOnce::uncons() を見ると,std::collections::VecDeque::pop_front() のような動作に見えます.
Positioned::position() は, impl<'a, T> Positioned for &'a [T] によってスライスに対する定義が行われ,
それを流用する形で <&[u8]>::position() を呼び出しています.
ResetPosition に関してはマクロによって実装されていますが,
impl<'a> ResetStream for &'a str のような展開がされることがわかれば,あとは普通のimplブロックです.
私は普段Rustを書くとき一切マクロを使わないですが,
Rustのマクロは比較的分かりやすい上に ドキュメント もあるので,
あまり読むのに困ったことはありません.

3つのトレイトの実装について大まかにわかったところで,
Stream トレイトも見てみます.
とはいっても,3つのトレイトを頑張って理解した私達にとって難しいことは特にありません.

1pub trait Stream: StreamOnce + ResetStream + Positioned {} 2 3impl<Input> Stream for Input 4where 5 Input: StreamOnce + Positioned + ResetStream, 6 Input::Error: ParseError<Input::Token, Input::Range, Input::Position>, 7{ 8}

&str に限定して考えたとき,
Input::Token = char, Input::Range = &str, Input::Position = PointerOffset<str> であるとわかっています.
また先程説明を省略しましたが,
Input::Error = StringStreamError であり, impl ParseError for StringStreamError はデフォルトのものが存在します.

ここまでの説明を経て,やっと letter() が生成するパーサに &str を渡せることがわかったのです.

letter() 内部

ここでもう一度 parser::char::letter() の定義を持ってきましょう.

1pub fn letter<Input>() -> impl Parser<Input, Output = char, PartialState = ()> 2where 3 Input: Stream<Token = char>, 4 Input::Error: ParseError<Input::Token, Input::Range, Input::Position>, 5{ 6 satisfy(|ch: char| ch.is_alphabetic()).expected("letter") 7}

もう特に説明しなくても関数シグネチャについては理解できそうですね.

parser::token::satisfy() についても 前の貯金 があるので予想はつきますが,
この記事は "nomとcombineの違いを知る" のが趣旨なので,素直に読むとしましょう.

1#[derive(Copy, Clone)] 2pub struct Satisfy<Input, P> { 3 predicate: P, 4 _marker: PhantomData<Input>, 5} 6 7pub fn satisfy<Input, P>(predicate: P) -> Satisfy<Input, P> 8where 9 Input: Stream, 10 P: FnMut(Input::Token) -> bool, 11{ 12 Satisfy { 13 predicate, 14 _marker: PhantomData, 15 } 16}

parser::token::satisfy() は構造体 parser::token::Satisfy<Input, P> を返すようですね.
この段階で,この構造体が Parser トレイトを実装しているんだろうなあ,という予想が付きます.

PhantomData<T> ってなんだろう,と疑問に思った方もいるかもしれません.
これについては qnighy さんの記事が非常に詳しいです.

impl<Input, P> Parser<Input> for Satisfy<Input, P> を見てみましょう.

1impl<Input, P> Parser<Input> for Satisfy<Input, P> 2where 3 Input: Stream, 4 P: FnMut(Input::Token) -> bool, 5{ 6 type Output = Input::Token; 7 type PartialState = (); 8 9 #[inline] 10 fn parse_lazy(&mut self, input: &mut Input) -> ParseResult<Self::Output, Input::Error> { 11 satisfy_impl(input, |c| { 12 if (self.predicate)(c.clone()) { 13 Some(c) 14 } else { 15 None 16 } 17 }) 18 } 19} 20 21fn satisfy_impl<Input, P, R>(input: &mut Input, mut predicate: P) -> ParseResult<R, Input::Error> 22where 23 Input: Stream, 24 P: FnMut(Input::Token) -> Option<R>, 25{ 26 let position = input.position(); 27 match uncons(input) { 28 PeekOk(c) | CommitOk(c) => match predicate(c) { 29 Some(c) => CommitOk(c), 30 None => PeekErr(Input::Error::empty(position).into()), 31 }, 32 PeekErr(err) => PeekErr(err), 33 CommitErr(err) => CommitErr(err), 34 } 35}

fn stream::uncons()method Stream::uncons() のラッパーです.
返り値は ParseResult というenumです.
これも &str に限定して考えてしまいましょう.
&str に対し Stream::uncons() を呼び出すと std::collections::VecDeque::pop_first() のように振る舞うとお話しました.
この切り出された文字に対し predicate を適用したとき,
その結果が Option::Some であればパース成功としその結果を保存します.
そうでなければパースは失敗したとして PeekErr を返します.


まとめ

  • combineの提供する関数は Parser トレイトを実装する構造体を返す
    • 返す構造体はAPI関数によって異なるが, Parser トレイトを実装するという点で共通している
    • Parser トレイトは Stream トレイトを実装する入力を受け付ける
    • 返り値は Result<(Self::Output, Input), <Input as StreamOnce>::Error> である

ここまでの道のりで分かる通り,
nomと同じく"汎用性の高いパーサコンビネータライブラリ" を実現するための設計がされていることがわかります.
Rustの型システムを最大限に活用するコードは見ていて楽しいですし,学びもありますね.

急ピッチで作成したので少しごちゃっとした,自分用メモみたいな記事になってしまいました.
本当は Dockerfileの静的解析ツール みたいなやつを作って発表しようかなーなんて構想もありましたが,後の祭り.
来年も絶対に参加するつもりなので,その時はちゃんと既存記事がないかどうかチェックしてから書くことにします.

余談: any について

最もシンプルなパーサはこれだったんじゃないかと,今になって思い始めました.
とにかくeatできればなんでもいい,なパーサを作ってくれます.

1pub fn any<Input>() -> Any<Input> 2where 3 Input: Stream, 4{ 5 Any(PhantomData) 6} 7 8#[derive(Copy, Clone)] 9pub struct Any<Input>(PhantomData<fn(Input) -> Input>); 10 11impl<Input> Parser<Input> for Any<Input> 12where 13 Input: Stream, 14{ 15 type Output = Input::Token; 16 type PartialState = (); 17 18 #[inline] 19 fn parse_lazy(&mut self, input: &mut Input) -> ParseResult<Input::Token, Input::Error> { 20 uncons(input) 21 } 22}

fn stream::uncons() に渡しているだけなのがわかります.
要は先頭アイテムが切り取れればそれでいい,な実装です.
わかりやすい.