Skip to content

Commit b6d7b68

Browse files
誤った言い回しを修正
Co-authored-by: Tatsuya Kawano <tatsuya@hibaridb.org>
1 parent 3df2c25 commit b6d7b68

File tree

1 file changed

+10
-7
lines changed

1 file changed

+10
-7
lines changed

src/rust-2018/tyvar-behind-raw-pointer.md

Lines changed: 10 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -47,10 +47,10 @@ See Rust issue [#46906] for details.
4747
> このポインタは `as` を使って `*const` ポインタに変換できますが、その際これが「何の型のポインタであるか」を `_` にて省略しています。
4848
>
4949
> 2行目では、`*const _` である `s` に対して `.is_null()` を呼び出しています。
50-
> 任意の型 `T` について、プリミティブ型 `*const T` は [`is_null`] という関連メソッド[^2]を持つので、ここで呼び出されるのはこの関連メソッドです
50+
> 任意の型 `T` について、プリミティブ型 `*const T` は [`is_null`] という固有メソッドを持つので、ここで呼び出されるのはこの固有メソッドです
5151
>
5252
> 問題はこの後です。
53-
> 現在は関連メソッドを呼べる型は[一部の型に限られて][associated-methods]いますが、
53+
> 現在はメソッド[^2]を呼べる型は[一部の型に限られて][methods]いますが、
5454
> 将来それを任意の型に拡張しようという[提案][arbitrary_self_types-tracking]が出ています。
5555
> この新機能は "arbitrary self types"self の型の任意化)と呼ばれます。
5656
> しかし、これが導入されると困ったことが起きます。
@@ -75,7 +75,7 @@ See Rust issue [#46906] for details.
7575
> そして今や、 `is_null` として呼び出せる関数は2つあります。
7676
> 1つは先程の `*const T` に対して実装された [`is_null`]、
7777
> もう一つは今 `*const MyType` に対して実装された `is_null` です。
78-
> つまり、関連メソッドの呼び出しに曖昧性が生じています
78+
> つまり、メソッドの呼び出しに曖昧性が生じています
7979
>
8080
> この問題の解決策は簡単です。キャスト後の型がどの定数ポインタになるのか明示すればよいです:
8181
>
@@ -86,16 +86,19 @@ See Rust issue [#46906] for details.
8686
>
8787
> こうすることで、`is_null` の候補は `*const T` だけになります。
8888
> `libc::c_char` は他のクレートで定義された型ですので、
89-
> この型に対して新しく関連メソッドが実装されることはなく、恒久的に曖昧性がなくなります。
89+
> この型に対して新しくメソッドが実装されることはなく、恒久的に曖昧性がなくなります。
9090
>
91-
> こうした理由から、 `*const _` や `*mut _` など、「未知の型への生ポインタ」に対して関連メソッドを呼び出すと、コンパイラがそれを検知するようになりました。
91+
> こうした理由から、 `*const _` や `*mut _` など、「未知の型への生ポインタ」に対してメソッドを呼び出すと、コンパイラがそれを検知するようになりました。
9292
> 最初は警告リントとして導入されましたが、Rust 2018 エディションでハードエラーに格上げされました。これが、本ページで説明されている変更点です。
9393
94-
[^2]: アイテムにドット (`.`) でつなげて関数を呼び出す方法。 `s.is_null()` は `s` の関連メソッド `is_null(...)` を呼び出していることになります。
94+
[^2]: 関連関数のうち、第一引数が `self` であるものは、メソッド呼び出し演算子(`.`)を用いて呼び出すことができます。
95+
このような関連関数をメソッドと呼びます。
96+
`s.is_null()` と書くと、これは `s` に対してメソッド `is_null(...)` を呼び出していることになります。
97+
([参考](https://doc.rust-lang.org/reference/items/associated-items.html#methods))
9598
9699
[`libc::getenv`]: https://docs.rs/libc/0.2.107/i686-pc-windows-msvc/libc/fn.getenv.html
97100
[`is_null`]: https://doc.rust-lang.org/std/primitive.pointer.html#method.is_null-1
98-
[associated-methods]: https://doc.rust-lang.org/reference/items/associated-items.html#methods
101+
[methods]: https://doc.rust-lang.org/reference/items/associated-items.html#methods
99102
[arbitrary_self_types-tracking]: https://github.com/rust-lang/rust/issues/44874
100103
101104
> *訳注*:

0 commit comments

Comments
 (0)