🐡

Kernel/VM探検隊online part6でZig言語の話をしました

2023/01/14に公開

zig

kernelvm

tech

2023/01/15にオンライン開催されたKernel/VM探検隊online part6で10分の枠で話をしました。

発表資料

発表スライド

YouTubeのアーカイブ

~~(発表時のスライドでs3であるべきところをi3と誤記していました。現在のスライドは修正済み)~~
勘違い。i3は正しい。むしろi32と書くべきところをs32と書いてあったので修正した。

関数の未使用引数について

fn func(x: i32, y: i32, z: i32) i32 {
    _ = z;　　　　　　// これがないとコンパイルエラー
    return x + y;
}

以下のように書くこともできます。
試行錯誤的でなく、恒久的にこの第三引数を使用しないならば、このほうがいいですね。

fn func(x: i32, y: i32, _: i32) i32 {
    return x + y;
}

twitterで指摘をいただき調べました。

変数shadowingの禁止について

Rustはむしろ同じスコープでも新たな変数に同じ変数名を使うことを許可しています。つまり、変数shadowing禁止とは真逆です。

「RustはSSAをベースに」はちょっと言い方おかしいかな。「RustはSSAの考え方を色濃く反映していて」でしょうか。
SSAはコンパイラの中身を勉強すると出てくる専門用語です。

unsafeまみれになる部分を切り出してZigで書こう

Go言語でcgo(C言語で書いてリンクする)の部分をクロスコンパイルするのに、zig ccを使うと便利という話を聞いています。
こんなふうにするのはどうでしょうか。

unsefeまみれになる最下層の部分をC言語に切り出す。(おそらくすでにそうしている)
そのC言語で書かれた部分のライブラリを作るためのコンパイラをzig cc に置き換える。
C言語のライブラリをビルドするためにmakeやcmakeを使っているところをbuild.zigに置き換える。
C言語のソースコードをZigで書き換える。(zig translate-c という自動変換ツールが助けになる)

こうやって、徐々に既存のC言語で書かれた部分をZigに移行させることができます。

Zigでは「型」も一級市民(first class citizen)

genericsがすごく素直に書けます。

算術演算のオーバーフローについて

加算の場合、普通に + の演算子を使うとオーバーフローがチェックされ、オーバーフローした場合には異常終了してスタックトレースが出力されます。
オーバーフローで異常終了するのでなく、検出して処理したい場合には@addWidthOverflowという組み込み関数が用意されています。他の算術演算も同様のものがあります。

公式のパッケージマネージャはもうすぐかも

masterにマージされました。次のリリースで(実験的に)利用可能になるかもしれません。

Zigでinterface

Zigでinterfaceっぽいものを実現する方法については別に記事を書く予定ですが、とりあえずこちらを。

** 2023/01/30 書きました**

LogmeTechに掲載されました(2023/02/06)

https://logmi.jp/tech/articles/328160