Rust part23

**デフォルトの名無しさん** · 2024/02/23(金) 17:37:52.13

公式
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 part22
https://mevius.5ch.net/test/read.cgi/tech/1705760500/

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

**デフォルトの名無しさん** · 2024/03/31(日) 19:55:09.30

ABIこそ良い奴が出たら置き換えられそうだけどな
現状良い奴がないだけで

**デフォルトの名無しさん** · 2024/03/31(日) 21:03:45.67

>>493
何言ってんのwww
相変わらず無知が過ぎる

**デフォルトの名無しさん** · 2024/03/31(日) 22:06:47.20

いやまあ1%もいないんじゃない？

**デフォルトの名無しさん** · 2024/03/31(日) 23:37:37.59

そりゃABIがらみのプログラミングよりはProtocol Buffersなど使う方が多いんだろうけど

**デフォルトの名無しさん** · 2024/04/01(月) 19:53:32.69

そんなん言ったらrustを必要とするプログラマこそ1%もおらんけどな。

**デフォルトの名無しさん** · 2024/04/01(月) 20:06:07.63

C++より多いから問題ない

**デフォルトの名無しさん** · 2024/04/01(月) 22:56:49.63

「ソフトウェアはメモリ安全でなければならない」との声明を発表、米ホワイトハウス：「C」「C++」よりも「Rust」などの言語を推奨
https://atmarkit.itmedia.co.jp/ait/articles/2403/18/news045.html

**デフォルトの名無しさん** · 2024/04/02(火) 08:53:54.00

>>500
メモリ安全というならSafe Rustのみだな。Unsafe Rustは禁止すべき。

c++標準も、Safe Rust に倣って
c++ subset for safe programming
とか作ればいいのに。

**デフォルトの名無しさん** · 2024/04/02(火) 09:19:58.94

メモリの具体的な番地やレイアウトに依存する低レイヤの事情が消えてなくなるわけじゃないからな。

**デフォルトの名無しさん** · 2024/04/02(火) 09:39:48.87

java, python みたいな言語ならメモリ安全だよ。お前らの用途ならそれで十分だろ。

**デフォルトの名無しさん** · 2024/04/02(火) 11:06:55.03

>>503
安全じゃ無いぞ

**デフォルトの名無しさん** · 2024/04/02(火) 14:49:37.59

>>501
C/C++はプログラム全体がunsafe空間なので難しい
safeにしようとすると全く別言語になってしまう
結局C/C++を捨てるのが正しい

**デフォルトの名無しさん** · 2024/04/02(火) 17:14:03.69

>>503
nullポイントがある時点で…
一応JavaはStream APIと同じくらいのタイミングでOptional<T>が追加されてたはずだけど，だからといって従来の「失敗したらnullを返すメソッド」がOptionalを返すように修正されたわけじゃないしなぁ

**デフォルトの名無しさん** · 2024/04/02(火) 17:14:28.23

nullポインタだ
ごめんなさい

**デフォルトの名無しさん** · 2024/04/02(火) 18:23:13.98

ぬるぽ例外で止まるのはNone.unwrap()のpanicで止まるのと同じで安全に分類される
nullから何かを読み出して動き続けると危険

**デフォルトの名無しさん** · 2024/04/02(火) 18:43:54.77

>>508
Someである保証がある時のみunwrap()を使う
保証がないのにunwrap()する人はクビ

**デフォルトの名無しさん** · 2024/04/02(火) 18:54:06.54

メモリ安全の文脈だからそういう次元の話ではないのだが

**デフォルトの名無しさん** · 2024/04/02(火) 18:55:57.61

>>505
コーダー向けだから別言語でいいよ。

new deleteは禁止していいし、ポインタ演算その他のポインタ処理は全部禁止でいい。生ポインタのヒープ領域コピーも禁止していいし、そもそも生ポインタ禁止で参照のみ可にしてもいい。
operator関数定義も禁止でいいんじゃない？

