検索

phrase: max: clip:
target: order:
Results of 1 - 10 of about 27 for コード (0.022 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]
PREV 1 2 3 NEXT