Rust part29

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
垢版 |
2025/05/03(土) 00:47:30.13ID:phVJ5tWC
公式
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 part28
https://mevius.5ch.net/test/read.cgi/tech/1742805420/

ワッチョイスレ
プログラミング言語 Rust 4【ワッチョイ】
https://mevius.5ch.net/test/read.cgi/tech/1514107621/
2025/05/16(金) 15:05:55.72ID:L+lmGGRS
>>521
御託はもういいからお前はsafe縛りでAV1デコーダを書き直してCと同等の速度を達成してこい
2025/05/16(金) 15:14:15.36ID:b58fLBSS
>>522
金と暇を用意してくれたらな
それから最高速を求める時にsafe縛りの必要はない
unsafeを安全に閉じ込められる枠組みが見つかればそれを実行してきたのがRustの歴史
その恩恵で皆がsafe Rustでパフォーマンスを出すことができる
2025/05/16(金) 15:24:17.43ID:9BgWdn33
なんかよくわかんねーけどCより5%遅いらしいな
2025/05/16(金) 15:38:32.38ID:QL8B1Lzv
デコーダーの主要部分はC版の頃からアセンブラで書かれてて、Rustはグルーコードに過ぎないみたい
2025/05/16(金) 15:41:24.82ID:JWOdogbt
えぇ・・・
2025/05/16(金) 16:18:41.85ID:m6piKA++
pub const fn checked_div(self, rhs: Self) -> Option<Self> {
if intrinsics::unlikely(rhs == 0 || ((self == Self::MIN) && (rhs == -1))) {
None
} else {
// SAFETY: div by zero and by INT_MIN have been checked above
Some(unsafe { intrinsics::unchecked_div(self, rhs) })
}
}

NonZero使ったら最適化で分岐が消える場合があるってことだろうけど
チェックタイミングがNonZero化するときに移動しただけだよね
もしくは定数由来だからチェックが不要になったか
2025/05/16(金) 19:03:43.29ID:b58fLBSS
>>527
checkなくコストゼロでpanicもなく安全にu64 / NonZero<u64>の除算やNonZero<u64>→u64の変換などができる
ゼロ保証のない変数からNonZeroを作るには必ずチェックコストがかかるが以降は除数として何度使ってもコストゼロ

元が穴のないCコードならどこかで何らかの方法でゼロにならないことを保証しているはず
それに準拠する形を取ることができればCとRustは同じコストで同じ速さになる
もし元のCコードにゼロ保証する仕組みが全く見当たらないならばそれは穴のあるコードが見つかったことになる
2025/05/16(金) 19:13:36.61ID:bpgu73R/
>>528
病気だな。

要求されてる「それでも回避できない部分が残れば最後の手段unsafe安全閉じ込め」™の具体例を上げやすいように、
「それでも回避できない部分」を簡潔に作り出すのが手間なら、ループ最深部の(0かも知れない)除算を想定した上で「unsafe安全閉じ込め」™をサッと挙げたらどうですか?
と言う話のはずなのに、この受け答え。
2025/05/16(金) 19:16:32.12ID:b58fLBSS
>>529
unsafe使わずにsafe Rustで実現できている
何のためにunsafeを使えと言ってるのか理解できない
2025/05/16(金) 19:17:47.42ID:bpgu73R/
>>528
> それに準拠する形を取ることができればCとRustは同じコストで同じ速さになる

こんな単純化を信じているのが大勢いて、信者の一人>>500記事が現実を突きつけられているのに
>>528はまだ受け入れられない。
2025/05/16(金) 19:19:01.24ID:bpgu73R/
>>530
対象国居住者とタッグ組んで参加してください。
2025/05/16(金) 19:23:03.68ID:bpgu73R/
>>525
> Rustはグルーコードに過ぎないみたい

