File tree Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Original file line number Diff line number Diff line change @@ -367,11 +367,19 @@ compiler is not checking the implicit assertion that no potentially expired data
367367なぜならコンパイラは、いかなる既に破棄されているかもしれないデータ (例えば上記の ` self.0 ` ) にアクセスしないという
368368暗黙の主張について検査しないからです。
369369
370+ <!--
370371The attribute can be applied to any number of lifetime and type parameters. In
371372the following example, we assert that we access no data behind a reference of
372373lifetime `'b` and that the only uses of `T` will be moves or drops, but omit
373374the attribute from `'a` and `U`, because we do access data with that lifetime
374375and that type:
376+ -->
377+
378+ このアトリビュートはライフタイムや型パラメータにいくつでも適用することが出来ます。
379+ 以下の例では、 ` 'b ` のライフタイムを持つ参照の先にあるデータにアクセスしないこと、
380+ そして、 ` T ` がムーブやドロップにのみ使用されることを主張します。
381+ しかし、 ` 'a ` と ` U ` にはこのアトリビュートは省略します。なぜなら、これらのライフタイムや
382+ 型を持つデータに実際にアクセスするからです。
375383
376384``` rust,ignore
377385use std::fmt::Display;
You can’t perform that action at this time.
0 commit comments