**デフォルトの名無しさん** · 2024/04/02(火) 19:03:35.75

ちょっと何が禁止なのか分からないのでローカル変数の参照をreturnしておきますね

**デフォルトの名無しさん** · 2024/04/02(火) 19:19:41.72

rustって楽しい？

**デフォルトの名無しさん** · 2024/04/02(火) 19:20:30.34

どの言語にも共通するけど，書けるようになってくると楽しいよ

**デフォルトの名無しさん** · 2024/04/02(火) 19:40:54.12

でもってライブラリが足りて無いなって思って「使えね」ってなるんだよね

**デフォルトの名無しさん** · 2024/04/02(火) 19:43:54.71

>>512
あ、未定義と定義されているのも全部禁止ね。

**デフォルトの名無しさん** · 2024/04/02(火) 20:13:32.30

>>500
これでRustの知名度も上がるし普及も加速しそう

**デフォルトの名無しさん** · 2024/04/02(火) 20:26:12.86

>>517
結構前にもNASAが同じ様な事言って今やんw

**デフォルトの名無しさん** · 2024/04/02(火) 20:31:06.25

rustを無理に使ってまですることがぬるぽ対策とかアホだよね

**デフォルトの名無しさん** · 2024/04/02(火) 20:45:15.37

>>519
まあ戦争によるサイバー攻撃に備えろってのは分かるんよ
日本も来年ぐらいに戦争になるって予測がアメリカとか含めて言われてるからね

**デフォルトの名無しさん** · 2024/04/02(火) 21:20:14.32

>>518
NASAに続いて米政府も「C/C++からRustへ切り替えろ」と明確なメッセージを出したことは大きいね
間違いなく日本も追随することになる

**デフォルトの名無しさん** · 2024/04/02(火) 21:56:04.08

Rust愛用者だけど今のホワイトハウスに推されると逆に不安になるんだがｗ
ONCDは健全なのかな

**デフォルトの名無しさん** · 2024/04/02(火) 22:51:50.04

>>518
NASA？NSAじゃなく？
NSAはNASAじゃないぞ。

**デフォルトの名無しさん** · 2024/04/02(火) 23:24:29.45

ワロタ
NSAとNASAの区別もできんとはｗｗ

メッセージを出してるところが広がってトーンも厳しくなってきてるのは確か
2022/11 NSA
2023/09 CISA
2023/12 CISA+NSA,+FBI+Five Eyesの各機関
2024/02 White House(ONCD)

**デフォルトの名無しさん** · 2024/04/02(火) 23:39:08.04

とりあえず良いcrateが増えまくってほしいな

**デフォルトの名無しさん** · 2024/04/02(火) 23:51:33.79

>>524
あとは日本がどれだけ遅れるかだな
数ヶ月か、1年か、数年か、

**デフォルトの名無しさん** · 2024/04/02(火) 23:57:17.27

外部のお墨付きを欲しがる時点でオワっとるんよ
言語として
ここでそういう話題使って必死で盛り上げようとして
消えそうな火に風送ってるつもりかしらんけど

**デフォルトの名無しさん** · 2024/04/03(水) 00:07:33.86

IT大手ライバル同士が
GAFAMからHUAWEIまで一致団結して
Rust Foundationを設立した時点で未来は確定していた
そしてRustに対抗できるライバル言語の芽が今も存在しない

**デフォルトの名無しさん** · 2024/04/03(水) 05:31:15.82

>>527
話題にも上がらないよりまし

**デフォルトの名無しさん** · 2024/04/03(水) 07:36:47.52

Rustの代替になる思想の言語が全くそれ以降全く見ないからな。
今のところGCレスでメモリ安全に向き合った唯一の言語でねえの？

後発の言語は Rust みたいに複雑なコンパイル時の検証を最初から書こうなんてそうそう思えないんじゃないかな。

