add boxed module #29

tnk050 · 2026-02-09T07:37:28Z

概要

boxedモジュールの追加

チェックリスト

サポートしているバージョンを明記した
ローカルで mdbook build を実行して確認した
modlist.mdを更新した（モジュール追加時）
SUMMARY.mdを更新した（モジュール追加時）
CONTRIBUTING.md のルールに従っている
ライセンス／著作権に問題がない

レビューで見てほしい点

メモリー関連に明るくないのでおかしな言い回し等あればご指摘お願いします。

KaiTomotake · 2026-02-10T13:08:19Z

現在少し忙しく、レビューが遅れるかもしれません。申し訳ありません・・・

hinshiba

貢献ありがとうございます．
いくつかの用語について提案がありますので
確認していただけると幸いです．

hinshiba · 2026-02-10T13:48:25Z

src/boxed/about.md

+
+## 概要
+
+`Box<T>`はヒープアロケーションに分類される。


Box<T>がヒープアロケーションなのではなく，
Box<T>はヒープアロケーション(ヒープへのメモリアロケーション)を行うための型です．
そのあたりの動詞の関係が不明瞭に思えます．

hinshiba · 2026-02-10T13:50:52Z

src/boxed/about.md

+let val: u8 = *boxed;
+```
+
+再帰構造の作成：


Suggested change

再帰構造の作成：

再帰データ構造の作成：

軽微なことですがどうでしょうか

hinshiba · 2026-02-10T13:51:53Z

src/boxed/about.md

+```
+
+上記のプログラムの結果は`Cons(1, Cons(2, Nil))`となる。
+再帰構造にはBox化が必要である。例えば`Cons`を下記のように定義した場合コンパイルエラーとなる：


Suggested change

再帰構造にはBox化が必要である。例えば`Cons`を下記のように定義した場合コンパイルエラーとなる：

再帰データ構造にはBox化が必要である。例えば`Cons`を下記のように定義した場合コンパイルエラーとなる：

上を修正する場合は統一のために

hinshiba · 2026-02-10T13:53:43Z

src/boxed/about.md

