Tavi's Travelog

下記をRustで実装する続き。

Githubは下記。
commitコメントに、learnt step N って書いているから、該当のところをみれば変更が分かると思う。

今回はポインタ導入の、STEP18と19。
書いてあることは分かるんだけど、どう実装するのが一番よいのか分からなくて、
下記の参照実装を見た。

ちなみに後者のコミットには、int導入も入っていて、
そこらへんはすでに実装している。

また、参照実装ではまだ存在しない関数機能も入っているので、
最終的には、下記コミットのソースぐらいまではたどり着いている。
Support function definition up to 6 parameters · rui314/chibicc@aacc0cf

で、ポインタの実装として難しかったのが、
ポインタそのものより、型というものの存在が明確に出てきて、それをどう持つのかってこと。
Rustは所有権があるから、型データはNodeに入れ、そこに所有権をもたせる必要がある。

しかも、加算、減算の演算子のときに、
左辺と右辺のそれぞれのNodeの型を計算しておかないといけないが、
これ以外の演算子のときはわざわざ型を算出する必要もないから、必要になったら計算する遅延評価の仕組みを考えなくてはいけなかった。

で、その遅延評価によって型を算出するメソッド(Nodeのtyメソッド)で、可変参照がいっぱい出てきて頭おかしくなりそうだった。
中々コンパイル通らないし。

結果敵には自分が参照の仕組みや、BoxやOptionを完璧には理解していなかったからで、
基本に戻ってそこをもう一度復習していったら、だんだんとできるようになっていった。

まじでRustはコンパイル通ったらほぼ期待通りに動いてくれるけど、
そこにたどり着くまでが長い。

ただ、今回のことで、ポインタに関する理解はかなり深くなった。
C言語で大きめなプログラムは書いたことないけど、
裏でどういうことをしているのかがよく分かった。

次はSTEP20以降(sizeofや配列)なんだけど、少し時間あくかもしれない。

Author