• Move の組み込み型であり、グローバル ストレージ内の場所 (アカウントと呼ばれることもあります) を表すために使用される。

• 値は 256 ビット (32 バイト) の識別子。

  • 内部的にはアドレスが256ビットの整数だが、整数からアドレスを生成することはできず、算術演算をサポートしておらず、変更もできない。
  • 静的検証をサポートしている。

  C言語におけるポインタ算術は、メモリ上の位置を動的に操作することができ、これによりプログラマーはデータの位置を細かく制御できます。たとえば、あるポインタから特定のバイト数だけずらして、連続するメモリ領域にアクセスするなどの操作が可能です。このような動的なメモリ操作は非常に強力ですが、同時にプログラムの安全性を損なうリスクも高まります。例えば、不正なメモリ領域へのアクセスや意図しないデータの上書きなどが発生する可能性があります。

  一方、Move言語では、このような動的な振る舞いは許可されていません。Moveの設計は、コードが行う操作を静的に（つまり、プログラムの実行前に）検証できるようにすることを目的としています。これにより、コードが想定外の動作をするリスクを減らし、特に金融トランザクションなどのセキュリティが重要な場面で安全性を高めることができます。

  アドレス型の使用においても、整数からの生成や算術演算が禁止されているのは、アドレスの安全な使用を保証し、不正なアクセスやデータの誤操作を防ぐためです。このように、Moveは静的な検証を優先しており、実行時にエラーが発生するリスクを最小限に抑える設計となっています。

• 特定のアドレスには、モジュールとリソースの2つを保存可能。

• 実行時にアドレス値（type addressの値）を使用して、そのアドレスにあるリソースにアクセスできる。

• 実行時にアドレス値を介してモジュールにアクセスすることはできない。

構文

• Move言語におけるアドレスには、名前付きアドレスと数値アドレスの二種類がある。
• 名前付きアドレスの構文はMove内の他の名前付き識別子と同様の規則に従う。
• 数値アドレスの構文は16進数のみに限定されているわけではなく、任意の有効なu256数値がアドレス値として使用できます。
  • 例えば、42、0xCAFE、2021などがすべて有効な数値アドレスリテラルです。
• アドレスが式のコンテキストで使用されているかどうかを区別するために、アドレスの使用方法は使用されるコンテキストによって異なる。
• アドレスが式として使用される場合、アドレスの前に@記号が必要。
  • 例：@<数値値>または@<名前付きアドレス識別子>。
• 式のコンテキスト以外でアドレスを記述する場合は、先頭の@記号を省略できる。
  • 例：<数値値>または<名前付きアドレス識別子>。
• 一般的に、@記号はアドレスを名前空間の項目から式の項目に変えるオペレーターと考えることができます。
  • この使い分けにより、プログラムの読みやすさと整理が保たれます。

名前付きアドレス

• Move言語における「名前付きアドレス」は、数値を直接使用する代わりに識別子をアドレスとして使うことを可能にする機能。
• この機能は値のレベルだけでなく、アドレスが使われるどの場所にも適用される。
• 名前付きアドレスは、Moveパッケージのトップレベル要素（モジュールやスクリプトの外側）として宣言され、定義するかMoveコンパイラへの引数として渡される。
• 名前付きアドレスはソース言語レベルでのみ存在し、バイトコードレベルではその値に完全に置き換えられる。
• このため、モジュールやモジュールのメンバーは、コンパイル時に名前付きアドレスに割り当てられた数値値ではなく、モジュールの名前付きアドレスを通じてアクセスする必要があります。