Rust part28

**デフォルトの名無しさん** · 2025/03/24(月) 17:37:00.15

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

公式ドキュメント
https://www.rust-lang.org/learn

Web上の実行環境
https://play.rust-lang.org

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※次スレは原則>>980が立てること

前スレ
Rust part27
https://mevius.5ch.net/test/read.cgi/tech/1733146370/

ﾜｯﾁｮｲスレ
プログラミング言語 Rust 4【ﾜｯﾁｮｲ】
https://mevius.5ch.net/test/read.cgi/tech/1514107621/

**デフォルトの名無しさん** · 2025/03/27(木) 12:12:23.94

>>83
なるほどね

**デフォルトの名無しさん** · 2025/03/27(木) 12:14:17.75

>>85 の 799 に答えるなら「OpenCVは既に入っている」なんだけどね

**デフォルトの名無しさん** · 2025/03/27(木) 12:26:21.40

>>80
どの言語からどの言語に移植するのもコスパ悪いので必要ないならする意義はない
しかしそれでもRustへの移植が行われているのは実利があるからでその2大理由は
CPUメモリのリソース効率が良くなる場合
セキュリティ脆弱性を含めた安全性が良くなる場合
もちろん単純な移植ではなく再設計を伴うならばそれ自体がRustを選ぶ理由になる

**デフォルトの名無しさん** · 2025/03/27(木) 12:35:05.22

そこでGoです

**デフォルトの名無しさん** · 2025/03/27(木) 12:40:56.78

つまり簡単に言えばTrait制約は誤訳ってこと？

**デフォルトの名無しさん** · 2025/03/27(木) 12:49:37.81

つまり、英語の単語と日本語の単語は一対一対応ではないということ

**デフォルトの名無しさん** · 2025/03/27(木) 12:58:01.56

>>90
一貫することが技術用語としては正しい態度なんだよ。
自然言語的な意味で誤訳かどうかは最初から問題じゃなくて「Rust 用語では境界ということにする」という先駆者たちの合意に反して新しい語をあてるのはよくなきだよなって話。

**デフォルトの名無しさん** · 2025/03/27(木) 13:10:41.28

バイナリサイズが大きくならない
も入れておこう。Docker imageなどでは重視される

**デフォルトの名無しさん** · 2025/03/27(木) 13:13:21.28

>>93
Cと比べて小さかったら、機能がそろってないだけだな

**デフォルトの名無しさん** · 2025/03/27(木) 13:13:44.07

Goはインストールすれば必ず動くから
Dockerの必要なし
繰り返す
Dockerの必要なし

**デフォルトの名無しさん** · 2025/03/27(木) 13:15:12.84

>>95
docker を何だと思ってんの？

**デフォルトの名無しさん** · 2025/03/27(木) 13:17:24.49

>>94
Rustなら同等サイズで同機能狙えるでしょ。アピールポイントやで

**デフォルトの名無しさん** · 2025/03/27(木) 13:46:24.95

C の主要な関数は実質的に OS の一部みたいになってる (libc.so) からその分だけ実行ファイルは小さくなる。
工夫すれば Rust でも同等を狙うことは出来るが Rust らしさは失われるよ。

**デフォルトの名無しさん** · 2025/03/27(木) 13:56:42.17

コードの見た目と安全性がRustのままならいいよ
libc使うと変わっちゃうか。unsafeが多そう

**デフォルトの名無しさん** · 2025/03/27(木) 14:21:40.81

>>98
>>99
もちろんRustでもlibcを使っているよ
stdでlibcがある環境ならね
no_stdでcoreなら使わない

**デフォルトの名無しさん** · 2025/03/27(木) 14:33:43.34

RustでUNICODEのicu(icu4x)を使うと肥大化するで

**デフォルトの名無しさん** · 2025/03/27(木) 16:58:03.46

>>92
先駆者ｗｗｗ

**デフォルトの名無しさん** · 2025/03/27(木) 17:12:14.97

bounds問題は、もうテンプレに入れておけよ
本によって訳語が違うので注意ってことでいいでしょ
コミュニティ内の合意が、出版社に届くとは限らんのだから

**デフォルトの名無しさん** · 2025/03/27(木) 17:34:35.49

境界vs制約について議論してるコミュニティあったの？

**デフォルトの名無しさん** · 2025/03/27(木) 17:37:35.59

>>92
Rust信者が特にC/C++の先駆者に無礼なのを棚に上げるな

**デフォルトの名無しさん** · 2025/03/27(木) 17:42:30.79

>>104
無いならなおさら。最初の本の訳者同士で決めた用語がスルーされるとか、普及期なら普通のことでしょ
明治時代ならよくあったろ

**デフォルトの名無しさん** · 2025/03/27(木) 18:37:05.75