グルーコードに過ぎないのに、最大限努力した結果で5%も性能差が出ている事実がインパクトある。
2025/05/16(金) 19:29:28.60ID:b58fLBSS
>>531
何を解決してほしいのか具体的に言おう
panicもcheckも必要なく安全にsafe Rustで実現する方法は既に使えた
2025/05/16(金) 19:33:14.79ID:CtDSSAzz
当然ながら元々はボトルネックを特定した上で部分的にアセンブラで書いているのだろうし、
当時のスキルをもってすれば今5%も差が出ているならまずは原因箇所の特定くらいは簡単にできそうなもんだが、
なぜこんな解像度の低い状態で丸投げしているのか謎
オリジナルの開発をやった人がいなくなっちゃったのかもね
もはやRust関係ないけど
2025/05/16(金) 19:35:12.11ID:b58fLBSS
>>531
何を解決してほしいのか具体的に言おう
panicもcheckも必要なく安全にsafe Rustで割り算を実現する方法は既に伝えた
2025/05/16(金) 19:39:18.59ID:zQbADFxC
ここでは全部一人のせいにしているけど
だぶん「unsafe安全閉じ込め」™オジwと複オジは別人で
都合悪なると仮病になる

>>535
懸賞記事内にリンク記事があるよ

>>534,536
たぶん「unsafe安全閉じ込め」™が何のことか具体的に知りたいだけでは
仮病してると複オジと同レベルだぞw
2025/05/16(金) 19:45:26.73ID:b58fLBSS
>>537
「unsafe安全閉じ込め」の例はRust標準ライブラリに無数にあるからそれを知りたいとは思わなかった
興味ある部分についての標準ライブラリのソースを読んでくださいでおしまい
2025/05/16(金) 19:48:17.71ID:zQbADFxC
いつもの人間が判断するだけの事に名前を付けたのね
2025/05/16(金) 19:49:07.71ID:zQbADFxC
そうなると複オジ本人だなw
2025/05/16(金) 20:03:38.49ID:CtDSSAzz
>>537
一通り読んだけど、c2rustのunsafeコードを修正する際に適用することにしている、一般的に高速化に寄与すると考えられる作法を紹介しているだけで、
実行時のパフォーマンスについての詳細な分析結果は特に見つけられなかった
プロジェクトの概要なんかも見てると金貰って開発する上で結構厳しくQCD管理されてるみたいだから、
どうしても自分達で解決できないというよりは単に切羽詰まってるから助けてくれという感じなのかね
2025/05/16(金) 20:14:28.07ID:zQbADFxC
複オジは仮病だろうけど、最近の話題でこんな画像があった

統合失調症のブログが話題に「全てがわかる。すべてのすべて」
https://pbs.twimg.com/media/Gpy43ktaYAYMz9w.jpg
2025/05/16(金) 23:32:05.70ID:V5h5/o2J
>>513
この種の速さ命のプログラミングではpanicコードを完全に排除するためその問題は起きない
2025/05/16(金) 23:35:06.70ID:ZEBLDPGc
テックポエム量産してるのは>>542に近いのでは
論理的には違っていると自覚はあるから「ポエム」と称するけど
異常脳神経が「分かった」シグナルを発して仕方がないのだろう
2025/05/16(金) 23:48:27.11ID:+TOH8huo
このGoスレレスなんて>>542のイチゴの例そのものね

> Goはルーン文字と同じ運命をたどりそうだな
> 紙が普及した時代に原始的な彫刻文字は流行らない
> 時代に合わせて形を変えないと
2025/05/17(土) 02:16:37.18ID:hnIBgbwS
>>545
頭おかしいのはみんな気づいてるからいいとして、せめてコテにしてNGさせてくれよな
延々中身のない仕様も理解していないレスバを目にするのも辛いしな
よりに寄ってこんな過疎スレに来なくていいのに
547デフォルトの名無しさん
垢版 |
2025/05/17(土) 07:06:56.82ID:XtHNXmhB
科学 + 5ch

20種近くも検出された新しい「量子状態」は、量子コンピューター飛躍の鍵になるか [すらいむ★]
2025/05/16(金) 22:52:02.48
http://egg.5ch.net/test/read.cgi/scienceplus/1747403522/
>>これまで理論上の存在と考えられてきた量子状態の検出に、国際研究チームが初めて成功した。量子情報の保存や論理演算の基盤として応用することで、量子コンピューターの未来を変える鍵となるかもしれない。


※犯罪の手口が判明するのか
2025/05/17(土) 07:42:04.23ID:lDt9R68w
>延々中身のない仕様も理解していないレスバ

