rustで配列のインデックス外にアクセスした場合のエラータイミング

Question

rustで配列のインデックス外アクセスした場合のエラータイミングを知りたい

前提

現在、以下のサイトを参考にRustの勉強を行っています。

Data Types - The Rust Programming Language

上記のサイトで

What happens if you try to access an element of an array that is past the end of the array? Say you change the example to the following code, which will compile but exit with an error when it runs:

（配列の要素外にアクセスすると、コンパイルは通りますが実行時にエラーが発生します。）
とあります。

実際に以下のコードをcargo runするとエラーが発生しました

fn main() {
    let a = [1, 2, 3, 4, 5];
    println!("{}",a[10]);
}

Cargo run（エラー）

   Compiling data-types v0.1.0 (/home/kiduki/projects/data-types)
error: index out of bounds: the len is 5 but the index is 10
  --> src/main.rs:25:19
   |
25 |     println!("{}",a[10]);
   |                   ^^^^^
   |
   = note: #[deny(const_err)] on by default

error: aborting due to previous error

error: Could not compile `data-types`.

上記エラーを見ると1行目（Compiling ~）すぐ後にエラーが発生していたため、コンパイルのタイミングでエラーが発生しているのではと思い、cargo checkを実行すると正常にチェックを通りました。

Cargo check（正常終了）

   Checking data-types v0.1.0 (/home/kiduki/projects/data-types)
    Finished dev [unoptimized + debuginfo] target(s) in 0.10s

---

なので、コンパイルは通るのだろうと思い、cargo buildを実行するとエラーが発生しました！

Cargo build（エラー）

   Compiling data-types v0.1.0 (/home/kiduki/projects/data-types)
error: index out of bounds: the len is 5 but the index is 10
 --> src/main.rs:3:19
  |
3 |     println!("{}",a[10]);
  |                   ^^^^^
  |
  = note: #[deny(const_err)] on by default

error: aborting due to previous error

error: Could not compile `data-types`.

質問

配列のインデックス外にアクセスした際のエラーは、コンパイルのタイミングに起こっているのでしょうか。あるいは、ドキュメントの通り実行時にエラーは起こっており、Cargo buildはバックグラウンドでファイルを実行しているのでしょうか。
ご教示お願いします。

Answer 1

What happens if you try to access an element of an array that is past the end of the array? Say you change the example to the following code, which will compile but exit with an error when it runs:

手元で確認してみたところ、1.27まではこの挙動でコンパイル時には警告を出すだけですが、1.28以降はコンパイル時にエラーになるようです。ドキュメントが更新されていないようですね。

追記

元のコードのようにindexを変数にするとdocument通りにコンパイルは通り、実行時に失敗するようになります。

Comments

[kiduki]

私がドキュメントを読めていなかっただけですね。お恥ずかしい。。

ご回答ありがとうございました。