libcクレートをフル活用すれば、CのようなRustのような変なプログラムを作れる
テキスト出力にprintf()使うとか

**デフォルトの名無しさん** · 2025/03/27(木) 18:43:14.30

福沢先生に聞いたら良い

**デフォルトの名無しさん** · 2025/03/27(木) 19:08:01.78

先行者はRustで制御してるってほんとですか？

**デフォルトの名無しさん** · 2025/03/27(木) 19:12:24.22

GC無いから制御も余裕でしょう

**デフォルトの名無しさん** · 2025/03/27(木) 22:05:08.25

どうしても境界を存続させたい勢力(一名)が足掻いてるな

**デフォルトの名無しさん** · 2025/03/27(木) 22:07:59.51

どっちでもいいけどとっとと手を動かせ。

the rust book 現行版の翻訳があればそれに従う。

**デフォルトの名無しさん** · 2025/03/27(木) 22:13:01.55

まぁ言われてみれば境界ってちょっとおかしいよな
多分境界エラーとかアウトオブバウンズとか
そっちの直訳に引っ張られたんやろけど
制約がいいとも思わんけど
制約のほうが若干マシ

**デフォルトの名無しさん** · 2025/03/27(木) 22:20:16.49

でも原文が境界の意味で使ってるからね

**デフォルトの名無しさん** · 2025/03/27(木) 23:19:56.80

>>114
根拠を提示しなよ

**デフォルトの名無しさん** · 2025/03/27(木) 23:39:29.81

トレイト範囲が適訳
制約はアタオカ

**デフォルトの名無しさん** · 2025/03/28(金) 00:38:42.10

トレイト制限よな

**デフォルトの名無しさん** · 2025/03/28(金) 11:47:49.50

>>116
範囲イイね

**デフォルトの名無しさん** · 2025/03/28(金) 11:48:49.20

制約と言ってる人は意味が分かっていないのでは？

**デフォルトの名無しさん** · 2025/03/28(金) 12:17:15.99

トレイトをカタカナにしてるんだから、残りもカタカナでいいんじゃないの？

**デフォルトの名無しさん** · 2025/03/28(金) 12:43:54.75

トレィト博士？

**デフォルトの名無しさん** · 2025/03/28(金) 12:44:11.20

トレイト製薬はCで**をダブルポインタと言うくらい恥ずかしい

**デフォルトの名無しさん** · 2025/03/28(金) 12:47:15.29

>>106
石田晴久ですねわかります

**デフォルトの名無しさん** · 2025/03/28(金) 13:28:02.98

今頃用語に難癖つけてる方が恥ずかしいわ

**デフォルトの名無しさん** · 2025/03/28(金) 13:38:19.20

>>118
トレイト視界がしっくりくる

**デフォルトの名無しさん** · 2025/03/28(金) 13:49:09.58

用語も決まらないほど難解なので初心者お断り言語ってことでよろしく
金にもならんぞ

**デフォルトの名無しさん** · 2025/03/28(金) 13:49:56.56

家族連れはGoでもやっときなさい

**デフォルトの名無しさん** · 2025/03/28(金) 14:12:04.04

RustやC++がカバーするほとんどの利用領域でGoは役立たずで選ばれていない現実を見なよ
他の言語のスレを荒らすという人間としてしてはいけない醜い行為をせずにGoスレへ帰りなさい
今後ここでGoは禁止
どうしてもやりたい人は「Rust vs Go」スレでやりなさい

**デフォルトの名無しさん** · 2025/03/28(金) 14:21:30.27

一般人向けのGolang
孤高の童貞向けRust
という住み分けで

**デフォルトの名無しさん** · 2025/03/28(金) 14:22:51.39

Rustでドライバを書けるようにした時が
Linux凋落の始まりだった
と言われる未来が見える

**デフォルトの名無しさん** · 2025/03/28(金) 14:24:01.39

Trait制約とか言って恥ずかしくないのかな
まるで分っていませんと
自分でいふらしてるようなもの

**デフォルトの名無しさん** · 2025/03/28(金) 16:01:53.44

C並に標準化が進むと思いますか

**デフォルトの名無しさん** · 2025/03/28(金) 16:12:38.49

Cはコンパイラ乱立で勝手な拡張方言で標準語を作らざるを得なかった負の側面

**デフォルトの名無しさん** · 2025/03/28(金) 16:19:19.26

そこまで普及したらいいね。しかし人類には早すぎだからね

**デフォルトの名無しさん** · 2025/03/28(金) 21:41:02.63

ABIレベルで標準化されてるものはC以外に無いよね
実装はCである必要はない (C++やRustでも良い) けど、FFI用のインターフェースとしてのCの需要は無くならない
正直もう少し表現力のあるものが欲しいけど、これは10年やそこらでは変わらないよなあ

