検索
Results of 1 - 10 of about 27 for コード (0.034 sec.)
- 例外安全性 13281
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...き戻しを注意深く使用するべきですが、パニック し得る コードが たくさんあります。もし None をアンラップしたり、境...フロー時にパニックします。非常に注意深く、 そしてどのコードを実行するかを厳しくコントロールしない限り、ほとんど...すべての コードが巻き戻しをする可能性があり、これに対して準備をする...る、 2 つの例外安全のレベルがあります。 アンセーフなコードでは、メモリ安全性を侵害しないという点において、 例外... - https://man.plustar.jp/rust/nomicon/exception-safety.html - [similar]
- print.html 12343
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...るのです。貴方には必要ないのですから。しかし、危険なコードを書く意思がもしも貴方にあるのなら、もしくはこの言語...ログラミング言語です。もしあなたが安全な Rust だけでコードを書くなら、 型安全やメモリ安全性などを心配する必要は...す。 コンパイラ intrinsic がその他の制約を生み出し、コードの最適化に関する特別な仮定をすることもあります。 Rus...がチェックできない契約が存在する事を宣言することと、 コードが契約に準拠していることがプログラマによってチェック... - https://man.plustar.jp/rust/nomicon/print.html - [similar]
- Unsafe と連携する 10599
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...rr.get_unchecked(idx)) } } else { None } } } 安全なコードを変更しただけなのに 、今やこのプログラムは安全ではな...} fn reallocate(&mut self) { } } fn main() {} このコードはとてもシンプルなので、それなりに監査して検証できる...{ // キャパシティを大きくする self.cap += 1; } このコードは 100% 安全な Rust ですが、同時に完全に不健全です。...ペースを表している）を破ることになります。 Vec の他のコードはこれを防げません。 Vec は cap フィールドを検証でき... - https://man.plustar.jp/rust/nomicon/working-with-unsafe.html - [similar]
- ライフタイム 10533
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...最適にできます。 省略可能な無名スコープや一時変数は、コードがきちんと動くように自動的に導入されます。 しかし関数...ムのラベルをつけられるとして、この章の最初のサンプルコードを 「脱糖 (desugar)」してみましょう。 もともとのサン...プルコードは、スコープとライフタイムについて、 果糖がたくさん含...ライフタイムを省略できることは syntax sugar で、元のコードは大量の syntax sugar を使っているので、「甘い」と言... - https://man.plustar.jp/rust/nomicon/lifetimes.html - [similar]
- 所有権とライフタイム 9364
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...すよ? あなたが GC のことをどう思っていようとも、GC はコードを安全にするために とてつもない 恩恵をもたらしました...ポインタだ! メモリ解放後の参照だ! うわーー! // （このコードは Rust ではコンパイルエラーになります） &s } これこ...コンパイラですらうまいこと防ぐことができるでしょう。 コードが大きくなり、様々な関数にポインタが渡されるようにな...コンパイラは、十分なエスケープ解析ができなくなり、コードが健全である証明に失敗し、屈服することになるのです。... - https://man.plustar.jp/rust/nomicon/ownership.html - [similar]
- 安全と危険の相互作用 8838
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...がチェックできない契約が存在する事を宣言することと、 コードが契約に準拠していることがプログラマによってチェック...ドキュメントをチェックして契約を守るよう要請します。 コードブロックに使われた unsafe は、そのブロックで呼ばれて...いるアンセーフな関数が要求する契約は守られていて、コードが信頼出来る事を意味します。 unsafe をトレイトの実装...Rust を無意識には信頼できません。アンセーフな Rust コードを書くときには、 安全な Rust の特定のコードのみに依存... - https://man.plustar.jp/rust/nomicon/safe-unsafe-meaning.html - [similar]
- ドロップフラグ 8229
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...れが本当なら、コンパイラは理論的には、 もっと効率的なコードを生成できます! 例えば、分岐のない真っ直ぐなコードは...分岐が初期化の点において、同一のことをする分岐があるコードでは、 静的ドロップセマンティクスを持っています。 #!...ので、 x をドロップします! } しかしながら以下のようなコードでは、正しくドロップするために実行時の情報が必要とな... - https://man.plustar.jp/rust/nomicon/drop-flags.html - [similar]
- レイアウト 8229
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...size, len: usize, } fn main() {} そして実際に、このコードはコンパイルできます。残念ながら、この設計は正しくあ...いる場合、継承される *mut T に参照外しをする (つまりコード内では専ら *mut のように振る舞う) ポインタはヌルには...{} もしヌルポインタ最適化を気にしないなら、安定版のコードを使用することもできます。 しかしながら、残りのコード...は、未定義動作を引き起こしてしまうからです。安定版のコードの new はアンセーフに する必要はありません。中身につ... - https://man.plustar.jp/rust/nomicon/vec-layout.html - [similar]
- リーク 8146
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...い方法ではないからです (いくつかの 特別なアンセーフのコードにおいては便利ですが) 。 しかしこれは、一般的に次の意...護できない考えだと決定されました。 すなわち、 安全なコードでデストラクタを呼び損ねる方法が沢山存在するのです。...ント方式のポインタの循環を生成 することです。 安全なコードが、デストラクタのリークが起こらないと見なすことは理...ものは大体間違っていますから。 しかし、 アンセーフな コードは、デストラクタがきちんと安全に実行されると信用でき... - https://man.plustar.jp/rust/nomicon/leaking.html - [similar]
- アロケーティング 8097
- はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ
...別扱いする必要も ありません。なぜならほとんどすべてのコードで、結局は cap > len か len > 0 を 通常確かめる必要が...new(heap::EMPTY as *mut _), len: 0, cap: 0 } } } } コードの中に、assert を入れました。サイズが 0 の型は、コー...を今は後回しにしたいためです。 この assert がないと、コードの下書きにおいて、なにか非常にまずいことを 起こしてし...process::exit(-9999); } } よし、これで Vec の伸長のコードを書くことが出来ます。欲しい ロジックは大体以下のよう... - https://man.plustar.jp/rust/nomicon/vec-alloc.html - [similar]