検索

Results of 1 - 4 of about 4 for 証明 (0.015 sec.)

所有権とライフタイム 12353: はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ ... 分なエスケープ解析ができなくなり、コードが健全である証明に失敗し、屈服することになるのです。結果的に、C コン ... は決して起こりません。全てが健全であるとコンパイラに証明するのはプログラマの責任なのです。もちろん、参照が参 ... もっともっと複雑です。ポインタが常に有効であることを証明するのは、もっともっと複雑だからです。例えばこのコー ... , コード , ライフタイム , コンパイラ , スコープ , 証明 , let , ポインタ ...; https://man.plustar.jp/rust/nomicon/ownership.html - [similar]

リファレンス 8765: はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ ... は、構造体のフィールドが互いに素であることを静的に証明できるので、フィールドの又貸しが可能です。 #![allow ... 分に賢くないので、複数の借り手が互いに素であることを証明できません。これはそのような又貸しが禁じられていると ...; https://man.plustar.jp/rust/nomicon/references.html - [similar]

print.html 8284: はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ ... 分なエスケープ解析ができなくなり、コードが健全である証明に失敗し、屈服することになるのです。結果的に、C コン ... は決して起こりません。全てが健全であるとコンパイラに証明するのはプログラマの責任なのです。もちろん、参照が参 ... もっともっと複雑です。ポインタが常に有効であることを証明するのは、もっともっと複雑だからです。例えばこのコー ... は、構造体のフィールドが互いに素であることを静的に証明できるので、フィールドの又貸しが可能です。 #![allow ...; https://man.plustar.jp/rust/nomicon/print.html - [similar]

アロケーティング 7563: はじめに 1. 安全と危険のご紹介 1.1. 安全と危険の相互作用 1.2. Unsafe と連携する 2. データレイアウ ... x と y がメモリ上の別の場所をそれぞれ指していると証明できるのなら、理論的には、これらの 2 つの命令は並列に ...; https://man.plustar.jp/rust/nomicon/vec-alloc.html - [similar]

PREV 1 NEXT