**デフォルトの名無しさん** · 2025/03/28(金) 22:09:12.96

cargo build時にlikerオプションとしてスペース込みのパス渡したいんだけど不可能？

**デフォルトの名無しさん** · 2025/03/29(土) 00:15:10.95

不可能です

**デフォルトの名無しさん** · 2025/03/29(土) 00:39:07.23

Ferrous Systems が独自にまとめていた Rust の言語仕様が Rust プロジェクトに寄贈された。

**デフォルトの名無しさん** · 2025/03/29(土) 13:40:51.83

「トレイト境界」に文句を言っているやつは先んじて翻訳公開して、「トレイト制約」を定着させないとな。

**デフォルトの名無しさん** · 2025/03/29(土) 13:42:20.41

いつまでもうるさいぞ
英語で言え

**デフォルトの名無しさん** · 2025/03/29(土) 14:49:39.18

自分で crates 造ったとき(他人のでもいい)
docs.rs とかの項目って基本的に pub したものしか出ないと思うけど
lib.rs に描いてる #[cfg(test)] や #[test] の(pubじゃない) fn の一覧ってどこで観れる？

**デフォルトの名無しさん** · 2025/03/29(土) 15:00:24.95

>>141
cargo doc --document-private-items

**デフォルトの名無しさん** · 2025/03/29(土) 15:28:46.36

複オジはことごとく論破されたのがよほど悔しかったんだろう

**デフォルトの名無しさん** · 2025/03/29(土) 19:54:04.74

トイレット境界

**デフォルトの名無しさん** · 2025/03/29(土) 20:14:42.70

訳を定着させる前に、
公式のRFCなり、zulipなりに「bindingでは意味が分からないconstraintにすべきだ！」というリクエストを上げて、
公式側から「せやな」って言わせるのが先じゃねーの？

失笑買いそうだけど。

**デフォルトの名無しさん** · 2025/03/29(土) 22:48:04.91

>>145
bindingは草
「境界関係者 == 何も理解してない」オジさん

**デフォルトの名無しさん** · 2025/03/29(土) 23:00:53.39

>>146
bindingを否定してバカにする意味がわからないが？
trait boundsは境界または境界線、境界エリアあたりで良いんじゃないの
議論ばかりだとRustの実装が進まないし、もう日本語にこだわらずに英語のまま行こうぜ
相互に相手が馬鹿だと思ってても時間の無駄なだけだ

**デフォルトの名無しさん** · 2025/03/29(土) 23:05:01.36

しょうもないことに執着すんの自閉でしょ

**デフォルトの名無しさん** · 2025/03/29(土) 23:05:15.30

ということで訳者の皆さん、予約語＋〇〇な単語は無理にやくさんでいいです

**デフォルトの名無しさん** · 2025/03/30(日) 00:24:42.12

>>147
trait boundsのboundとbindingが何か関係があると思ってるの？

**デフォルトの名無しさん** · 2025/03/30(日) 09:13:11.97

bindの過去分詞はboundだけどtraitboundsのboundとbindingは何の関係も無い別の単語

**デフォルトの名無しさん** · 2025/03/30(日) 11:09:56.57

境界関係者にとっては本来の単語の意味とかどうでもいいんだろ
誤訳だろうと先駆者ｗに従うだけだから

**デフォルトの名無しさん** · 2025/03/30(日) 11:11:48.21

まだやってんのか
制約でいいじゃん
オライリーがそうなってんだし

**デフォルトの名無しさん** · 2025/03/30(日) 11:33:03.21

nightlyじゃないとカスタムアロケーターすら使えないんか・・・
Rustって思ったより未完成すぎんな

**デフォルトの名無しさん** · 2025/03/30(日) 12:44:09.91

GlobalAllocは使えないの？

**デフォルトの名無しさん** · 2025/03/30(日) 17:14:17.40

sbrkは使えないの？

**デフォルトの名無しさん** · 2025/03/30(日) 18:18:08.22

ゲーム開発したいんかな

**デフォルトの名無しさん** · 2025/03/30(日) 18:18:10.57

ゲーム開発したいんかな

**デフォルトの名無しさん** · 2025/03/30(日) 20:01:37.56

egui

**デフォルトの名無しさん** · 2025/03/30(日) 23:24:44.75

>>156
Cでも普通はmalloc/reallocを呼んでその中で間接的にsbrkが使われる
Rustの抽象化層の下も同様にlibcのmalloc/reallocを呼んでいる
直接sbrkを呼び出す独自のアロケータを作ろうとしているのかな

**デフォルトの名無しさん** · 2025/03/30(日) 23:43:38.72

Issue出せばいいでしょ。Cで出来ることが出来ないなら考えてくれる人がいるか。自分で実装しても良し

**デフォルトの名無しさん** · 2025/03/30(日) 23:46:35.01

