rust: Rustがんばろう 17日目
2025/04/16
はじめに
生活時間。
10.3章
サンプルコードのこれは、r を参照するタイミングではなく代入するタイミングでエラーになった。
スコープの外側にある変数に代入するので、これはわかる。
fn bad() {
let r;
{
let x = 5;
r = &x; // ここがエラーになる
}
println!("r: {}", r);
}
では、スコープの中で r を参照し、抜ける前にスコープ外の変数の参照を代入したらどうなるか？
これもエラーになるのだが、&x の方は許され、&s の方がエラーになる。
cannot mutate immutable variable 'r' なので、&x を代入したあとで代入したからというだけで let mut r にすればエラーではなくなる。
fn bad() {
let r;
let s = 12;
{
let x = 5;
r = &x;
println!("r: {}", r);
r = &s; // rがmutではないのでここがエラーになる
}
println!("r: {}", r);
}
C言語だとこんな感じか。
gcc で -Wall しても警告は出ない。
まあ、このくらいだとスタックに上書きする人がいないので 5 が維持されるが。
#include <stdio.h>
int main(void)
{
int *r;
{
int x = 5;
r = &x;
}
printf("r: %d\n", *r);
return 0;
}
たとえばこんな風にすると x のアドレスと y のアドレスが同じになって *r は 20 になった。
環境によりけりなのでビルドの仕方とかで変わってくるだろう。
printf で &y を出力しているところを y を出力するようにすると、
たぶん最適化されて y はスタックではなくレジスタで処理されるためか *r は破壊されない。
#include <stdio.h>
int main(void)
{
int *r;
{
int x = 5;
printf("&x=%p\n", &x);
r = &x;
}
int y = 20;
printf("&y=%p\n", &y);
printf("r: %d\n", *r);
return 0;
}
借用チェッカーに出てくる 'a とか 'b は見たことがある、くらいでしかないな。。。
writer: hiro99ma
