↗ agatan blog ↗

Rust のパーサコンビネータライブラリ combine を使う時の tips

5/14/2016 公開

Rust

Rust のパーサコンビネータライブラリの一つである Marwes/combine: A parser combinator library for Rust を使ってみています.

詳しい使い方はきちんとしたドキュメントがあるのでそちらを参照してください.

ざっくりいうと Haskell の parsec: Monadic parser combinators | Hackage の Rust 版という感じです.

(ちなみに私も combine を参考に C++ でパーサコンビネータを作ってみたりしました. ) agtn.hatenablog.com

で、このライブラリ、とてもジェネリックなコードで書かれているので、かなりコンパイル時間が増加します… (Boost.Spirit 系に近いです. コンパイルエラーなどは遥かに読みやすいのであまり困ることはないですが)

パーサを書いている時にはテストは頻繁に行いたいので,ちょっとコンパイルがおそいのはつらい.

なにか解決策はないかなぁと思っていたら本家に issue がたっていました.

Extremely long compile times · Issue #21 · Marwes/combine

今回この issue にかかれていた内容を検証してみたので,ここでまとめておこうと思います.

結論

パーサの定義を,ジェネリックな構造体のメソッドとして定義するとコンパイル時間が大幅に短くなる

方法

まずはじめに言われているのは,入力ストリーム型をI: Stream<Item=char> から &str にしてしまうという方法です.

(It might be possible to specialize the parsers directly as well, say fn expr(input: State<&str>) -> ParseResult<Expr, &str> instead of fn expr<I: Stream>(input: State<I>) -> ParseResult<I, &str> )

これは作ったパーサをジェネリックな入力に対して適用することができなくなりますが,ライブラリの利用者側としては,char のストリームといったらだいたい &str だと思うので,ぶっちゃけジェネリックじゃなくてもいいじゃんという感じです.

そしてもう一つが, ジェネリックな構造体を作って,パーサの定義をその中に閉じ込めるという方法です.

ちょっとこちらはコード例を実際に見たほうがわかりやすいと思うので後で説明します.

実験コード

というわけで,

  1. ジェネリックなパーサ
  2. &str のみを受理するパーサ
  3. ジェネリックな構造体の中に定義されたジェネリックでないパーサ

の三種類について,コンパイル時間をはかってみます.

パーサ界のハローワールド,計算機で実験してみます. まずはジェネリックなパーサです.

use combine::*;
use combine::primitives::Stream;