もちろん呼びたければRustからsbrkだろうがmmapだろうが呼び出せる

**デフォルトの名無しさん** · 2025/03/30(日) 23:51:36.82

C++みたいにRAIIな基板でお手軽アロケータ実装したいんじゃないの

**デフォルトの名無しさん** · 2025/03/31(月) 09:09:53.86

traitのFromを描いたらIntoは描かなくて良い？
Intoを勝手に造ってくれるのは一部だけ？

**デフォルトの名無しさん** · 2025/03/31(月) 11:08:35.12

>>164
全自動
Fromを実装すれば以下のコードがあるためジェネリックに逆向きのIntoが自動的に実装される

impl<T, U> Into<U> for T
where
　U: From<T>,
{
　fn into(self) -> U {
　　U::from(self)
　}
}

**デフォルトの名無しさん** · 2025/03/31(月) 12:19:01.61

blanket implementation というやつ

**デフォルトの名無しさん** · 2025/04/01(火) 11:58:58.47

リファレンスでblanket implementationの定義を確認しようとしたら一つ下にboundの定義もあった
https://doc.rust-lang.org/reference/glossary.html#bound

この定義を踏まえて前スレを読むと境界支持者らの主張はことごとく出鱈目だな
アイツらマジで何なの？

**デフォルトの名無しさん** · 2025/04/01(火) 12:04:22.14

Bound
Bounds are constraints on a type or trait. For example, if a bound is placed on the argument a function takes, types passed to that function must abide by that constraint.

**デフォルトの名無しさん** · 2025/04/01(火) 12:14:34.31

その話もうええっちゅうねん

**デフォルトの名無しさん** · 2025/04/01(火) 12:16:55.39

一度こだわり始めたら自分でも制御できないんだ
たぶん自閉症とかの障害がある

**デフォルトの名無しさん** · 2025/04/01(火) 12:29:39.99

Bounds are constraintsワロタｗ
制約大勝利やんｗ

**デフォルトの名無しさん** · 2025/04/01(火) 12:33:32.91

>>171
バカだろ
英語をよく読めよ
constraints on a type
つまりいわゆる型制約が正解
トレイト制約になるのはスーパートレイトがサブトレイトに対する時のみに限られる
したがってトレイト制約の訳は間違っている

**デフォルトの名無しさん** · 2025/04/01(火) 12:37:50.50

俺はトレイト境界よりもトレイト範囲かトレイト限界がベターと思っている派
しかしトレイト境界で定着していて意味するところは同じなのでトレイト境界で構わない
誤訳のトレイト制約だけはNG

**デフォルトの名無しさん** · 2025/04/01(火) 12:40:33.02

訳はこうなる
「トレイト境界は型(もしくはサブトレイト)に対する制約である」

**デフォルトの名無しさん** · 2025/04/01(火) 13:58:37.31

やばい、人類が滅亡する！

**デフォルトの名無しさん** · 2025/04/01(火) 14:18:55.81

トレイト世界とか宇宙でどうや

**デフォルトの名無しさん** · 2025/04/01(火) 14:20:58.62

システムプログラミング用言語であるから簡単な用語がいいんだがね
数学はやめいよ

**デフォルトの名無しさん** · 2025/04/01(火) 14:33:15.61

この画像を貼る時が来たようだな
https://i.imgur.com/vGcEcQa.png

**デフォルトの名無しさん** · 2025/04/01(火) 15:42:56.21

グロ中尉

**デフォルトの名無しさん** · 2025/04/01(火) 15:44:46.09

Trait
A trait is a language item that is used for describing the functionalities a type must provide. It allows a type to make certain promises about its behavior.

Generic functions and generic structs can use traits to constrain, or bound, the types they accept.

**デフォルトの名無しさん** · 2025/04/01(火) 18:32:01.55

旧約聖書の解釈でさえもこのスレほどバトルにはなってないと言うのに！

**デフォルトの名無しさん** · 2025/04/01(火) 19:37:06.51

>>168
バカの極みやね
Bounds are constraints on a type or trait.
Bounds = constraints ではないぞ
トレイト教会がトレイトを聖約するんだぞ

**デフォルトの名無しさん** · 2025/04/01(火) 19:51:03.44

Bounds are constraints(境界は制約である)
Bounds are constraints on a type or trait.(境界は、型または特性に対する制約です。)

つまり制約です

**デフォルトの名無しさん** · 2025/04/01(火) 19:53:23.79

いわゆる型制約だよ
型制約と同様にサブトレイト制約でもある
トレイト制約は誤用

**デフォルトの名無しさん** · 2025/04/01(火) 19:59:34.21

DeepL翻訳
Bounds are constraints(境界は制約である)
Bounds are constraints on a type or trait.(バウンズは型や特性に対する制約である。)