静的アイテム

^Syntax
StaticItem :
   static mut^? IDENTIFIER : Type ( = Expression )^? ;

静的アイテム は定数と似ているが、プログラム内の明確なメモリ位置を表す。静的値への全ての参照は同じメモリの位置を指す。静的アイテムは static ライフタイムを持ち、それは Rust プログラム内の全ての他のライフタイムより長生きする。静的アイテムはプログラム終了時に drop を呼ばない。

静的な初期化子はコンパイル時に評価される定数式になる。静的な初期化子は他の静的値を参照するかもしれない。

内部可変でない型を含んだ mut でない静的アイテムは、読取専用メモリに配置されるかもしれない。

静的値への全てのアクセスは安全だが、静的値には幾つかの制限がある:

• 型はスレッドセーフなアクセスが可能になるように Sync トレイト境界を持たなければならない。
• 定数は静的アイテムを参照できない。

初期化式は外部ブロック内では省略しなければならず、独立した静的アイテムには提供されなければならない。

---