pub fn integer&lt;I&gt;(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt;
    where I: Stream&lt;Item = char&gt;
{
    many1::&lt;Vec&lt;\_&gt;, \_&gt;(digit())
        .map(|is| is.into\_iter().fold(0, |lhs, rhs| lhs + (rhs as i64 - &#39;0&#39; as i64)))
        .parse\_state(input)
}

pub fn factor&lt;I&gt;(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt;
    where I: Stream&lt;Item = char&gt;
{
    between(char(&#39;(&#39;), char(&#39;)&#39;), parser(expr)).or(parser(integer)).parse\_state(input)
}

pub fn term&lt;I&gt;(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt;
    where I: Stream&lt;Item = char&gt;
{
    let op = char(&#39;*&#39;).or(char(&#39;/&#39;)).map(|c| {
        move |lhs, rhs| match c {
            &#39;*&#39; =&gt; lhs * rhs,
            &#39;/&#39; =&gt; lhs / rhs,
            \_ =&gt; unreachable!(),
        }
    });
    chainl1(parser(factor), op).parse\_state(input)
}

pub fn expr&lt;I&gt;(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt;
    where I: Stream&lt;Item = char&gt;
{
    let op = char(&#39;+&#39;).or(char(&#39;-&#39;)).map(|c| {
        move |lhs, rhs| match c {
            &#39;+&#39; =&gt; lhs + rhs,
            &#39;-&#39; =&gt; lhs - rhs,
            \_ =&gt; unreachable!(),
        }
    });
    chainl1(parser(term), op).parse\_state(input)
}

pub fn parse&lt;I&gt;(input: I) -&gt; Result&lt;(i64, I), ParseError&lt;I&gt;&gt;
    where I: Stream&lt;Item = char&gt;
{
    parser(expr).parse(input)
}

それぞれの関数が一つのパーサの役割を担います.それぞれのパーサが独立していて,それぞれ別々に型変数を導入しています.

次に &str だけを受け取るパーサです.これは上記のジェネリックなパーサの,型変数を &str に置き換えるだけなのでとても簡単です.

一部だけ掲載します.

pub fn expr(input: State&lt;&amp;str&gt;) -&gt; ParseResult&lt;i64, &amp;str&gt; {
     let op = char(&#39;+&#39;).or(char(&#39;-&#39;)).map(|c| {
        move |lhs, rhs| match c {
            &#39;+&#39; =&gt; lhs + rhs,
            &#39;-&#39; =&gt; lhs - rhs,
            \_ =&gt; unreachable!(),
        }
    });
    chainl1(parser(term), op).parse\_state(input)
}

pub fn parse(input: &amp;str) -&gt; Result&lt;(i64, &amp;str), ParseError&lt;&amp;str&gt;&gt; {
    parser(expr).parse(input)
}

最後が,ジェネリックな構造体のメソッド中に,ジェネリックでないパーサを定義して閉じ込める方法です.

use combine::*;
use combine::primitives::Stream;
use std::marker::PhantomData;

 truct P&lt;I&gt;(PhantomData&lt;fn(I) -&gt; I&gt;);

impl&lt;I&gt; P&lt;I&gt; where I: Stream&lt;Item = char&gt; {
    pub fn integer(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt; {
        many1::&lt;Vec&lt;\_&gt;, \_&gt;(digit())
            .map(|is| is.into\_iter().fold(0, |lhs, rhs| lhs + (rhs as i64 - &#39;0&#39; as i64)))
            .parse\_state(input)
    }

    pub fn factor(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt; {
        between(char(&#39;(&#39;), char(&#39;)&#39;), parser(P::&lt;I&gt;::expr))
            .or(parser(P::&lt;I&gt;::integer))
            .parse\_state(input)
    }

    pub fn term(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt; {
        let op = char(&#39;*&#39;).or(char(&#39;/&#39;)).map(|c| {
            move |lhs, rhs| match c {
                &#39;*&#39; =&gt; lhs * rhs,
                &#39;/&#39; =&gt; lhs / rhs,
                \_ =&gt; unreachable!(),
            }
        });
        chainl1(parser(P::&lt;I&gt;::factor), op).parse\_state(input)
    }

    pub fn expr(input: State&lt;I&gt;) -&gt; ParseResult&lt;i64, I&gt; {
        let op = char(&#39;+&#39;).or(char(&#39;-&#39;)).map(|c| {
            move |lhs, rhs| match c {
                &#39;+&#39; =&gt; lhs + rhs,
                &#39;-&#39; =&gt; lhs - rhs,
                \_ =&gt; unreachable!(),
            }
        });
        chainl1(parser(P::&lt;I&gt;::term), op).parse\_state(input)
    }
}

pub fn parse(input: &amp;str) -&gt; Result&lt;(i64, &amp;str), ParseError&lt;&amp;str&gt;&gt; {
    parser(P::expr).parse(input)
}

言葉で説明すると難しいのですが,型変数を導入する部分を構造体の定義部分だけにしてあげることで,型変数をそれぞれのパーサが別々に導入する必要がなくなっています.

コードも割りとすっきりしますね.

結果

上記をコードを cfg を使ってコンパイル時に切り替えながらコンパイルしてみました.

本当はきちんと繰り返し計測すべきですが,ちょっとサボっています.まぁ何度実行してもだいたい同じくらいになったので許してください.

実装方法コンパイル時間
ジェネリック2.666s
&str1.70s
構造体内で定義1.55s

このような結果になりました.

つまり,先ほどの issue で述べられているコンパイル時間の短縮方法はかなり効き目があるということですね.

構造体の中に閉じ込める方法が,&str しか受理しないようにする方法よりもはやくコンパイルできるのは意外でした… 参照を引数にとると暗黙に lifetime 変数が導入されたと記憶しているので,その関係なのかな?

構造体内で定義する方法では,&str 以外の入力ストリーム型を受けつけることを可能にしつつもコンパイル時間を短縮できるということで,積極的にこの方式でパーサを定義するべきということがわかりました.

注意点として,構造体内で別のパーサを呼ぶときには,必ず P::term という形ではなく,P::<I>::term という形で呼び出すようにする必要があるようです.

きちんと明示的に指定しないと,結局型推論するはめになって意味がないということのようです.


COMMENT: AUTHOR: anevaden EMAIL: pgbsajrq@gmail.com URL: http://cialisvipsale.com IP: 60.173.69.118 DATE: 03/24/2018 13:14:29

Regards. Quite a lot of posts.

tadalafil 20 mg cialis tablets australia interactions for cialis http://cialisvipsale.com cialis 5mg prix cialis generico cialis dose 30mg




GitHub で編集リクエスト

    このサイトはGoogle Analyticsを使用しています。

    詳しく見る

agatan

@agatan

    このサイトはGoogle Analyticsを使用しています。

    詳しく見る