潰し屋だな
2025/05/17(土) 08:40:26.34ID:qCs3WkDL
全能感があるだけ幸せなのでは?自分は真逆で老化がはじまったんかと思うぐらい
2025/05/17(土) 10:25:49.04ID:+mXvyyg4
糖質というより発達系だろ
間違いを認めたら負けみたいな中華メンタルも持ち合わせてるけどあれは病気じゃなくて人間性の問題
2025/05/17(土) 10:34:31.56ID:9HrlEF5X
キチガイの自白で荒らされてますが
Rust 1.0からちょうど10周年ですよ
おめでとう!
2025/05/17(土) 10:41:03.44ID:qCs3WkDL
Rustのすべてが正しいという発想しかない異常者
2025/05/17(土) 10:49:42.53ID:BnclY/n2
複オジ今日も快調に暴走
2025/05/17(土) 15:50:10.71ID:P2bp1h/d
複ちゃん消したらもうこのスレの存在意義ないけど
2025/05/17(土) 18:34:13.65ID:Vu4+Tz9e
AI吹くちゃん二代目襲名
2025/05/17(土) 19:44:04.18ID:t/yU0oIF
1.87で安定化したVec::extract_ifの機能がdrainに近いと思ったけど最初はdrain_filterの名前で提案されてたのね
自動で全部dropできないからdrain_filterとかdrain_ifだとだめらしい
drainが排出じゃなく吸収のイメージなのはFFが原因だな
2025/05/17(土) 22:10:30.09ID:pKwTZqOi
extract_if()はむしろretain()+捨てる分を取り出し(extract)と考えた方がいい
ただし残すをtrueか取り出すをtrueかで判定関数の真偽が逆に注意
ついでに判定関数の引数が&vec[i]から&mut vec[i]に変わってるため残すものも値書き換え可のおまけ付き
2025/05/17(土) 22:46:26.94ID:t/yU0oIF
返されたイテレータを使い切らないと全部削除されないからretainとも微妙に違う
nextで取った分だけ削除だからpeekableとの取り合わせが悪そう

あと関数名はextract_ifじゃなくextractだけでよかった気がする
extractがないのにextract_ifがあるのは何かバランス悪い
drain_filterから紆余曲折あったみたいだから仕方ないけど
2025/05/17(土) 23:12:09.74ID:pKwTZqOi
>>558
書いた通り、retain()+捨てる分を取り出し(extract)
だから取り出さないと削除されない
イテレータが進んだ分だけretainと一致する

名前の_ifはすぐに類似のpop_ifが想起される
pop_ifでも条件判定の引数が可変参照で同じだからrangeをlastにしたものと見なすことができる
ifの付かないpopは無条件だから
ifの付かないextractも無条件となる
だからextract_ifというメソッド名が正解で一貫している
2025/05/18(日) 00:31:27.80ID:+SIFIDid
すでにドレンフィルタって名称の一般的なものがあるけど…
排水管などのフィルター
2025/05/18(日) 00:55:22.32ID:+SIFIDid
coffee extractionはコーヒー豆の方を取り除いているのか液体(エキス?)を抽出しているのか
562デフォルトの名無しさん
垢版 |
2025/05/18(日) 01:05:08.64ID:GL3oFIgT
extract は語源的には ex (外へ) - tract (引っ張る) だから、「取り出す・抽出する」といった意味合いが強い
2025/05/18(日) 01:06:15.76ID:+SIFIDid
コーヒー豆とコーヒーが混ざった物からコーヒーを抽出するよね
それをコーヒーを捨てているとは言わない

残ってる方は最後まで濾さないとコーヒー豆とコーヒーが混ざった物でしかないので無価値
一方で抽出したほうはコーヒーなので価値がある
この意味が判るかどうか?
564デフォルトの名無しさん
垢版 |
2025/05/18(日) 07:46:36.17ID:AGGexLjT
企業献金、結論先送りへ 自公国法案、提出取りやめ [蚤の市★]
2025/05/17(土) 21:17:14.36
https://asahi.5ch.net/test/read.cgi/newsplus/1747484234/

