Rust part34

**デフォルトの名無しさん** · 2025/12/12(金) 23:45:04.62

>>133
1. ミューテックスと排他制御(mutual exclusion)を区別しよう
ミューテックスは排他制御を実現する方法の一つで
locked/unlockedの状態を管理する変数だったり構造体だったりの実装のこと
排他制御(mutual exclusion)という概念とは別もの

2. ワーカーを使わないシングルスレッドのJavaScriptにおいて排他制御は不要か？
もちろん必要
https://web.mit.edu/6.102/www/sp25/classes/16-mutual-exclusion/

3. ワーカーを使わないシングルスレッドのJavaScriptにおいてミューテックスは不要か？
ミューテックスが必要な状況ももちろんある
例えば複数のダウンロードリクエストを並行処理しているダウンローダーで
特定のサイトは最大1コネクションのダウンロードしか許可しておらず
複数同時ダウンロードをすると全部強制終了されてしまう状況とか

**デフォルトの名無しさん** · 2025/12/12(金) 23:59:32.76

>>149
無知だな
基本を分かっていない

ミューテックスはマルチスレッド時に同時アクセスの競合が起きる可能性がある場合に用いてスレッドを待たせる機能がある

特定のサイトは最大1コネクションのダウンロードしか許可してない場合
ワーカーを用いないJavaScriptは並行処理なのでミューテックスは不要
単なるカウンター変数のみでよい

**デフォルトの名無しさん** · 2025/12/13(土) 00:03:09.62

>>143
>並行処理＝同時進行するが同時に実行されることはない
>並列処理＝同時に実行されるためメモリ競合などの対策が必要
一般的な定義からすると↑これはどっちも間違ってる
並行処理は同時実行されてる部分もあれば同時実行できない部分ももある
同時実行できない部分の制御のため競合対策が必要

並列処理は同時実行可能な処理を指すので競合対策は不要
同時実行できない処理を並列処理とは普通は言わない

**デフォルトの名無しさん** · 2025/12/13(土) 00:07:42.28

>>151
wikipediaの記述やそこで引用している参考文献が正しい
あなたが間違っています

**デフォルトの名無しさん** · 2025/12/13(土) 00:07:52.21

>>150
>単なるカウンター変数のみでよい
それはカウンター変数をミューテックスとして利用しているってことなんだよ
>>149をもう1回読んでね

**デフォルトの名無しさん** · 2025/12/13(土) 00:36:34.04

現実的には単なるカウンター変数をミューテックスとして利用するだけではダウンローダーに必要な機能を満たせないからキューイングできるタイプの非同期ミューテックスを使う

**デフォルトの名無しさん** · 2025/12/13(土) 01:22:57.78

>>153
いいえカウンター変数とmutexは異なります
mutexは他のスレッドがロック中にスレッドを待たされる機能と利用が可能になったときに再開させる機能を伴います
その効率のためOSが提供するfutex機能を用いてmutexを実装する環境が多いです

**デフォルトの名無しさん** · 2025/12/13(土) 03:20:12.64

>>147
参照された記事には並行処理における競合対策は不要と記載されていました？

また、「コンピューティング」という、物理、実装を意識するレベルでの具体的差異をこちらは否定していない
その前段となる概念レベルの関係についての言及であり

>Concurrency is a broader concept that encompasses several related ideas, including:
>Parallelism (simultaneous execution on multiple processing units). Parallelism executes tasks independently on multiple CPU cores. Concurrency allows for multiple threads of control at the program level, which can use parallelism or time-slicing to perform these tasks. Programs may exhibit parallelism only, concurrency only, both parallelism and concurrency, neither.
https://en.wikipedia.org/wiki/Concurrency_%28computer_science%29#Related_concepts

実際に並行、並列処理の実装にあたっては、物理、ハードウェア的な制約に基づき、当然、両者は弁別される
言うまでもないがシングルコアにて並列処理は実装できまい
さりとて逆もしかりとならないわけで
前者は後者を包含している、後者は前者の下位概念であり、具体的な実現手段
「並行 ⊃ 並行、並列」のように概念のポケットに、それとは別に具体的技術としての「並行」「並列」が入るイメージ

そして繰り返すけど、本件論点は競合考慮、ミューテックスの要否では？
並行プログラミングする際、これを不要とする立場？

**デフォルトの名無しさん** · 2025/12/13(土) 07:39:32.48

>>156
並列を用いない場合＝マルチスレッドを用いない場合＝シングルスレッドの場合、
並行処理でメモリアクセスが同時に実行されることはないためメモリ競合は発生しない。
つまりカウンターやフラグなどあらゆる変数についてMutexを用いる必要がない。

これはJavaScriptだけでなくRustでシングルスレッドで非同期タスクを並行処理する場合も同じ。
具体的にはtokioのspawn (並行＆並列)はSendトレイト境界があるため変数共有にMutexなどが必須だが、
spawn_local (並行のみ)はSendトレイト境界がないためMutexは不要という形で表れる。

**デフォルトの名無しさん** · 2025/12/13(土) 08:07:26.77

関連型ってT<U>みたいな型依存型ができないからその代用だよね

**デフォルトの名無しさん** · 2025/12/13(土) 10:56:12.72

シングルスレッドでも２つの非同期処理がawaitを挟んで同じメモリを参照・更新する時は
data raceのリスクがあるから気をつけてくれ
Rustの場合は&mutが他の参照をブロックするから問題になりにくいけど

**デフォルトの名無しさん** · 2025/12/13(土) 11:00:34.93

日本語より
concurrent
parallel
distributed
で議論した方が良いと思うの
https://zenn.dev/koron/articles/3ddcaaeae37f9befdf70

**デフォルトの名無しさん** · 2025/12/13(土) 11:37:19.65

並行はヘテロ
並列はホモ

**デフォルトの名無しさん** · 2025/12/13(土) 12:58:20.04

同時アクセスの可能性があるものにmutexでロックかけろってだけじゃないの

**デフォルトの名無しさん** · 2025/12/13(土) 14:26:19.82

>>162
原則としてはそう。
ただ、データ競合は阻止できてもデッドロックは阻止できないし、性能的に改善できる余地もあるから唯一の正解というわけではない。

**デフォルトの名無しさん** · 2025/12/13(土) 14:26:52.20

>>162
Mutexは別々のスレッド同士が同時アクセスするデータ競合を防げるよ
通常のstd::sys::Mutexだと既にロックを持っている同じスレッドでロックしようとすると動作の保証はなくてパニックするかデッドロックするかなど環境依存なので用いてはダメだけど
つまりそれはマルチスレッド用

**デフォルトの名無しさん** · 2025/12/13(土) 14:48:01.82

一般的なアプリケーションプログラミングにおいては、排他制御の対象はデータというよりコードの特定のセクションであることが多い
当該セクションで扱うのが単一のデータストアである場合はそのデータストアに対する単純なロックに帰着するが、実際にはそうでない場合も多い

**デフォルトの名無しさん** · 2025/12/13(土) 15:10:49.43

ケントンプソンに書き直してもらったほうがいいだろこの言語

**デフォルトの名無しさん** · 2025/12/13(土) 20:30:59.61

自演するにしても、逆に自演ってバレバレになる1レスごとルーパチじゃなく
せめてWi-Fiとスマホ回線でやればいいのに

**デフォルトの名無しさん** · 2025/12/14(日) 00:57:37.50

>>157
まず初手の等式がぶっ飛んでいる
並行、並列という処理の性質とその処理を実際に行う際に用いるモデルの話は直交概念、因果の幅跳び甚だしい
「並列でない」ことによって、ただちに「マルチスレッドでない = シングルスレッドである」ことは定まらないため、「シングルスレッドで共有メモリを同時に操作可能な実行主体が一つしか存在しない」ことは担保しえない
ミューテックスの要否は「共有メモリに対して複数の実行単位が論理的に同時アクセスしうるかどうか」で、「物理的に同時実行されない」ことは必ずしもメモリ安全性を意味しない
すなわちコア数（並列か否か）とマルチスレッドのいかんは別議論
並行処理の実現手段としてマルチスレッドを用いたならば、メモリ競合は生じるし、したがってミューテックスも要検討
重ねるけれど「シングルスレッドである」とする際に、それを前提するのが「並行処理である」からというのは因果の車がパンクしている

**デフォルトの名無しさん** · 2025/12/14(日) 06:59:12.58

>>168
Rustでは>>157のように実装されているのだから君が間違ってるよ

**デフォルトの名無しさん** · 2025/12/14(日) 07:46:26.10

>>169
具体的に何が >>157 のように実装されているという話？
こちらの間違っている点はどこ？

**デフォルトの名無しさん** · 2025/12/14(日) 08:13:24.71

>>170
明確に>>157に書かれているのに理解できないならRustを使ったことすらないんのかな
長文で屁理屈を連投するけどRustの話が全く出てこないので怪しいと思っていたけど

**デフォルトの名無しさん** · 2025/12/14(日) 09:19:18.51

>>171
明確に前半後半で議論が分裂しているね
そして >>168 の指摘は前半の並行、並列、スレッド、競合、ミューテックスなどへの胡乱な認識に基づく主張、説明に対するもので、後半にて言及されてる「シングルスレッド」などに見られる条件下を前提としたケースについては触れていない

前半部分の指摘については既述のとおり
後半については指摘というより、並行、マルチスレッドなどの話で「Rustの話が出てこない」という反論かます時点で概念理解は推して知るべし

おそらく経験した個別ケースを安易に一般化してしまっており、自身の使っている用語が概念、実装、結果のどこに属しているか意識もあまりしていないのでは
だから乱暴な等式を使い、平気で一般化してしまう
Rust（tokioのexecutor）に見られる「設計上の制約（単一スレッドであることを保証）」は、「並行処理」一般とは議論のレイヤがズレている

そちらの議論に合わせるとすれば、spawn_localがmutex不要なのはexecutorが単一スレッドであることをtokioが保証しているからであり、「並行処理だから」が理由ではない

**デフォルトの名無しさん** · 2025/12/14(日) 09:48:55.96

>>172
非同期タスクで並行処理するためのランタイム基盤がRustのtokio
tokioでも並列処理をしない限り並行処理だけならばメモリ競合は発生しない
そのためミューテックスも当然必要ない
これは言語やランタイム基盤の種類に関係なく常に成立する

**デフォルトの名無しさん** · 2025/12/14(日) 10:39:55.53

相変わらず複数データの排他制御を理解していない複おじ

**デフォルトの名無しさん** · 2025/12/14(日) 10:52:14.74

>>173
mutexは必要がないだけでなく使用禁止が正解だよ
同じOSスレッド同士でmutexは機能しない

**デフォルトの名無しさん** · 2025/12/14(日) 11:11:39.26

複数データの排他制御ってなんの話？

**デフォルトの名無しさん** · 2025/12/14(日) 13:10:49.83

LinuxついにRust公用語に

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

>>173
だから安易な一般化
「並行処理 = 非同期処理」と認識してない？
そちらの主張はtokioをはじめ、その中においての業界標準、常識であって、外に出たら通用しない
「並行処理」におけるメモリ競合の有無やミューテックスの要否じゃなくて、それを実現する実装手段の内側世界における議論

それらを前提してるから、「並行処理 = シングルスレッド = 競合しない = ミューテックスは必要ない」と因果を逆立ちさせてしまう
>>157 のレスを引くなら「並行（非並列） = シングルスレッド = spawn_local = Sendがない」ではなく、「spawn_localを選ぶ = tokioがシングルスレッドであることを保証 = スレッド移動がないためSend不要 = 結果として並行（非並列）になる」が正しい因果

設計段階で「並列か否か」をまず決めて、それに応じたexecutorを選択し、その結果、実装者の期待どおりに「並行（非並列）」or「並列 & 並行」となるわけで
これが本来の思考、理解の順序であって、逆にするから概念自体が胡乱げになる

「非同期処理」に限るのであればいざ知らず、そうでないなら、つまり「並行処理」一般に議論のスコープを広げるのなら、そちらの因果理解は破綻する

**デフォルトの名無しさん** · 2025/12/14(日) 15:01:36.46

>>178
長文くん邪魔だからさ
これ以上中身のない妄想の机上の空論を続けるのではなく、
キミが言う並行処理を実装してるクレートか何かをまずは持ってきなよ

**デフォルトの名無しさん** · 2025/12/14(日) 16:05:54.67

もう並行処理専用スレを作って移動してほしい

**デフォルトの名無しさん** · 2025/12/14(日) 18:14:00.68

長文は読んでないが>>157の複おじの主張に沿うと
実行環境がシングルコアならマルチスレッドでもマルチプロセスでも真の並列ではないから
「カウンターやフラグなどあらゆる変数についてMutexを用いる必要がない」ってことだな

あほらし

**デフォルトの名無しさん** · 2025/12/14(日) 18:21:41.85

今回得られた結論は以下の2つ

1. 「JavaScriptはシングルスレッドだから排他制御は要らない」などと言う人は排他制御を全く理解していないということ

2. 概念と実装の区別ができない人はその概念に対する理解が決定的に欠如しているということ

複オジ先生、反面教師役お疲れ様でした。

**デフォルトの名無しさん** · 2025/12/14(日) 18:51:23.07

複おじは日下部陽一先生と知りあえば仲良くなれると思う

**デフォルトの名無しさん** · 2025/12/14(日) 19:19:56.69

>>181
>>182
あなたは勘違いしてるから解説書や仕様書などまずは基本を勉強した方がいい
ミューテックスはスレッド間もしくはプロセス間で使われると明記されている
そして同一スレッド内でミューテックスを用いた場合の動作はは環境依存になる

Rustの標準ライブラリのMutexでも同様でロックされている状況にて同一スレッドでロックを試みた時の動作は指定されず関数から戻ってこないままpanicやdeadlockなどになりうると明記されている
つまりMutexはシングルスレッド内で用いてはいけないものなのだ

**デフォルトの名無しさん** · 2025/12/14(日) 21:37:57.47

シングルスレッドだからメモリ競合は発生しないって主張が地雷なんだよな

複数の非同期処理で共有してる&Cell<T>の値はawaitの前後で書き換わってる可能性があって
await中の別処理での変更を無視するとマルチスレッドのメモリ競合と同じ不定状態になる
この場合シングルスレッドだからMutexは必要ないというより使えないんだけど
Mutexが必要ないor使えないからメモリ競合は存在しないって結論出すのはやめてほしい

変なタイミングでawaitを挟まなければ回避できる話だから大した問題ではないけど
問題の可能性を理解せずに「メモリ競合は存在しない」って信念を持たれるとこわい

**デフォルトの名無しさん** · 2025/12/14(日) 22:10:35.13

>>185
それはメモリ競合とは言わない
そこにメモリ競合は存在しない

**デフォルトの名無しさん** · 2025/12/14(日) 22:37:59.93

まーた副クン一人で頑張ってるの？
IDコロコロして頑張るねえ

**デフォルトの名無しさん** · 2025/12/14(日) 22:56:57.21

複数CPUからの同時アクセスを制限するものだけを Mutex と呼ぶなら
tokio::sync::Mutex についてはどうなんだ？
これはシングルスレッドのランタイムでも使われるものだし、名前の通り Mutex と呼ばれるものの一種だと思うけど

**デフォルトの名無しさん** · 2025/12/14(日) 23:39:46.59

>>185
>変なタイミングでawaitを挟まなければ回避できる
OSが複数スレッドの実行をインターリーブするのと同じで
タスクも効率や公平性のためにawaitを入れてインターリーブさせるべきケースというのがある
>>149のダウンローダーの例とかね

**デフォルトの名無しさん** · 2025/12/14(日) 23:49:39.40

メモリ競合・データ競合は複数のスレッドもしくは複数のプロセスが互いにどこを実行している知らなくて制御できなかったり不意打ちで切り替わりえる状況で起きるんだよ

>>185
一方でそのケースはシングルスレッドで利用していればそんなことは起きないためデータ競合ではないね
awaitから戻ってきたら値が書き換わっていたというのは関数呼び出しの連鎖から戻ってきたら値が書き換わっていたのと同じようなこと
制御できない知らぬ間に値が書き換わるわけではないためデータ競合とは呼ばれない

**デフォルトの名無しさん** · 2025/12/15(月) 10:37:47.15

競合の話となると特に造語が捗るようですねえ

メモリ競合もそうだけど
データ参照の競合って何だったの？
https://mevius.5ch.net/test/read.cgi/tech/1722354386/966-983

**デフォルトの名無しさん** · 2025/12/16(火) 00:58:10.28

さてと
linuxカーネルはrust化されないとか言ってた低学歴在日朝鮮人の恥ずかしい書き込みを発掘するか

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

Linuxって使いにくい　古～いUnixを未だにひきずってるから
Linuxに拘る必要あるんだろうか？
もういっそのことすべてを新規設計にしてLinuxに代わるオープンソースOSにして欲しい
モデルにするのは…MSはMSで変に使いにくくしていってるとこあるから、この両者の悪所を全部取り除いたやつにして欲しい

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

複おじみっともないからそういうのやめなって

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

排他制御で恥を晒した某オジさんがいつものように別のネタで話題をそらしたいわけですね

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

Rustがこんなにも多くのアーキテクチャを葬ってしまうのか

https://x.com/ebisan2015/status/1999437822798045373

**デフォルトの名無しさん** · 2025/12/16(火) 03:40:58.95

unix作者はgo作ったしlinuxメンテナに入れて上げたらinじゃねーの？

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

>>196
s390とホビーじゃねえぞ

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

Qiitaスレに逃げてんじゃねーよ

**デフォルトの名無しさん** · 2025/12/16(火) 19:10:40.61

>>193
firefoxすらRustで書き直せないのに無理
ていうか、Rustはｵﾜｺﾝ

**デフォルトの名無しさん** · 2025/12/16(火) 19:45:33.35

Go のランタイムがやってる平行処理 (goroutine) は本当は OS でやりたかったが Linux にかわる OS を作るのは非現実的だから諦めたとは聞いたことがあるな。
単純な話としてアプリケーションが Linux の仕様に依存しきっているから Linux のしがらみを捨てた新しい OS を作ったら全てのアプリケーションが作り直しだ。
インフラは正しくあることよりも安定していることが重要であるという Linux 哲学により、改善によって既存のアプリケーションが動かなくなるならその改善はしないことになっている。(深刻な脆弱性ならやむを得ず修正することはある。)
つまり Linux は長期的に安定してバイナリ互換性を維持していて、更にはこれからもそうであると信じられているから今の地位にあるってことだ。 Windows もそう。
機能・性能の良さより長期的な信頼が大事で、それを得るのは本当に困難な話。

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

新しいOSに引継ぎのためのWSLのようなのを積んじゃえば

**デフォルトの名無しさん** · 2025/12/16(火) 20:08:57.42

BeOSやTRONのようなのでもよかったんだけどなあ
BeOSはなぜかすぐに消えちゃったね、TRONはお国の事情で…

**デフォルトの名無しさん** · 2025/12/16(火) 20:25:59.95

>>201
goroutineはプリエンプティブつまり強制中断スケジューリングなので個別にスタックを持たなければいけないけど
Rustの非同期タスクはawaitでスケジューリング切替なのでyield_now等で自分で制御できるメリットとスタックを持たなくていいメリットがあるね

**デフォルトの名無しさん** · 2025/12/16(火) 20:51:19.88

おじはなんで188だけガン無視なの

**デフォルトの名無しさん** · 2025/12/16(火) 21:55:03.07

もう敗北を認めてるからでしょ

**デフォルトの名無しさん** · 2025/12/16(火) 22:02:24.31

Rustに勝つのは無理すぎる

**デフォルトの名無しさん** · 2025/12/17(水) 00:04:52.78

せっかくノリノリで自演再開したのに蒸し返された途端に止まるの笑える

**デフォルトの名無しさん** · 2025/12/17(水) 00:05:33.31

どういう指標において？
例えば「開発者の人口の多さ」なら主要言語の中では下位だし、そんなもの切り口によりけりだろ

**デフォルトの名無しさん** · 2025/12/17(水) 00:37:34.86

tronはスウィッチ2のコントローラで活躍しとるでぇ🧐

**デフォルトの名無しさん** · 2025/12/17(水) 09:00:54.55

活躍ではないかな

**デフォルトの名無しさん** · 2025/12/17(水) 13:00:34.90

NeXTは死にかけのところをあやうく拾って貰えた
BeOSの方がmac後継の有力候補とまで言われていたのに
ここまで立場がひっくり返るとは

**デフォルトの名無しさん** · 2025/12/17(水) 13:20:26.44

マイナーアーキテクチャ対応はgccrsプロジェクトの成否にかかってると思うんだが
現状どうなってるの？

**デフォルトの名無しさん** · 2025/12/17(水) 14:23:26.87

そんなもんお荷物になるだけだから失敗してくれた方がいい
最新エディションへの対応が遅れる(or放棄される)のは目に見えていて、
ライブラリがそれに引きずられて最新エディションへの移行を渋るようになれば、
俺達イケイケ最先端ウェーイでやってきたRustコミュニティの自尊心に致命的なダメージを与え、開発者離れを引き起こすことになりかねない

**デフォルトの名無しさん** · 2025/12/17(水) 16:13:18.06

アーキテクチャのLLVM対応はベンダーorメーカーの責任では
売りたいなら真っ先に用意するだろうし時代遅れでコストに見合わなければ切り捨てられる

**デフォルトの名無しさん** · 2025/12/17(水) 19:33:27.44

というかgcc対応の本命はrustc_codegen_gccの方じゃない？
最近はRust本体のCIでもテストされるようになってきたし、rustupでの配布も計画されている

**デフォルトの名無しさん** · 2025/12/17(水) 20:42:52.22

>>216
rustc_codegen_gccはrustcのバックエンドとしてLLVMと同様の立ち位置なんだよね
だから>>214の問題は起きないメリットが大きい

**デフォルトの名無しさん** · 2025/12/17(水) 22:06:20.53

bincode がサポート終了になったみたい
それなりに広く使われてるクレートでも突如消えることってあるんだな、と改めて思う…

**デフォルトの名無しさん** · 2025/12/17(水) 22:27:57.16

メンテナの一人が他のメンテナに相談なく脱GitHub作業を始めて履歴の書き換えとかをやりだして揉めたけど
その渦中のメンテナがトランスジェンダーのポリコレだってことで
実名と住所を晒されて、責任取ってプロジェクト自体終わりってことになったのか

**デフォルトの名無しさん** · 2025/12/17(水) 22:29:06.78

devでtestで用いてるクレートが多いな

**デフォルトの名無しさん** · 2025/12/17(水) 22:31:21.65

>>217
rustc_codegen_gccがお荷物になってライブラリではなくてRust本体への変更が遅れるデメリットはある

**デフォルトの名無しさん** · 2025/12/17(水) 22:55:48.90

そこはこれまでもrustcとLLVMとの間の調整でやって来たことだから新たな影響は限りなく小さい
一方でRustの仕様追加変更や標準ライブラリの追加安定化などは当面rustcまわりでの独裁決定事項であることが成長中のRustにとって好ましい

**デフォルトの名無しさん** · 2025/12/17(水) 23:05:52.77

bincodeの件、斜め読みしたけど、こんな感じじゃない？

1. 生成AIのクソissueにブチ切れる
2. 脱GitHubを実行
3. ついでに、トランスジェンダーの関係で改名した新しい名前を使って過去のコミットを書き換える
4. しばらく誰も気づかない
5. 誰かがコミットIDが書き変わってることに気づく
6. うわーサプライチェーン攻撃だーと大騒ぎする
7. 騒ぎの中で、作者の実名や住所を公開する奴が現れる
8. 作者がブチ切れて、メンテナンス終了を宣言
9. ついでに、作者名の欄を独立して編集できないcrates.ioがクソ、と意見

**デフォルトの名無しさん** · 2025/12/18(木) 00:40:08.71

>>221
RFCが承認されてから10年経っても実現できない機能がいくつもある言語だからな
その程度のデメリットはいまさらだろ

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

ハッシュマップってハッシュ値を保持して値を調べるんじゃなくてキーも保存するんだな
保存したくない場合はキーを完全ハッシュ値にしてハッシュ値をキーにしないとだめだな

**デフォルトの名無しさん** · 2025/12/18(木) 13:24:31.83

キーを保存したくないならHashSetの方があってそう
値にEqが必要だけど完全ハッシュより現実的

**デフォルトの名無しさん** · 2025/12/18(木) 14:39:08.80

恐ろしい誤解だなと眺めてたら
さらに恐ろしいのが来た

**デフォルトの名無しさん** · 2025/12/18(木) 15:01:44.44

>>225
HashMapはハッシュ値を保持しない

>>226
HashSetもキーを保持する

**デフォルトの名無しさん** · 2025/12/18(木) 15:07:04.67

この場合のキーはHashMap<K, V>のKのことだろ
HashSet<T>のキーってなんだよ
ハッシュ値のこと？

**デフォルトの名無しさん** · 2025/12/18(木) 16:23:43.15

検索に使うオブジェクトがキー。
HashSet は値が常に () であるような HashMap だと説明されてる。

**デフォルトの名無しさん** · 2025/12/18(木) 16:51:07.77

普通のハッシュマップは何もしないハッシャーを実装すれば出来るな

**デフォルトの名無しさん** · 2025/12/18(木) 19:13:42.74

Rustの前に基本情報あたりを取る勉強したほうがいいんじゃないか
古臭いのが多いとはいえ応用は基礎の積み重ねの上にあるからな

**デフォルトの名無しさん** · 2025/12/18(木) 19:42:58.02

rustってグローバル変数が使えないんだよね。dfsつらくない？

**デフォルトの名無しさん** · 2025/12/18(木) 19:46:33.16

DFSのためにグローバル変数？？
プログラミングを基礎からやり直したほうがいいぞ

**デフォルトの名無しさん** · 2025/12/19(金) 10:28:35.58

Rustちょっとビルドの度に数分単位の時間掛かるのなんとかならんのかね
多分プロダクションビルドだけでやればいいような最適化とか毎回回してるよねこれ

**デフォルトの名無しさん** · 2025/12/19(金) 10:31:57.30

>>235
マクロのせいでしょ

**デフォルトの名無しさん** · 2025/12/19(金) 12:08:39.25

でかい依存ライブラリのリビルドが必要になったならまだしも自分のコードのインクリメンタルビルドだけで数分もかかるようならマシンのアップグレードを検討したほうがいいかもしれない

**デフォルトの名無しさん** · 2025/12/19(金) 12:10:44.45

Windowsならアンチウイルスのせいかもね

**デフォルトの名無しさん** · 2025/12/19(金) 12:20:12.19

>>235
少なくともデバッグビルドのデフォルト設定では最適化は控えめだよ。
単純にリンクが遅い傾向にある。
Rust プロジェクトの典型的な設計がリンカには負担がかかってしまう要素が多いらしい。
変更が少しだけでもリンカの仕事の量は特に変わらないし。

インクリメンタルリンクをサポートしたリンカ Wild が開発中で、開発中のリンク (修正を少しだけした場合のリンクしなおし) を爆速にする計画は進んでいる。
インクリメンタルリンクは構造がかなり複雑になるので複雑な処理と速度を両立できるのか疑問視されていて従来のリンカ開発者は消極的だったんだが
Rust でなら複雑さと性能を両立したリンカを書けるという自信があるらしい。

**デフォルトの名無しさん** · 2025/12/19(金) 12:24:59.93

C#みたいにプロセス起動したままホットリロードできるようになるのはいつ？

**デフォルトの名無しさん** · 2025/12/19(金) 13:38:24.83

ビルドする時間帯によっては依存cratesの更新確認だけで待たされる時があるな

**デフォルトの名無しさん** · 2025/12/19(金) 14:18:19.55

>>241
その仕組みのない言語はやばい

**デフォルトの名無しさん** · 2025/12/19(金) 14:24:27.94

Rust はシングルバイナリ指向なのでホットリロードは想定してないがバイナリを分割すれば (ホスト環境によっては) 今でもホットリロードできる。
実行環境次第。

**デフォルトの名無しさん** · 2025/12/19(金) 23:23:49.86

ホットリロードが欲しいのはGUIみたいに「ちょっと変えて試す」をしたい分野だと思う
それはRustの得意分野でもないし、そこはC#やJSで良いじゃない
Rustが向く分野とそうでない分野があるというだけの話

**デフォルトの名無しさん** · 2025/12/20(土) 06:57:23.96

ホットリロードはWEB APIにこそ欲しい

**デフォルトの名無しさん** · 2025/12/20(土) 09:53:03.44

>>241
何時間も待たされて(ちょっとずつは進んでる)眠くなったのであきらめて
次の日やり直したら一瞬で終わったことがある

**デフォルトの名無しさん** · 2025/12/20(土) 09:54:12.80

>>243
その仕組みのないOSはやばい

**デフォルトの名無しさん** · 2025/12/20(土) 10:06:31.65

明示的にアップデート指定した時以外はイチイチ外部パッケージのダウンロード＆再コンパイルとかやらないで欲しいな

**デフォルトの名無しさん** · 2025/12/20(土) 13:27:35.26

>>248
クレイト使用バージョンを指定してないからでは

**デフォルトの名無しさん** · 2025/12/21(日) 13:34:39.31

hoge = "1.2.3"
よりも
hoge = ">=1.2.3"
よりも
hoge = "=1.2.3"
推奨ですね判ります

**デフォルトの名無しさん** · 2025/12/21(日) 14:35:21.91

Microsoft、2030年までにC/C++廃止を目指す
https://softantenna.com/blog/microsoft-c-to-rust-2030/

> 私の目標は、2030年までに Microsoft からすべての C と C++ のコードを排除することです。そのための戦略は、AI とアルゴリズムを組み合わせて、Microsoft が抱える最大規模のコードベースを書き換えることにあります。

> マイクロソフトの大規模C/C++システムをRustへ移行する

**デフォルトの名無しさん** · 2025/12/21(日) 14:43:34.11

マイクロソフトに限らず2030年代にはどの企業でもC/C++全廃してるでしょ

**デフォルトの名無しさん** · 2025/12/21(日) 14:48:05.86

>>251
>「Galen 氏の発言を Microsoft 全体の方針と見るな」という冷静な指摘も行われています。

はいおつかれ。解散解散

**デフォルトの名無しさん** · 2025/12/21(日) 15:03:43.26

お前らもExcelのマクロをRustで書きたいだろ？

**デフォルトの名無しさん** · 2025/12/21(日) 15:07:17.98

1ヶ月で1人あたり100万行のC/C++コードのRust化って
コーディングもレビューもテストすらAI丸投げで
誰も確認しない感じじゃないと不可能だよなあ

**デフォルトの名無しさん** · 2025/12/21(日) 15:15:34.65

実際にはWindowsをRustで書き換えるんじゃなくてWindows付属のアプリケーションをRustに置き換えていくんじゃないかな
人を集めるために大きいことを言ってるんだと思うよ

**デフォルトの名無しさん** · 2025/12/21(日) 19:17:27.17

そりゃ Rust のほうが良いとは思うが書き換えとなると書き換えに伴って発生するバグだってあるし、十分に安定している部分まで慌てて書き換える合理性がない

**デフォルトの名無しさん** · 2025/12/21(日) 19:46:26.13

そう言ってるわりにVisualStudio2026でRust対応しなかったよな
結構くるんじゃないかって期待してたんだけど

**デフォルトの名無しさん** · 2025/12/21(日) 20:27:44.41

Rustに書き換えたところで何かが改善されたというアピールがしにくいんだよね
速くなろうがエラーがへろうがそれが置き換えによるものなのかって切り分けにくいだろうし

**デフォルトの名無しさん** · 2025/12/21(日) 20:28:25.69

何かRustコンパイラをMSが自作する必要に迫らればVisual Studio入りもあるだろうけど
結局rustcとrust-analyzer頼みならVsCodeでいいじゃんで終わりそう

**デフォルトの名無しさん** · 2025/12/21(日) 21:38:22.40

処理系が少ないのは健全な状態ではないからマイクロソフトにも手をつけてほしいが、現時点では Rust の言語仕様の文書化があまり進んでないからな……。
https://github.com/rust-lang/spec
リファレンスマニュアルだけで十分に互換性のある処理系を作れるとは思えないし、やるにしても時期尚早かもしれない。

**デフォルトの名無しさん** · 2025/12/21(日) 23:07:13.70

vsてcodeの劣化版でしかないのにあれをまだ使ってる人おるんかな

**デフォルトの名無しさん** · 2025/12/22(月) 00:13:44.16

>>262
VSをエディタとしてしか使ったことないんか？

**デフォルトの名無しさん** · 2025/12/22(月) 00:37:10.74

バルマー時代のMSならいざ知らず、今のMSが今更わざわざWindows専用の新しいツールチェインなんか作るわけないでしょ

**デフォルトの名無しさん** · 2025/12/22(月) 08:42:53.10

Arm版Windowsなら可能性あるかもね。

x86windowsは過去互換性が重要だから互換層をたくさん用意する必要がある。互換層はunsafeまみれでpanicリスクのあるコードになるから、Rustの強みは活かせないだろうね。

**デフォルトの名無しさん** · 2025/12/22(月) 19:42:03.81

Arm版もどっこいかな
結局Rustが使われるとしたらシステムよりもアプリケーションだろうね