+Cons(T, List<T>),
+```
+
+なぜなら`List`のスタックサイズはリスト内にどれだけのリストがあるかにより、このままでは`Cons`に対するスタックの割り当て量を把握できないためである。スタックサイズが決まっている[`Box<T>`](https://doc.rust-lang.org/std/boxed/struct.Box.html)の導入により、`Cons`に必要なスタックサイズが把握できるようになる。


Suggested change

なぜなら`List`のスタックサイズはリスト内にどれだけのリストがあるかにより、このままでは`Cons`に対するスタックの割り当て量を把握できないためである。スタックサイズが決まっている[`Box<T>`](https://doc.rust-lang.org/std/boxed/struct.Box.html)の導入により、`Cons`に必要なスタックサイズが把握できるようになる。

なぜなら`List`のサイズはリスト内にどれだけのリストがあるかにより、このままでは`Cons`に対するスタックの割り当て量を把握できないためである。サイズが決まっている[`Box<T>`](https://doc.rust-lang.org/std/boxed/struct.Box.html)の導入により、`Cons`に必要なスタックサイズが把握できるようになる。

Listのスタックサイズという表現はやや不親切です．
Listのスタック上でのサイズというべきですし，ヒープ上でも管理領域を除けば同じ大きさなのですから，単にサイズというほうが良いかと思います．

hinshiba · 2026-02-10T13:55:15Z

src/boxed/about.md

+Cons(T, List<T>),
+```
+
+なぜなら`List`のスタックサイズはリスト内にどれだけのリストがあるかにより、このままでは`Cons`に対するスタックの割り当て量を把握できないためである。スタックサイズが決まっている[`Box<T>`](https://doc.rust-lang.org/std/boxed/struct.Box.html)の導入により、`Cons`に必要なスタックサイズが把握できるようになる。


Suggested change

なぜなら`List`のスタックサイズはリスト内にどれだけのリストがあるかにより、このままでは`Cons`に対するスタックの割り当て量を把握できないためである。スタックサイズが決まっている[`Box<T>`](https://doc.rust-lang.org/std/boxed/struct.Box.html)の導入により、`Cons`に必要なスタックサイズが把握できるようになる。

なぜなら`List`のスタックサイズはリスト内にどれだけのリストがあるかにより、このままでは`Cons`に対するスタックの割り当て量を把握できないためである。スタックサイズが決まっている[`Box<T>`](https://doc.rust-lang.org/std/boxed/struct.Box.html)を用いることで、`Cons`に必要なスタックサイズが把握できるようになる。

introduceは導入ですが，型を変えることを日本語的には導入と表現することに違和感があります．

hinshiba · 2026-02-10T13:58:46Z

src/boxed/about.md

+
+## メモリーレイアウト
+
+サイズが0でない値では、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)はメモリー割り当てのため[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターを使用する。アロケーターとともに使用される[`Layout`](https://doc.rust-lang.org/std/alloc/struct.Layout.html)が適切な型であり、生ポインターがその型の有効な値を示す場合に、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた生ポインターは相互に変換できる。より詳しく言うと、[`Layout::for_value(&*value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)とともに使用される[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた`value: *mut T`は[`Box::<T>::from_raw(value)`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.from_raw)を使用してBoxへと変換できる。逆に[`Box::<T>::into_raw`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.into_raw)から得られた`value: *mut T`は[`Layout::for_value(&*value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターによって解放できる。


Suggested change

サイズが0でない値では、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)はメモリー割り当てのため[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターを使用する。アロケーターとともに使用される[`Layout`](https://doc.rust-lang.org/std/alloc/struct.Layout.html)が適切な型であり、生ポインターがその型の有効な値を示す場合に、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた生ポインターは相互に変換できる。より詳しく言うと、[`Layout::for_value(&*value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)とともに使用される[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた`value: *mut T`は[`Box::<T>::from_raw(value)`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.from_raw)を使用してBoxへと変換できる。逆に[`Box::<T>::into_raw`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.into_raw)から得られた`value: *mut T`は[`Layout::for_value(&*value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターによって解放できる。

サイズが0でない値では、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)はメモリー割り当てのため[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターを使用する。アロケーターの引数として使用される[`Layout`](https://doc.rust-lang.org/std/alloc/struct.Layout.html)が適切な型であり、生ポインターがその型の有効な値を示す場合に、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた生ポインターは相互に変換できる。より詳しく言うと、[`Layout::for_value(&*value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)とともに使用される[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた`value: *mut T`は[`Box::<T>::from_raw(value)`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.from_raw)を使用してBoxへと変換できる。逆に[`Box::<T>::into_raw`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.into_raw)から得られた`value: *mut T`は[`Layout::for_value(&*value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターによって解放できる。

ともに用いられるわけではなく，メモリアロケーションのための引数として使用されます．
https://doc.rust-lang.org/std/alloc/struct.Global.html

hinshiba · 2026-02-10T14:00:40Z

src/boxed/about.md

+
+これらの基本的なLayoutの要件に加えて、`Box<T>`は有効な値`T`を示さなければならない。
+
+`T: Sized`である限り`Box<T>`は単一のポインターであることを保証するとともにCのポインター(CのT*型)とのABI互換性を持つ。これはRustでCから呼び出す関数を作成する際に`Box<T>`で定義したものがCでは`T*`になるという意味である。例として`Foo`の作成と破棄を行う関数を宣言するCのヘッダーをあげる：


Suggested change

`T: Sized`である限り`Box<T>`は単一のポインターであることを保証するとともにCのポインター(CのT*型)とのABI互換性を持つ。これはRustでCから呼び出す関数を作成する際に`Box<T>`で定義したものがCでは`T*`になるという意味である。例として`Foo`の作成と破棄を行う関数を宣言するCのヘッダーをあげる：

`T: Sized`である限り`Box<T>`は単一のポインターであることを保証するとともにCのポインター(CのT*型)とのABI互換性を持つ。これはRustでCから呼び出す関数を作成する際に`Box<T>`で定義したものがCでは`T*`になるという意味である。例として`Foo`の作成と破棄を行う関数を宣言するCのヘッダーを示す：

些細なことですが，語感的にはこちらはどうでしょうか?

hinshiba · 2026-02-10T14:01:20Z

src/boxed/about.md

+```C
+/* C header */
+
+/* Returns ownership to the caller */


できればコメントも翻訳していただけると助かります．
意図があるなら大丈夫です．

hinshiba · 2026-02-10T14:05:40Z

src/boxed/about.md

+void foo_delete(struct Foo*);
+```
+
+この2つの関数はRustで下記のように実装できる。ここでは`struct Foo*`型に変換された`Box<Foo>`は所有権の制約を補足する。`Box<Foo>`が非ヌルであるため引数がヌルになる可能性のある`foo_delete`の引数はRustでは`Option<Box<Foo>>`になることに注意しなければならない。


Suggested change

この2つの関数はRustで下記のように実装できる。ここでは`struct Foo*`型に変換された`Box<Foo>`は所有権の制約を補足する。`Box<Foo>`が非ヌルであるため引数がヌルになる可能性のある`foo_delete`の引数はRustでは`Option<Box<Foo>>`になることに注意しなければならない。

この2つの関数はRustで下記のように実装できる。ここでは`struct Foo*`型に変換された`Box<Foo>`は所有権の制約を補足する。`Box<Foo>`が非ヌルであるため、引数がヌルになる可能性のある`foo_delete`の引数はRustでは`Option<Box<Foo>>`になることに注意しなければならない。

日本語だと長くなるので読点があるとありがたいです．

hinshiba · 2026-02-10T14:07:51Z

src/boxed/about.md

+
+| 名前                                                                              | 説明                                     |
+| --------------------------------------------------------------------------------- | ---------------------------------------- |
+| [Box](https://doc.rust-lang.org/std/boxed/struct.Box.html)                        | T 型のヒープを一意に所有するポインター型 |


hinshiba · 2026-02-10T14:09:56Z

その他登録やビルド可能性等は確認済みです．
ありがとう．

add boxed module

b7c4735

KaiTomotake self-requested a review February 9, 2026 10:11

hinshiba requested changes Feb 10, 2026

View reviewed changes


		## 概要

		`Box<T>`はヒープアロケーションに分類される。

	再帰構造にはBox化が必要である。例えば`Cons`を下記のように定義した場合コンパイルエラーとなる：
	再帰データ構造にはBox化が必要である。例えば`Cons`を下記のように定義した場合コンパイルエラーとなる：


		## メモリーレイアウト

		サイズが0でない値では、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)はメモリー割り当てのため[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターを使用する。アロケーターとともに使用される[`Layout`](https://doc.rust-lang.org/std/alloc/struct.Layout.html)が適切な型であり、生ポインターがその型の有効な値を示す場合に、[`Box`](https://doc.rust-lang.org/std/boxed/struct.Box.html)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた生ポインターは相互に変換できる。より詳しく言うと、[`Layout::for_value(&value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)とともに使用される[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターに割り当てられた`value: mut T`は[`Box::<T>::from_raw(value)`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.from_raw)を使用してBoxへと変換できる。逆に[`Box::<T>::into_raw`](https://doc.rust-lang.org/std/boxed/struct.Box.html#method.into_raw)から得られた`value: mut T`は[`Layout::for_value(&value)`](https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.for_value)と[`Global`](https://doc.rust-lang.org/std/alloc/struct.Global.html)アロケーターによって解放できる。


		これらの基本的なLayoutの要件に加えて、`Box<T>`は有効な値`T`を示さなければならない。

		`T: Sized`である限り`Box<T>`は単一のポインターであることを保証するとともにCのポインター(CのT型)とのABI互換性を持つ。これはRustでCから呼び出す関数を作成する際に`Box<T>`で定義したものがCでは`T`になるという意味である。例として`Foo`の作成と破棄を行う関数を宣言するCのヘッダーをあげる：

	この2つの関数はRustで下記のように実装できる。ここでは`struct Foo*`型に変換された`Box<Foo>`は所有権の制約を補足する。`Box<Foo>`が非ヌルであるため引数がヌルになる可能性のある`foo_delete`の引数はRustでは`Option<Box<Foo>>`になることに注意しなければならない。
	この2つの関数はRustで下記のように実装できる。ここでは`struct Foo*`型に変換された`Box<Foo>`は所有権の制約を補足する。`Box<Foo>`が非ヌルであるため、引数がヌルになる可能性のある`foo_delete`の引数はRustでは`Option<Box<Foo>>`になることに注意しなければならない。

	\| [Box](https://doc.rust-lang.org/std/boxed/struct.Box.html) \| T 型のヒープを一意に所有するポインター型 \|
	\| [Box](https://doc.rust-lang.org/std/boxed/struct.Box.html) \| ヒープに配置された T 型を一意に所有するポインター型 \|

add boxed module #29

Are you sure you want to change the base?

add boxed module #29

Conversation

tnk050 commented Feb 9, 2026

概要

チェックリスト

レビューで見てほしい点

Uh oh!

KaiTomotake commented Feb 10, 2026

Uh oh!

hinshiba left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

hinshiba commented Feb 10, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants