main.rsで定義した定数値の読み込みがlib.rsのpub modによってエラーになる理由

RustのCargoで作成したプロジェクトで次の3つのファイルmain.rs, bar.rs, lib.rsがあったときにbar.rsでmain.rsで定義した定数値の読み込みによって次のエラーが出ます。lib.rsのpub mod barをコメントにするとエラーはなくなるのですがなぜでしょうか。
そもそもmain.rsに定数値を定義するのではなく新たにファイルを作成するべきなのでしょうか。

cannot find value `HEIGHT` in the crate root not found in the crate root rustc(E0425)

rust:src/main.rs
1mod bar;
2
3pub const HEIGHT: u32 = 300;
4
5fn main() {}

rust:src/bar.rs
1fn bar() {
2    let _ = crate::HEIGHT; // cannot find value `HEIGHT` in the crate root not found in the crate root rustc(E0425)
3}

rust:src/lib.rs
1pub mod bar

行動規範の内容に同意します

回答1件

ベストアンサー

こんにちは。少し説明が長くなりますがお付き合い下さい。

エラーになっているのは main ではなく lib.rs の方ですね。エラーメッセージにあるとおり、クレートルートから HIGHT という変数を探そうとしています。ここでクレートルートというのはCargoプロジェクトにおいては細かいケースを除けば lib.rs あるいは main.rs です。今回は lib.rs と main.rs があるので2つともルートになっています。こういう場合はまず lib.rs をコンパイルし、そのあとに lib.rs からはじまるクレートを main.rs にリンクする形で main.rs をコンパイルします。

ここでコードを見ると lib.rs で pub mod bar; されているのでまず lib.rs と bar.rs が一緒にコンパイルされ、そのあとに main.rs でも mod bar; されているので mani.rs と bar.rs が一緒にコンパイルされます。つまり、 bar.rs は2回コンパイルされます。最初の lib.rs と bar.rs をコンパイルするときに HIGHT 定数がないのでエラーになっています。 lib.rs の pub mod bar; をコメントアウトするとコンパイルが通るのもそういう理由です。ここまでがエラーになる理由です。コードとしてよろしくない点を挙げるとすれば lib.rs と main.rs の2箇所で mod bar; の宣言をしているところです。どちらか1箇所に絞れば(大抵は lib.rs に寄せる)構成がすっきりすると思います。

もう1つの質問、main.rs に定数値を定義すべきかどうかについては状況に依ります。 lib.rs を作らずに main.rs だけを用意するなら main.rs で定義する設計もあるでしょうし、 main.rs が大きくなりすぎるなら const.rs のようなファイルを用意することもあるでしょう。 lib.rs も用意するなら大抵は lib.rs (か別ファイル)で定義して、 main.rs 内ではそれを参照して使うことが多いでしょう。迷ったら両方試してみてコードが綺麗になる方を選んでみて下さい。

最後に参考になるかもしれないリンクを載せておきます。