2 年 ago

清, 宇

2 minutes

最近2冊目のRust本を購入し、少しずつRustの勉強を進めているのですがその際にrust-analyzerを入れてみたら思いのほか素敵だったのでそれの紹介です。

rust-analyzerってなに？

Rustの入力補完や型チェック、文法ミスのチェックなどを行うための言語サーバープロトコル（Language Server Protocol、lsp）です。

以前まではRust公式とは関係無いプロジェクトでしたが、完成度が高かった影響なのか2022年2月ごろにRust公式になったようです。

オープンソースのプログラミング言語であるRustの開発チームは、Rust用の言語サーバプロトコル（LSP）の新たな実装であるrust-analyzerプロジェクトが、Rustの一員として加わったことを、2月21日（現地時間）に発表した。

以下のように紹介されていますが、確かにレビュー評価とかもかなり高くなっているようです。

　rust-analyzerは、Rustにとって非常に優れた言語サーバであるだけでなく、Visual Studio Codeの統計によればプログラミング言語全体でもっとも評価の高いLSP実装の1つであるという。

公式の発表 :

マーケットプレイスで見てみると、本記事執筆時点で約75万弱のダウンロードと165件のレビュー評価、4.9 / 5.0という評価の高さになっています。

また、今まで使われていたRust公式のRust Language Serverのlspは2022年7月の発表＆9月の最後のリリースを持って廃止となります。今後は公式からもrust-analyzerを使ってね、ということになっています。

rust-analyzerのVS Codeへのインストール

私の場合特に何も考えずにVS Codeの拡張機能をインストールすれば有効になりました（VS Codeの拡張機能関係の検索フォームでrust-analyzerと検索すれば出てくると思います）。

ただ、最初に少し躓いたのですがVS Codeのワークスペースへのプロジェクトフォルダの追加がプロジェクトルートの位置になっていないケースではうまく動作してくれませんでした（下部のステータスバーでエラーが表示されていました）。

例えばCargo.tomlのファイルの位置がyour_project_folder/Cargo.tomlみたいになっていたら動きました。your_project_folder/any_folder/Cargo.tomlみたいに間にフォルダが挟まれているとエラーになっています。そのため一度フォルダをワークスペースから取り除いて再度追加＆VS Codeの再起動を行っています（この辺はRustに慣れていないので、普通のRustではプロジェクトのルートをワークスペースに追加するのがRust界隈だと普通だったのかもしれません・・・）。

また、VS Code起動後に最初に諸々が有効になり終わるまではぼちぼち時間がかかっています（進捗は全てでは無いですがエディタ下部のステータスバーに表示されるようです）。

一度有効になってからは非常に快適でレスポンス良く動いてくれるので最初だけのんびり待っていましょう。

rust-analyzerの一部機能紹介

以降の節で触っていて気付いた範囲で各機能を紹介していきます。

紹介用に使うものや設定

「Game Development with Rust and WebAssembly: Learn how to run Rust on the web while building a game」という最近発売されたRust + WASM + 2Dゲーム開発本を2冊目で進めており、そちらで使っているweb系のライブラリ（HTML Canvasなどの機能をRustから書けるようにするライブラリ）などをベースに触れていきます。

Cargo.tomlは以下のようにdependenciesを設定しています（一部抜粋）。

...

[dependencies]
wasm-bindgen = "0.2.78"
console_error_panic_hook = "0.1.7"

[dependencies.web-sys]
version = "0.3.55"
features = ["console", "Window", "Document", "HtmlCanvasElement", "CanvasRenderingContext2d", "Element"]

...

また、Rustは以下のバージョンを使っています。

$ rustc -V
rustc 1.61.0 (fe5b13d68 2022-05-18)

rust-analyzerのバージョンはv0.3.1131を使用しています。

エディタはVS Codeとなります。

関数やメソッド呼び出し時の引数名の表示

rust-analyzerで特徴的且つこれは良いアイデア・・・と思った機能に、関数やメソッドなどを呼び出した際に引数に指定した変数名が引数名とずれている際にエディタ上に引数名を表示してくれる機能があります。

例えばシェルピンスキーのギャスケットのフラクタルを描画するsierpinskiという関数があったとします。引数構造は以下のような形を想定します。

fn sierpinski(
        context: &web_sys::CanvasRenderingContext2d,
        points: [(f64, f64); 3],
        depth: u8) {
    ...

これを呼び出す際に以下のようなコードを書いたとします。

    ...
    sierpinski(
        &context,
        [(300.0, 0.0), (0.0, 600.0), (600.0, 600.0)],
        5);

するとrust-analyzerによってエディタ上で以下のようにpoints: やdepth: といった引数名が表示されます（表示されるだけで実際のコードには書かれておらず、コピペなどをしてもそれらは含まれません）。

まるでキーワード引数のように各引数がどの引数なのかが分かるようになります。

普段Pythonを書いているときなどはほぼキーワード引数ばかりを使っており、基本的にキーワード引数の方が好みです。この辺は以前記事にもしているため割愛します。

一方でRustでは（この記事を書いている時点では恐らく）キーワード引数の機能はありません。少しこの点は以前Rustで気になっていたので、キーワード引数的に分かりやすくなるのは大変良いなと思います。この辺は検索していたらTwitterで同じような方がいらっしゃったので私以外にも気になっている方が少しはいらっしゃるかもしれません。

ちなみにですが引数名と変数名が一致しているときは表示されないようです。これは同じ名前が表示されても邪魔になるだけだよね・・・という感じなのかもしれません。
前出のサンプルコードでは第一引数のcontext引数に関しては引数名が表示されずにスキップされています。

型推論による型の表示

こちらもrust-analyzerで良いなと思った機能なのですが、型推論を使って変数などへの型の指定をスキップした際にも型を表示してくれます。
例えば以下のようなコードを書いたとします。返却される値の型はDocumentとなります。

    ...
    let document = window.document().unwrap();

そうするとrust-analyzerが型推論結果をエディタ上で表示してくれます。: Documentという表示がされていることが確認できます。

※こちらもコピペなどしてもクリップボード上の結果には含まれません。あくまで表示のみとなっています。

型推論を使っている場合、マウスオーバーすれば型は確認できたりはしますがエディタ上に表示されていても快適なのでこれは良いなと思いました。型推論によるタイピングを減らしつつも通常のように型を明示した時と同じような可読性を得られます。

なお、メソッドチェーンを改行付きで使った場合各メソッドのタイミングの型も表示してくれます。この機能もメソッドチェーンの過程が分かりやすくてコードが読みやすくなりますし個人的にはRustにも慣れていないのでRustの勉強にもなります（「あー、過程では〇〇の型になっているのね・・・的に」）。

例えば以下のようなコードがあったとします。

    ...
    let context = canvas
        .get_context("2d")
        .unwrap()
        .unwrap()
        .dyn_into::<web_sys::CanvasRenderingContext2d>()
        .unwrap();