**デフォルトの名無しさん** · 2024/04/03(水) 08:17:45.92

>>527
欲しがってるかね？
むしろ外部が乗っかろうとしてる感じ。

**デフォルトの名無しさん** · 2024/04/03(水) 08:58:53.93

>>530
メモリ安全に向き合う、程度ならそれこそc++11が先駆けだろ。
過去互換性のせいで徹底できないけど。

それよりもRustはスタックフレーム指向であることに価値がある。
スタック is god, 再帰 is god.

**デフォルトの名無しさん** · 2024/04/03(水) 11:38:42.38

>>515
まあ標準ライブラリがかなりミニマムだなぁって感じるときはある
乱数くらい用意しておいてよ…

**デフォルトの名無しさん** · 2024/04/03(水) 11:38:56.67

>>530
ある言語Aがあってその弱点が強烈で直したいけどすでに普及しきっている
で別の言語Bが作られる

その言語Bが普及しきっていなければ容易に弱点を変更できるので別のC言語は必要とされない

**デフォルトの名無しさん** · 2024/04/03(水) 13:08:37.11

>>534
>その言語Bが普及しきっていなければ容易に弱点を変更できる
これが真とは限らない
容易に変更できる場合もあればそうでない場合もある

**デフォルトの名無しさん** · 2024/04/03(水) 13:33:20.93

Rustで過去に結構破壊的変更がされてたらしいけどそれは普及してなかったからじゃないのか

wikipedia
> 2015年に1.0版がリリースされるまでにいくつもの破壊的な仕様変更があったが、1.0版以降は基本的には後方互換を保って6週間間隔で定期的にリリースされている。

**デフォルトの名無しさん** · 2024/04/03(水) 21:45:24.20

GCやJITは銀の弾丸と思われていろんな後発言語に取り込まれたけど、所有権は最初から組み込むには高度すぎるがエコシステム成熟前に組み込まないといけないという制約が大きいんだろうな。

**デフォルトの名無しさん** · 2024/04/03(水) 22:40:40.78

後発言語？？？

**デフォルトの名無しさん** · 2024/04/04(木) 03:50:23.61

>>537
所有権は最終的にはプログラム間の境界の問題になるから、c++のスマートポインタのようにアダプタで管理範囲を調整することで改善可能。
適切なアダプタを用意しても境界のプロトコルをどうやって徹底するかという問題は残るから、Rustみたいに言語レベルで強制できると頑強になる。

ただ、Rustみたいにガチガチにすると設計の柔軟性を失うから、実装も早すぎる最適化になりがち。Rustの絶壁の学習曲線と相まって、開発初期のRust導入はプロジェクトを破綻させる要因となりうる。Rustが適しているのは、ある程度枯れた設計の実装を置き換えるようなプロジェクトかと。

**デフォルトの名無しさん** · 2024/04/04(木) 04:13:47.93

Rustはむしろリファクタリングにも向いていてなかなか良い言語だぜ
とりあえず動くように雑に書いて動かしてみて
次に機能追加充実させる上で整理しながらモジュール化や共通事項のtrait化など

このようなリファクタリング過程で
他の言語だとメモリ安全性だけでなく書き換え競合やヌル値エラー値取り扱いミスなどエンバグすることも多いが
Rustではコンパイル通せばそれらの心配がなくリファクタリングできる

**デフォルトの名無しさん** · 2024/04/04(木) 08:02:04.20

そもそもGC無しの言語ってニッチじゃない？
当面は、Rustで充足されて安泰な気がする。

**デフォルトの名無しさん** · 2024/04/04(木) 08:06:01.77

うむり、実用言語では現時点で安全性とスピードを高い次元で両立できてるのはRustだけかもね。
関数型言語にも良いのあるけど、普及しなさそうだしね…。
（OCamlとか次世代HaskellらしいIdrisとか）

