質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.35%
Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

Q&A

解決済

1回答

1754閲覧

【Rust】rawポインタ変換の時の&の概念は、C++の&(アドレス)と似たようなものですか?

KOTTON

総合スコア47

Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

1グッド

0クリップ

投稿2021/09/15 02:00

質問

Rustでリファレンスを表す&オペレーターなのですが、変数やリテラルをrawポインタに変換するときの構文、

rust

1fn main() { 2 let x = 99; 3 let raw_x = &x as *const i32; 4 println!("{:?}", raw_x); // 0xd8abd3fa3c 5 unsafe { 6 println!("{:?}", *raw_x); // 99 7 } 8}

このlet raw_x = &x as *const i32;という構文、C++で言うところの

cpp

1int *raw_x = &x;

と同義だと思うのですが、Rustの文脈だと&はやはりリファレンスという意味なのでしょうか、それともアドレスを意味しているのでしょうか。(この二つほぼ同じ意味ですかねもしかしたら)
リファレンスが厳密に何を表しているのか分からなくなってきました。

wat-aro👍を押しています

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

Rustでは&は参照(リファレンス)を取る演算子です。
では、なぜポインタ(アドレス)が取得できるかというと、参照はポインタに自動変換することができるようになっているからです。

rust

1let x = 99; 2let ref_x: &u32 = &x; 3let ptr_x: *const u32 = ref_x;

参照とポインタには次の2つの違いあります。

  • ポインタは null の可能性があるが、参照は null でないことが保証されている。
  • 全ての参照にはライフタイム(有効期間)が設定されており、間違った使い方をするとコンパイルエラーになる。一方、ポインタにはライフタイムは設定されておらず、C++と同じように自分で有効期間を考慮してプログラムを書く必要がある。

前者はC++と同様なので、後者について説明します。

次の例を見てください。

rust

1fn main() { 2 let mut x = 99; 3 let ref_x = &x; 4 x = 10; // error[E0506]: cannot assign to `x` because it is borrowed 5 println!("x = {}", ref_x); 6}

3行目の let ref_x = &x; で参照を取得し、5行目の println!("x = {}", ref_x); で参照を使用しているので、この参照の有効期間は3行目から5行目ということになります。この参照が有効な間は元の変数は変更できなくなるで、4行目の x = 10; で元の変数を変更しようとするとコンパイルエラーになります。

一方、次のように参照ではなくポインタを使用した場合はこのようなチェックは行われません。

rust

1fn main() { 2 let mut x = 99; 3 let ptr_x: *const u32 = &x; 4 x = 10; // コンパイルエラーにならない! 5 println!("x = {}", unsafe { *ptr_x }); 6}

3行目の let ptr_x: *const u32 = &x; で参照を一時的に作成していますが、すぐにポインタに変換され、以後、この参照は使われていないので、参照の有効期間は3~5行目ではなく3行目のみとなります。
そのため、4行目の x = 10; で元の変数を書き換えても、コンパイルエラーにはなりません。

投稿2021/09/15 03:49

frozenlib

総合スコア53

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

KOTTON

2021/09/15 04:08

なるほどです!自動で変換されているんですね! ポインタにはライフタイムが設定されないということも理解できました! とても分かりやすい説明、ありがとうございました。助かりました
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.35%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問