全国1万1155の企業・団体の政治献金「97%」が自民へ、シンクタンク調査 [おっさん友の会★]
2025/05/14(水) 11:12:39.51
https://asahi.5ch.net/test/read.cgi/newsplus/1747188759/
2025/05/18(日) 09:41:45.81ID:6WAEpSNG
Vecに含まれる構造体を参照しながら、別の構造体に変更を加える処理ってどれがベストでしょうか
566デフォルトの名無しさん
垢版 |
2025/05/18(日) 10:17:55.24ID:rfn3+MVd
これは任意の方苦に向けて電波攻撃可能ということでしょうか?
プログラムの改造で下記が可能になるのでしょうか

「Xperia」が電波法違反、ソニーに行政指導--総務省
2024年12月13日 15時23分
https://japan.cnet.com/article/35227306/
>>スマートフォンにおいて「工事設計認証を受けた工事設計にない空中線を使用しての電波発射が可能な仕様となっている状態にあった事実が認められた」という。
2025/05/18(日) 11:19:10.16ID:HgIqS8Uk
>>565
色々方法があってどれがベストかは状況による

a. 変更内容を作成する処理と変更を適用する処理を分離する
b. split_mut系で更新部分と参照部分のスライスに分割する
c. takeとかreplaceで変更対象の構造体を一旦Vecから取り外す
d. Vec内の構造体を全部RefCellに入れる

可能ならaがベストかな
2025/05/18(日) 11:30:08.35ID:vhS9Z2b5
よくそんな意味不明な質問に答えられるなと思う
自分がアホなのか、予定された質問に予定された答えなのかわからない
本当にわからない
2025/05/18(日) 11:41:01.25ID:6WAEpSNG
>>567
かなり曖昧な質問に答えてくれてありがとう。
他の言語だとリストから参照で構造体を取り出して、他の構造体を変更したり色々できたけどRustだとかなり制限がキツくて躓いた。ChatGPTにも聞いたりだけどイマイチ納得できなくて、実際使ってる皆さんに聞きたくなったんだよね。
2025/05/18(日) 11:44:13.33ID:vhS9Z2b5
ChatGPTに聞いたなら質問を清書してくれただろ?
そっちを貼ればいいだろ?
謎すぎる
2025/05/18(日) 11:45:25.47ID:wGoLP5Sv
意味不明な質問というのには完全に同意
質問と回答が矛盾してるので
さすがにこれは発達オジの自作自演ではないだろう
2025/05/18(日) 11:47:57.87ID:wGoLP5Sv
あ・・・
自分の中では矛盾してなかったみたいww

自作自演発達オジの日本語能力の問題だったか
2025/05/18(日) 11:48:09.03ID:6WAEpSNG
やりたいことは、構造体には関数も実装ししていて、その関数に大元のVecを渡してそれぞれの要素に変更をかけるみたいなやつだけど、ミニマムで質問してみた。一旦教えてもらったcに近い実装でコンパイル通ったけど、モヤモヤしたので聞いてみました。
2025/05/18(日) 11:48:46.66ID:6WAEpSNG
>>570
確かに、、、すまぬ
575デフォルトの名無しさん
垢版 |
2025/05/18(日) 11:52:57.81ID:GL3oFIgT
「別の構造体」というのは「同じVecの別の位置にある要素」という意味?
values[0] を参照しながら values[1] を変更するみたいな
2025/05/18(日) 11:57:42.82ID:zQyjSV37
>>565
一般的にそういう時は困っていることが成立している最小構成例を具体的に出す
何通りにも解釈できる意味不明な曖昧な文章では答えてくれる人も減るだろう

>>568
意味不明な文章だがRustのプログラミング経験があるならば
質問者の脳内の仮定を補完して最も可能性の高い質問ケースとして回答者が応じている状況を観察できるはずだ
2025/05/18(日) 11:58:51.15ID:vhS9Z2b5
書き方が回りくどいね わかりやすく
2025/05/18(日) 12:05:59.38ID:6WAEpSNG
>>575
そうです、言葉足らずでした。。。
579デフォルトの名無しさん
垢版 |
2025/05/18(日) 12:21:21.33ID:GL3oFIgT
>>578
それはRustだと面倒なパターンなので仕方ない
{} でブロックを作って借用のスコープを短くする等でなんとかする
ここはボローチェッカーの気持ちの理解が必要
(なぜダメなのかはエラーメッセージが教えてくれてるから、そこは既に分かってるかもしれないけど)

同じことは構造体の別のフィールドを参照する場合も言える
構造体のフィールドaを可変借用しつつ別のフィールドbを参照するなど
2025/05/18(日) 12:26:55.54ID:vhS9Z2b5
う~ん
 何が言いたいかわからる人にはわかるだろ?
2025/05/18(日) 12:29:43.83ID:NJShdjf5
何がやりたいのか全然わからん。
コードで示してよ。
コンパイル通らなくてもいいから Rust 風擬似コードって感じで。
2025/05/18(日) 12:54:12.76ID:uzz3fg67
複おじちゃんは今日もやらかしてるね
特有の癖が出てるのに自分ではバレてないと思ってるから面白い
2025/05/18(日) 13:00:12.37ID:zQyjSV37
困ったことが起きたらその問題が再現する最低限の最小構成コードを書いてみる
すると本質的な構造が見えてくる
その過程で自己解決することも多いだろう
わからなくてもその最小構成コードを貼って質問すればよい
2025/05/18(日) 13:58:46.67ID:6WAEpSNG
>>579
やはりそうなんですね。ありがとうございます。

>>581
>>583
助言ありがとうございます。
ChatGPTにサンプルコード作ってもらいました。コンパイルは通らないですが、やりたいイメージはこんな感じです。

struct Unit {
id: usize,
hp: i32,
}
impl Unit {
fn act(&mut self, all_units: &mut Vec<Unit>) {
// 自分以外のユニットに攻撃したい
for unit in all_units.iter_mut() {
if unit.id != self.id {
unit.hp -= 10;
}
}
}
}
fn main() {
let mut units = vec![
Unit { id: 0, hp: 100 },
Unit { id: 1, hp: 80 },
Unit { id: 2, hp: 60 },
];
for unit in units.iter_mut() {
unit.act(&mut units); // ❌ コンパイルエラーになるが、やりたいことはこんな感じ
}
}
2025/05/18(日) 14:03:53.58ID:UzOJGd+R
>>584
これも追加

// 自分以外のユニットに攻撃したい

// 自分以外のユニットから奪い取る

if unit.id != self.id {
unit.hp -= 10;
self.hp += 10;
}
2025/05/18(日) 14:16:39.01ID:UG4F7Ocv
自作自演スレ
587デフォルトの名無しさん
垢版 |
2025/05/18(日) 16:37:58.98ID:GL3oFIgT
>>585
こんなのでどうだろう
https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=871e0b5209dab043741c765000be6e5a

他言語からすると面倒に感じるかも
「要素 i への可変参照を持ちつつ、Vec全体への可変参照を持つ」のは借用チェッカーに引っかかるパターン
if unit.id != self.id の判定が必要なように「all_unitsの中にunitがいるかもしれない」という状況をそもそも借用チェッカーは防ぎたいので

なので、 split_at_mut() を使って参照範囲を ([i] への可変参照, 他の要素への可変参照) に分けてみた

他には Cell (内部可変性) を使うパターンもあるけど、このケースでこれを使うのはちょっと微妙な気がする
588デフォルトの名無しさん
垢版 |
2025/05/18(日) 16:40:13.34ID:GL3oFIgT
>「all_unitsの中にunitがいるかもしれない」という状況
訂正:「all_unitsの中に自身がいるかもしれない」という状況
2025/05/18(日) 16:59:42.16ID:tbHjRPms
あんまりアドホックな対応で頑張ってもまた同様の問題でいちいち詰むよ
エンティティなんだから素直に内部可変性を使っておいた方が無難
僅かに遅くはなるだろうが、メモリアクセス効率まで気にするならECSパターンでも覚えた方がいい
2025/05/18(日) 17:43:23.59ID:HgIqS8Uk
スライスを(init, mid, tail): (&[T], &T, &[T])に分割するsplit_midがほしいな
何かで似たような戻り値の型を見た記憶があるけど
2025/05/18(日) 18:24:32.38ID:UkfPMCWK
1つだけ外したい場合はOption+mem::take/replace使うのが自然だと思う
https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=a84a532ace40d2bb6603510ca1307756
2025/05/18(日) 19:24:49.27ID:HgIqS8Uk
590だけど1.86で追加されたget_disjoint_mutが使えるかもしれない
少し癖があるけどsplitの代替になるかな

fn main() {
let mut v = vec![1, 2, 3, 4, 5];
let len = v.len();

for i in 0..len {
let Ok([init, [mid], tail]) = v.get_disjoint_mut([0..i, i..i + 1, i + 1..len]) else {
panic!();
};
*mid *= 2;
println!("{init:?} {mid} {tail:?}");
}
}
2025/05/18(日) 21:02:54.43ID:tnDwO9ym
>>584-585程度でこんなんか
安全パターンをプリミティブに単体分離しようと頑張るのは無駄なんだな
結局は要素還元できなくて逆に組み合わせ爆発しそう
2025/05/18(日) 21:12:32.00ID:6WAEpSNG
>>587
>>591-592
ありがとうございます!大変ためになります。
可変借用ルールの影響を受けないように分離するのが良いのですね。

>>585
私はこの方ではないが、これはこれで知りたかったので、それも解決出来る書き方にもなってるので助かります。

>>589
確かに複雑になってくるとまた沼りそうな気はしますね、内部可変性というのも調べてみます。
2025/05/18(日) 21:37:30.85ID:GL3oFIgT
借用チェッカの気持ちとしては、同じオブジェクトへの可変参照が複数ある状態を防ごうとするんだよね

fn act(&mut self, others: &mut [Unit]) { }

の中で、 self を操作しただけで others に影響が出たり、 others への操作が self に影響したりするというのは
潜在的なバグの原因になり得る (読み手にとって意図せぬ動作になり得る) から、そうならないことをコンパイル時に保証しようとする

なので >>587 では、act に渡された時点で self と others は確実に違うものだと分かるコードにすることで、借用チェックの条件をクリアしている

内部可変性は逆に、コンパイル時はいったん不変参照ということにしておいて、実行時に可変借用として取り出すための型
これは「同じオブジェクトへの可変参照は同時に一つまで」というルールを、借用チェッカーではなく自己責任で行うという考え
(「可変参照は同時に一つまで」というルールは変わらないし、実行時にこれを検査する動作になるので、若干のオーバーヘッドはある)

個人的には >>589 も納得できる考えで、エンティティ (idで同一性を検査するオブジェクト) ならそれでいいよねとも思う

Async が絡むと Mutex という別の型 (これも内部可変性と関係する) が出てくるけど、これはまた別のトピックになるので割愛
2025/05/18(日) 22:38:23.16ID:vhS9Z2b5
なにかへまったら話題変更のために自演を始めるんかな?
と思ってしまう

いつも大体そんな流れだし急にポップしてくるこのスレの話題は理論寄りが多いのも変な感じする
2025/05/18(日) 22:57:08.60ID:wIHSiY7i
>>592
使えるけど今回のような用途だと分けた後に前後を足してから処理するところがちょっと重く感じる
https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=9d999080fc4b58f68252699e3ba79edf
2025/05/18(日) 23:29:42.52ID:HgIqS8Uk
>>597
left.iter_mut().chain(right)
はflatten使って
[left, right].into_iter().flatten()
にすれば多少は軽い感じになるかな
処理的には変わらないと思うけど
2025/05/19(月) 10:12:45.15ID:NvwVFQDL
レスパオジはGoスレに引っ越したらしい
2025/05/19(月) 10:30:17.58ID:NvwVFQDL
>>596
私も同じ匂いを感じます
2025/05/19(月) 10:33:51.23ID:ushmtLpU
>>596
だよなあ
2025/05/19(月) 10:55:55.29ID:8M8piIAN
言語が変わっても複オジは変わらんな
自分勝手な間違った解釈を正しいと思い込む病気なのか
間違ってるとわかってもマウントを取り続けないと自我が崩壊する病気なのか
2025/05/19(月) 11:52:44.35ID:Xa4RMtJ3
>>602
前者が発達トレイトで
後者が糖質トレイトだね
2025/05/19(月) 12:49:02.69ID:3mHCp29v
Rustといえどもある程度大きな規模のプロジェクトになってくると、スマポの使用が増えてきてJava/C#/C++あたりとの差異が縮まってくる印象はある
人間の認知能力の限界なんだろうけど、AIによってボローチェッカーが積極的に大域的に活用されるようになったら、人間がついていくのがだんだん厳しくなりそう
2025/05/19(月) 16:44:14.27ID:BXqI3NP/
Rustで100万行クラスの規模のコード書いたからって別に破綻せんよ
依存関係整理して注意して使わないといけないのは規模に関係ない
2025/05/19(月) 17:30:52.93ID:fVYXsIor
>>605
C/C++からコンパイルされたマシンコードが一切入らないやつってPascal/Delphiは一定数あるけど
100% Rust 製ので100万行規模のソフトなんて何がある?
2025/05/19(月) 19:00:04.76ID:MIwIfdvI
Rust標準ライブラリがcore+alloc+stdで現在34万行
クレイトだと例えばtokioが12万行
2025/05/19(月) 19:20:41.87ID:IV1y8O7J
rust-lang/rustのrsファイルだとsrc/(ツール系)が91万行でcompiler/(内部ライブラリ)が69万行
rustcとかrustdocとか混在してて多分同じライブラリ共有してるから個々の正確な数字は出せないね
2025/05/19(月) 19:34:29.26ID:2NJk+oE9
新設のmozilla-firefox/firefox内はFF固有コードだとして
>>466の外部crateで実質FF固有なものだけ集めると実は大したこと無いのでは
610デフォルトの名無しさん
垢版 |
2025/05/19(月) 20:02:00.34ID:pY+vVO2I
100万行はたとえだろ
何の言語でも100万行になると設計を極限まで綺麗にしないと地獄だわ
2025/05/19(月) 20:11:56.59ID:l+7bKGMu
>>604
> ある程度大きな規模のプロジェクトになってくると、スマポの使用が増えてきて

コンパイラやCLIツールなど比較的短時間でプロセス終了するプログラムなら
life timeを'staticにして逃げる場合があるけど
pure Rust GUIアプリでメモリー使用量を考慮したアプリだとスマポの使用が多そうね
2025/05/19(月) 22:29:21.37ID:UKNF/IJC
なんか怪しいので自分でも計測してみた

rust/library/core+alloc+stdは18.6万
tokioは8.4万
rust/srcは81.6万
rust/compilerは57.1万

.mdファイルの行数やドキュメントコメント行・ブランク行・コメント行とか水増ししずぎじゃない?
2025/05/19(月) 22:41:19.70ID:UKNF/IJC
>>605
これには完全に同意

1万行でも100万行でも個々のコードの複雑さが変わるわけじゃない
どちらもも数十行〜数百行のモジュールの寄せ集め
2025/05/19(月) 22:52:59.01ID:afGGDVx/
C/C++製のソフトウェアたちがプログラマのうっかり見逃しミスによるセキュリティホールなどのレポートが常に絶えない原因はその規模と関連がある
かなり小規模なものを除いて人間の手でチェックしている限り一定のミスが入り込む
コンパイラが全体の安全性を保証してくれるRustは規模が大きくなっても有利だろう
2025/05/20(火) 00:32:14.76ID:ChvDIWk1
普通に規模が大きくなれば一般的に設計と実装の複雑度は変わるよ
どのアプリでも言語でも変わらない
rustはメモリ関連のバグが起こりにくいだけ
616デフォルトの名無しさん
垢版 |
2025/05/20(火) 05:04:51.52ID:bvf2nVKI
>>614
Rustを使えばプログラマのうっかり見逃しミスが100%無くなるんだね
RustのコンパイラってAIみたいだね
617デフォルトの名無しさん
垢版 |
2025/05/20(火) 06:00:38.75ID:cDXA4bE/
「Xperia」が電波法違反、ソニーに行政指導--総務省
2024年12月13日 15時23分
https://japan.cnet.com/article/35227306/
>>スマートフォンにおいて「工事設計認証を受けた工事設計にない空中線を使用しての電波発射が可能な仕様となっている状態にあった事実が認められた」という。
※全携帯とスマートフォンのプログラム改造で人の場所に照射可能になる?
※場合にもよりますがAIと併用して個人を追跡しているのなら24時間商社可能
6Gの候補であるテラヘルツ帯の電波を脳の神経細胞に照射すると細胞が異常な成長を遂げたことが明らかに
2022/08/15
https://gigazine.net/news/20220815-terahertz-radiation-boosts-brain-cell/
携帯電話の使用で「精子の数が減少」の可能性、スイスの研究者が指摘
2023/11/27
https://forbesjapan.com/articles/detail/67083
携帯電話の電磁波が神経や細胞の損傷を引き起こすと主張するロバート・F・ケネディ・ジュニア保健福祉長官が学校での携帯電話の規制を称賛
2025年03月25日 06時00分
https://gigazine.net/news/20250325-rfkjr-kids-cell-phone-schools/
>>ケネディ・ジュニア氏は子どもが携帯電話を使用することについて独自の視点から語り、携帯電話やソーシャルメディアの利用と、うつ病、学業成績の悪さ、薬物乱用との関連性について言及。その中で、「携帯電話は電磁波を発し、一日中携帯電話を身近に置いていると子どもたちの神経にダメージを与え、細胞損傷やがんを引き起こすことが示されている」と指摘しました。
設立 1998年
テクノロジー犯罪の撲滅
Https://media.toriaez.jp/s2972/32686.pdf
P77-身体・運動機能が遠隔から操作される P78-五感が遠隔から操作される
上記が本当だった場合統合失調症操作
統合失調症のう動きがわかるエリアの人はそれを体験中
平衡感覚は別のふらつき缶
視覚感覚なら別の何かを見ている
聴覚感覚なら別の何かの声を聴いている
味覚なら別の味を感じている
触覚なら別の感触を感じている
温覚冷覚なら別の温冷覚感じている
このようになるのですよ
618デフォルトの名無しさん
垢版 |
2025/05/20(火) 08:02:42.80ID:9y393mCm
幻聴で悪用していると話していました

オープンソースでアニメ動画を自動生成できるAIツール「AniSora」を中国・bilibiliの開発チームが発表
2025年05月19日 19時00分
https://gigazine.net/news/20250519-anisora/
1枚の画像からアニメーションを作成するAIツール「AniSora」を発表しました。

Microsoft CopilotがついにGPT-4oの画像生成をサポート
掲載日  2025/05/19 18:56
https://news.mynavi.jp/techplus/article/20250519-3327017/
Microsoftの公式Xアカウントによる投稿では、2025年5月16日に「4o Image Generationがついにリリースされました」というコメントと共に、Copilotで次のことができるようになったと伝えている。
• 正確で読みやすいテキストをレンダリングする
• 作成したものを編集する
• 複雑な指示に従う
• 既存の画像のスタイルを変換する
• フォトリアリスティックな画像を作成する
同アカウントは、実際にテキストによる指示で画像を微調整していく様子も投稿している。
2025/05/20(火) 09:44:44.40ID:iko9UpUR
>>457,466
設計さえしっかり出来ていればどんなに低く見積もっても5~10万行/人年は固い

車輪の再発明(移行プロジェクト)はすごい勢いでコード量が増えていくはずなんだけどね...
2025/05/20(火) 10:54:31.93ID:XnKVhLuZ
車輪の再発明は再発明であって作り直しのことじゃないよ。
「丸くしたらめっちゃ速く移動できることを発見したぞ!」って今の世の中で言うやつがいたらアホじゃん (そこらにいくらでもあるものが見えてないから) ということを説明してるのが車輪の再発明という言い回し。

「俺も車輪を作れるようになったぞ」とか「別の素材で車輪を作ってみた」みたいなのは再発明ではない。
2025/05/20(火) 11:19:42.09ID:S2V0Z25J
FirefoxのRust化は本体よりServoあたりを見とけばいいんじゃね?
実用化の目途が立ったら乗り換えるでしょ
ブラウザエンジンはCSSもスクリプトも動画再生も全部面倒見るから1から作るのは大変そう
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況