それにCとアセンブラしかない分野（C++不可なくらい低スペックな組み込み）でC++以降のモダンな言語が使えるのは大きい。

**デフォルトの名無しさん** · 2024/04/04(木) 08:41:03.15

学問的には合理的な型システムとか検証器とかの研究は大きく進んでるけど
メモリの動作モデルをそこそこちゃんと仕様にしてるのは C/C++ しかないんだよね。
LLVM が C/C++ を前提にしてるところもあるし、
Rust もそれに合わせる形になってるところもある。

C/C++ 的な分野をよりよくやる言語と考えると Rust はとても良い。

**デフォルトの名無しさん** · 2024/04/04(木) 12:25:37.65

すまんが↓これが動く理由を教えて欲しいんだけどさあ
https://paiza.io/projects/uhC43ajorg-qaLG7mXbw7w
一見すると5行目で所有権が失われて、6行目で使ってるように見えるんだけど・・・・
これって5行目が借用に推定されてるの？
それともリテラルを引数にした場合だと5行目で「1」が他のスタックにコピーされて、所有権が失われる問題なんか起きないのかな？

へるぷみい

**デフォルトの名無しさん** · 2024/04/04(木) 12:36:31.67

マクロだからセーフ

**デフォルトの名無しさん** · 2024/04/04(木) 12:40:39.97

>>544
値とその所有権が複製されて関数fに渡される分とそのまま残る分の2つになる

**デフォルトの名無しさん** · 2024/04/04(木) 12:49:08.15

値が複製されて、複製された値の所有権が関数fに渡るだな。

所有権の複製とかいうクソワードは避けてくれ。

**デフォルトの名無しさん** · 2024/04/04(木) 14:09:00.66

>>544
i32 は Copy トレイトが実装されてる。
普通なら所有権の移動になる文脈で暗黙に clone されると思ったら良い。

**デフォルトの名無しさん** · 2024/04/04(木) 14:21:30.05

そう言うことなのか、ありがとう！
理由が分からなかったから不気味だったぜ

**デフォルトの名無しさん** · 2024/04/04(木) 15:21:14.87

>>547
>値が複製されて、複製された値の所有権が関数fに渡るだな。
複製された値の所有権は最初から関数fのスコープの中で発生するものなので
「関数f」に渡るという表現には少し違和感を感じる

**デフォルトの名無しさん** · 2024/04/04(木) 15:34:13.46

「違和感を感じる」という表現に違和感を感じる

**デフォルトの名無しさん** · 2024/04/04(木) 18:59:50.97

>>551
滑ってるぞ

**デフォルトの名無しさん** · 2024/04/04(木) 19:04:00.82

感じてるから違和「感」だからね

要は頭痛が痛いと同じ

**デフォルトの名無しさん** · 2024/04/04(木) 19:08:09.03

違和感がある。これでどうだ

**デフォルトの名無しさん** · 2024/04/04(木) 19:17:51.63

>>553
感じるを感じるメタ表現だろ。

ポインタのポインタみたいなもんだ。

**デフォルトの名無しさん** · 2024/04/04(木) 20:07:49.07

>>542
embedded 対応アーキ少なくね？

**デフォルトの名無しさん** · 2024/04/04(木) 23:05:07.77

>>553
「違和感を感じる」は「頭痛が痛い」とは違って重言ではないよ
https://togetter.com/li/2067771
https://www.nhk.or.jp/bunken/research/kotoba/20240101_4.html

**デフォルトの名無しさん** · 2024/04/04(木) 23:18:56.70

>>557
重言ではあるけど間違った日本語ではない
といったほうがよかったね

**デフォルトの名無しさん** · 2024/04/05(金) 00:09:35.95

>>556
少ないね。
でも、そもそも今までCとアセンブラ以外はほぼ無い状態だったから、出てきただけマシ。

それに、少ないといってもシェアが広いアーキなので滑り出しは順調と言えるのかと。

**デフォルトの名無しさん** · 2024/04/05(金) 00:21:09.11

後発言語？

**デフォルトの名無しさん** · 2024/04/05(金) 00:50:16.55

少し前まで次世代言語と言われてた程度には後発。

鯖向け言語で終わると思ってたら、マジでC/アセンブラの牙城を崩し始めるとは思わんかった。
むしろ崩し始めることすら無理だと思ってた。

**デフォルトの名無しさん** · 2024/04/05(金) 05:07:52.53

>>559
状況も追い風なのかもね。
二の足踏んでたけど、armと生きていく決心をしてrust覚えるか。

先にrust身に付けてから、非対応アーキでC++導入したらメリットあるかな？

**デフォルトの名無しさん** · 2024/04/05(金) 08:11:28.72

Rust知ってれば安全性の高いシステム組めますと言うアピールになるし、C++にもその安全性のための知見は役立つ。
複数言語使えますってだけでもアピールになるしね。

Rustは多分仕事自体はまだ多くない。
これからアピールして増やしていく感じなので、両方使えてた方がいい。

**デフォルトの名無しさん** · 2024/04/06(土) 22:48:03.64

rustというものがありながらなぜ大部分のコードはC言語なのかを知るために現場に行くのもアリ

**デフォルトの名無しさん** · 2024/04/06(土) 23:06:32.76

Rustが実用的になったのは2020年
それ以降の新規案件はRustになっている

**デフォルトの名無しさん** · 2024/04/07(日) 01:26:10.29

Rustへの移行は始まったばかりだからまだまだCが残っているのは当たり前

**デフォルトの名無しさん** · 2024/04/07(日) 10:55:29.15

絶壁の学習曲線。
貧弱なライブラリと人材。
早すぎる最適化。

しばらくは既存コード置き換えが中心だし、今後もプロジェクト初期のプロトタイピングで使われることは無いだろう。

**デフォルトの名無しさん** · 2024/04/07(日) 14:17:46.28

P系言語の糞思考に染まっていない初心者こそ
最初にRustを学ぶべき

**デフォルトの名無しさん** · 2024/04/07(日) 18:04:59.36

>>567
移植なんて無駄な作業はどの言語間でも行われることが少なく

**デフォルトの名無しさん** · 2024/04/07(日) 18:05:33.79

初手Rustは冗談抜きで2024以降だと選択肢に入るんじゃないか

**デフォルトの名無しさん** · 2024/04/07(日) 18:09:00.76

>>567
移植なんて無駄な作業はどの言語間でも行われることが少なく
通常はシステム更新で全体もしくは一部が作り直される時に別の言語が使われる
Rustでも同様でほとんどがそれら含む新たな案件

**デフォルトの名無しさん** · 2024/04/07(日) 18:16:09.73

>>567
早すぎる最適化という意味不明なデタラメ書いているのは君一人だけ
そしてRustを叩きたいためにウソを散りばめる

**デフォルトの名無しさん** · 2024/04/08(月) 02:24:45.08

>>567
貧弱なライブラリとかエアプかよ
そしてRustを叩きたいためにウソを散りばめる

**デフォルトの名無しさん** · 2024/04/08(月) 03:09:59.48

単なる感想を必死にウソ扱いして何がしたいんだコイツw

**デフォルトの名無しさん** · 2024/04/08(月) 11:48:22.86

ライブラリはPythonと比べると流石に貧弱
特に数値計算とか物理・機械学習系

簡単な数値計算の時点でnumpy•scipyのようなデファクトがなく、雑魚が乱立している
もっと高度な計算系ではもっと雑魚が乱立しているか、そもそもない

**デフォルトの名無しさん** · 2024/04/08(月) 12:32:47.46

>>575
キチガイアンチ
すべての分野でライブラリが充実している言語は存在しない
ある分野で一番充実している言語を棍棒にしたら他のすべての言語が負けるのは当たり前
そういう無意味なことをして叩いて楽しいか？

**デフォルトの名無しさん** · 2024/04/08(月) 13:16:14.61

>>576
貧弱なことを指摘するのは叩きではない
俺はただ、「貧弱なライブラリとかエアプかよ」とか言っているエアプに現実を指摘しただけだ

**デフォルトの名無しさん** · 2024/04/08(月) 14:02:16.22

>>576
そこは「Rustなら〇〇分野のライブラリがどの他言語より充実している」と反論するところだろ。

**デフォルトの名無しさん** · 2024/04/08(月) 14:10:54.87

>>570
絶壁の学習曲線だから無理だろ。

moveを意識しないshared xor mutableの無い、Rc中心のEasyRustとかが無いと、fnひとつ呼び出せないんじゃない？

**デフォルトの名無しさん** · 2024/04/08(月) 14:43:36.67

Crypto分野はRustが他言語よりも充実してるかもね

**デフォルトの名無しさん** · 2024/04/08(月) 15:06:06.34

ライブラリの多さってイコールでユーザの多さなんだよ
更にいうとその言語開発者の意欲の表れでもある

ライブラリが少ないという事はユーザが少ない
更に少ないユーザの中でも意欲の有る人間は少数って証明なんだよね

**デフォルトの名無しさん** · 2024/04/08(月) 15:43:54.88

いやまあ数はあるんよ数は
意欲のある人はいるっぽいんだけど、デファクトとるようなライブラリってやっぱりそれなりの人数でちゃんと資金とって作られてるんだよな
資金取るのは個人の意欲だけじゃなくて、お金のある人を納得させる理屈が必要で、少し前までのRustは少なくとも数値計算の分野でそれが出来る言語ではなかったと思う

**デフォルトの名無しさん** · 2024/04/08(月) 16:39:42.51

てかrustユーザーってnvidiaのcudaサポートの酷さにガチギレするような奴ばっかでしょ。
そんなんで数値計算ライブラリが入るわけがない。

**デフォルトの名無しさん** · 2024/04/08(月) 17:11:27.78

初心者向けのSimplified Rustと、
c/c++ライブラリバインドを強化したAdaptor Rustあたりは欲しいなぁ。
Safe Rustじゃ難しそうだし。

**デフォルトの名無しさん** · 2024/04/08(月) 17:54:43.90

ゼロからプログラム書くならSafe rustが一番簡単だよ
こいつに従っているだけで割と見通しが良くてバグりにくいコードが書ける

まあGoto 多用しているようなFortran おじいちゃんとは相性が悪いかもしれんが

**デフォルトの名無しさん** · 2024/04/08(月) 19:05:28.67

C++を完全に理解した者のための言語それがRust
故に誰も

**デフォルトの名無しさん** · 2024/04/08(月) 20:39:36.28

C++を使ったことないけど
Rustで困ったことないな
Rust理解で必要なことはポインタとスタックとヒープとRAIIくらいかな

所有権は単なるヒープ解放責任だから大したことではない
所有権を他へ譲渡しないとRAIIによって自動解放されるというだけの話
非常にシンプル

**デフォルトの名無しさん** · 2024/04/08(月) 21:02:11.65

所有権を複製するとか間違った事を言い続けてる人が良く言うわw

**デフォルトの名無しさん** · 2024/04/09(火) 00:09:53.71

>>588
それは俺じゃないぞ

**デフォルトの名無しさん** · 2024/04/09(火) 02:45:12.09

>>589
誰だよお前。

**デフォルトの名無しさん** · 2024/04/09(火) 09:16:17.69

今のところ>>458が一番面白い

**デフォルトの名無しさん** · 2024/04/09(火) 10:16:36.65

昭和ギャグ？
ちょっと意味がわかりません

**デフォルトの名無しさん** · 2024/04/09(火) 11:01:29.74

今どきイジりを面白いとか、イジメ肯定派かよ。