X



Rust part23
0001デフォルトの名無しさん
垢版 |
2024/02/23(金) 17:37:52.13ID:CheDQupm
公式
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/
0002デフォルトの名無しさん
垢版 |
2024/02/23(金) 18:14:46.11ID:7HXLfctb
Rust The Book (日本語版)
https://doc.rust-jp.rs/book-ja/
Rust edition guide (日本語版)
https://doc.rust-jp.rs/edition-guide/
Rust by example (日本語版)
https://doc.rust-jp.rs/rust-by-example-ja/
Rust cookbook (日本語版)
https://uma0317.github.io/rust-cookbook-ja/
Rust API guideline (日本語版)
https://sinkuu.github.io/api-guidelines/
Rust nomicon book (日本語版)
https://doc.rust-jp.rs/rust-nomicon-ja/
Rust async book (日本語版)
https://async-book-ja.netlify.app/
Rust WASM book (日本語版)
https://moshg.github.io/rustwasm-book-ja/
Rust embeded book (日本語版)
https://tomoyuki-nakabayashi.github.io/book/
Rust enbeded discovery (日本語版)
https://tomoyuki-nakabayashi.github.io/discovery/
Rust Design Patterns (日本語版)
https://qiita.com/Yappii_111/items/4ccc3a8461cdd4035651
https://qiita.com/Yappii_111/items/654717e6a6a980722189
Rust API guideline (日本語版)
https://sinkuu.github.io/api-guidelines/
0003デフォルトの名無しさん
垢版 |
2024/02/23(金) 18:15:20.65ID:7HXLfctb
Rust Reference Book
https://doc.rust-lang.org/reference/
Rust Standard Library
https://doc.rust-lang.org/std/
Rust rustc Book
https://doc.rust-lang.org/rustc/
Rust rustdoc Book
https://doc.rust-lang.org/rustdoc/
Rust rustup Book
https://rust-lang.github.io/rustup/
Rust Cargo Book
https://doc.rust-lang.org/cargo/
Rust unstable Book
https://doc.rust-lang.org/nightly/unstable-book/
Rust macro Book
https://danielkeep.github.io/tlborm/book/
Rust CLI (Command Line Interface) apps Book
https://rust-cli.github.io/book/
Rust Future Book
https://cfsamson.github.io/books-futures-explained/
Rust async-std Book
https://book.async.rs/
Rust tokio Book
https://tokio.rs/tokio/tutorial
Rust serde Book
https://serde.rs/
0004デフォルトの名無しさん
垢版 |
2024/02/24(土) 14:37:44.58ID:TvelBLvi
前スレ終盤がRust特有の型🔵ナニー症候群の典型(この用語は出典参照)
https://mevius.5ch.net/test/read.cgi/tech/1705760500/977-

Netflixは2年かけて気が付いたけど凡人程のめり込む沼
出典
https://www.youtube.com/watch?v=6gwF8mG3UUY

Haskellの時と同様、概念だけ触れたら他の言語に活かすのが良い
長居していると症候群認定される危険性があるから
0005デフォルトの名無しさん
垢版 |
2024/02/24(土) 14:48:37.96ID:cR8FpHrN
>>4
それ何の情報もなく見ても無駄
具体的な説得力ある話がない
TypeScriptが嫌いでGoが好きらしい
0006デフォルトの名無しさん
垢版 |
2024/02/24(土) 16:14:50.39ID:yK1YDROT
Rustから前スレ終盤の型オナニーをなくしたような言語があれば使いたいけど、ないから仕方なくRustを使っている
0007デフォルトの名無しさん
垢版 |
2024/02/24(土) 16:23:38.76ID:GLkrdyDg
静的型チェックレベルを高めつつジェネリクス等による汎化を活用しようとすれば大なり小なり型オナニーは避けられない
RustやTypeScriptだけでなくC++のtemplateやPythonの型ヒントでも同じこと

単独のTraitだけの話で型オナニーとか言ってるやつはオナニーレベルが低過ぎ
静的型チェックへの適性がないのでRustも辞めた方がいい
0008デフォルトの名無しさん
垢版 |
2024/02/24(土) 16:34:30.38ID:vVxC7GCC
型オナニーより所有権やライフタイム管理の方が面倒だけどな
それが型と絡むからさらにややこしくなる
0009デフォルトの名無しさん
垢版 |
2024/02/24(土) 17:03:48.32ID:4NvD6VS8
動的型付け言語しか慣れてない初心者が静的型付け言語に慣れるまで時間がかかるのは当たり前
GC前提言語しか慣れてない初心者がそうでない言語に慣れるまで時間がかかるのは当たり前
プログラミングに向いてる人ならどちらもすぐに慣れる
そんなことで文句を言っているようではプログラミングに向いていない
0010デフォルトの名無しさん
垢版 |
2024/02/24(土) 17:13:41.82ID:V+W4sktV
Rustの型オナニーは「本当は1つにまとめても良いんだけど歴史的経緯で2種類あります」みたいなのが稀にあって気持ち良くない
0013デフォルトの名無しさん
垢版 |
2024/02/24(土) 18:33:24.91ID:Sbx59RJL
asはそろそろFrom/TryFromに統一してほしいんだけど
0014デフォルトの名無しさん
垢版 |
2024/02/24(土) 20:45:24.03ID:Mj/QkYpd
型オナニーって全部習得するまでにいったいどれだけ時間かかるんだ
0015デフォルトの名無しさん
垢版 |
2024/02/24(土) 20:47:39.26ID:fAQkBdOO
型オナニー四十八手
0016デフォルトの名無しさん
垢版 |
2024/02/24(土) 22:10:17.16ID:SuzjS9X3
>>13
機能が異なるので統一されない
asはcastなので変換From/TryFromとは異なる
例えばi32からu8の場合は変換できない値があるため
impl From<i32> for u8は実装がなく
impl TryFrom<i32> for u8の実装があり
u8::try_from(-3_i32)は変換できずErrとなる
一方でasはcastなので-3_i32 as u8は8bitに切り捨てられ252となる
0018デフォルトの名無しさん
垢版 |
2024/02/24(土) 22:51:22.10ID:Sbx59RJL
>>16
それだけならstdにimpl From<i32> for Wrapping<u8>でも入ってくれれば事足りると思うが……

asって手軽なだけで変換元と変換先の型ごとに意味が複数あるのが複雑で嫌いなんじゃ
C++のC形式キャストみたいな印象
0019デフォルトの名無しさん
垢版 |
2024/02/24(土) 22:53:55.08ID:Sbx59RJL
え、てかそもそも演算オーバーフローはpanicするのにキャストはpanicしないのか
だるっ
そういうとこやぞ
0020デフォルトの名無しさん
垢版 |
2024/02/24(土) 23:26:44.50ID:1jp0hNdJ
生演算子はオーバーフローせずラッピングされる
panicはデバッグ時のみ
明示的にラッピングしたいときはwrapping_add
オーバーフローを処理したいときはchecked_addやoverflowing_addまたはsaturating_add
0021デフォルトの名無しさん
垢版 |
2024/02/25(日) 01:04:03.14ID:/M3V/hwr
型オナニーって複雑な型パズルを解いて悦に入ることを言ってるのかと思いきや
標準ライブラリの基本的な使い方を覚えることなのかよ
オナニー要素ゼロじゃん
そんなマインドではRustに限らず言語習得は無理だぞ
0022デフォルトの名無しさん
垢版 |
2024/02/25(日) 01:05:34.01ID:PHCSkV3G
そんなマインドでもGo言語なら習得出来るんだよなあ
0023デフォルトの名無しさん
垢版 |
2024/02/25(日) 01:14:51.15ID:Y4TucXFt
バカはGoへ行くしかないよ
Rustなどは一般的なプログラミング能力がある人向け
0024デフォルトの名無しさん
垢版 |
2024/02/25(日) 01:52:59.15ID:5QMstwYR
>>22
それはたまたま動いてるようなもんだぞ。
0025デフォルトの名無しさん
垢版 |
2024/02/25(日) 09:14:13.54ID:F2CUOiYD
Rustの開発って時間掛かりそうなイメージある
とりあえず作ってみて後でリファクタリングって作り方ができない感じ?
0026デフォルトの名無しさん
垢版 |
2024/02/25(日) 09:49:58.55ID:JC//7tos
termuxよりscreen派なんだよなぁ。ライセンスはgplよりbsdのが好きなんだけど。
0027デフォルトの名無しさん
垢版 |
2024/02/25(日) 10:13:55.36ID:CWUdGBuB
>>21
リアルの会話でこうやってRustのマイナス面を他と同じと言う奴は
内心信用してない
>>23
言い方があれだけどこっちの方が信用できる
0028デフォルトの名無しさん
垢版 |
2024/02/25(日) 10:16:51.38ID:m/LZ7YZH
>>25
リファクタリングってのは外部から見た時の挙動を変えないのが原則なので
少なくとも型やライフタイムについては辻褄が合っていることを保証できる仕組みは
リファクタリングでも便利なんだぞ。

内部的な処理でもあまり柔軟には変えづらいということはあるけど
変えづらいところは (外部に対する保証に関わってくるので) 変えてはならない箇所だってことがわかる。
0029デフォルトの名無しさん
垢版 |
2024/02/25(日) 10:21:38.07ID:UdSUU0Ni
>>9
✕プログラミングに向いていない
○rustに向いていない
皆さん、これがrust信者です
0030デフォルトの名無しさん
垢版 |
2024/02/25(日) 11:59:50.84ID:sgD3xFEl
>>6
せめてtraitに外延性があって集合的操作ができればいいんだけど、さすがにビルドに時間掛かりそうだしな。

ただでさえビルド時間が重たいから、設計の「早すぎる最適化」は仕方ないのかね。
0032デフォルトの名無しさん
垢版 |
2024/02/25(日) 12:43:55.95ID:JQupN8F5
>>28
例えばpythonとかだと型とかプログラム構造気にせずにパパッと書いて
ある程度動くスクラッチでレビューして内容詰めて
スクラッチから流用できそうなら作り込んでリファクタリングみたいにできるけど
Rustだとそういう風にできなさそう
0033デフォルトの名無しさん
垢版 |
2024/02/25(日) 12:48:37.70ID:AFiN8NTf
>>23
こういうのに限ってgoでもろくなもの書けない
0034デフォルトの名無しさん
垢版 |
2024/02/25(日) 12:50:53.73ID:lnNUwEQk
>>32
Pythonだとそのリファクタリング前後で挙動が変わってしまわないように気を遣うのがしんどいな
そういうとりあえず試しに作るケースだとユニットテストなんかも当然ない状況なんで
Rustに限らず静的型ならその辺をだいたいコンパイルエラーで拾えるのが楽
0035デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:03:20.25ID:WCq5qF7l
>>27
「僕は基本Traitがよくわからない => それはRustのマイナス面」
この発想が幼稚さがわからないのかな?
他の言語と比べたときのRustのマイナス面はたくさんあるがそういう話のレベルじゃないだろ
0036デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:05:42.89ID:Y4TucXFt
>>32
動的型付け言語しか使ったことがない初心者が
静的型付け言語の圧倒的なメリットを理解できないのはよくあるあるある
脱初心者の壁を乗り越えよう
0037デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:18:05.49ID:Y4TucXFt
どんな言語にもマイナス面がありRustにもある
しかしマイナス面を上回る莫大なメリットがRustにはいくつもあるからIT業界をあげてRustを支援&採用している
揚げ足取りでRustを叩きたいだけの人はアンチスレへ行け
0039デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:29:34.11ID:cAT3nYdz
>>35
どんな理由であれ複雑なのはマイナスだろ
複雑なのがプラスだってんならC++かbrainfuckやれよ
0040デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:33:19.74ID:m/LZ7YZH
漸進的型付けは静的片付けと動的型付けのどちらも出来るわけではなくて漸進的型付けという別物だと解釈すべきだと思うよ。
0041デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:35:59.16ID:m/LZ7YZH
>>39
能力が同じなら複雑さはマイナスだが複雑にしてでもそれを上回るメリットが得られることがあるという話だということも理解できないの?
トレードオフ
0042デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:47:25.26ID:cAT3nYdz
>>41
>>35はそんなこと書いてないぞ

> 「僕は基本Traitがよくわからない => それはRustのマイナス面」
> この発想が幼稚さがわからないのかな?

だぞ。勝手に自分の文脈を他の人のレスに上乗せして書いてない解釈を押し付けるなよガイジ
0043デフォルトの名無しさん
垢版 |
2024/02/25(日) 13:51:18.30ID:qsle6rXj
Rustで有名アルゴリズムに挑戦 第16回 Rustで機械学習に挑戦 - k近傍法でアヤメの分類をしよう
https://news.mynavi.jp/techplus/article/rustalgorithm-16/
共同作戦で壊滅したマルウェア「Qakbot」復活、米国は犯行グループを逮捕できず
https://news.mynavi.jp/techplus/article/20240225-2885670/
悪意あるPythonパッケージを2つ発見、DLLサイドローディング技術悪用
https://news.mynavi.jp/techplus/article/20240225-2889952/
充電式バイブレータからマルウェア検出、USB充電デバイスに注意
https://news.mynavi.jp/techplus/article/20240224-2889949/
0048デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:10:17.03ID:cAT3nYdz
Jobで判断するのはちょっとなあ
Jobの要件にするのってその言語さえ出来れば良い人を探す時じゃん
Rustってまだそのフェーズではないんだよな
0049デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:19:17.62ID:2NfnhAyO
>>48
言うてメインはOSS用だよね
大手はちょっとばかり資金援助してレバレッジ効かせようと宣伝して
2021-2022がRustハイプのピークだったんだけど真水のJobは稀
0050デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:25:08.84ID:zbRFIfV6
>>46
Carbonはその公式FAQに明記してるように
Rustを使える状況ならRustを使ったほうがいいという立ち位置
Carbonは既存のC++遺産メンテ用
0051デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:32:26.24ID:is3AzB4D
>>49
次々とRust製へ変わっていってる
リソース面すなわち経済的にもエコ的にもRustが有利なので今後次々とRust製へ置き換わっていく

ソース
>【クラウド世界トップシェアAWS】
https://japan.zdnet.com/article/35183866/
>Rustで構築されたAWSサービスの例としては、
>コンテナーアプリ用のサーバーレスプラットフォーム「Lamba」を支える「Firecracker」、
>「Amazоn Simple Storage Service(S3)」、
>「Аmazоn Elastic Compute Cloud(EC2)」、
>コンテンツ配信ネットワーク「Аmazоn CloudFront」、
>LinuxベースのコンテナーOS「Bottlerocket」などがある。

>【CDN世界トップシェアClоudflare】
https://www.publickey1.jp/blog/22/cloudflarenginxrusthttppingoracdncpu31.html
>CDNプロバイダのCloudflareは、同社のグローバルなCDNの基盤として長らく利用してきたNGINXに代えて、
>同社自身がRust製のHTTPプロキシである「Pingora」を開発し利 用していることを明らかにしました。
0052デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:38:19.37ID:+AfYZ5AE
Rustは知らず知らずのうちに技術的負債を量産しそうな気配だな
Rustは既に違法建築だから
前スレで言われる矮小化オンパレードで笑ったw

前スレ
https://mevius.5ch.net/test/read.cgi/tech/1705760500/9
>>https://mevius.5ch.net/test/read.cgi/tech/1692105879/990
一応知らない人のために書いておくけど

「Rustがunsafeコード一切なしでメモリアンセーフ」な事が判明してから半年近く経ってる
特定の機能導入のタイミングでコードが発見されたけど、
「Rustの仕様バグ」だと認識されていて直せない

>>4
そんな事並べて理解したつもりでも、分からないと言っている人の側の主張が正当なんだよ

最近はここでも保証って言われなくなっただろ、当たり前だよRustの仕様に健全性が無いのだから
たぶん知っていて話を逸らしているのか、過去スレでスルーしたかで、この指摘も無理やり矮小化してくるからな
(githubの議論でも矮小化して放置)
気を付けろよ

https://github.com/rust-lang/rust/issues/114936
0054デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:48:00.26ID:3ePlkypT
誰も問題視していないどうでもいいことでしかRustを叩けない状況
アンチが追い込まれている
0056デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:56:15.69ID:8UflVtOh
>>37,47
上位は納得だから結局のところ「IT業界をあげて」なんて言いたかったら
Jobで判断するのが客観的で中立フェアな基準なんだな
0057デフォルトの名無しさん
垢版 |
2024/02/25(日) 14:59:17.67ID:GfahaNNz
>>53
LLRTはAWS LambdaでJavaScriptを使いたい人向けのJSランタイムの一つ
Rustが使えるならRustを使ったほうが有利
さらにAWS自体も>>51にソースがあるようにRustで書かれている
0062デフォルトの名無しさん
垢版 |
2024/02/25(日) 15:30:50.61ID:na8ub8Oh
>>55
この恣意的な例以外で同様の脆弱性が生まれる例があれば教えて欲しい
煽りとかではなく
0063デフォルトの名無しさん
垢版 |
2024/02/25(日) 15:48:37.00ID:3ZfnE9eN
>>62
俺も煽りじゃなく警鐘で言うけど
>>55の根本原因究明がならなかったから、今後も散発的に発見しては穴ふさぎをするのでは
(CVE報告しないで悪用されたら最悪だけど)

Rustのメモリ安全性目標チェックは他の言語と比べて
相対的にメリットがあったりデメリットがあったりするだけのことだから
0064デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:02:53.19ID:4fScDWQR
>>62
恣意的ってそういう意味じゃないですよ
0065デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:07:08.08ID:na8ub8Oh
例出せないならお前が偉そうに言うことではないぞ
どの立場からもの言ってるんだ?
0067デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:11:46.86ID:na8ub8Oh
俺の質問に答えずに訳のわからないことを言うしかできないんですね
くだらないクズが
0068デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:14:14.27ID:wVCQJTWx
>>52
実際の開発では出てこない極端に作り上げた例のみだから
Rustを採用しているIT大手を含めて問題視していない
0069デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:19:05.44ID:5Lw05PSN
>>66
ちなみに急に煽り始める>>65,67はあのコテハン

>>68
>実際の開発では出てこない極端に作り上げた例
自分で踏んだ事ないから想像だけど、失敗を犯すのはその考え方の人間
0071デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:23:31.57ID:na8ub8Oh
自分が攻撃するのは良くて攻撃されるのは嫌か?
そういうやつには徹底的にやるから覚悟しろよ
俺に攻撃するってことはそういうことだ
0072デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:24:39.64ID:4fScDWQR
誰やねん
0073デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:27:11.46ID:LjVpirDf
自分以外が全部同一人物だと思い込んでるアタオカの着火点は意味不明だよな
0075デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:36:11.19ID:sIg5Fob3
>>71 誰も攻撃してないのにこの人怖い、やめてくれませんか
心理的安全性を通り越して身の危険を感じる((((;゚Д゚))))ガクガクブルブル
0076デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:37:37.04ID:4fScDWQR
例の#25860、ジェネリクスとかマクロ生成の裏で意図しないでこのパターン踏んだりしない?
絶対ない?
0077デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:37:39.99ID:muM7k3Ml
rustでリファクタリングしながらの開発ってなると多分unsafeを途中経過で入れたりとか
そういうテクニックが必要になると思う。
その辺の整備が進めば割と広まるかもね。
0079デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:50:17.61ID:4fScDWQR
>>78
理由は?
0080デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:51:49.35ID:zhB6NxSY
>>32
サクッとプロトタイピングする目的ならそりゃRustよりPythonのほうが向いてる
Rustは多少手間がかかったとしても速度・安全性・堅牢性を高い水準で求める場合に使う言語

>>39
AsRefやTryFromが複雑とか言われても困ります
0081デフォルトの名無しさん
垢版 |
2024/02/25(日) 16:52:52.76ID:hjrqLcFN
>>77
unsafeは基本的に不要
必要だと思ってもまず標準ライブラリにその機能がないか調べる
次にクレートにその機能がないか調べる
どこにも存在しない場合
unsafeを安全に閉じ込めて安全に使うことができる有用な機能を発見したのならばラッキー
それをクレートとして公開するとよい
0083デフォルトの名無しさん
垢版 |
2024/02/25(日) 17:26:51.68ID:O13egj5J
>>77
同じ構造体の一部を参照しながら別の一部を書き換える大きめのメソッドを
複数のメソッドに分割しようとするとborrow checkerに引っかかる的な話かな
他の言語のクラスと同じ感覚で構造体作るとたまに嵌る
Rustの構造体はRDBのテーブルを正規化する雰囲気で分割した方がいい
0084デフォルトの名無しさん
垢版 |
2024/02/25(日) 17:30:07.94ID:hjrqLcFN
>>82
Rustのvariance仕様だから発生させることはできるけど
現実に使うコードでは発生しない
意図的にその仕様の狭間をつく現実的でないコードでのみ発生する
そのためその2015年からそのまま放置で誰も困っていない
0085デフォルトの名無しさん
垢版 |
2024/02/25(日) 17:45:11.19ID:4fScDWQR
>>84
by accidentを辞書で引いてこい
0087デフォルトの名無しさん
垢版 |
2024/02/25(日) 17:55:53.01ID:bLJeGl/a
>>81
>unsafeは基本的に不要
>...ラッキー
嘘で始まって運頼みで締めるとはw

信者の心の支えの大手のあそこは
見境なくunsafeを使わざるを得なくなって
Rustでやった意味が無くなってるってよ
0088デフォルトの名無しさん
垢版 |
2024/02/25(日) 17:56:42.46ID:m/LZ7YZH
可能性を論じるならお前の頭に隕石が落ちてくる可能性だってあるが、そんなことを心配したことある?
0090デフォルトの名無しさん
垢版 |
2024/02/25(日) 18:07:11.51ID:e56nXER6
開発プログラムでunsafeを直接使うことはほとんどない
unsafeが閉じ込められ安全なインターフェースが公開されている形で間接的にのみ用いる
どうしてもunsafeが必要になった場合でもそのように安全な形で分離して用いる
0091デフォルトの名無しさん
垢版 |
2024/02/25(日) 18:10:03.77ID:4fScDWQR
隕石であれ何であれそれがエンジニアリング可能な対象なら問題を特定して語る意味はあるだろう
0092デフォルトの名無しさん
垢版 |
2024/02/25(日) 18:19:05.40ID:e56nXER6
>>89
Dropで型がpanicする時にその要素をた用いたVec::from_iter()で二重解放のバグが発見された件か
もちろん他の言語と同様に全ての言語においてライブラリにバグが見つかることは当然ある
Rustはその点でも少ない方なので信頼して使える
0093デフォルトの名無しさん
垢版 |
2024/02/25(日) 18:30:56.08ID:F3hFw1lw
>>90,92
思い描く理想と現実の落差が激しいな
Rust不信の原因だぞ

とくに>>92の最後の行があるから信用されない
0094デフォルトの名無しさん
垢版 |
2024/02/25(日) 18:43:22.50ID:hlYoDW1g
Rustの2023年のCVEはCargoで名前をエスケープし忘れた1件のみ
Rustの2022年のCVEは0件
つまりRustコンパイラについて過去2年間でCVEなし
信頼度が高いと言える
0095デフォルトの名無しさん
垢版 |
2024/02/25(日) 18:49:05.16ID:cAT3nYdz
Rust以外のコンパイラってそんな言うほどバグないか?
0096デフォルトの名無しさん
垢版 |
2024/02/25(日) 19:34:08.90ID:O13egj5J
普通にあるけどみんなで使うから大部分はリリース前に潰される
コンパイラというよりライブラリのバグみたいだけど他の言語より未定義動作にシビアだから
バグ扱いされる事例が増えるのは仕方ない
0097デフォルトの名無しさん
垢版 |
2024/02/25(日) 19:46:15.91ID:pvICb5ke
>>91
お前のとこは無限のリソースがあるのかな?
いいなぁ優先順位考えなくていい環境。うらやましいよ。
0099デフォルトの名無しさん
垢版 |
2024/02/25(日) 20:11:25.55ID:yYiD0TuW
>>82
ここの信者はテキトー過ぎるよな
コンパイラ開発チームはもとより、サーベイ回答者もコンパイラバグ潰しを最優先、が一番多い
0100デフォルトの名無しさん
垢版 |
2024/02/25(日) 20:15:02.43ID:yYiD0TuW
>>97
余裕があるからRustもやる、と言うのが普通だな
サーベイでも(余裕がなくなって)Rust採用予定なし、なぜなら他言語採用予定だから、が一番多い
(ただし採用にはインターンも含まれる)
0101デフォルトの名無しさん
垢版 |
2024/02/25(日) 20:24:50.38ID:0y8maAN+
>>99
対処の必要があるものはその通り
しかし実害がないと皆が判断して対処優先度低いまま9年間が経過したが実害がな起きていない
そんな状況のものを杞憂したり揚げ足取りでRustを叩いてる連中がゴミ
0102デフォルトの名無しさん
垢版 |
2024/02/25(日) 21:16:46.71ID:4fScDWQR
事実を書かれただけで批判だと思っちゃうようじゃ生きづらかろうな
0103デフォルトの名無しさん
垢版 |
2024/02/25(日) 21:34:47.98ID:E/2LoMBL
>>101
これが矮小化と言うやつか

7割がバグ潰しを「最優先」と回答している事実
直したくても直せないまま何年も経過、unsafe無しでメモリ安全ではない(事実)、Rustの不健全仕様(事実)
(unsound=不健全は数学用語、要は矛盾があるという事)

幸運にもRustが使われなさ過ぎで実害がないように見える(または報告がないだけ)
(良心的に考えてRustが広く使われてない内に)バグ潰しをしとけ、がユーザーの9割の意見(中優先含めて)

週明けのテック記事はどう書くのかな
良い所だけ抜き出してビューが取れるハイプ期間は弱まったと思う
それと飛ばし過ぎるといなくなるorz
0104デフォルトの名無しさん
垢版 |
2024/02/25(日) 21:37:20.20ID:PFD3HMoN
アンチもMozillaが変なことやってるだけで
firefoxに導入できるわけがない一般人が
使えるようになるのは妄想とか
言ってた頃に比べると細かい実装の穴を
ネチネチやるまでになって大変だなあ
0105デフォルトの名無しさん
垢版 |
2024/02/25(日) 22:03:27.18ID:cpTMj4Oj
>>103
根本的なことを理解できてないようなので一点だけ
unsafeがプログラム全体に散らばっている他の言語に対して
Rustはunsafeを局所的に閉じ込めて安全なインタフェイスを公開しそれを使ってプログラミングする言語
よく使われる基本機能は標準ライブラリとしてunsafeを閉じ込めてあるが
必要なら自作を含めてunsafeを閉じ込めたライブラリを使ってよい
他の言語と比べてunsafeを局所的に閉じ込めた部分のみ注視すればよいことがRustのメリット
0107デフォルトの名無しさん
垢版 |
2024/02/25(日) 22:32:50.41ID:cAT3nYdz
Rustコンパイラにバグがあるのはかなりキモくて嫌だけど、Rustの利用をやめるほど致命的かというとな
0108デフォルトの名無しさん
垢版 |
2024/02/25(日) 22:47:36.07ID:m/LZ7YZH
C++ の未定義を踏んでもおかまいなしってよりは原則として問題は検出する (けどちょっとはバグもある) Rust のほうがだいぶんマシな言語設計ではある。
0109デフォルトの名無しさん
垢版 |
2024/02/25(日) 23:03:18.85ID:AXW02Nd1
unsafeなライブラリがRust用の安全なインターフェースを公開することにより保証される安全性とは
もちろん呼び出される側の安全性ではない
呼び出す側だけが検査される
しかも検査が完璧かどうかは実装依存
じゃあ言語仕様により保証されるのは何か

言語仕様は、あとは検査が通るか通らないかを確かめればよいというところまで仕様を確定しなければならない
0112デフォルトの名無しさん
垢版 |
2024/02/26(月) 00:02:36.23ID:cKYYV9zq
反論できないときは関連するワードを含むRustの宣伝文句をぶつける
いつもの流れです
0114デフォルトの名無しさん
垢版 |
2024/02/26(月) 00:10:06.79ID:nyM0yI5t
>>105,109
詐欺師みたいな偽者だな、Rust不信の種まきするのやめろ
>>112
分かっていれば支離滅裂文章なんだけど騙されるのは学生位だろうか
0115デフォルトの名無しさん
垢版 |
2024/02/26(月) 05:11:35.79ID:G5weOmRY
>>前スレ992
Derefは演算子
・そのためstd::ops::Derefにある (変換std::convert::AsRefと対照的)
・演算子*によりderefされる
・&**へとcoerceされる
0116デフォルトの名無しさん
垢版 |
2024/02/26(月) 13:22:06.51ID:vLFZOOEE
Derefの名前の由来は*演算子(dereference:参照解決)だろうけど
機能は&**へのcoerceを前提にしてて結果的にrefのままだからややこしいな
現状だとInnerRefの方がしっくりくる
0117デフォルトの名無しさん
垢版 |
2024/02/26(月) 13:34:26.79ID:vLFZOOEE
意味的にはFollowRefの方が自然かな
まあ*演算子で使われるtraitだからDerefでいいんだけど
0118デフォルトの名無しさん
垢版 |
2024/02/26(月) 17:12:18.82ID:hotfpUjh
【AI】Stable Diffusion 3発表、Soraで話題の拡散トランスフォーマーを採用 [すらいむ★]
http://egg.5ch.net/test/read.cgi/scienceplus/1708865670/l50

ボイス・トォ・スカるしている者も攻撃を受けるようになりました
0119デフォルトの名無しさん
垢版 |
2024/02/26(月) 18:21:55.22ID:K4z1iUSz
>>115
>・&**へとcoerceされる
これDeref Coercionのこと言ってる? だとしたら&**に限定する意味がわからない
あと前スレ992で重要なのは&T→TはDerefの役割ではないというところね

>>116,117
スマートポインタのdereferenceのために存在するTraitだから
InnerRefやFollowRefよりDerefのほうがずっと自然だと思う
*演算子の振る舞いとは別にcoercionの振る舞いは理解しなければいけない
そういう点でも「Derefは演算子」という捉え方は良くないよ
0120デフォルトの名無しさん
垢版 |
2024/02/26(月) 19:05:39.95ID:CpQkWMmQ
Rustて、演算子と関数を(意味論的に)区別していたっけ?
中間記法によるややこしい結合順の違いがあるぐらいで、構文解析後は等価だから、あんまりこだわっても仕方が無い気が。

中間記法の演算子は人間の算数の記法に配慮しているだけの悪習でしか無いから、積極的に差異をつけないほうが良い気がするけど。
0121デフォルトの名無しさん
垢版 |
2024/02/26(月) 19:26:28.00ID:pFLZLcAJ
Deref に関しては * 演算子として機能する以外に型強制の規則があるという話の文脈。
0122デフォルトの名無しさん
垢版 |
2024/02/26(月) 19:44:24.36ID:vLFZOOEE
+に対するAdd, &=に対するBitAndAssignと同じ位置づけで
(*T)に対するDerefがstd::opsに入ってるイメージだけど
(*T)自体は
let x: Box<String> = Box::new(String::from("foo"));
let y: String = *x;
みたいに参照先の値を取り出す使い方ができてむしろそっちが本来の意味なのに
それができないtrait DerefがDerefを名乗ってるのが微妙だと思った
0124デフォルトの名無しさん
垢版 |
2024/02/26(月) 19:57:36.80ID:31wdHwrp
>>116
*を明示的に付けるとdereferenceされるからDeref
&**によるcoerceは何も付けずに適用される
そのため参照から参照へ型が変わるだけで参照のままとなる

>>119
Derefはoperatorなのでstd::opsにある
Derefでも&T→Tと実装されている
Derefによるcoerceは&**となる
0125デフォルトの名無しさん
垢版 |
2024/02/26(月) 20:43:46.74ID:YO//rx0m
関数と同じでは困るものといえば && || が有名だけど = が一番やばい
初期化とか代入とかコピーとか移動とか
0126デフォルトの名無しさん
垢版 |
2024/02/26(月) 20:52:21.27ID:isya6kWo
>>125
=はパターンマッチング
マッチングした時にCopy実装があればコピーされる
以上で極めてシンプル
0128デフォルトの名無しさん
垢版 |
2024/02/27(火) 01:03:26.56ID:38wv4xDP
>>124
>Derefはoperatorなのでstd::opsにある
https://doc.rust-lang.org/std/ops/index.html
ここ見ればわかると思うけど各Traitの説明に”The ~ operator”と書いてるものがoperator
Derefは”Used for immutable dereferencing operations, like *v.”とあるようにDerefそのものはoperatorではない

>Derefでも&T→Tと実装されている
Deref<Target=T> for &Tの実装が提供されてるのは別の役割のため
その実装が実行されて&T→Tになっているのではない
Box<T>→Tなんかも正確に言えば&Box<T>→&T

>Derefによるcoerceは&**となる
全然わからない
何か一つくらい根拠を提示してくださいな
0129デフォルトの名無しさん
垢版 |
2024/02/27(火) 01:17:48.86ID:keoFxKh8
Derefによるcoerceは&**となるのが全然わからないって本気なのかな?

「corece後の参照」= &**「corece前の参照」
となるのがDerefによるcoerceだよ
0131デフォルトの名無しさん
垢版 |
2024/02/27(火) 05:16:27.87ID:2XUMNloz
>>129
>「corece後の参照」= &**「corece前の参照」

実験コード書いて一通り確認してみたら
たしかにそうなった
0133デフォルトの名無しさん
垢版 |
2024/02/27(火) 10:40:40.53ID:90WdzyYj
>>129
なるほどそういう風に捉えてるのか
ちょっと独特だね
それはcoercionの動きというよりderefのシグニチャを
内部的にderefを使ってる*演算子で再定義しようとしてるので
循環が気持ち悪いけど一つの見方として頭の隅にしまっておく

ちなみにThe Bookにある一つの例ではderef coercionがなければ*が余計に必要と説明されてる
https://doc.rust-lang.org/book/ch15-02-deref.html#implicit-deref-coercions-with-functions-and-methods
それに&**とは必ずしも等価じゃないからDeref Coercionを説明するのにはあまり勧められないかな
let x = "Hello".to_string();
let y = Box::new(x);
let z = &**y; //zは&strになる
let z:&str = y; //これはcoerceしないのでコンパイルエラー
0134デフォルトの名無しさん
垢版 |
2024/02/27(火) 10:44:06.64ID:HDl/V1Sy
こんな議論が発生する時点でかなりややこしくて面倒な言語がであることは認めざるを得ない
0137デフォルトの名無しさん
垢版 |
2024/02/27(火) 11:56:56.99ID:xI+UYr05
rustは使い勝手のために暗黙にokにした構文が逆にわかりづらさを生んでる。
0138デフォルトの名無しさん
垢版 |
2024/02/27(火) 12:07:27.17ID:NfALWDmT
>>137
まあそれは他の言語も歩んできた道だから……
良いとは言わんけどなくてもめんどいんだよな。
0139デフォルトの名無しさん
垢版 |
2024/02/27(火) 12:18:37.87ID:Q3TDZDiV
>>136
*selfはそれでいいけど、**selfはそれじゃ説明付かんぞ
0141デフォルトの名無しさん
垢版 |
2024/02/27(火) 18:12:58.39ID:lr8nToMg
Rustってなんでzipを「簡単」に操作するクレートが一つもないんだ?
Tauriがこなれてきたからそろそろ.NETからアプリをRustにポーティングしようかなと思ったらエコシステムがまるで成長していない・・・
0142デフォルトの名無しさん
垢版 |
2024/02/27(火) 18:13:56.86ID:7nYMkiDR
>>133
まず基本を理解しよう
deref coreceは必ず参照から参照へのみ起きる
Box自体は当然deref coreceされない

その例だと
let b = Box::new("Hello".to_string());
まずc0は単なるBox参照
let c0: &Box<String> = &b;
このc1とc2がderef corece
let c1: &String = &b;
let c2: &str = &b;

そのc1とc2を明示的に書くとこうなる
let c1: &String = &**(&b);
let c2: &str = &**(&**(&b));
この暗黙に適用される&**がderef corece

この自動適用のおかげでstrのメソッドが使える
assert!(b.starts_with("He"));
フルに書くとこうでもちろん対象はbではなく&b
assert!(str::starts_with(&b, "He"));
この&bが前述の通り自動的に&**(&**(&b))となり&str型へcoreceされている
0144デフォルトの名無しさん
垢版 |
2024/02/27(火) 19:01:36.79ID:MCZ6xJKz
>>133
> coercion

横から素人がすまん、これ何て読めばいいの?
0146デフォルトの名無しさん
垢版 |
2024/02/27(火) 19:39:57.60ID:ptyRkm62
まあ熱狂系の人は実用言語嫌いそうだし、熱狂系がいなくなったのは良いことでは
0149デフォルトの名無しさん
垢版 |
2024/02/27(火) 20:23:00.40ID:20aYglde
>>147
サンクス。愛してる
0150デフォルトの名無しさん
垢版 |
2024/02/27(火) 21:54:58.65ID:Tx+RemT0
Tのスマートポインタの参照 -> Tの参照
文字の配列の参照 -> 文字のスライス
一連の流れを見るとみんなポインタに熱狂している
0151デフォルトの名無しさん
垢版 |
2024/02/27(火) 22:22:03.42ID:TDjpaGuA
>>150
そこはポインタと参照の根本的な違いを理解しできるかどうかかな

「Boxというスマートポインタ」の参照を扱うから意外に感じているのかもしれないが
「Boxというスマートポインタ」はヒープ領域の解放責任つまり所有権を持つ
したがってBox自体を他の関数などへ渡してしまってはmoveしてしまい継続して使えなくなる
だからスマートポインタの参照を渡すことになる
一見するとこれはポインタのポインタで無駄な間接参照に感じるかもしれない
しかし参照=ポインタではなく参照は抽象的なものなのだ
0152デフォルトの名無しさん
垢版 |
2024/02/27(火) 22:43:38.35ID:NfALWDmT
Rust の参照は借用規則に関わることを除けばポインタとそんなに差はないし普通にオブジェクトの一種なんだよな。
C++ の参照はオブジェクトではなく参照の参照もとれないし参照のポインタもないし、
参照のサイズも取得できないというのに比べたら Rust の参照は実体のあるものとして感じられてしまう。
0153デフォルトの名無しさん
垢版 |
2024/02/27(火) 22:57:53.18ID:FQe9Y4YD
その橋渡し役がDeref coercion
&Box<T>はそのままだとTのポインタを持つBoxへのポインタとなってしまうが
Box<T>→TのDerefがあるため
&Box<T>→&TとDeref coercionが適用できる
静的にコンパイル時点で行われるため実行時コストはかからない
0155デフォルトの名無しさん
垢版 |
2024/02/27(火) 23:37:04.57ID:IkmURqSK
>>142
>deref coreceは必ず参照から参照へのみ起きる
&**との違いを認識してもらうための例を出したんだけど伝わらなかったみたいだね

それは別にいいんだけど書いてる内容を見る限り
Deref Coercionの動きを単に擬似的に再定義しようとして&**になると言ってるだけじゃなく
実際に&**が適用されると思ってるみたいに感じるね
だとしたらそれは完全な間違い

derefの実装の中で*演算子が使われることはあってもDeref Coercion自体は*演算子とは関係ないんだよ
Boxのderef実装だって*演算子を使わずself.ptr.as_ref()的な実装で実現してもいいわけだし
0157デフォルトの名無しさん
垢版 |
2024/02/27(火) 23:58:10.03ID:cJjIIFX3
Derefは*
Deref coercionは&**
前者は明示が必要な点が違い

x: &Box<T> とすると
*x: Box<T> (by Deref &T→T)
**x: T (by Deref Box<T>→T)
&**x: &T (xのDeref coercion結果)

x: &Vec<T> とすると
*x: Vec<T> (by Deref &T→T)
**x: [T] (by Deref Vec<T>→[T])
&**x: &[T] (xのDeref coercion結果)

x: &String とすると
*x: String (by Deref &T→T)
**x: str (by Deref String→str)
&**x: &str (xのDeref coercion結果)
0158デフォルトの名無しさん
垢版 |
2024/02/28(水) 00:29:07.11ID:ZZ90UZAT
>>157
とりあえずDerefの定義が

pub trait Deref {
type Target: ?Sized;

// Required method
fn deref(&self) -> &Self::Target;
}
https://doc.rust-lang.org/std/ops/trait.Deref.html

でderef()の戻り値には自動的に&がつくから
*x: Box<T>
*x: Vec<T>
*x: String
はDeref traitと関係ないことを抑えておこう
そこに(by Deref…)を書かれると話がおかしくなる

*Tができることの一部をDeref traitではできない
正確な表現かは分からないけどDerefは&の向こう側でしか*を適用できない
0159デフォルトの名無しさん
垢版 |
2024/02/28(水) 00:41:03.68ID:PK7EwTQ6
こうだろ

x: &Box<T> とすると
*x: Box<T> (by Dereference)
**x: T (by Deref Box<T>→T)
&**x: &T (xのDeref coercion結果)

x: &Vec<T> とすると
*x: Vec<T> (by Dereference)
**x: [T] (by Deref Vec<T>→[T])
&**x: &[T] (xのDeref coercion結果)

x: &String とすると
*x: String (by Dereference)
**x: str (by Deref String→str)
&**x: &str (xのDeref coercion結果)
0160デフォルトの名無しさん
垢版 |
2024/02/28(水) 00:49:10.38ID:ZZ90UZAT
なんかゲシュタルト崩壊してきたんだがw

関係ないけど微積のdxとかdyを思い出してしまった
0162デフォルトの名無しさん
垢版 |
2024/02/28(水) 01:32:01.63ID:upo0sX/6
Deref coercion &**のうち
右側の*は参照に対する参照外しで
左側の*はDerefで定義(実装)されてるものなのね
0163デフォルトの名無しさん
垢版 |
2024/02/28(水) 04:46:46.07ID:EOw65cJZ
let s = String::from("xyz");
let x: &str = &s;
let x: &str = &&s;
let x: &str = &&&s;
これ全てコンパイル通ってderef coercionされるから
『by Deref &T→T』も適用されていると思うぞ
0164デフォルトの名無しさん
垢版 |
2024/02/28(水) 11:30:56.58ID:eNJqE6SH
>>163
&&T→&Tのことを&T→Tとは書かないわな
前者の用途にDeref for &Tは存在してる
0165デフォルトの名無しさん
垢版 |
2024/02/28(水) 17:44:48.30ID:8gSKFNHr
>>156
演算の名前はdereference
derefはDerefトレイトに定義してあるメソッドの名前

>>157
>Derefは*
違う
Derefはトレイト
*はdereference operator

>Deref coercionは&**
違う
Deref Coercionとはcoercionが行われる場合に「&Tを&<T as Deref>::Target」にcoerceすること
Deref Coercionと*などの演算子は全く別の独立したものとして扱われている
それぞれの処理の一部で必要に応じてDerefに定義されたderefメソッドを活用してるというだけ
片方がもう片方に依存してたりもしない

Deref Coercionの処理の一部として呼び出されるderefメソッドを
演算子で擬似的に再定義しようとすれば&**になるというの話はかろうじて理解できるが
前述のように定義が循環してるだけでなく再定義する価値を見いだせない
0166デフォルトの名無しさん
垢版 |
2024/02/28(水) 18:08:21.49ID:8fminEVJ
なるほどね。勉強になるわ。
0167デフォルトの名無しさん
垢版 |
2024/02/28(水) 18:17:32.89ID:8gSKFNHr
>>164
&&T→&Tの場合もreference用のビルトインderefが先に動いてDeref for &Tの実装コードは動いてない可能性ない?
0168デフォルトの名無しさん
垢版 |
2024/02/28(水) 18:20:50.27ID:nghz9NTX
>>164
Deref coercionの定義を理解しよう
Deref T→Uが実装されている時に
(つまり*TがUとなる時に)
&T→&UのDeref coercionが自動適用される
&String→&str (by Deref String→str)
&Vec<T>→&[T] (by Deref Vec<T>→[T])
&Box<T>→&T (by Deref Box<T>→&T)
&&T→&T (by Deref &T→T)
これらはすべてDeref coercion
0169デフォルトの名無しさん
垢版 |
2024/02/28(水) 18:22:38.09ID:nghz9NTX
>>165
Deref T→Uが実装されている時に
(つまり*TがUとなる時に)
&T→&UのDeref coercionが自動適用される

U=*T
↓ &Tから出発すると
U=**(&T)
↓ 両辺の参照をとると
&U=&**(&T)
つまり
Deref coercionとは&**の自動適用のこと
0170デフォルトの名無しさん
垢版 |
2024/02/28(水) 18:49:11.26ID:T3/1RdIi
*xが左辺値なら代入、*xが右辺値なら複製とかいう演算に
ビルトインderefみたいな名前をつけるのが間違っている
0171デフォルトの名無しさん
垢版 |
2024/02/28(水) 19:13:20.58ID:fjfA+uEG
>>170
mutabilityを除けば左右どちらも同じ型だから形が同じであることは問題ない
左はmutabiltyが必要だからderefではなくderef_mutと区別されていてその点でも問題ない
0173デフォルトの名無しさん
垢版 |
2024/02/28(水) 20:12:51.73ID:eWXh2LH7
これほど分かりやすくて便利な明確な仕組みはない
他の言語と比較すれば明らか
0175デフォルトの名無しさん
垢版 |
2024/02/28(水) 21:10:22.04ID:RYfxXFlC
他の言語でこれより良いものが存在しないね

RustのDeref
・自動適用されプログラマーの負担を軽減し利便性も良い
・魔法ではなくtrait Derefの実装に基づき動作して分かりやすく自作の型にも適用可能
・コンパイル時に静的に解決され実行時の付加コストゼロで高速動作
0176デフォルトの名無しさん
垢版 |
2024/02/28(水) 23:39:05.31ID:T3/1RdIi
>>172
Pythonが分かりやすいのは知ってるけど
RustとPythonは両極端だから文法を微調整してもしょうがない
文法を変える必要があるのは両極端を否定する言語だけだ
0177デフォルトの名無しさん
垢版 |
2024/02/28(水) 23:49:09.85ID:ZZ90UZAT
Derefなのに&が消えてない(小並感)

背景を理解しないと引っかかりやすいRustの七不思議候補
0178デフォルトの名無しさん
垢版 |
2024/02/29(木) 01:04:43.74ID:rccXx8PF
この仕組みがベストであるという主張は3種類ある
一つは馬鹿な信者が言ってるだけという可能性
一つは本当にこの仕組みがベストである可能性
最後は信者ではないけど素直な馬鹿だからもっと良い仕組みを知らない可能性

このどれであるかは賢い人間がもっと良い仕組みを教えてあげると判別できる
馬鹿な反論が返ってきたら馬鹿な信者
合理的な反論が返ってきたら本当にこの仕組みがベストかもしれない
意見を翻されたら素直な馬鹿
0180デフォルトの名無しさん
垢版 |
2024/02/29(木) 01:51:37.80ID:zTVrVDmh
RustのDerefとそのcoercion枠組みの利点
・プログラマーの負担が減る
・コードが見やすくなる
・枠組みはDerefトレイト利用で明白かつ汎用的になっている
・自分で作った型にも実装して作動させることができる
・静的に解決しているためミスしてもコンパイル時にわかる
・実行時に付加的な動作がなく高速に実行される

これらの利点を上回る方法があるならば知りたい
既存の言語でも新規の方法でも
0182デフォルトの名無しさん
垢版 |
2024/02/29(木) 10:19:46.23ID:IetxPnTw
>>179
>下手で全部書くべきと?
どこかの方言?
0183デフォルトの名無しさん
垢版 |
2024/02/29(木) 12:07:39.99ID:/e0OxROz
>>178
いずれにせよRust信者は自分の信仰を他人に押し付けるために検証可能性を潰すから、科学とはほど遠い姿勢かと。
0184デフォルトの名無しさん
垢版 |
2024/02/29(木) 12:33:18.56ID:sM99e4qp
Rustの方式の利点は>>180に挙げられているから
もしRustより良い言語が存在するならば
その方式およびRustの利点を上回る利点を挙げればいいんじゃね?
0186デフォルトの名無しさん
垢版 |
2024/02/29(木) 13:11:40.55ID:WGw1+Mi1
検証可能とはコンパイラが無謬であることではない
ここが難しい
コンパイラが未完成の状況でも人間が正解の一部をなぜか知っていること
これが検証可能
0188デフォルトの名無しさん
垢版 |
2024/02/29(木) 14:14:12.31ID:s7mEAt1S
単に理解できないから難癖つけてるだけだよねこの人
自分の主張も一切ないし
0189デフォルトの名無しさん
垢版 |
2024/02/29(木) 14:15:14.41ID:s7mEAt1S
誰かの難癖を自分が思い付いたかのように言ってるだけで
何一つまともな批判はない
0191デフォルトの名無しさん
垢版 |
2024/02/29(木) 14:45:30.61ID:NVSKcdtL
>>184
それは「批判するなら代案出せ」と同じ議論を潰すだけの態度なのでやめよう
技術者なら自分が使っている道具の限界や弱点とは真摯に向き合うべき
その際他の道具との比較も必須ではない
0192デフォルトの名無しさん
垢版 |
2024/02/29(木) 14:51:42.06ID:bXdMb/7T
技術的選択は突き詰めれば必ずトレードオフが生じるもの
利点だけを見て欠点に目をつぶったまま良し悪しを論じるのは愚の骨頂
0193デフォルトの名無しさん
垢版 |
2024/02/29(木) 14:52:32.46ID:sM99e4qp
Rustの方式の利点は>>180に挙げられているから
もし仮にRustより良い言語が存在するならその言語の方式の利点を挙げればいいんじゃね?
0194デフォルトの名無しさん
垢版 |
2024/02/29(木) 15:05:04.64ID:Sa1lr1bM
>>191
>それは「批判するなら代案出せ」と同じ議論を潰すだけの態度なのでやめよう
議論を潰すというよりも批判から逃げたいだけだろう
0195デフォルトの名無しさん
垢版 |
2024/02/29(木) 17:17:49.66ID:WGw1+Mi1
物的な代案や物的証拠により人の心を折ることが検証だと思っているんじゃないか
0196デフォルトの名無しさん
垢版 |
2024/02/29(木) 17:44:22.90ID:JSOAwYd/
や、そもそも「人の心」の認識が無いのだろう
0197デフォルトの名無しさん
垢版 |
2024/02/29(木) 18:01:07.55ID:OWFCi11w
わざわざRustスレにまでやって来てRust叩きやってる人だから心の病気なのかもな
0198デフォルトの名無しさん
垢版 |
2024/02/29(木) 18:25:15.72ID:uwbVoB9N
>>167
>&&T→&Tの場合
これ調べてみたんだけどビルトインderefが優先的に動いて
Deref for &Tの実装は使われてなかった
0199デフォルトの名無しさん
垢版 |
2024/02/29(木) 18:37:38.45ID:OsB1rmqt
ビルトインは*を明示指定しないといけなくない?
coercionは何も指定しなくてもDeref実装があれば自動的に多段に適用してくれるけど
0200デフォルトの名無しさん
垢版 |
2024/02/29(木) 20:49:33.50ID:NE3ms/ho
impl Deref for &T
はtrait境界を満たすためだけに定義されてるんだろうな
標準だとDeref境界はPinくらいしか使ってないけど
0202デフォルトの名無しさん
垢版 |
2024/03/01(金) 08:46:23.47ID:SBTwWOM0
derefの仕方は状況によって使い分けかな
例えばVec<T>からスライス&[T]にする場合

// deref operatorを使う方法
// 一番短く頻出
let slice = &*vec;

// RangeFull Indexを使う方法
// Rangeを変えて汎用的に範囲指定ができるメリット
let slice = &vec[..];

// deref coercion先の型を明示する方法
// 関数呼び出しは引数の型が明記されてるのでこのパターン
let slice: &[T] = &vec;

// deref()メソッドを使う方法
// ただしDerefトレイトのuseが必要
use std::ops::Deref;
let slice = vec.deref();
0203デフォルトの名無しさん
垢版 |
2024/03/01(金) 09:18:59.78ID:LWQ/+31h
uv、めちゃ速いな
今までの処理時間はなんだったのか
これはRustの印象を良くするツールになるわ
0204デフォルトの名無しさん
垢版 |
2024/03/01(金) 10:14:36.96ID:gvn/awFT
uvというとCで書かれた非同期マルチプラットフォームライブラリ(Rustにはmioがある!)が有名だが
そのuvはRust製のPythonパッケージマネージャーなのか
0209デフォルトの名無しさん
垢版 |
2024/03/02(土) 16:13:07.16ID:bMlzFBHT
nvidiaのど汚なさを理解してなさげで不安しかないわ
0211デフォルトの名無しさん
垢版 |
2024/03/05(火) 04:14:48.62ID:nMHII26b
ORMが好きならdiesel
ORMが嫌いならsqlx
0216デフォルトの名無しさん
垢版 |
2024/03/07(木) 15:14:21.16ID:/no0RfP4
Rustで一通り文法や機能紹介した入門書の次に読むような定石本ってどのようなのがありますか?C++でいうEffective C++みたいな
0219デフォルトの名無しさん
垢版 |
2024/03/10(日) 13:14:05.30ID:XsimGsv7
Rustはデフォルトのhashが遅いという罠
0220デフォルトの名無しさん
垢版 |
2024/03/10(日) 20:35:08.28ID:8NU5B5F+
>>219
Rustはデフォルトのハッシュ関数が最強最善の暗号学的ハッシュ関数であるSipHashを採用しているため衝突にも強くハッシュDOS攻撃に対しても安全
もし強い衝突耐性を必要としない用途ならばFxHasherなどの速さ重視のハッシュへと簡単に置き換えられる

type Hasher = std::hash::BuildHasherDefault<FxHasher>;
let mut map = HashMap::<Foo, Hasher>::default();
0222デフォルトの名無しさん
垢版 |
2024/03/10(日) 21:21:36.22ID:yMMzzxd+
解決案としてはそうなのだが、デフォルト挙動が罠すぎる
デフォルトいらなかったのでは
0225デフォルトの名無しさん
垢版 |
2024/03/11(月) 00:11:06.91ID:H3LWtGm6
デフォルトのハッシュ関数が遅くて困るってことはよく知らずに使ってたってことでしょ?
そう考えると初心者向けにデフォルト厳しくしておくのは正解な気がするわ、セキュリティに関わるし
まあ言語側はそんな事考えずにとにかく一番スタンダードなものデフォルトにしろって考え方もわかるが
0226デフォルトの名無しさん
垢版 |
2024/03/11(月) 00:47:18.65ID:2r+51Qz1
Rustはimpl std::hash::Hasherで必要なら自由に独自のハッシュ計算器をすぐ作れるし
逆にそれと独立にimpl std::hash::Hashで自分の各型に対してハッシュ計算法を指示できるし
この2種類のトレイトを標準で用意してくれているRustは非常に好環境
0227デフォルトの名無しさん
垢版 |
2024/03/11(月) 00:59:26.53ID:lga6QF6v
「最悪の場合でもほどほど」なやつをデフォルトにするのは妥当だと俺も思う。
状況に合わせて選択できたり自分で作れたりする人はそうするんだから、
デフォルトではそうでない人を想定するだろ。
0228デフォルトの名無しさん
垢版 |
2024/03/11(月) 02:43:53.87ID:aDyedTxf
いやそもそもデフォルトいらんくね?
なんでデフォルト欲しいんだ?
0231デフォルトの名無しさん
垢版 |
2024/03/11(月) 14:30:36.32ID:emAmKvKR
デフォルトを用意するかしないかは言語思想によるから正解不正解では語れないよな
rustの場合は何事も「安全」に基づいて設計されてると認識してる
0232デフォルトの名無しさん
垢版 |
2024/03/11(月) 15:25:18.07ID:WOvDUzj/
適切なハッシュ関数を選択するのってそんな簡単なことじゃないからな
ハッシュ関数の特性だけじゃなくhashbrownの特性も知らないといけないしその両方を組み合わせた際のハッシュDoS耐性の程度も評価できないといけない

HashMapのように基本的なデータ構造を使うのにどんな場合でもいちいちユーザーがその選択しなきゃいけないようだと辛すぎるわな
0233デフォルトの名無しさん
垢版 |
2024/03/11(月) 19:01:47.22ID:srElBTmD
HashMapで使われるHashに重いものを使う必要がある局面は限られてる
でも他人のライブラリの外から必要な時にハッシュアルゴリズムを変えることなんかできないので悩ましい人もいるだろう
0235デフォルトの名無しさん
垢版 |
2024/03/11(月) 21:13:52.07ID:2r+51Qz1
>>233
ライブラリを作成する時にその用途に応じた適切なハッシュを用いればよい
用途により異なるならば安全側に倒すか指定する方法を提供すればよい
0236デフォルトの名無しさん
垢版 |
2024/03/11(月) 21:28:56.93ID:vmVry2mm
とりあえずデフォルトを使って、必要になったら差し替えればいいんじゃないの?
Rustだとなんか問題あるんだっけ?
0237デフォルトの名無しさん
垢版 |
2024/03/11(月) 21:31:16.84ID:aDyedTxf
>>236
ライブラリのハッシュを差し替えられない
デフォルトハッシュを使うような人間がどんどん参戦してきてcratesの名前空間を埋め尽くしていく
0238デフォルトの名無しさん
垢版 |
2024/03/11(月) 21:41:07.80ID:6xtSsnXH
ハッシュ衝突強度安全性が必要かどうかの判断ができない者がRustデフォルトの安全なものを用いることになるのは正しい
そこまで必要としない用途であると判断できた者だけがFxHashなどを用いればいい
RustコンパイラもFxHashを用いている
https://github.com/rust-lang/rustc-hash
0239デフォルトの名無しさん
垢版 |
2024/03/11(月) 21:44:11.78ID:uBu+z/S9
安全で高速を名乗ってるくせにライブラリがおっせえ言語だなあ
これ治すにはいちいち依存ライブラリ全てをcloneしてきてチマチマ変更していかないといけないってマジかよ
0240デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:02:54.43ID:2hCRIQro
言語とは関係ない
外部からのデータを扱うなど攻撃耐性など必要となる部分には攻撃耐性のあるハッシュが必須
そうでない部分には攻撃耐性は必要ない
各プログラムの中にこれら両者はは共存しうる
この使い分けができているかどうかは各言語の問題ではない
0241デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:17:15.26ID:1Ss4PFRT
ライブラリやその管理が言語と関係がないとする主張は可能だが、その主張をするとcargoやcratesの存在が言語と関係ないことになり、Rustの良さを支えている理由の大きな割合を失うことになる
やはりエコシステムやそこにある資産も含めての言語の評価だろう

それにユーザーの問題を言語が引き取らないのであればコードを書く人が充分賢いことを仮定することになり、C++で良いということになる
0242デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:22:30.50ID:2hCRIQro
>>241
C++だけでなくスクリプト言語であろうがすべて同じ
攻撃耐性が必要となるところで強度の高いものが使われてなければ欠陥プログラム
0243デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:24:26.89ID:1Ss4PFRT
>>242
だからデフォルトなんかいらないんだよ
ハッシュごとき使うのにデフォルトがないと使えないような人間がcratesの名前空間を埋めていくのはヤバいよ
0244デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:32:51.13ID:Zfy+Gd54
>>243
ほとんどの言語の連想配列(hashmap)のハッシュ関数はデフォルトがありますよ
指定しないと使えない言語がもしあるとしてもレアじゃないですか?
0245デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:38:01.21ID:1Ss4PFRT
>>244
それはJavaScriptやPythonのような馬鹿がライブラリを書いて馬鹿が馬鹿の再生産をすることを推奨している言語の話でしょう?
もしくは仕様だけ緩く決めて実装には何の責任も取らない言語か
0246デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:39:37.27ID:1Ss4PFRT
スクリプト言語だと速度は求められないという了解があるし
0247デフォルトの名無しさん
垢版 |
2024/03/11(月) 22:53:49.00ID:lga6QF6v
Rust や C++ の思想でいう速さはゼロコスト抽象のことだよ。
抽象化にはコストはない (または十分に小さい) が実行すれば実行内容に相応の実行コストが生じるのは当たり前のことだし、実行内容を最小限にすることを目指したって単に不便になるだけだ。
0248デフォルトの名無しさん
垢版 |
2024/03/11(月) 23:24:30.57ID:pnxYU4a7
あらゆる言語のあらゆるプログラムについて以下が成り立つ
【必須】信頼できない外部入力データに対しては攻撃に強いハッシュ関数を用いなければならない
【自由】そうでないデータに対してはどのハッシュ関数を用いてもよい

この状況で安全な言語はデフォルトとして攻撃に強いハッシュ関数が適切
そして後者と判断できるプログラマーのためにハッシュ関数を指定できる仕様が適切

Rustはこの適切な仕様となっている
0250デフォルトの名無しさん
垢版 |
2024/03/11(月) 23:31:49.34ID:srElBTmD
外に出るときはヘルメットを被って110をすでに入力したスマホを持ちながらおむつをしてコンドームつけてるのがRust
0252デフォルトの名無しさん
垢版 |
2024/03/11(月) 23:47:29.47ID:1gRl0SR3
デフォルトとFxHasherで比較してみたけどHashMapへのinsertのみで実行時間1.7倍
現実のプログラムだとそれ以外の部分が大量にあるためそれ次第で誤差だね
これはデフォルトが安全側に倒す形を取っていて正解と思う
0253デフォルトの名無しさん
垢版 |
2024/03/11(月) 23:47:55.83ID:eCeLdHKW
>>248
>【自由】そうでないデータに対してはどのハッシュ関数を用いてもよい
いやーそれはどうだろう?
ハッシュDoS耐性は不要でも例えばFxHashを使うべきじゃないユースケースも普通にあるよね?

stdに1つしかHasherが用意されておらずサードパーティ頼みな現状は言語的には結構不親切
0255デフォルトの名無しさん
垢版 |
2024/03/11(月) 23:59:34.73ID:o1bdd8gz
Rustはデフォルトハッシュ関数が用意されていておかしいと言うけど
すべての言語で用意されてるでしょ?

Rustは様々なハッシュ関数が標準ライブラリにないと言うけど
それが普通でしょ?

さらにRustの標準ライブラリはなるべく小さくする方針ね
0256デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:02:16.02ID:YqCvYydB
>>255
ここまで読んでそういう解釈になってるなら理解する力が足りてない

重いハッシュ関数がデフォルトになってるのがどうなのかと言う話
0257デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:06:26.32ID:hhdv8qp2
普通に考えて攻撃に強いハッシュ関数がデフォルトとなってるのがベストだよね
攻撃の可能性のない部分のみを後でチューンアップつまり弱いハッシュ関数で置き換えるだけだから
これより良い策があるの?
0260デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:10:10.84ID:YqCvYydB
江戸時代士農工商の身分制度があって
雨の日だけ農民も下駄を履いてよかった
0263デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:15:25.47ID:YqCvYydB
IDコロコロ全肯定君

攻撃されるかもしれないのに攻撃の耐性をつけてない人に
対するフールプルーフのために一律全てのコードを遅くする

そもそもその人が設計ミスってるんだろう
0264デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:15:58.38ID:ltF5NefG
SafeSlowHashMapみたいな名前にすれば良いのに
0266デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:27:26.16ID:hEPMmb8p
>>264 >>265
Rustを使ったことすらない人が文句を言ってるのか
RustのHashMapはHasherに対しても多相であり型パラメータでHasherを指定する
0268デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:33:47.12ID:P8rBcnCc
>>266
誰もそんな話してないやろ
これだから複クンは
0269デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:35:30.45ID:YqCvYydB
こいつは結論が先にあってRustのすべてが正しいから後で理屈をつけているだけ
いつもおかしなことを言ってる
0270デフォルトの名無しさん
垢版 |
2024/03/12(火) 00:36:58.41ID:4FnCuSr/
ripgrepとかuvとかの既に実用が始まってるRust製アプリでは
デフォルトのハッシュ関数使ってるの?
0271デフォルトの名無しさん
垢版 |
2024/03/12(火) 01:00:19.76ID:hEPMmb8p
>>267
やっぱりRustを使ったことないんだな
impl<K, V, S> HashMap<K, V, S>にfn new()は存在しないため
HashMap::<Key, Value, BuildHasherDefault<Hasher>>::default()のように使う
0274デフォルトの名無しさん
垢版 |
2024/03/12(火) 01:42:25.91ID:O5aTP+Ks
いつもRustを叩いてRustスレを荒らしてるアンチの言動はいつもワンパターン
今回のHashMapの件で例えると
もしデフォルトのハッシュ関数が安全でなく速いものだと「Rustはデフォルトが安全でない!」と叩く
もしデフォルトのハッシュ関数が安全で遅いものだと「Rustはデフォルトが遅い!」と叩く
どちらになっていても叩くことが目的のキチガイ
0275デフォルトの名無しさん
垢版 |
2024/03/12(火) 09:25:30.86ID:2ftxmqwc
「俺が高速なプログラムを作れるのは言語のおかげ」は合ってるが
「俺が低速なプログラムしか作れないのは言語のせい」は間違ってる
0276デフォルトの名無しさん
垢版 |
2024/03/12(火) 15:42:43.44ID:qP6Ph9LT
『「俺が低速なプログラムしか作れないのは言語のせい」は間違っている』という立場、ユーザーが充分賢いことを仮定しているのでそれならPythonとC++で良い
0277デフォルトの名無しさん
垢版 |
2024/03/12(火) 16:02:50.20ID:O51IPiXd
ほんとどうでもいいな
自転車置き場というより豚小屋の議論
0279デフォルトの名無しさん
垢版 |
2024/03/12(火) 17:33:47.15ID:+dm3OZRm
知識があれば高速化が可能な場合があるのは、言語や項目に関わらず一般的な話。
安全方針のRustとしては、ハッシュ衝突強度を知らなくてもデフォルトで安全がベター。
0280デフォルトの名無しさん
垢版 |
2024/03/12(火) 18:00:43.49ID:ZUpYWJV7
デフォルトいらんが
ハッシュも自分で選べんガイジがハッシュマップ使うな
0281デフォルトの名無しさん
垢版 |
2024/03/12(火) 18:49:06.95ID:hIsWcrJS
>>279
わかってなさそうなので再度書くけど
ハッシュ衝突強度が高いからと言ってハッシュDoS耐性が高いとも限らないしHashMapに適してるとも限らないからね
0282デフォルトの名無しさん
垢版 |
2024/03/12(火) 18:51:51.27ID:wv71s4mp
弱いハッシュでも困るようなプログラム書く人は、自分で判断できるんじゃないの?デフォルトはパフォーマンス優先で良いと思うけどな。
0283デフォルトの名無しさん
垢版 |
2024/03/12(火) 19:50:55.41ID:WtXn1sYk
攻撃で困るかどうか攻撃されるまで初心者は判断できないと思う。
そして攻撃されてから対処するのでは遅いかもしれない。
パフォーマンスチューニングは遅いことが問題になってからやるので深刻ではなかろう。
0284デフォルトの名無しさん
垢版 |
2024/03/12(火) 19:59:05.75ID:1eKk9IjK
>>283
同意
0285デフォルトの名無しさん
垢版 |
2024/03/12(火) 20:00:13.63ID:uVbV4a/I
RustのDefaultHasherは安全かつパフォーマンスのいいSipHashを使っているので普通は気にする必要ない
もちろんPythonやJavaScript(v8)やSwiftなど多くの言語がこのSipHashを使っている
そのうえでRustは必要とするHashMap毎にFxHashなどさらに高速なものを簡単に指定できる
0287デフォルトの名無しさん
垢版 |
2024/03/12(火) 20:49:29.65ID:+yrdVDIt
他の言語たちがRustを参考に同じように後追いしているのね

>Pythonの文字列やバイト列に対するハッシュアルゴリズムは、HashDoS対策としてPython 3.4から SipHash24が使われていました。
>その後、ラウンド数を減らしたSipHash13でも十分に安全だとして2015年にRustが、2016年にRubyが、SipHash24からSipHash13への切り替えを行いました。
>Rust や Ruby からは数年遅れましたが、Pythonもデフォルトの文字列ハッシュアルゴリズムがSipHash13に切り替わりました。
0288デフォルトの名無しさん
垢版 |
2024/03/12(火) 20:56:37.07ID:Bo/PtDeL
>>286
常にそれをされたら困るが
Rustでもハッシュ値をオブジェクトに持つstring_cacheなどが用途に応じて使われている
0289デフォルトの名無しさん
垢版 |
2024/03/12(火) 22:08:56.94ID:qGjx1B49
>>274
人にキチガイと言う前に自分の脳を使って考えたら?

どちらになっても叩くことはないだろ
他の言語はデフォルトで速いハッシュを使ってるよ
0291デフォルトの名無しさん
垢版 |
2024/03/12(火) 22:30:53.75ID:QLhbtBPI
他の言語もRustと同じハッシュ関数を用いていることが判明したのにRust叩きを続ける一匹
0292デフォルトの名無しさん
垢版 |
2024/03/13(水) 01:06:52.67ID:l12NsVZP
他の言語の例としてPythonやRubyのような遅いこと前提でとにかく初心者が書いても動けば良いという思想の言語を持ち出してくるのはおかしいでしょう
0295デフォルトの名無しさん
垢版 |
2024/03/13(水) 07:26:54.50ID:W15vpPlq
>>283
判断できない人まで言語側で救う必要性が分からない。

それなら、unsafeもカジュアルに使えないように仕掛けを用意した方が良いんじゃないかと。
0296デフォルトの名無しさん
垢版 |
2024/03/13(水) 08:05:27.17ID:7ftIQ2tM
必要なことしかやりませんって言語は他にあるからそちら使えばいいのでは?
0297デフォルトの名無しさん
垢版 |
2024/03/13(水) 11:53:59.71ID:k71lJTPU
安全と速度は両立するかそれともトレードオフか
トレードしかしない人にとって、コストは支払うと決めたら絶対にキャンセルできない印象があるよね
有償かと思ったけどよく考えたらやっぱゼロコストだったという現象は許せない
0298デフォルトの名無しさん
垢版 |
2024/03/13(水) 13:08:21.45ID:zcdQDtji
Rustなんかに手を出すのはC++まともに書けない馬鹿なんだから、「充分賢ければ速く書ける」は実質「速く書けない」なんだよな
賢いならRustなんかやらない
0299デフォルトの名無しさん
垢版 |
2024/03/13(水) 13:52:10.04ID:k71lJTPU
自由があればデフォルト設定を強制されないのは自明な事実
ただし、賢い人間が自由を所有しているのか、道具自体が自由度を持っているのか
そもそも「所有している」というのはただの感想なのか客観的事実なのか
0300デフォルトの名無しさん
垢版 |
2024/03/13(水) 15:08:41.44ID:EtYMYlMl
アホ vs バカの不毛な争いが続くのは隔離スレにワッチョイつけたやつの責任だからな
0301デフォルトの名無しさん
垢版 |
2024/03/13(水) 17:12:52.60ID:2jYqKDsd
本スレにワッチョイつけず隔離スレと称して余計なスレ立ててそっちにワッチョイつけるバカども。
5chでRust使ってるって言ってるやつらはそんなもの
0302デフォルトの名無しさん
垢版 |
2024/03/13(水) 17:32:48.34ID:k71lJTPU
不毛の判断が早いなあ
後世の歴史家が判断するという定型文に縛られないから早いんだな
0305デフォルトの名無しさん
垢版 |
2024/03/13(水) 21:22:31.53ID:cNV/vVTe
>>300
分かってるんならワッチョイ付きRustスレの盛り上げに協力してくれんかえ
0306デフォルトの名無しさん
垢版 |
2024/03/13(水) 21:54:19.69ID:Ay/UTMuM
ワッチョイなんか盛り上がる訳ねえ
そんな話題あったらこのスレに投下してつまらない議論を流した方が余程生産的
0307デフォルトの名無しさん
垢版 |
2024/03/13(水) 22:31:42.96ID:/twoPXVD
高齢化でコーディングできなくなったおじいさんを叩くのは良くないと言う話
0308デフォルトの名無しさん
垢版 |
2024/03/13(水) 22:39:35.15ID:vtWyM3VT
30後半でコーディングしてるやつなんて9割コミュ障で出世できなかったやつだろ
0311デフォルトの名無しさん
垢版 |
2024/03/14(木) 00:41:25.89ID:2hurvpo9
結局スクリプト言語で書かれた原作が必要か
他のジャンルでも原作なしのオリジナルは難しそうだろう
0312デフォルトの名無しさん
垢版 |
2024/03/14(木) 12:30:54.13ID:HuCxvvOv
Rustで書き直してパフォーマンスが上がったので注目浴びる!みたいなプロダクトはなんか白けるよな。
JSとかPythonの基盤ツールをRustで書き換えて激速!みたいなのはもう汎用言語としてのアイデンティティ捨てられててオワットル。
0313デフォルトの名無しさん
垢版 |
2024/03/14(木) 12:34:38.63ID:GaNa4vYx
日本みたいに、何とかするには人投入しよう!スキルどうでもいいからとにかく人集めて!なところじゃね~。
0314デフォルトの名無しさん
垢版 |
2024/03/14(木) 13:45:31.80ID:zTrHTca+
おそらく植山類が新しいリンカを作ったあたりが開発ツール高速化の機運の始まりだと思う。
歴史的事情でごちゃごちゃしてて遅いのが仕方がないと思われていたものについて
速度を意識して書いてみたら数百倍単位で速くなってわひゃーーというのが強烈なインパクトだった。
(それは C++ で書かれてるんだけどね。)
商売で開発ツールを提供している会社にとっては少なくともそれと同程度のものを出さないと面子が立たない。
リンカを作ってるところはこぞって高速化に努めた。
リンカ以外にもその機運が波及しているのが今。

で、高速化のキモはデータ構造であるというのが明瞭になったんだけど
メモリ管理の部分を処理系 (ランタイムサポート) の側でやるようなものだとそこんところのチューニングが出来ない。
Rust である必然性が強いわけではないけど C++ とかよりは今なら Rust のほうがいいかなってのはまあ自然な判断ではある。
0315デフォルトの名無しさん
垢版 |
2024/03/15(金) 00:47:31.57ID:eu7fnAy5
コードを書けない
プログラムできなくなるとこういうことしか書けなくなると言う見本
0316デフォルトの名無しさん
垢版 |
2024/03/15(金) 10:43:30.71ID:5CgUbd5q
だが読むより書くほうが優れているという前提から
原作を正しく読解するよりも正しくない二次創作のほうが優れているという結論が出てくる
0317デフォルトの名無しさん
垢版 |
2024/03/15(金) 11:53:24.75ID:94MXVgRN
春だなぁw
0319デフォルトの名無しさん
垢版 |
2024/03/15(金) 20:40:42.93ID:W8LQpOAr
>>315
辛辣で草
そういう似非技術者系おじいちゃんおちょくると
怒って自分が唯一知ってる知識振り回してくるから面白いぞ
0320デフォルトの名無しさん
垢版 |
2024/03/15(金) 21:07:06.30ID:8+Y0uCh5
Rustコードを書けない似非技術者系おじいちゃんたちは他のスレでやりとりしなさい
ここはRust専用スレ
0322デフォルトの名無しさん
垢版 |
2024/03/15(金) 21:36:49.30ID:3GkeGGWK
できなくなるんじゃなくて
元々できてないんよね>>314みたいな人は
というより単に職業マじゃないのかもな
趣味でプログラム触ったことあるパソコン少年的な
0325デフォルトの名無しさん
垢版 |
2024/03/17(日) 19:33:58.02ID:1VtyMVPz
Rust書けるやつ集めるの大変すぎ
0326デフォルトの名無しさん
垢版 |
2024/03/17(日) 22:06:35.75ID:BMZldfUE
Rustで書けば速くてリソースコスト下げられるうえに保守性も良くていいことずくめだからだな
ただしまともなプログラマーしか使い  こなせない
0328デフォルトの名無しさん
垢版 |
2024/03/18(月) 10:20:48.83ID:JObkxwF0
しょーもないこだわり持ってるやつしか使ってない
0331デフォルトの名無しさん
垢版 |
2024/03/18(月) 14:49:59.91ID:RRSB5dTk
無効なアドレスを参照しない
運が良ければSegmentation Fault、運が悪ければ変な値が使われて何か起こる

無効なアドレスを更新しない
運が良ければSegmentation Fault、運が悪ければそこの値が壊れて何か起こる

メモリリークは割とどうでもいい
0332デフォルトの名無しさん
垢版 |
2024/03/18(月) 15:00:45.39ID:ZJ4hMg34
>>330
メモリ安全性のうち特に重要な一つがメモリ競合の安全性
まだ使っている値を意図せずに書き換えてしまい矛盾してしまう
プログラミングで起こるバグの代表的な一つ
Rustではこれを防ぐことができる
0333デフォルトの名無しさん
垢版 |
2024/03/18(月) 15:02:35.53ID:1+ObkRXf
>>331
ありがとう
「運が悪ければ変な値が使われて何か起こる」
そういえばメモリの概念理解せずにC言語使って、動かすたびに結果がかわるバグプログラム生み出してビビリ倒したことを思い出しました……
0334デフォルトの名無しさん
垢版 |
2024/03/18(月) 15:07:28.37ID:1+ObkRXf
>>332
ありがとう
「運が悪ければ変な値が使われて何か起こる」
そういえばC言語の現在時刻取得関数がポインタ返し&参照先書き換えるタイプの関数だったので大ハマリしたことありますね…
0335デフォルトの名無しさん
垢版 |
2024/03/18(月) 18:35:36.34ID:utey1W8X
セルフコントならもう少し面白いやつを頼む
0336デフォルトの名無しさん
垢版 |
2024/03/20(水) 01:19:02.24ID:6E76csi8
WebAssemblyバイナリの実行環境を提供する「Rust」で作成されたランタイム「Wasmi」に脆弱性が明らかになった。
ttps://www.security-next.com/154875
0337デフォルトの名無しさん
垢版 |
2024/03/20(水) 05:37:59.51ID:wTR4SIFK
デフォルトで制限よりも多くのパラメーターを指定すると域外に書き込みを行うおそれがある「CVE-2024-28123」が明らかとなった。

2023年12月にリリースされた「同0.31.1」にて脆弱性は修正された。
パラメーターが128個以下であることを確認する回避策についてもアナウンスしている。
0338デフォルトの名無しさん
垢版 |
2024/03/20(水) 12:50:32.15ID:/slJg93x
>>336
そういうのRust関係ないからわざわざここに書かなくてもいいよ
0340デフォルトの名無しさん
垢版 |
2024/03/20(水) 13:48:07.28ID:i9d3tzeg
ガベージコレクションのあるスクリプト言語であるPythonですら脆弱性でCVE出まくってるよ
0342デフォルトの名無しさん
垢版 |
2024/03/20(水) 16:11:18.74ID:sC/F3tDJ
unsafe使用箇所だからメモリ安全の外だろうな
インタプリタのスタックフレーム参照で毎回境界チェックする実装も微妙だししゃーない
0344デフォルトの名無しさん
垢版 |
2024/03/20(水) 17:50:49.65ID:w9jt/Hdz
コード見てみたが言語関係なくダメな書き方の見本ってだけだな
ttps://github.com/wasmi-labs/wasmi/commit/f7b3200e9f3dc9e2cbca966cb255c228453c792f
ttps://github.com/wasmi-labs/wasmi/blob/v0.31.0/crates/wasmi/src/engine/stack/values/mod.rs#L158-L163

修正コードは毎回境界チェックしてるのと同じ
extendする前に必ずreserve呼ばなければいけないとか反省の色が見られない
0345デフォルトの名無しさん
垢版 |
2024/03/20(水) 18:13:46.74ID:ASk8Mk2n
extendという名前も実体と違ってバクの素
0349デフォルトの名無しさん
垢版 |
2024/03/20(水) 20:32:22.01ID:sC/F3tDJ
んなこたない
ダメなunsafeの使い方すれば安全じゃなくてもコンパイルは通せる
0350デフォルトの名無しさん
垢版 |
2024/03/21(木) 01:05:26.83ID:CBfowBe/
直接の原因はunsafeなメソッドをsafeメソッドにしたこと
unsafeのsafe wrapperの質は大事
今のコードもunsafeの使い方が怪しくて信頼できない

fn get_release_unchecked_mut(&mut self, index: usize) -> &mut UntypedValue {
debug_assert!(index < self.capacity());
// Safety: This is safe since all wasmi bytecode has been validated
// during translation and therefore cannot result in out of
// bounds accesses.
unsafe { self.entries.get_unchecked_mut(index) }
}
0351デフォルトの名無しさん
垢版 |
2024/03/21(木) 01:39:19.40ID:t5wrhqh7
>>350
俺んとこもそのコードはよく書くけれど
今回の敗因は引数のindexが生のusizeであること
そこをusize直接ではなくそのラッピングの専用型にする
そしてその専用型が動く範囲が必ず範囲内であることを保証する形で
get_uncheckefのunsafeを使う関数をsafeに仕上げる
0353デフォルトの名無しさん
垢版 |
2024/03/21(木) 19:57:12.18ID:7RDAu5V5
全然そういう事

Rustで無闇にunsafeを使うのは日本語で無闇に「全然」を使うくらいやばい
0354デフォルトの名無しさん
垢版 |
2024/03/21(木) 20:09:58.67ID:gM/gTjZ5
>>353
それ言うなら

無闇に「ヤバい」を使うぐらいヤバい

じゃね
0355デフォルトの名無しさん
垢版 |
2024/03/21(木) 20:26:53.11ID:1l7zk65j
俺はむやみに「全然」とか「ヤバい」を使ってるけどトラブルになったことはないな
ガンガンunsafe使ってこーぜ!!
0357デフォルトの名無しさん
垢版 |
2024/03/21(木) 20:45:04.06ID:t5wrhqh7
少なくとも>>350のindex: usizeは
何らかラッピング { index: usize }と別型にすべきところ
まず範囲外のusizeでうっかり使っても型エラーにできる
そしてラッピング型の動作が必ず範囲内に収まるコードであることを注視するだけで安全性を保証できる
0358デフォルトの名無しさん
垢版 |
2024/03/21(木) 21:05:14.02ID:7RDAu5V5
NonZeroとかNonNullみたいな固定条件ならいいけど
範囲みたいな可変条件だと型だけじゃ厳しいでしょ
別の条件で作られた同じ型の値を使われるかもしれないし
ライフタイムで条件と関連付けるのも限界がある

結局テストパターン増やしてdebug_assert踏むしかない
0359デフォルトの名無しさん
垢版 |
2024/03/21(木) 21:44:37.76ID:t5wrhqh7
>>358
もちろん二段階
まずは専用型にすることで管轄外のusize indexがうっかり混じるのを型エラーで確実に避ける
次にコーディングやレビューやメンテでその専用型の動きに注視できる
0360デフォルトの名無しさん
垢版 |
2024/03/21(木) 22:18:44.86ID:cOunjWn7
unsafeをsafeでないのにsafeにしておいて
ある型が使い方によってはunsafeになるかもしれないから注視しろってのはちょっとキツイです
0361デフォルトの名無しさん
垢版 |
2024/03/21(木) 22:27:42.27ID:WuGieKPN
結局プログラマが色々意識してコーディングしないと安全にはならないのね
こういうのもコンパイラがエラーにしてくれてそれを直していけば安全になるものだと思ってたんですけど
0362デフォルトの名無しさん
垢版 |
2024/03/21(木) 23:07:15.31ID:7RDAu5V5
unsafeに手を出さなければ最悪でも暴走する前にpanicで停止する安全性は確保できる
実際は安全の為でもpanicで止まると困るから色々注意しないといけないし
unsafeで余計なチェック省いたり黒魔術使ったりもする
Rustの安全性のサポートは選択と集中がしやすくなる程度で万能ではない
0363デフォルトの名無しさん
垢版 |
2024/03/21(木) 23:12:07.53ID:v/mpoJJ8
>>361
unsafeを使わなれば自動的に安全が保証される
unsafeを使うならその関連箇所に人間による安全保証が必要、それ以外は自動的に安全が保証される
C/C++はすべてのコードがunsafe状態なので自動的に安全が保証されるところがない
0364デフォルトの名無しさん
垢版 |
2024/03/21(木) 23:22:25.34ID:WuGieKPN
いつもの人がきたw
結局レベルの低い人が書くとunsafeも不適切に使われて今回のように脆弱性が出てしまうでしょ
Rustであれば安全と思ってる人が多そうなのでかえってunsafeによる脆弱性が見落とされたり発覚しにくくなって問題だと思うんですけど
0365デフォルトの名無しさん
垢版 |
2024/03/21(木) 23:58:23.31ID:z414Bs3I
> Rustであれば安全と思ってる人が多そう

いや一応言っとくけど多くはないよ流石にw
一部の人が連呼してるだけ
ほかの人はもっと現実的だろな
0366デフォルトの名無しさん
垢版 |
2024/03/21(木) 23:59:21.08ID:t5wrhqh7
原則はunsafeを使うな!
これだけだ

理解できていてunsafeを使う場合も
とにかく閉じ込めろ!
専用のクレートを作れ
専用のモジュールを作れ
専用の型を作れ
0368デフォルトの名無しさん
垢版 |
2024/03/22(金) 09:16:28.77ID:IQ7X1X+j
まあ実際rustはコンパイル通ればいいの思想を強める傾向にはある。
それは意識して気をつけた方がいい。
0369デフォルトの名無しさん
垢版 |
2024/03/22(金) 10:19:34.77ID:avPqaarP
ロジックや言語仕様を考えずにコンパイルが通るまでひたすらいじくり回すタイプの人間は本当にいる。
チュートリアルすら読まずに書き始めてなんもわからんから教えてと質問サイトに投稿しちゃうやつはいる。
そういうやつは早めに脱落して欲しいし大抵は脱落していくんだけどどういうわけか生き残ってあらゆるところをワヤにしていく狂人がたまにいるんだよ……
普通に現実を見ながらちゃんと学べる人なら (たまにはミスることもあるだろうけど) 大丈夫だよ。
0370デフォルトの名無しさん
垢版 |
2024/03/22(金) 11:58:26.79ID:7Rs7masV
>>358
0〜127の範囲のみを取りうるようなEnumなら作れる
wasmiの例のように実行時にバッファサイズが変動するなら無意味だけど


サイズが変動する場合はget_uncheckedに必要な安全性の保証をsafe wrapperの中でやるのが基本
それができないならunsafeのままにして上位で安全性を保証させるようにしないといけない
>>359のやり方はそれができてないように感じる
0371デフォルトの名無しさん
垢版 |
2024/03/22(金) 12:34:01.41ID:TbCMvv+/
実行時に範囲が変動するといっても制御下にあるのだからindexがその範囲にある時のみ有効な型を実装すればよい
そうすればその型に対して常に安全にget_uncheckedを使える
0373デフォルトの名無しさん
垢版 |
2024/03/22(金) 14:10:55.04ID:ceR9yHkM
今回の件でRustの安全性が確実になったのが興味深いよな
アンチが必死に探してきた問題も>>350でunsafe利用だった
0374デフォルトの名無しさん
垢版 |
2024/03/22(金) 16:00:31.63ID:JqYXTM4B
>>371
「indexがその範囲にある時のみ有効な型」の意味がよく分かってないけど
実行時に型の方でindex検査して無効時にpanic起こすなら普通にusizeでgetしてunwrapしようよ
unsafeにする意味がない
0375デフォルトの名無しさん
垢版 |
2024/03/22(金) 17:14:19.13ID:vuLWDWdh
>>374
実行時コストをかけないためにget_uncheckedを使うのが一般的
その代わりロジックでindexが範囲内であることを保証する(ことがてきる時に使われる汎用的な手法)
0376デフォルトの名無しさん
垢版 |
2024/03/22(金) 19:27:28.32ID:G6tKD1fj
Adaなら特定の範囲の型作れるみたいよ
0378デフォルトの名無しさん
垢版 |
2024/03/23(土) 23:29:45.64ID:eeq00BcS
誰にでもunsafeが使えてしまうのが問題なのでは?
原則使えないくらいが、バカでも安全になるからRustの方向性に合ってる気がする。
0379デフォルトの名無しさん
垢版 |
2024/03/24(日) 00:34:36.37ID:iaJ2USO3
Rust の制限は機械的に検証可能な範囲に絞ったらそうなったということであって、その制限の範囲内で十分にプログラムが書けるというものでもない。
まあ思ったよりも足りるけどやっぱり必要だから unsafe はある。
0380デフォルトの名無しさん
垢版 |
2024/03/24(日) 10:55:06.56ID:UXqlkypu
>>375
「indexがその範囲にある時のみ有効な型」でも有効範囲が実行時に変動するなら>>350の引数のindexをその型に変えたところでsafeにしたらダメだよ
0381デフォルトの名無しさん
垢版 |
2024/03/24(日) 11:08:34.82ID:BHU0SFkf
なるほど、欲しい機能を実装していったら、結構安全になったって感じなのかな。OpenBSDみたいな偏執なのとは違う感じか?
0382デフォルトの名無しさん
垢版 |
2024/03/24(日) 11:48:11.45ID:uu8/yG2s
indexの境界チェックが律速になるようなコード書いてみてえな
0383デフォルトの名無しさん
垢版 |
2024/03/24(日) 20:37:14.59ID:YsO86RjG
>>376 型宣言の時に type My_Int is range -1 .. 5; 範囲宣言(マイナスでも、1からでもOK)できて、範囲を越えたらエラー 配列もその範囲指定で自由に作成できる。
0384デフォルトの名無しさん
垢版 |
2024/03/24(日) 20:45:58.90ID:Rrl8qRWO
>>383
定数じゃなければ結局実行時にチェックするってことだよね
0385デフォルトの名無しさん
垢版 |
2024/03/25(月) 01:12:47.74ID:yMlw6u5B
>>384
新しい型はint型とは独立した型なんだから変数にしたってその新しい型じゃないとコンパイル時にエラー。
0386デフォルトの名無しさん
垢版 |
2024/03/25(月) 07:21:41.59ID:CNajD+3j
>>384 何十年も前なのですまそ
array(-2)とかarray(6)をアクセスしたら例外発生 array(-1)はOK

type Month is range 1..12
type Month_Array is array(Month) of Integer;
ma : Month_Array := (1,2,3,4,5,6,7,8,9,10,11,12);

for m in ma'first..ma'last loop // カウンタは1から12
ma(m) = m;
end loop;
0387デフォルトの名無しさん
垢版 |
2024/03/25(月) 14:37:28.19ID:x/lXcXel
今回の話は実行時境界チェックを無くす(減らす)実行時コスト削減の話だけど
そのAdaの例だと実行時に範囲外に値が動けてアクセスで例外発生するから何の解決にもなっていないね
0389デフォルトの名無しさん
垢版 |
2024/03/25(月) 17:27:16.04ID:MT/jL+52
こんなもんjavaの速度低下が境界値チェックによるものじゃないってことで話は終わっとると思ったけどな。
問題は浮動小数の取り扱いだっての。
0390デフォルトの名無しさん
垢版 |
2024/03/25(月) 21:23:48.62ID:x/lXcXel
unsafeは可能な限り避けるべきで
safe Rustでの改善をまずすべき
その次にindex checkの有無で意味のあるパフォ向上がある時のみ考える

現実にはsafe Rustでの改善ができてないことが多い
例えばよく見かける例としては
iが動いていくのにa[i]でアクセスしてしまう
これはiの範囲checkとa[i]の範囲checkで二重checkになるbad pattern
参照(ポインタ)化することで範囲checkを1回に減らせる
0391デフォルトの名無しさん
垢版 |
2024/03/27(水) 15:06:55.14ID:g9hYSxJr
unsafeは極力避けろというアドバイスばっかりでunsafeを適切に閉じ込める基本的な考え方や実装パターンの啓蒙が不十分なんだよね

unsafeを良く知れば知るほど自然と避けるようになるから避けろ避けろと言うよりもunsafeに関する知識を深められるようにする方が大事
0392デフォルトの名無しさん
垢版 |
2024/03/27(水) 15:29:03.70ID:pFQTMi8v
「unsafeの閉じ込めにはセンスがいるから、教えてもらわないと出来ないやつはunsafeを使うな」
が言える限界な気がする。現にunsafeを適切に閉じ込めるためのノウハウを継承できる資料とかがないので
0393デフォルトの名無しさん
垢版 |
2024/03/27(水) 16:02:47.08ID:BwG0n/Az
unsafeはライブラリ作者とかがハード周りアクセスするために使うもので、コーダーが使うものじゃないだろ。

unsafe可能ソースファイル用の拡張子を別途用意して、rsファイルはunsafe禁止にしてもいいくらいじゃない?
0395デフォルトの名無しさん
垢版 |
2024/03/27(水) 17:05:39.09ID:6Vj8sISV
>>392
センスの問題ではないと思うが仮にセンスが必要だとしてもセンスがあるやつが適切に閉じ込めた事例とダメな事例を類型化してパターンナレッジとして浸透させればいいだけ
今はそれが全然できてないから>>350のような基本的なミスを犯すやつが後を絶たない
0396デフォルトの名無しさん
垢版 |
2024/03/27(水) 17:08:09.55ID:6japDZ8y
windows-rs とか使うと絶望するよな。もうちょいラップして安全なAPIも提供してほしい。
0397デフォルトの名無しさん
垢版 |
2024/03/27(水) 18:09:17.85ID:345wycOn
>>395
~すればいいだけって言う奴はたいてい本人はやらないんだよなぁ。
0398デフォルトの名無しさん
垢版 |
2024/03/27(水) 18:27:03.05ID:3NgGdhlw
>>397
問題点の指摘や解決策の提案と
問題解決のために実際に誰が動くのかという
2つの異なるものを混同したらだめだよ
マネジメント101
0399デフォルトの名無しさん
垢版 |
2024/03/27(水) 18:54:43.86ID:nHNmKGrp
その素晴らしい提案がなぜされていないのか考えよう
そしてなぜ自分は実行から逃げているのか考えよう
0400デフォルトの名無しさん
垢版 |
2024/03/27(水) 20:42:45.86ID:deTzlgug
>>394
Rustが流行りそうな一番の理由は「管理側」が「コーダー」にunsafeみたいなことをやらせたくないということなんだから、どこでもunsafeとか管理側が許さんだろ。
0401デフォルトの名無しさん
垢版 |
2024/03/27(水) 21:06:58.89ID:LwoOYerE
unsafe はコンパイラが安全性を「論理的に検証できない」部分であって、理論上の都合で出来た区分だよ。
危険な操作も含まれるけど危険な部分を分けれてるわけではない。
もちろん unsafe を制限する規約のプロジェクトがあったって良いが、そのための機能じゃないよ。
0402デフォルトの名無しさん
垢版 |
2024/03/27(水) 21:18:47.87ID:deTzlgug
>>401
安全性をコンパイラが検証できないなら、なおのこと制限すべきだと思うがね。
デフォルト禁止でもいいくらい。
0403デフォルトの名無しさん
垢版 |
2024/03/27(水) 21:31:01.25ID:LwoOYerE
>>402
だからそうしたいならそうすりゃいいって話をしてる。
あなたが裁量権をもつプロジェクトでは。
私が反論してるのは「そのためのものだ」という部分に対して。
0404デフォルトの名無しさん
垢版 |
2024/03/27(水) 21:44:58.62ID:deTzlgug
>>403
Rustのコンセプトとニーズからすれば、どこでもunsafe使えるのは中途半端だ、ということだよ。
unsafeはデフォルト禁止でいいよ。
0405デフォルトの名無しさん
垢版 |
2024/03/27(水) 21:49:49.48ID:Fy0R0co2
理想をいえばunsafeなんて無いならサイコーだったんだろうね
rust陣営もしゃあなしでunsafe導入したんやろうし
unsafeなしですべてがセーフで効率的だったら
そりゃあrustは本当に素晴らしい文句なしの言語だったやろな
0406デフォルトの名無しさん
垢版 |
2024/03/27(水) 22:08:33.46ID:toZsv7uT
生ポインタすなわちCPUによるメモリアクセスはunsafe
そこが出発点

unsafeを組み合わせてunsafeを閉じ込めたsafeなインタフェースを提供できる
それがsafe Rustの基本原理

つまりunsafeに行き着くためunsafe無しでは何もできない
これが真理

一方で
unsafeを閉じ込めたライブラリ利用可を前提にすれば
unsafeを用いないsafe Rustでほとんど大抵のことが実現できるのも事実
0408デフォルトの名無しさん
垢版 |
2024/03/27(水) 22:52:47.09ID:qNf/D02g
そこまでsafeな事にこだわるなら、Haskellに行けばいいのでは…?
0409デフォルトの名無しさん
垢版 |
2024/03/27(水) 22:57:38.14ID:LwoOYerE
>>404
「そうであって欲しいと自分は思っている」なら別にいいよ。
ニーズとかコンセプトとか、ありもしないものを根拠にしてることに反論されてるんだよ。
0410デフォルトの名無しさん
垢版 |
2024/03/27(水) 23:02:28.02ID:toZsv7uT
#![forbid(unsafe_code)]
を宣言すればいい

もちろんすべてはunsafeへ行き着くため
unsafeを禁止できるのは自分のコード部分だけ
0411デフォルトの名無しさん
垢版 |
2024/03/27(水) 23:55:45.93ID:pFQTMi8v
unsafeな部分の拡張子を変えるというのが有効とはあんま思えんのだよな
平気でunsafe使ってくるガイジは当然平気でunsafeな拡張子を使ってくるだろうという予想する
0412デフォルトの名無しさん
垢版 |
2024/03/28(木) 07:44:09.91ID:OabXy/xk
>>409
公式の「効率的で信頼できるソフトウェアを誰もがつくれる言語」に従うなら、安全でもなくて誰もが使えるわけでもないunsafeはデフォルト禁止にすべきだろ。やっぱりチグハグだわ。

>>411
拡張子以外だとどんなのができるかねぇ。コーダー向けRustとライブラリアン向けRustで完全に分けるぐらい?
0413デフォルトの名無しさん
垢版 |
2024/03/28(木) 08:15:17.48ID:wHq/ItvK
rustもいろいろ問題を抱えてるんだね
プログラマの習熟が必要だっていうなら流行らないだろう
メモリ安全なソフトウェア書くことを優先するなら土方が適当に使えるjavaやc#があるだろうし
新しいc/c++/rustと競合する決定版のような言語が出てきてrustはさらなる傍流に押しやられそう
0414デフォルトの名無しさん
垢版 |
2024/03/28(木) 08:34:31.08ID:5loDhjzb
>>412
こう書くだけでunsafeの使用が禁止されます
#![forbid(unsafe_code)]

>>413
普通の人はunsafeなんか使いませんからRustは安全で何も問題ありません
0415デフォルトの名無しさん
垢版 |
2024/03/28(木) 08:48:28.49ID:OabXy/xk
>>414
>411みたいなマキャベリガイジが混ざると破綻しますな。
MSとかGoogleとかの管理側がRustに期待するのはそういった部分含めた安全性だろ。
0416デフォルトの名無しさん
垢版 |
2024/03/28(木) 09:00:19.29ID:5loDhjzb
>>415
これでunsafeが使用禁止となり安全なsafe Rustになる
#![forbid(unsafe_code)]
コンパイラがunsafeをエラーとして弾く
0417デフォルトの名無しさん
垢版 |
2024/03/28(木) 10:37:24.50ID:dWo+4s1T
結局いつもの「無知なアンチ vs 無知な信者」の薄っぺらい対立になっちゃうのな
0418デフォルトの名無しさん
垢版 |
2024/03/28(木) 14:03:58.90ID:61/ABBlz
まあハスケルなんかもinvalidな変数使うようにっての広めるのには役立ったからrustもそういう位置に落ち着くだろ。
0419デフォルトの名無しさん
垢版 |
2024/03/28(木) 17:41:01.08ID:Li+1uESY
unsafeを使う人はライブラリ作成者がほとんどで、残りはシビアなインフラ作成者
一般プログラマーはunsafeを使わずに、unsafeが閉じ止められたライブラリのsafeなインターフェースのみ用いる

もしunsafeを用いて閉じ込めてsafeなインターフェースを提供できる新たなパターンを発見した時のみ、
その部分だけを切り出してライブラリ作成者になれる
それができない一般プログラマーはunsafeに縁がなく、unsafeを気にする必要がない
0420デフォルトの名無しさん
垢版 |
2024/03/28(木) 18:27:15.03ID:OabXy/xk
>>419
そうならやっぱりデフォルト禁止にすべきだな。一般コーダーはunsafeを使えないようにしてコードの安全性を高めるべき。

Rustのデフォルトムーブとかshared xor mutableとかは安全側に倒しているのに、なんでunsafeだけはユルユルなのかね。
0421デフォルトの名無しさん
垢版 |
2024/03/28(木) 18:35:39.73ID:2Ez7VURh
unsafeって書かないといけないってのは結構デフォ禁止よりの処置だと思うが
このメッセージが伝わらない相手にはもうunsafeの文法を分けてunsafeだけ難しくするとかしかなさそう

でもわざわざ難しい文法を用意すると言うのも馬鹿らしい話だ
0423デフォルトの名無しさん
垢版 |
2024/03/28(木) 19:45:10.84ID:OabXy/xk
>>422
公式のドキュメントで
#![forbid(unsafe_code)]
の説明を探しているんだけど、どこにあるのかしらん?
doc.rust-lang.org/nomicon/safe-unsafe-meaning.html
の1行でおしまい?
0424デフォルトの名無しさん
垢版 |
2024/03/28(木) 20:08:10.91ID:uNPCtnZO
forbidもunsafe_codeもrustcのlintの一部だな
doc.rust-lang.org/rustc/lints/levels.html#forbid
doc.rust-lang.org/rustc/lints/listing/allowed-by-default.html#unsafe-code
0425デフォルトの名無しさん
垢版 |
2024/03/28(木) 21:59:19.02ID:vhhc95Ef
Rust Foundationによる資格認定試験に合格した者だけにunsafe使用パスワードが発行されるようにするしかないな。
0426デフォルトの名無しさん
垢版 |
2024/03/28(木) 22:34:58.42ID:jTiWvkZ+
どの開発でも
#![forbid(unsafe_code)]が原則

どうしてもunsafeが必要なら
その安全ロジックを関係者で協議後に
#![deny(unsafe_code)]へそのモジュールのみ変更し
許可する部分のみを
#![allow(unsafe_code)]として監視対象
といった感じが一般的かと

監視対象を極一部に限定できて
全体はコンパイラにより保証できるため
他のプログラミング言語より扱いやすい
0427デフォルトの名無しさん
垢版 |
2024/03/28(木) 22:41:56.41ID:8+kd1npI
>>420
一般とそうでない奴は誰がどうやって区別するのさ?
0428デフォルトの名無しさん
垢版 |
2024/03/28(木) 22:42:31.88ID:8+kd1npI
>>421
正解
0430デフォルトの名無しさん
垢版 |
2024/03/29(金) 00:05:51.94ID:B//2x2dm
時間がない時に焦ってunsafe使って書いたコードは長期利用すると大変なことになるので書いてから1時間以内に使って捨てよう
0431デフォルトの名無しさん
垢版 |
2024/03/29(金) 00:19:58.75ID:Rgc3qInF
>>429
safeで書くのが早くて楽で安全
わずかでもパフォ上げる必要性のあるような箇所が生じない限り、unsafeを検討する人は存在しない
0432デフォルトの名無しさん
垢版 |
2024/03/29(金) 00:24:32.79ID:Rgc3qInF
>>430
unsafeの使用は、その論拠の安全性の検討や、それ以前に必要性の検討などが必要となるため、時間がかかる
safe Rustが楽で早く書けて安全
0434デフォルトの名無しさん
垢版 |
2024/03/29(金) 02:36:16.29ID:B//2x2dm
>>432
安全性の検討も必要な検討も全部スキップして「えいや」ってやればsafe rustより速く書き上がることもあるのでは?
0435デフォルトの名無しさん
垢版 |
2024/03/29(金) 07:36:27.65ID:9Pm5HVgJ
雑にunsafe使って早く書けるのはFFIくらいかな
FFIはどのみちunsafe必須だけど、事前条件とかの検討せずに雑にsafe化してしまうならそれは確かに早い
pure Rustでunsafeの方が早いケースはちょっと思いつかないな
0436デフォルトの名無しさん
垢版 |
2024/03/29(金) 08:25:13.35ID:bd1Zch8f
>>427
そりゃプロジェクト管理者だろ。
そもそもRust採用するメリットはソースコードの品質管理しか無いし。

デフォルトunsafe禁止は何回か話題に出てきているのな。
0438デフォルトの名無しさん
垢版 |
2024/03/29(金) 08:41:03.04ID:ev5kqnbp
初心者ぼく「禁止しないといけないようなもんが標準で使えるって結局それ危険な言語なんでは?
0439デフォルトの名無しさん
垢版 |
2024/03/29(金) 09:16:34.82ID:cTkAvXQI
そもそも普通に書いててunsafe使いたいなって場面がない
多人数で書いてるならforbidで落としてもいいけど
コードレビューでちょっとでも見ればunsafe使ってることは明らかなんだし、いずれにしてもどうでもいい
0440デフォルトの名無しさん
垢版 |
2024/03/29(金) 09:24:57.68ID:vaG7EqUh
>>436
じゃunsafe使うな、で済む話じゃん。
0442デフォルトの名無しさん
垢版 |
2024/03/29(金) 11:01:08.74ID:8PtB/vi4
rustもプログラマがザコだと使いこなせない言語なんだろ?
人材確保すら苦労するってメジャーになれるのかよ
0444デフォルトの名無しさん
垢版 |
2024/03/29(金) 11:49:42.05ID:ZM8BmiyA
たしかにプログラムの品質がいいから出世するって見たことないわ
逆にクソ過ぎて出世できない奴はいるかも知れんがそういう奴はプログラム云々の問題ではないからな
0445デフォルトの名無しさん
垢版 |
2024/03/29(金) 11:53:12.39ID:opHbD1qf
unsafeは面倒
Rustで書いていてunsafeを使いたい気分になることがない
さらに通常のプログラミングでunsafeを使うメリットがあるケースが訪れることはまずない
0447デフォルトの名無しさん
垢版 |
2024/03/29(金) 12:08:03.79ID:6hM9S6Vd
初心者や一般的な人は、unsafeの使い所がないなら、unsafeを使うようなすごい人でもミスをしたり理解不足だったりするって事だから、すごい人が精進すれば解決でしょ。
0449デフォルトの名無しさん
垢版 |
2024/03/29(金) 12:13:58.45ID:E/kaNL72
>>442
C++ とかだと使いこなせてないのになんとなく動いちゃったりするから……
使えてないなら使えないほうがちょっとマシなんだよ。
0450デフォルトの名無しさん
垢版 |
2024/03/29(金) 12:15:29.32ID:vaG7EqUh
>>448
言語機能的にunsafeって書かなければそもそも使えないじゃん。
0451デフォルトの名無しさん
垢版 |
2024/03/29(金) 13:21:21.11ID:l8m+nc89
>>446
時間の無駄
0453デフォルトの名無しさん
垢版 |
2024/03/29(金) 16:25:54.97ID:34VMnlB4
unsafeでサクッと終わらせてどんどん仕事取ろうぜ
safeでチンタラやってる無能に仕事を回すな
0454デフォルトの名無しさん
垢版 |
2024/03/29(金) 17:20:13.23ID:Cl3C8AEw
アンチはunsafeを使うと早く書けると誤解しているのが面白い
早くもなければ楽でもないので普通は使わない
0455デフォルトの名無しさん
垢版 |
2024/03/29(金) 17:36:40.68ID:cTkAvXQI
「借用エラー出たらとりあえずunsafeと書いとけば回避できる」くらいのイメージなんかね
0456デフォルトの名無しさん
垢版 |
2024/03/29(金) 17:56:14.07ID:uhU4IUEm
このスレの優秀な人たちを安月給で揃えたチーム作れたらunsafeについて真面目に取り組んでもいいんだが
0457デフォルトの名無しさん
垢版 |
2024/03/29(金) 18:02:08.48ID:uhU4IUEm
正常なコミュニケーション力を持った優秀なエンジニア
→こいつらは出世するのでプログラミングスキルは生かされない方向に進む

正常なコミュニケーション力がない優秀なエンジニア
→こいつらはどうでもいいことばかりブツブツ言っててイマイチスキルが生かされない

どうしたら優秀なエンジニア揃えられるんや…
0458デフォルトの名無しさん
垢版 |
2024/03/29(金) 18:06:18.85ID:fG0MAqjd
カチョー「では進捗を報告してください」
unsafe_man「アノー、チョット時間かかってオリマシテ、アンセーフが、ソノー(怒涛の勢いで難しいことを話し続ける)」
カチョー「???」
0459デフォルトの名無しさん
垢版 |
2024/03/29(金) 18:22:45.54ID:TAofIzHh
>>457
放っておいても勝手に集まるから心配しなくていいよ
そこに混ざりたいなら自身も優秀なエンジニアになる必要はあるけど
0463デフォルトの名無しさん
垢版 |
2024/03/29(金) 19:54:25.38ID:M7FjmHlu
unsafe使う機会ってほぼないよな
よほどシビアな低レベルライブラリ作成かFFI部分くらいじゃないか
0464デフォルトの名無しさん
垢版 |
2024/03/29(金) 19:58:01.23ID:wqpOcL9O
優秀なエンジニアは担当している仕事がいつ頃終わるか明確に答えられる人
でunsafeを使いこなせるかどうかなんか無関係

これいつまでかかるのと聞かれていつまでに終わるか言えて理由も言える人
0465デフォルトの名無しさん
垢版 |
2024/03/29(金) 19:59:06.31ID:0Uoml8t7
システムプログラミング用途も売りにしてなかった?
Cと同等のことをしてみせようってんなら
unsafeくらい当たり前に常用するやろ?しらんけど
ボクは使いません!みたいな意見は誰も求めてないからw
0466デフォルトの名無しさん
垢版 |
2024/03/29(金) 20:37:55.25ID:TAofIzHh
unsafe使うと変更する時にだるくなるからできるだけ使わない
グローバル変数使うのと同じ気分

「グローバル変数くらい当たり前に常用するやろ?しらんけど
 ボクは使いません!みたいな意見は誰も求めてないからw」
とか言われたら知らん
0468デフォルトの名無しさん
垢版 |
2024/03/29(金) 20:47:48.55ID:0Uoml8t7
使う必要があるからunsafeってもんがあるんであって
使う必要がない人の意見や感想は求められてないんよ

使うべきとか使うべきじゃないとか
普通はどうとか普通はどうじゃないとか
無意味な応酬はやめよう
0469デフォルトの名無しさん
垢版 |
2024/03/29(金) 21:08:57.87ID:bd1Zch8f
コーダーの「使う使わない」の問題じゃなくて、管理者の「許可する禁止する」の問題なんだよ。
0470デフォルトの名無しさん
垢版 |
2024/03/29(金) 21:45:08.79ID:DW6NdCQ6
>>451
君の時間の無駄ってこと?
こんなところで毎日無駄な時間過ごしてるのに?
それって君がやらなければいいだけだよね
0472デフォルトの名無しさん
垢版 |
2024/03/29(金) 21:52:31.85ID:TAofIzHh
エンジニアが判断すべき問題を管理者が決定してるようなレベルの開発現場まで
Rustが普及する日は来るんだろうか
上の方でも言われてたけどコーダー集まらない問題に直面しそうだが
0473デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:06:45.92ID:wqpOcL9O
Rustはコーダーは集まらんだろ

普通は外注先がほぼコーディングできない新人を連れてきて実質的にこちらが教育する羽目になる
ある程度使えるようになるとそいつがどこか単価の高いところに送られてまた代わりの新人が送られてくる

大手だとこれの繰り返しだがRustはそれが難しい
0474デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:29:09.47ID:wqpOcL9O
意図的にどこかで誰かが資金を投入してRustコーダーを栽培()しないと
増えるわけがない
javaやpythonじゃないんだから

野良Rustコーダーなんて存在しない
使える人間は100%C++使いなので引っ張ってこれない
0475デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:30:50.06ID:UmT7/PmU
エンジニアの趣味なら高尚な言語追求してもいいと思うけど、ビジネスで使う言語はあくまでビジネスメリットが大きなもの選ばないと立ちいかなくなるよな
0476デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:35:31.54ID:B//2x2dm
まあJavaとかC++のバケモノみたいな分量のコーディング規約の存在を考えると、「Unsafe使うな」の一言で済むRustは原理的にはビジネス的なメリットありそう
0477デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:48:02.40ID:0Uoml8t7
それよりもホントにシステムプログラミングできてんのかが興味あるわ
CからはOSならばUnixやLinuxやWindowsが生まれてきたけど
Rustからは一体どんな素晴らしいものが生まれてくるんだろうか?
Cより書きやすくて? 安全なんだよね? 期待していいんよね?

Systems programming
https://en.wikipedia.org/wiki/Systems_programming
e.g. operating systems, computational science applications, game engines, industrial automation, and software as a service applications
0478デフォルトの名無しさん
垢版 |
2024/03/29(金) 23:01:23.64ID:B//2x2dm
今更OSを書いたところでビジネスに出来るのは一握りの人間だからCの頃とは話がちょっと違いそうではある
でも期待するのは自由だ
Rustファンはみんな期待している
0479デフォルトの名無しさん
垢版 |
2024/03/29(金) 23:11:14.94ID:JKQcuRe5
>>477
interfaceって組み込み専門誌は毎月お題スレみたいな問題を解く記事が出てたり、Rust特集の時でもOSを作るどころか、OS乗らないような環境(Cとアセンブラの独壇場。C++不可の世界)で組み込みRust使う記事とかあったよ。

ビジネスになるかはともかく、技術的には余裕なはず。
0481デフォルトの名無しさん
垢版 |
2024/03/30(土) 00:06:31.16ID:v9pXWAWc
>>472
Rustは仕様や周辺ツールが飛びぬけて優秀な故
JavaやPHP等他の言語と違って素人でも適当に書いても
大した問題は起こらないから「技術者の立ち位置」を守る観点で見ると
大規模開発現場で普及する事はこれからも無いよ。
0482デフォルトの名無しさん
垢版 |
2024/03/30(土) 01:01:10.58ID:7ofxl8DK
それで守られるのはITコン猿の立ち位置じゃね?
エンジニアは長期的な保身より目の前の利便性に飛びつきそうだが
0483デフォルトの名無しさん
垢版 |
2024/03/30(土) 01:46:17.09ID:v9pXWAWc
知ってる人間は黙ってRustの恩恵を受けておけば良くて
人売りサル業界は人/月だコミュニケーションスキルだと
喚いていれば良い。
0484デフォルトの名無しさん
垢版 |
2024/03/30(土) 07:28:24.91ID:6WvjgMqi
C++が流行った経緯知ってる奴なら想像できるだろ。
C++が出た当初はSTLもテンプレートもなかったしライブラリなんかはObjective-Cのほうが多いくらいだった。
でも流行ったのはC++。
0485デフォルトの名無しさん
垢版 |
2024/03/30(土) 13:15:43.05ID:Kpt9p6/a
C++はわかりやすく拡張されたCだからさ
ライブラリのAPIとかCばかりだから最悪そのまんまCでも良かった

NEXTSTEPでObjecive-C開発は呪術で入門書もなく上手くいかなくても何が悪いのかさっぱりわからない
日本語の書籍がないのが一番つらかった
0486デフォルトの名無しさん
垢版 |
2024/03/30(土) 20:58:56.17ID:IReUP+am
当時NeXTに触れてたやつおるん?
たまげたなぁ
俺なんか図書館の奥に潜んでるObjective-Cの本読んでたよ
いつごろだったかなぁ日本語のやつあったけどなぁ
まさかmacOSで脚光浴びるとは思いもせずに
0487デフォルトの名無しさん
垢版 |
2024/03/30(土) 21:08:50.38ID:Kpt9p6/a
研究室にあったんよ
当時でももう型オチででも予算無いからリプレースも出来ず
MOのデータを消しながら使ってた

古いUNIX系の雑誌の特集見てそれをポチポチやってクソうるさくて遅いHDDの音聞きながらコンパイル待って…と言う感じで

自分は図書館に埋もれたModulaの本を読んでた
0488デフォルトの名無しさん
垢版 |
2024/03/30(土) 21:14:51.55ID:IReUP+am
羨ましい
俺は演習室のBSDのWMをafterstepにしてニマニマしてただけ
あー羨ましい
0490デフォルトの名無しさん
垢版 |
2024/03/31(日) 11:42:27.74ID:lJUXuXT4
C の宣言の文法が無茶苦茶なのを C++ で改良するかどうか迷った話は D&E に書いてある。
結局は C のままでいくと判断した。
良くなるのだとしても、少なくとも一時的には大きな混乱が起こることを C++ は許容しなかった。
言語ってのはそれを取り巻くエコシステム (言語ユーザーやドキュメントも含む) と離れて成立することはないってこと。
C++ は C のツールチェインにほとんどそのまま乗っかる形で (最初は) 普及したし。

Rust はツールチェインの整備も一緒に取り組んだというのは普及の一助になったとは思うけど、
今までに作られた膨大なソフトウェア資源の最も低レイヤの部分は結局は C なんだよね。
そもそも ABI が C を基準にした仕様だったりするので
他の言語と接続するときは皆が C に合わせる形になる。

もしこれから Rust がもっと普及することがあったとしても低レイヤでは C の残滓はいつまでも消えないと思う。
0491デフォルトの名無しさん
垢版 |
2024/03/31(日) 15:29:48.98ID:dXzgmT0X
ABI stableにするのはエディション単位でいいんだからさっさとやればいいのにとは思う
0492デフォルトの名無しさん
垢版 |
2024/03/31(日) 16:44:42.12ID:PaHOJUqO
>>490
Rustで書いたOSが大流行でもしない限りCと同じようにはならない。
ただ、Linux は Rust を取り込み始めたので何十年も掛けてゆっくり Rust 化する可能性はある。
そうなると移行したライブラリは増え続け、50年後ぐらいには今のCと同じようになっているかも知れない。
もちろんその頃には別の新言語が出てきていて Rust が時代遅れな言語になっているわけだが。
0493デフォルトの名無しさん
垢版 |
2024/03/31(日) 19:15:56.54ID:r1rO2LMH
ABI部分のコーディングする人はプログラマーの1%もいないんだから影響は昔も今後もない
多言語システムはそれより多いけどそこはABIではなく様々な通信プロトコルなどを介する
0494デフォルトの名無しさん
垢版 |
2024/03/31(日) 19:55:09.30ID:T95JlUSJ
ABIこそ良い奴が出たら置き換えられそうだけどな
現状良い奴がないだけで
0496デフォルトの名無しさん
垢版 |
2024/03/31(日) 22:06:47.20ID:HimKkZni
いやまあ1%もいないんじゃない?
0497デフォルトの名無しさん
垢版 |
2024/03/31(日) 23:37:37.59ID:PUonJ710
そりゃABIがらみのプログラミングよりはProtocol Buffersなど使う方が多いんだろうけど
0498デフォルトの名無しさん
垢版 |
2024/04/01(月) 19:53:32.69ID:QJf4H8j7
そんなん言ったらrustを必要とするプログラマこそ1%もおらんけどな。
0501デフォルトの名無しさん
垢版 |
2024/04/02(火) 08:53:54.00ID:i0O60K8Z
>>500
メモリ安全というならSafe Rustのみだな。Unsafe Rustは禁止すべき。

c++標準も、Safe Rust に倣って
c++ subset for safe programming
とか 作ればいいのに。
0502デフォルトの名無しさん
垢版 |
2024/04/02(火) 09:19:58.94ID:D6QICSr8
メモリの具体的な番地やレイアウトに依存する低レイヤの事情が消えてなくなるわけじゃないからな。
0503デフォルトの名無しさん
垢版 |
2024/04/02(火) 09:39:48.87ID:EeET/S7r
java, python みたいな言語ならメモリ安全だよ。お前らの用途ならそれで十分だろ。
0504デフォルトの名無しさん
垢版 |
2024/04/02(火) 11:06:55.03ID:lti1kN7b
>>503
安全じゃ無いぞ
0505デフォルトの名無しさん
垢版 |
2024/04/02(火) 14:49:37.59ID:b3hi6lw5
>>501
C/C++はプログラム全体がunsafe空間なので難しい
safeにしようとすると全く別言語になってしまう
結局C/C++を捨てるのが正しい
0506デフォルトの名無しさん
垢版 |
2024/04/02(火) 17:14:03.69ID:kERS+9TD
>>503
nullポイントがある時点で…
一応JavaはStream APIと同じくらいのタイミングでOptional<T>が追加されてたはずだけど,だからといって従来の「失敗したらnullを返すメソッド」がOptionalを返すように修正されたわけじゃないしなぁ
0508デフォルトの名無しさん
垢版 |
2024/04/02(火) 18:23:13.98ID:mnREx4SD
ぬるぽ例外で止まるのはNone.unwrap()のpanicで止まるのと同じで安全に分類される
nullから何かを読み出して動き続けると危険
0511デフォルトの名無しさん
垢版 |
2024/04/02(火) 18:55:57.61ID:i0O60K8Z
>>505
コーダー向けだから別言語でいいよ。

new deleteは禁止していいし、ポインタ演算その他のポインタ処理は全部禁止でいい。生ポインタのヒープ領域コピーも禁止していいし、そもそも生ポインタ禁止で参照のみ可にしてもいい。
operator関数定義も禁止でいいんじゃない?
0512デフォルトの名無しさん
垢版 |
2024/04/02(火) 19:03:35.75ID:mnREx4SD
ちょっと何が禁止なのか分からないのでローカル変数の参照をreturnしておきますね
0513デフォルトの名無しさん
垢版 |
2024/04/02(火) 19:19:41.72ID:qL7KDCYj
rustって楽しい?
0515デフォルトの名無しさん
垢版 |
2024/04/02(火) 19:40:54.12ID:lti1kN7b
でもってライブラリが足りて無いなって思って「使えね」ってなるんだよね
0518デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:26:12.86ID:lti1kN7b
>>517
結構前にもNASAが同じ様な事言って今やんw
0519デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:31:06.25ID:EeET/S7r
rustを無理に使ってまですることがぬるぽ対策とかアホだよね
0520デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:45:15.37ID:lti1kN7b
>>519
まあ戦争によるサイバー攻撃に備えろってのは分かるんよ
日本も来年ぐらいに戦争になるって予測がアメリカとか含めて言われてるからね
0521デフォルトの名無しさん
垢版 |
2024/04/02(火) 21:20:14.32ID:+5bQ5ala
>>518
NASAに続いて米政府も「C/C++からRustへ切り替えろ」と明確なメッセージを出したことは大きいね
間違いなく日本も追随することになる
0522デフォルトの名無しさん
垢版 |
2024/04/02(火) 21:56:04.08ID:mnREx4SD
Rust愛用者だけど今のホワイトハウスに推されると逆に不安になるんだがw
ONCDは健全なのかな
0523デフォルトの名無しさん
垢版 |
2024/04/02(火) 22:51:50.04ID:ZP8DsSPi
>>518
NASA?NSAじゃなく?
NSAはNASAじゃないぞ。
0524デフォルトの名無しさん
垢版 |
2024/04/02(火) 23:24:29.45ID:JjgiIhmH
ワロタ
NSAとNASAの区別もできんとはww

メッセージを出してるところが広がってトーンも厳しくなってきてるのは確か
2022/11 NSA
2023/09 CISA
2023/12 CISA+NSA,+FBI+Five Eyesの各機関
2024/02 White House(ONCD)
0527デフォルトの名無しさん
垢版 |
2024/04/02(火) 23:57:17.27ID:ULMcj34Q
外部のお墨付きを欲しがる時点でオワっとるんよ
言語として
ここでそういう話題使って必死で盛り上げようとして
消えそうな火に風送ってるつもりかしらんけど
0528デフォルトの名無しさん
垢版 |
2024/04/03(水) 00:07:33.86ID:xB8sPKZQ
IT大手ライバル同士が
GAFAMからHUAWEIまで一致団結して
Rust Foundationを設立した時点で未来は確定していた
そしてRustに対抗できるライバル言語の芽が今も存在しない
0530デフォルトの名無しさん
垢版 |
2024/04/03(水) 07:36:47.52ID:ClJR5oeK
Rustの代替になる思想の言語が全くそれ以降全く見ないからな。
今のところGCレスでメモリ安全に向き合った唯一の言語でねえの?

後発の言語は Rust みたいに複雑なコンパイル時の検証を最初から書こうなんてそうそう思えないんじゃないかな。
0531デフォルトの名無しさん
垢版 |
2024/04/03(水) 08:17:45.92ID:OgaFV8I4
>>527
欲しがってるかね?
むしろ外部が乗っかろうとしてる感じ。
0532デフォルトの名無しさん
垢版 |
2024/04/03(水) 08:58:53.93ID:7dkIXzmY
>>530
メモリ安全に向き合う、程度ならそれこそc++11が先駆けだろ。
過去互換性のせいで徹底できないけど。

それよりもRustはスタックフレーム指向であることに価値がある。
スタック is god, 再帰 is god.
0533デフォルトの名無しさん
垢版 |
2024/04/03(水) 11:38:42.38ID:TbyA9/um
>>515
まあ標準ライブラリがかなりミニマムだなぁって感じるときはある
乱数くらい用意しておいてよ…
0534デフォルトの名無しさん
垢版 |
2024/04/03(水) 11:38:56.67ID:zWYr6uc2
>>530
ある言語Aがあってその弱点が強烈で直したいけどすでに普及しきっている
で別の言語Bが作られる

その言語Bが普及しきっていなければ容易に弱点を変更できるので別のC言語は必要とされない
0535デフォルトの名無しさん
垢版 |
2024/04/03(水) 13:08:37.11ID:VOIzFFgw
>>534
>その言語Bが普及しきっていなければ容易に弱点を変更できる
これが真とは限らない
容易に変更できる場合もあればそうでない場合もある
0536デフォルトの名無しさん
垢版 |
2024/04/03(水) 13:33:20.93ID:7LWlVk3J
Rustで過去に結構破壊的変更がされてたらしいけどそれは普及してなかったからじゃないのか

wikipedia
> 2015年に1.0版がリリースされるまでにいくつもの破壊的な仕様変更があったが、1.0版以降は基本的には後方互換を保って6週間間隔で定期的にリリースされている。
0537デフォルトの名無しさん
垢版 |
2024/04/03(水) 21:45:24.20ID:ClJR5oeK
GCやJITは銀の弾丸と思われていろんな後発言語に取り込まれたけど、所有権は最初から組み込むには高度すぎるがエコシステム成熟前に組み込まないといけないという制約が大きいんだろうな。
0539デフォルトの名無しさん
垢版 |
2024/04/04(木) 03:50:23.61ID:6dtGhNgR
>>537
所有権は最終的にはプログラム間の境界の問題になるから、c++のスマートポインタのようにアダプタで管理範囲を調整することで改善可能。
適切なアダプタを用意しても境界のプロトコルをどうやって徹底するかという問題は残るから、Rustみたいに言語レベルで強制できると頑強になる。

ただ、Rustみたいにガチガチにすると設計の柔軟性を失うから、実装も早すぎる最適化になりがち。Rustの絶壁の学習曲線と相まって、開発初期のRust導入はプロジェクトを破綻させる要因となりうる。Rustが適しているのは、ある程度枯れた設計の実装を置き換えるようなプロジェクトかと。
0540デフォルトの名無しさん
垢版 |
2024/04/04(木) 04:13:47.93ID:KZy/sIny
Rustはむしろリファクタリングにも向いていてなかなか良い言語だぜ
とりあえず動くように雑に書いて動かしてみて
次に機能追加充実させる上で整理しながらモジュール化や共通事項のtrait化など

このようなリファクタリング過程で
他の言語だとメモリ安全性だけでなく書き換え競合やヌル値エラー値取り扱いミスなどエンバグすることも多いが
Rustではコンパイル通せばそれらの心配がなくリファクタリングできる
0541デフォルトの名無しさん
垢版 |
2024/04/04(木) 08:02:04.20ID:KuogGH/c
そもそもGC無しの言語ってニッチじゃない?
当面は、Rustで充足されて安泰な気がする。
0542デフォルトの名無しさん
垢版 |
2024/04/04(木) 08:06:01.77ID:wZ/e8tnl
うむり、実用言語では現時点で安全性とスピードを高い次元で両立できてるのはRustだけかもね。
関数型言語にも良いのあるけど、普及しなさそうだしね…。
(OCamlとか次世代HaskellらしいIdrisとか)

それにCとアセンブラしかない分野(C++不可なくらい低スペックな組み込み)でC++以降のモダンな言語が使えるのは大きい。
0543デフォルトの名無しさん
垢版 |
2024/04/04(木) 08:41:03.15ID:VIrJEXhK
学問的には合理的な型システムとか検証器とかの研究は大きく進んでるけど
メモリの動作モデルをそこそこちゃんと仕様にしてるのは C/C++ しかないんだよね。
LLVM が C/C++ を前提にしてるところもあるし、
Rust もそれに合わせる形になってるところもある。

C/C++ 的な分野をよりよくやる言語と考えると Rust はとても良い。
0544デフォルトの名無しさん
垢版 |
2024/04/04(木) 12:25:37.65ID:Gnl54rZ8
すまんが↓これが動く理由を教えて欲しいんだけどさあ
https://paiza.io/projects/uhC43ajorg-qaLG7mXbw7w
一見すると5行目で所有権が失われて、6行目で使ってるように見えるんだけど・・・・
これって5行目が借用に推定されてるの?
それともリテラルを引数にした場合だと5行目で「1」が他のスタックにコピーされて、所有権が失われる問題なんか起きないのかな?

へるぷみい
0545デフォルトの名無しさん
垢版 |
2024/04/04(木) 12:36:31.67ID:xh1kANkn
マクロだからセーフ
0547デフォルトの名無しさん
垢版 |
2024/04/04(木) 12:49:08.15ID:w8P1RFve
値が複製されて、複製された値の所有権が関数fに渡るだな。

所有権の複製とかいうクソワードは避けてくれ。
0548デフォルトの名無しさん
垢版 |
2024/04/04(木) 14:09:00.66ID:VIrJEXhK
>>544
i32 は Copy トレイトが実装されてる。
普通なら所有権の移動になる文脈で暗黙に clone されると思ったら良い。
0549デフォルトの名無しさん
垢版 |
2024/04/04(木) 14:21:30.05ID:Gnl54rZ8
そう言うことなのか、ありがとう!
理由が分からなかったから不気味だったぜ
0550デフォルトの名無しさん
垢版 |
2024/04/04(木) 15:21:14.87ID:AF0jRQyM
>>547
>値が複製されて、複製された値の所有権が関数fに渡るだな。
複製された値の所有権は最初から関数fのスコープの中で発生するものなので
「関数f」に渡るという表現には少し違和感を感じる
0551デフォルトの名無しさん
垢版 |
2024/04/04(木) 15:34:13.46ID:1vyOHDUL
「違和感を感じる」という表現に違和感を感じる
0553デフォルトの名無しさん
垢版 |
2024/04/04(木) 19:04:00.82ID:mNkWQBjH
感じてるから違和「感」だからね

要は頭痛が痛いと同じ
0554デフォルトの名無しさん
垢版 |
2024/04/04(木) 19:08:09.03ID:v0TcrcAn
違和感がある。これでどうだ
0559デフォルトの名無しさん
垢版 |
2024/04/05(金) 00:09:35.95ID:Lw8p7kTG
>>556
少ないね。
でも、そもそも今までCとアセンブラ以外はほぼ無い状態だったから、出てきただけマシ。

それに、少ないといってもシェアが広いアーキなので滑り出しは順調と言えるのかと。
0561デフォルトの名無しさん
垢版 |
2024/04/05(金) 00:50:16.55ID:Lw8p7kTG
少し前まで次世代言語と言われてた程度には後発。

鯖向け言語で終わると思ってたら、マジでC/アセンブラの牙城を崩し始めるとは思わんかった。
むしろ崩し始めることすら無理だと思ってた。
0562デフォルトの名無しさん
垢版 |
2024/04/05(金) 05:07:52.53ID:CPVE6BHF
>>559
状況も追い風なのかもね。
二の足踏んでたけど、armと生きていく決心をしてrust覚えるか。

先にrust身に付けてから、非対応アーキでC++導入したらメリットあるかな?
0563デフォルトの名無しさん
垢版 |
2024/04/05(金) 08:11:28.72ID:Lw8p7kTG
Rust知ってれば安全性の高いシステム組めますと言うアピールになるし、C++にもその安全性のための知見は役立つ。
複数言語使えますってだけでもアピールになるしね。

Rustは多分仕事自体はまだ多くない。
これからアピールして増やしていく感じなので、両方使えてた方がいい。
0564デフォルトの名無しさん
垢版 |
2024/04/06(土) 22:48:03.64ID:4i1Gvjc8
rustというものがありながらなぜ大部分のコードはC言語なのかを知るために現場に行くのもアリ
0566デフォルトの名無しさん
垢版 |
2024/04/07(日) 01:26:10.29ID:Hmt7T+4v
Rustへの移行は始まったばかりだからまだまだCが残っているのは当たり前
0567デフォルトの名無しさん
垢版 |
2024/04/07(日) 10:55:29.15ID:QD1FKAnH
絶壁の学習曲線。
貧弱なライブラリと人材。
早すぎる最適化。

しばらくは既存コード置き換えが中心だし、今後もプロジェクト初期のプロトタイピングで使われることは無いだろう。
0568デフォルトの名無しさん
垢版 |
2024/04/07(日) 14:17:46.28ID:vzw88H1n
P系言語の糞思考に染まっていない初心者こそ
最初にRustを学ぶべき
0571デフォルトの名無しさん
垢版 |
2024/04/07(日) 18:09:00.76ID:Sj2oLPpI
>>567
移植なんて無駄な作業はどの言語間でも行われることが少なく
通常はシステム更新で全体もしくは一部が作り直される時に別の言語が使われる
Rustでも同様でほとんどがそれら含む新たな案件
0572デフォルトの名無しさん
垢版 |
2024/04/07(日) 18:16:09.73ID:TV6Dkj8m
>>567
早すぎる最適化という意味不明なデタラメ書いているのは君一人だけ
そしてRustを叩きたいためにウソを散りばめる
0573デフォルトの名無しさん
垢版 |
2024/04/08(月) 02:24:45.08ID:BHlkyWwA
>>567
貧弱なライブラリとかエアプかよ
そしてRustを叩きたいためにウソを散りばめる
0575デフォルトの名無しさん
垢版 |
2024/04/08(月) 11:48:22.86ID:hzcejt90
ライブラリはPythonと比べると流石に貧弱
特に数値計算とか物理・機械学習系

簡単な数値計算の時点でnumpy•scipyのようなデファクトがなく、雑魚が乱立している
もっと高度な計算系ではもっと雑魚が乱立しているか、そもそもない
0576デフォルトの名無しさん
垢版 |
2024/04/08(月) 12:32:47.46ID:64QjhTLf
>>575
キチガイアンチ
すべての分野でライブラリが充実している言語は存在しない
ある分野で一番充実している言語を棍棒にしたら他のすべての言語が負けるのは当たり前
そういう無意味なことをして叩いて楽しいか?
0577デフォルトの名無しさん
垢版 |
2024/04/08(月) 13:16:14.61ID:JoalanBl
>>576
貧弱なことを指摘するのは叩きではない
俺はただ、「貧弱なライブラリとかエアプかよ」とか言っているエアプに現実を指摘しただけだ
0578デフォルトの名無しさん
垢版 |
2024/04/08(月) 14:02:16.22ID:7wfBslr8
>>576
そこは「Rustなら〇〇分野のライブラリがどの他言語より充実している」と反論するところだろ。
0579デフォルトの名無しさん
垢版 |
2024/04/08(月) 14:10:54.87ID:7wfBslr8
>>570
絶壁の学習曲線だから無理だろ。

moveを意識しないshared xor mutableの無い、Rc中心のEasyRustとかが無いと、fnひとつ呼び出せないんじゃない?
0581デフォルトの名無しさん
垢版 |
2024/04/08(月) 15:06:06.34ID:rjHvzTUw
ライブラリの多さってイコールでユーザの多さなんだよ
更にいうとその言語開発者の意欲の表れでもある

ライブラリが少ないという事はユーザが少ない
更に少ないユーザの中でも意欲の有る人間は少数って証明なんだよね
0582デフォルトの名無しさん
垢版 |
2024/04/08(月) 15:43:54.88ID:JoalanBl
いやまあ数はあるんよ数は
意欲のある人はいるっぽいんだけど、デファクトとるようなライブラリってやっぱりそれなりの人数でちゃんと資金とって作られてるんだよな
資金取るのは個人の意欲だけじゃなくて、お金のある人を納得させる理屈が必要で、少し前までのRustは少なくとも数値計算の分野でそれが出来る言語ではなかったと思う
0583デフォルトの名無しさん
垢版 |
2024/04/08(月) 16:39:42.51ID:9qnuy4NE
てかrustユーザーってnvidiaのcudaサポートの酷さにガチギレするような奴ばっかでしょ。
そんなんで数値計算ライブラリが入るわけがない。
0584デフォルトの名無しさん
垢版 |
2024/04/08(月) 17:11:27.78ID:7wfBslr8
初心者向けのSimplified Rustと、
c/c++ライブラリバインドを強化したAdaptor Rustあたりは欲しいなぁ。
Safe Rustじゃ難しそうだし。
0585デフォルトの名無しさん
垢版 |
2024/04/08(月) 17:54:43.90ID:JoalanBl
ゼロからプログラム書くならSafe rustが一番簡単だよ
こいつに従っているだけで割と見通しが良くてバグりにくいコードが書ける

まあGoto 多用しているようなFortran おじいちゃんとは相性が悪いかもしれんが
0587デフォルトの名無しさん
垢版 |
2024/04/08(月) 20:39:36.28ID:cqL1RV99
C++を使ったことないけど
Rustで困ったことないな
Rust理解で必要なことはポインタとスタックとヒープとRAIIくらいかな

所有権は単なるヒープ解放責任だから大したことではない
所有権を他へ譲渡しないとRAIIによって自動解放されるというだけの話
非常にシンプル
0589デフォルトの名無しさん
垢版 |
2024/04/09(火) 00:09:53.71ID:pItuq1gX
>>588
それは俺じゃないぞ
0596デフォルトの名無しさん
垢版 |
2024/04/10(水) 01:14:02.81ID:/k7xUJZy
rustだいぶ分かってきたつもりだけど
ライフタイムとジェネリクスとクロージャが一斉に襲いかかってくると無理
好きな言語だけど世の中にはプログラミング言語に強い興味を示す奴が稀なので厳しいなぁと感じる
0599デフォルトの名無しさん
垢版 |
2024/04/10(水) 11:35:35.51ID:AS+TZoYk
>>596
それぞれ理解していれば組み合わさって困ることはないんじゃないかな
Rust特有のライフタイム注釈は構造体なら「参照を持ってるよ」の印で関数なら「この引数の参照は返り値の参照に対応するよ」の印であとは有効期間を満たすだけなど
0600デフォルトの名無しさん
垢版 |
2024/04/10(水) 16:55:22.63ID:yZA7mDLP
Rustってfunctionをfnって略すくらい気が短いのに、なんでメソッド定義時にはわざわざselfみたいなPython臭いの入力しないとだめなんですか?めんどいんですけど
0601デフォルトの名無しさん
垢版 |
2024/04/10(水) 17:30:31.18ID:Fk7YBwaR
メソッドをそうでない普通の関数と区別するためにはなんらかのマークは要るじゃろ。
0602デフォルトの名無しさん
垢版 |
2024/04/10(水) 17:38:51.91ID:t7JkSWKp
self/ mut self/&self/&mut selfの区別もいるしな
self自体これ以上短くしてもよくわからん単語になるしまぁ妥当では
0603デフォルトの名無しさん
垢版 |
2024/04/10(水) 17:52:25.08ID:5Js//1cu
C++ の ref-qualifier とか無理のある文法だもんな。
そこに書くんか!? という変な驚きがある。
引数の一種ということにしたほうがかなり単純でよい。
実際、 C++ でも C++23 から this を明示的な引数に取れる文法が追加された。 (deducing this)
0604デフォルトの名無しさん
垢版 |
2024/04/10(水) 17:58:48.34ID:Q64PiueS
RustでPython実装すりゃ良いんじゃね
0605デフォルトの名無しさん
垢版 |
2024/04/10(水) 18:34:01.75ID:3h5gXXiJ
>>602
普通に全部ダサいんだよなあ
何とかならなかったのかとならなかったのかとならなかったのかと…
0606デフォルトの名無しさん
垢版 |
2024/04/10(水) 19:34:40.80ID:8DE+tVvz
selfより短ければ良いのか、それともC++みたいに省略できてしまってどこで定義されてるのかようわからんくなるのが好きなのか
0607デフォルトの名無しさん
垢版 |
2024/04/10(水) 19:44:04.66ID:y0DX5npz
ぜひとも >>605 の考える最高にイケてる構文を教えてほしい
Rustを今から変えるのは無理でも、後継言語に採用されるかもしれんし
0608デフォルトの名無しさん
垢版 |
2024/04/10(水) 19:47:55.68ID:IjfZ+vUr
>>605
nimの関数呼び出しルール
関数名(第一引数,第二引数...)
第一引数.関数名(第二引数...)
で第一引数がself相当
が一番スマートかと。
0609デフォルトの名無しさん
垢版 |
2024/04/10(水) 20:06:03.20ID:AS+TZoYk
>>605
むしろ>>602はそれらの区別のためにもselfは必須と言ってるようにみえる
さらに構造体などフィールド名と関数内の変数名との区別のためにもselfは欲しい
現状のRustの仕様がベストかな
0610デフォルトの名無しさん
垢版 |
2024/04/10(水) 21:28:15.02ID:8DE+tVvz
selfじゃくてthisならC++マニアも納得
0611デフォルトの名無しさん
垢版 |
2024/04/10(水) 21:34:35.54ID:6SjCdg5T
>>608
nimを知らないけど、Rustのassociated functionもその二種類の呼び出し方法がとれる点は同じだね

Vec::push(&mut vec, 123);
(&mut vec).push(123);
vec.push(123);

この&mutを省略できてRust便利
0613デフォルトの名無しさん
垢版 |
2024/04/10(水) 23:19:28.12ID:AS+TZoYk
deref後のinto_inner適用と区別のため
敢えてself使わないことでメソッド呼び出し形式をできなくして
明示的にRc::into_inner呼び出しさせるパターンだね
0614デフォルトの名無しさん
垢版 |
2024/04/10(水) 23:45:41.84ID:Fk7YBwaR
メソッドを呼び出すことと関数の第一引数に渡すことを同一視する構文は
LISP 用に作られたオブジェクトシステム new flavors でやってた。
0616デフォルトの名無しさん
垢版 |
2024/04/11(木) 02:14:15.06ID:7FNbL3Xb
呼び出し時には与えない引数って紛らわしくね?
0617614
垢版 |
2024/04/11(木) 02:45:03.24ID:C4qhk0zm
>>615
メッセージを送る構文と関数呼出しの構文の両方があって構文糖として扱える仕組みになってたという話。
new flavors の前に flavors というのがあって、それはメッセージを送る構文しかなかったのだけど
new flavors で改良 (かどうかわからんけど) された。
0618デフォルトの名無しさん
垢版 |
2024/04/11(木) 04:57:52.23ID:r6y9Ju0a
>>616
むしろ逆かな
target.method(arg1, arg2, ...)という
targetへのメソッドコールを実現するのを関数で表すと
method(target, arg1, arg2, ...)とする言語が多い

Rustでも同じでこのtargetをselfと書く
targetは送る側から見た視点
selfは受け取った側から見た視点
各実装は受け取った側でなされるためself
0619デフォルトの名無しさん
垢版 |
2024/04/11(木) 08:24:38.80ID:McLA6Ner
UFCSは第一引数を1つ目だからというだけの理由で特別扱いするのが気持ち悪いんだよな
レシーバとして扱われるなら構文上も特別であってほしい
0620デフォルトの名無しさん
垢版 |
2024/04/11(木) 08:39:59.21ID:UjbgXeUt
>>619
何が気持ち悪いのかさっぱりわからない
まず、全ては関数呼び出しになりそれ以外の方法はない、というのはいいよね?
次に、その関数呼び出しでのレシーバの渡し方は最初の引数になる、というのも自然だよね?
ほとんどの言語がこの方式なのに何を気持ち悪がっているのだろう
0621デフォルトの名無しさん
垢版 |
2024/04/11(木) 08:49:57.16ID:azFLg2co
言うほどほとんどの言語がこれか?
pythonは後付けでOOPぶっこんだからただの関数の引数にSelfなんだ
これがPythonいまいちだなって思うところ
c++も似た様な理由でstaticでthis

後発で考慮する余裕あるのにそれを引っ張ってる
0622デフォルトの名無しさん
垢版 |
2024/04/11(木) 09:02:17.34ID:NXydgA7G
>>621
君の感性がおかしいんじゃね?
NimもZigもRustもPythonと同じ標準方式
foo(receiver, arg1, arg2, ..)
または
receiver.foo(arg1, arg2, ..)
0625デフォルトの名無しさん
垢版 |
2024/04/11(木) 09:14:09.83ID:azFLg2co
C言語のときはOOPじゃなくてただの関数の第一引数に構造体を指定してた
それがOOP言語になって指定不要になった
それがまたC言語時代に逆戻り
0627デフォルトの名無しさん
垢版 |
2024/04/11(木) 09:17:05.47ID:azFLg2co
あらかじめ書いておくけどreceiver.Foo()じゃないメソッドがあるのは
receiverがNullの可能性がある場合でそう設計されてただけ
0629デフォルトの名無しさん
垢版 |
2024/04/11(木) 09:24:05.56ID:azFLg2co
別に他のOOP言語のように関数にマークつけてこれはこのインスタンスのメソッドですよと言えばいいだけ
その表記は時間をかけて考えたらいい
0630デフォルトの名無しさん
垢版 |
2024/04/11(木) 09:30:34.30ID:cvuvfjXO
>>625
レシーバは必ず必要
Goでも
func (receiver ReceiverType) Foo(引数…) {
 return receiver.xxx + receiver.yyy
}
と書く
レシーバ指定不要という主張は理解できない
0631デフォルトの名無しさん
垢版 |
2024/04/11(木) 09:45:56.75ID:gYo8nOa5
レシーバの名前を自由につけられると人によってバラバラで読みづらいんだよな
selfなら必ず揃うし予約語としてシンタックスハイライトされるのもいい
0634デフォルトの名無しさん
垢版 |
2024/04/11(木) 10:19:57.47ID:UmgPKlgb
UFCSはフリー関数でもメソッド風に呼び出せる機能のことでRustやその他多くの言語のメソッド呼び出しとは似て非なるもの

>>619はそれを分かった上でNimについて書いてるのかもしれないけど>>620>>622は明らかに誤解してる
0635デフォルトの名無しさん
垢版 |
2024/04/11(木) 10:33:59.60ID:Nlu6ipA3
>>631
そう言われるとRustの仕様がベストなのかな
レシーバに名前を付けないと名前空間の分離ができなくて
レシーバに名前を自由に付けられると読みづらくて
0637デフォルトの名無しさん
垢版 |
2024/04/11(木) 11:23:46.71ID:CaCoKmZ3
Rustは小文字selfが値、大文字Selfが型を示していて使いやすいよな
型指定にSelfやSelf::Itemなど使えるだけでなく
Self::CONSTANT_NAMEやSelf::function_without_self()などの呼び出しもできる
Selfによって自分自身であるとわかりコードが読みやすい
型名変更の影響も受けず読みやすいメンテしやすい

ダメな言語だと以下のダメなパターンがある
・Selfの代わりに型名を書かなくてはいけない言語 (自分自身だとわかりにくくメンテ性も悪い)
・Selfの代わりにself(やthis)を用いてしまう言語 (値と型の区別がつかない)
・Selfを使わずに名前空間の区別がない言語 (間違いが起きやすく自分自身だとわかりくくメンテ性が悪い)
0638デフォルトの名無しさん
垢版 |
2024/04/11(木) 11:57:27.19ID:17a5lmDN
関係ない長文でごまかすフェーズに入ってるってことは内心恥ずかしくて死にそうになってるんやろうな……
0639デフォルトの名無しさん
垢版 |
2024/04/11(木) 11:57:34.08ID:6x2Zth+c
複オジは見えてる範囲が狭過ぎる
だから長文になればなるほど勘違い度や害悪度が高まる
0640デフォルトの名無しさん
垢版 |
2024/04/11(木) 12:47:47.10ID:ZruVErXu
自分が使ってきた特殊な仕様の言語に慣れ親しんでいると
一般的なの仕様のRustに違和感を感じて文句をつけたくなる気持ちはわからんでもない
Rustを叩く前に視野を広く持つべきだな
Rustの仕様はよく考えられ機能的に洗練されている
0645デフォルトの名無しさん
垢版 |
2024/04/11(木) 16:41:03.54ID:KhnNkcJ8
まともな質問にいつものノリで適当に答えて嘘だったら良くないしね
0646デフォルトの名無しさん
垢版 |
2024/04/11(木) 17:01:08.25ID:TWMZ6q+3
そっか
俺の答えも間違ってたしな
正しくはdowncastのために必要らしい
詳しくはfix_errorのRFC見て
0647デフォルトの名無しさん
垢版 |
2024/04/11(木) 17:41:58.72ID:McIjmFt1
Playgroundがwebsocket接続のタイムアウトエラー(504:Gateway Time-out)で全然動かないんだが俺環?
0649デフォルトの名無しさん
垢版 |
2024/04/11(木) 18:55:11.06ID:4f6XcC0j
downcastなんて別にしないからいらねーよって思ったけど

そういえば内部で似たようなことやってるあれがあったな、どっちかっていうとあれのためか
ヒントありがとう
0651デフォルトの名無しさん
垢版 |
2024/04/11(木) 20:25:23.50ID:81s1BzdD
>>641
UFCSはメソッド名空間の汚染であるため、まともな言語では採用されていない。
RustはUFCSを採用しないだけでなく、更に厳しく孤児ルールによってメソッド名空間の汚染を防いでる。
Rustでのメソッド追加拡張は、そのための新たなトレイトを用意することで、その利用空間に限定して安全に行うことができる。
0652デフォルトの名無しさん
垢版 |
2024/04/11(木) 20:52:12.80ID:AZdBjU6j
>>651
UFCSはそもそもメソッドとか無いんだから、ありもしないメソッド空間の汚染とか考えるだけ無駄。

それに、メソッド呼び出しは人間の思考パターン(大域から局所に絞り込む)に従った自然な記述方法なんだから、それを拡張困難なメソッドだけに限定するのは酷い制約かと。カス文法のPythonを思い浮かべますな。
0653デフォルトの名無しさん
垢版 |
2024/04/11(木) 21:02:41.98ID:81s1BzdD
>>652
Rustでメソッド呼び出しは拡張困難ではなく、拡張用トレイトを自由に新たに用意することで、他への汚染を招かずに安全に拡張できる。
そのためUFCSのような愚かな方式を採る必要がない。
0656デフォルトの名無しさん
垢版 |
2024/04/11(木) 21:54:13.50ID:AZdBjU6j
>>653
それって単にメソッドだけ特別に名前空間を管理していという話で、UFCSだから問題になるという話では無いな。
もっとUFCSならではの問題点を指摘してくれ。

せめて関数が左作用ならUFCS捨ててもいいけど、どの言語も馬鹿のひとつ覚えで右作用を採用するからメソッドとかUFCSが重宝される。
0657デフォルトの名無しさん
垢版 |
2024/04/11(木) 23:54:23.85ID:A4VQpdsZ
アラビア語でコーディングすれば、入力左から右へ進むから右作用が思考の順になるぜ
アラビア語おすすめ
0658デフォルトの名無しさん
垢版 |
2024/04/12(金) 00:40:05.77ID:fvGN/jjJ
>>656
それはメソッド呼び出しのメリット
モジュール化や結合の観点からも最初からメソッド定義していくのが正しい

UFCSはそれが出来ないあるいは間違ったプログラミング設計によりフリー関数を多数作ってしまった間違った環境でメソッド呼び出ししたくなった時のみ必要とされる
具体的には歴史的な負の遺産でボロボロなC++が該当する
そのためC++ではUFCSを導入しようと今も悪あがきをしている

ほとんどの言語にUFCSがないのはそんなものを必要としないためだ
0659デフォルトの名無しさん
垢版 |
2024/04/12(金) 00:44:02.94ID:tVNhffJ+
モジュール化や結合の観点から、関数が一つの変数の型に紐づくのがそんなに優れているとはあんま思えんけどなあ
RustのAdd演算子とかrhsとlhsの型が違う時は演算子がlhsのみに紐つくことになってかなりキモい
0660デフォルトの名無しさん
垢版 |
2024/04/12(金) 02:47:17.34ID:DYhqcHWh
それはAddが交換法則の成り立つ二項演算子だからそう見えるにすぎない
AddAssignやSubやShlなど多くの演算は非対称
0661デフォルトの名無しさん
垢版 |
2024/04/12(金) 04:21:38.21ID:tVNhffJ+
いや別にSubでもDivでも左のみに紐づいているのはキモい
0662デフォルトの名無しさん
垢版 |
2024/04/12(金) 04:49:28.47ID:rUQyilnM
>>658
やっぱりUFCSじゃなくて名前空間の設計の問題にしか見えんね。
例としてc++を挙げているが、名前空間を使っているライブラリとかで問題になっている事例てあったっけ?

グローバルのフリー関数は影響範囲が広すぎて問題を引き起こすというなら、Rustのトレイルと同様に適切な名前空間を用意しないと関数を定義できないようにすればいいかと。
0663デフォルトの名無しさん
垢版 |
2024/04/12(金) 05:26:42.25ID:CIaMPOtu
>>662
トレイルではなくトレイト
トレイトは名前空間を用意するものというより、トレイトをuseすることでそのトレイトにより実装されるメソッドが使えるようになるだけ
0664デフォルトの名無しさん
垢版 |
2024/04/12(金) 07:31:40.11ID:rUQyilnM
>>663
だったらなおさら>662だけの話かと。名前空間で「メソッド空間」を管理するのをRustは「トレイト」で管理しているだけにしか見えないね。
0665デフォルトの名無しさん
垢版 |
2024/04/12(金) 12:27:40.08ID:OadUyd3M
>>659
>モジュール化や結合の観点から、関数が一つの変数の型に紐づくのがそんなに優れているとはあんま思えんけどなあ

同意
0667デフォルトの名無しさん
垢版 |
2024/04/12(金) 12:43:39.99ID:6xQx5uEa
>>665
オブジェクト指向を全否定するキチガイか
クラスのある言語もクラスのないGoやRustなどの言語も
一つの変数の型に関数を紐づけることがプログラミング言語の中核機能だ
0668デフォルトの名無しさん
垢版 |
2024/04/12(金) 13:04:32.76ID:qd6Rxygz
とりあえず感覚で一行目から罵倒する人
0669デフォルトの名無しさん
垢版 |
2024/04/12(金) 15:24:23.71ID:XC+pkKeZ
>>667
>一つの変数の型に関数を紐づけることがプログラミング言語の中核機能だ
オブジェクト指向前提思考?
0670デフォルトの名無しさん
垢版 |
2024/04/12(金) 16:22:22.83ID:RDQRwL9V
>ほとんどの言語がこの方式なのに何を気持ち悪がっているのだろう
からの
>UFCSはメソッド名空間の汚染であるため、まともな言語では採用されていない。
schizoかな?
0675デフォルトの名無しさん
垢版 |
2024/04/12(金) 23:58:18.71ID:lpyrPPhz
>>667
つジェネリック
0676デフォルトの名無しさん
垢版 |
2024/04/13(土) 04:39:15.20ID:0YGiYUZr
ジェネリックにも同じように安全に適用できるのはRustにトレイト境界があるおかげか
0677デフォルトの名無しさん
垢版 |
2024/04/13(土) 07:36:48.57ID:beXAxXwF
トレイト境界はc++ conceptみたいに同じ関数集合ならOKなんだっけ?

柔軟性のために外延性は欲しいところ。
0678デフォルトの名無しさん
垢版 |
2024/04/13(土) 08:07:59.96ID:S51MIqUj
異なる型間の共通項をトレイトとして切り出すだけでよく
コードを美しく整理して保守性を高めやすい
0680デフォルトの名無しさん
垢版 |
2024/04/13(土) 13:36:34.54ID:F3jinTSj
143 デフォルトの名無しさん 2024/04/07(日) 19:27
純関数型言語でなくても
モダンなプログラミング言語
Go、Rust、Zig、Nim、Julia、Elixirなどは
クラスおよびその継承を言語仕様から排除しておりクラスは存在しない

それら各々の言語は全く異なる方針を採っている言語だがクラス排除だけは全てが同じ方針である
クラスとその継承は悪手であるとプログラミング言語界では結論が出ている
0681デフォルトの名無しさん
垢版 |
2024/04/13(土) 16:56:52.49ID:L60jXWVE
継承がなくても構造体にメソッドついてたら実質クラスだろ
関数に構造体渡してたらそれはクラスじゃないけど
0682デフォルトの名無しさん
垢版 |
2024/04/14(日) 23:56:10.96ID:RjsA2T1t
>>681
構造体にメソッドが付くことはカプセル化と言う
クラス=カプセル化+実装継承 なのでクラスとカプセル化は異なる

このクラスを成り立たせている実装継承が悪であるためにモダンな言語群がクラスを採用しなかった
実装継承とは具体型が別の具体型を継承することを指す
クラスでは派生クラスが基底クラスを継承するため悪の実装継承となる

正しい方法はインタフェイスやトレイトなどの抽象型からのみ継承する
つまりクラスを完全に排除できるためモダンな言語群にクラスはない
0683デフォルトの名無しさん
垢版 |
2024/04/15(月) 00:05:55.58ID:R9iMDmBn
用語も色々。
Rust で言うところのトレイトみたいなやつを Haksell とかでは型クラスって呼んでるし、
JavaScript のクラスの実体は (特定のプロトタイプに紐づいたオブジェクトを生成するための) 関数。
極論すればクラスと名付けたものがクラス。

Rust でクラスと呼んでない以上はもう別概念として捉えるしかしょうがないだろ。
C++ のクラス的なことの一部を Rust でも「可能ではある」というという主張なら賛成するけど、
クラスとは何かを定義せずにクラスかどうかを論じても無意味。
0684デフォルトの名無しさん
垢版 |
2024/04/15(月) 00:26:07.32ID:rd9697wK
型クラスとクラスは全く異なるので混乱しない
クラスとはクラス継承すなわち親クラスから子クラスへの実装継承できるものを指す
JavaScriptはプロトタイプを親として実装継承するためクラス
一方でRustにクラスはない
0685デフォルトの名無しさん
垢版 |
2024/04/15(月) 01:47:00.44ID:YLFAz6O4
クラスとは何か?継承とは何か?
こういう基本的な概念を特定言語の実装から離れて理解しようとしない限り何を言っても虚しい

>>681が一番まとも
0686デフォルトの名無しさん
垢版 |
2024/04/15(月) 01:58:25.85ID:CPtYka/u
話は非常に単純
具体的な型から具体的な型への継承が実装継承でこれがよくない
classは具体的な型superclassから具体的な型subclassへの継承があるから実装継承
interfaceやtraitは具体的な型ではなく抽象的な型なので該当しない
最近の言語がclassのみ採用しなかった理由はその違い
0688デフォルトの名無しさん
垢版 |
2024/04/15(月) 03:16:04.95ID:0QcDOjSQ
Javaの生みの親であるJames Goslingも、
「もう一度最初からJavaを作り直すとしたら、どこを変更したいですか?」に対して、
「クラスを除外するでしょうね」と答えている。
その理由は、クラス継承が実装継承となっているためで、この設計を後悔していて、インターフェースによる継承が望ましいと述べている。
0691デフォルトの名無しさん
垢版 |
2024/04/15(月) 12:54:52.68ID:f4iHJAq/
クラス継承のある言語でも今はクラス継承を使わない設計するのが良いとされてるので要らんよな
0693デフォルトの名無しさん
垢版 |
2024/04/16(火) 07:27:41.72ID:10PaZXAR
>>691
言語仕様としてあった方が良いということ。
0694デフォルトの名無しさん
垢版 |
2024/04/16(火) 07:42:24.51ID:KU96szRc
馬鹿が使うとクソになる仕様がある言語は馬鹿をチームに入れただけで開発が即破綻するからクソ
0695デフォルトの名無しさん
垢版 |
2024/04/16(火) 08:43:42.78ID:OvO8gS8m
Javaの生みの親も言ってるようにクラス継承の機能はない方がいい
なくても困らない
あると問題を引き起こす
0696デフォルトの名無しさん
垢版 |
2024/04/16(火) 09:30:25.53ID:YlYBNC7y
そういうのは話半分に聞いておけばいいよ
nullを使ったのは失敗だったとか
後からそれらしいことを言ってるだけ

javaはクラスと継承が無くなったらまともに機能しない
interfaceにデフォルト実装がなかったので全部自前かコンポジションで実装することになったはず
0698デフォルトの名無しさん
垢版 |
2024/04/16(火) 09:55:41.24ID:YlYBNC7y
最初はなかったしずっと取り入れなかったのはそれがJAVA風じゃなかったから

今JAVAが生き残ってるのは最初の設計思想が世間に受け入れられたからであって
後から○○無くせばよかったと言うのは誤りで浅はか

NULLを無くせばよかったと言うが当時メジャーな手法でそれの代替手段がなかったのと同じ
0705デフォルトの名無しさん
垢版 |
2024/04/16(火) 22:20:54.32ID:pbIQ4i0L
基底クラスで保証してる内部条件を継承クラスで壊されやすい

Javaは基本的に全部オーバーライド可能でprivateとfinalで変な継承を抑えてたけど
C#はabstract/virtualかつsealedでない要素だけオーバーライド可能になってたと思う
古い知識だから最近の動向は知らない
0711デフォルトの名無しさん
垢版 |
2024/04/19(金) 17:19:41.25ID:QdSz4ItG
隙間作って床下チェスト収納ってできなくなった?動画みてるけどうまくできん
0712デフォルトの名無しさん
垢版 |
2024/04/20(土) 17:39:26.03ID:pCmD4UWo
shift-jisのファイルをBufReaderで1行ずつ読み込もうと思ったら無理でOKが流れてこない
全部読んでデコードして\nで切り分けるしかないの?
0715デフォルトの名無しさん
垢版 |
2024/04/20(土) 22:28:20.55ID:pZNdwQSZ
std::io::BufReader::new(encoding_rs_io::DecodeReaderBytesBuilder::new().encoding(Some(encoding_rs::SHIFT_JIS)).build(std::fs::File::open(SJIS_FILE)?)).lines()
0718デフォルトの名無しさん
垢版 |
2024/04/21(日) 18:25:05.39ID:GAd5jyBU
decoderが挟まるだけだよ

// UTF8の場合
let file = File::open(path)?;
let reader = BufReader::new(file);
for line in reader.lines() {

// SJISの場合
let file = File::open(path)?;
let decoder = DecodeReaderBytesBuilder::new()
 .encoding(Some(SHIFT_JIS))
 .build(file);
let reader = BufReader::new(decoder);
for line in reader.lines() {
0719デフォルトの名無しさん
垢版 |
2024/04/22(月) 06:09:19.12ID:kZ9sSSe5
バッファリングせず丸ごと贅沢にメモリ使っていいなら単純
let bytes = fs::read(path)?;
let (s, _, _) = SHIFT_JIS.decode(&bytes);
let reader = BufReader::new(s.as_bytes());
for line in reader.lines() {
0720デフォルトの名無しさん
垢版 |
2024/04/22(月) 20:07:02.52ID:g+YSHIF5
コマンドラインからファイル名取るようにしたらパニック
windowsで文字コードが違うかららしいけどこういうバッドノウハウを開発者に積み重ねていかないと使えないのはめんどい
0722デフォルトの名無しさん
垢版 |
2024/04/22(月) 21:19:42.71ID:g+YSHIF5
知らないとそういう反応するんだろうけど
std::env::args_osを使ってOsStringを取って対処する必要があるんだよ
勉強になっただろ?
0723デフォルトの名無しさん
垢版 |
2024/04/22(月) 21:24:48.26ID:g+YSHIF5
日本人だから日本語名が付いたファイルを扱う機会に恵まれてるからこういうことに出会える
アメリカ人だったらこういうのに出会わないでコーディングしてリリースしてるだろう

世界中で使ったらパスの問題で落ちるプログラムがガンガン量産されている
0724デフォルトの名無しさん
垢版 |
2024/04/22(月) 23:12:07.98ID:ljq3CdpU
>>722
チュートリアルレベルの基礎を
バッドノウハウwとか
積み重ねでいかないといけないwとか
言ってるから何言ってんのwになる
0725デフォルトの名無しさん
垢版 |
2024/04/22(月) 23:32:38.83ID:cr/ZTax6
>>720
Rustのパニックはどの関数で何をした時に発生するかすべてドキュメントに明記されてるのでパニックはプログラミングした側に問題がある
さらにパニックがソースコードの何行目のどの場所で起きたのかもわかるのですぐにそのバクを調査できる
まずは基礎知識を身につけよう

>>722
std::env::argsのドキュメントにどういう時にパニックが起きるか書いてある
さらに対処方法はargs_osを使えと明記されている
ドキュメントを見よう
0727デフォルトの名無しさん
垢版 |
2024/04/22(月) 23:42:55.88ID:g+YSHIF5
リリースした後の実行時のpanicを有り難がる信者

Rustのライブラリの思想がいまいち馴染みにくいと言うか素人が作るとこうなりますと言う見本
0728デフォルトの名無しさん
垢版 |
2024/04/22(月) 23:57:01.81ID:kZ9sSSe5
>>722
Rustではそんな個別の知識を知らなくてもpanicさせた関数が分かるから
その関数のドキュメントのpanicの項目を見れば明記されてる
他の言語と比べても良い環境
0729デフォルトの名無しさん
垢版 |
2024/04/23(火) 00:03:29.34ID:aheV4X/O
馬鹿と話しててもらちが開かない

世界中で使ったらパスの問題で落ちるプログラムがガンガン量産されているのは事実
お前らそれを一個一個プルリク送ったりしてるのか?
0730デフォルトの名無しさん
垢版 |
2024/04/23(火) 00:13:45.98ID:aheV4X/O
所有権とか導入してバグを静的に弾こうとしてる割にはこういうところではガバガバ
世界中で英語じゃないwindows環境でpanicが起こるコードが蔓延してる

非合理的
0731デフォルトの名無しさん
垢版 |
2024/04/23(火) 00:34:48.42ID:tNw43TTr
そんなことより The Embedded Rust 読み始めたんです。
冒頭からリンカで割り込みベクタマップの取り方やら panic 無効にしての main 関数導入やら、HAL は自分でこさえるんだよね?と言わんばかりの内容。
おおむかしのMCU開発環境みたいで嫌いじゃないけど、arch 対応してないと敷居高いねこれ。
0732デフォルトの名無しさん
垢版 |
2024/04/23(火) 09:44:34.04ID:SlAsUTut
公式チュートリアルすらまともに読めないお馬鹿さんは自分が使う道具を間違えててもそれを言語のせいにしたがる
プラスドライバーを使うべき状況でマイナスドライバーを使って使いにくいじゃねーかこんな道具は非合理的などと言い出す
ヤバすぎね?
0733デフォルトの名無しさん
垢版 |
2024/04/23(火) 11:06:58.83ID:PMnHeW+x
>>725
なんでコンパイル時にエラーにできないんだろう?

Rustのポリシーからすれば安全優先でargs_osだけにしてargsは削除すべきでは?
c++じゃあるまいに、コマンドラインのデータが常に正しいunicodeだと信用するプログラムを書けるとか、セキュリティーホールになりかねんと思うけど。
0737デフォルトの名無しさん
垢版 |
2024/04/23(火) 15:43:54.29ID:3Xc7JqWG
>>733
>なんでコンパイル時にエラーにできないんだろう?
出来るわけないだろw
実行時に与えられる外部入力をコンパイル時にどうやって判定するんだよw
バカすぎる
0738デフォルトの名無しさん
垢版 |
2024/04/23(火) 16:19:44.91ID:1rwyWp7B
しいて言えばargs()を使う方が特殊ケースなのにデフォルトの名前を引き継いだのは設計ミス
もう治る見込みはないからargs_os()を使おうねってだけだけど
0739デフォルトの名無しさん
垢版 |
2024/04/23(火) 16:52:58.90ID:Kbb8det7
一応argsをdeprecatedにして徐々に移行させていくのはできるだろうけど
特に提案もなさそうだし誰も困ってないんじゃないかな
そもそもほとんどのケースでclapとか使うだろうし
0740デフォルトの名無しさん
垢版 |
2024/04/23(火) 17:20:16.94ID:jbFpiEtG
>>733
>>725
>なんでコンパイル時にエラーにできないんだろう?

むしろ何でできると思ってるんだろう。謎
0741デフォルトの名無しさん
垢版 |
2024/04/23(火) 17:22:13.22ID:SM3r9/qB
環境変数もvarとvar_osがあるから慣れろとしか言えない
OS標準が全部utf-8になる未来もありえるし
0742デフォルトの名無しさん
垢版 |
2024/04/23(火) 17:48:20.12ID:x1LuxzDZ
>>741
紛らわしいけどvar/var_osとvars/vars_osは別物だよ
varはinvalid UTF-8でもエラーハンドリング可
varsはpanic

argsは引数にUTF-8以外はダメだよって前提で使える余地がまだあるけど
varsはそんな前提をおける状況はほぼなくてよりたちが悪い
0743デフォルトの名無しさん
垢版 |
2024/04/23(火) 18:06:35.01ID:DF4k8ks3
>>741
>OS標準が全部utf-8になる未来もありえるし
10年前のその未来予想が大外れしてるから今となっては設計ミスとしか言いようがない
もう10年経ったとしても状況は変わらないと思う
0744デフォルトの名無しさん
垢版 |
2024/04/23(火) 19:06:07.68ID:rRGY+2Qg
>>732
公式チュートリアルまともに読めるならC++で良いからな
0745デフォルトの名無しさん
垢版 |
2024/04/23(火) 20:01:34.96ID:+uJAOtCC
よーわからんけど10年ぐらい前はすべてutf16になると考えられてたのでは?

どう考えてもstd::env::argsを非推奨にしろとは思うけどね
欧米人がつくるとこんなことになるんだ

普通は2種類の扱いがある
・実行環境に合わせて自動的に内部での標準形式に変換

・何もしない
何もしないならOSから受け取ったままOSに渡して置けば大体問題はない

第三の愚策がRust
受け取ったままそのままOSに渡してもコケる
Rustは何もしないように見えるけど何かしてるからコケるのでは?
0746デフォルトの名無しさん
垢版 |
2024/04/23(火) 20:52:29.82ID:xiHKhQOf
>>745
間違いだらけだな
世界の標準はUTF8
ウェブももちろんUTF8
RustもUTF8

Rustがこの件でコケることはない
きちんと各関数の仕様が明記されていて常に正確に動作している
0748デフォルトの名無しさん
垢版 |
2024/04/23(火) 21:12:51.81ID:xiHKhQOf
>>747
一般的なパニックは色んな意味合いがあるけど
Rustでのパニックは関数ドキュメントに明記されている想定のことが起きた
ライブラリ関数の作成者はパニックを発生させる時の条件をドキュメントに明記しなければならない
だからそれを利用する各プログラマーにとっても想定内のことのみパニックが起きる
0750デフォルトの名無しさん
垢版 |
2024/04/23(火) 23:41:39.78ID:x1LuxzDZ
>>745
>よーわからんけど10年ぐらい前はすべてutf16になると考えられてたのでは?
30年以上前にUCS-2がWindowsやJavaに採用された時代のことを言ってるのかな?
(UTF-16と違ってUCS-2は固定幅なので今でもまだ使い所はあるけど)

↓これが15年くらい前のUTF-16に対する一般的な認識
https://softwareengineering.stackexchange.com/questions/102205/
0751デフォルトの名無しさん
垢版 |
2024/04/24(水) 00:43:41.33ID:5EZEwmZn
utf-16はUnicode 2.0(1996年7月)のサロゲートペア導入でutf-8に逆転されたな
しばらくはBMPしか使われなかったから耐えてたけど
1990代前半に始動したJavaは運が悪かった
0753デフォルトの名無しさん
垢版 |
2024/04/24(水) 01:23:24.26ID:YBOQY0J9
Rust界隈では狂信者がいてそいつらはまともに反論すら出来ないけど
Rustが正しいRustが正しいと繰り返すばかり
0754デフォルトの名無しさん
垢版 |
2024/04/24(水) 12:36:38.15ID:A+y4lqIx
>>737 >>740
windows環境とかunicode以外が混ざる環境でargをコンパイルエラーにできないのかね。

そもそもargは廃止していい。
0755デフォルトの名無しさん
垢版 |
2024/04/24(水) 12:47:56.41ID:HIQuAly7
すげーどうでもいい話だな
0757デフォルトの名無しさん
垢版 |
2024/04/24(水) 12:58:45.05ID:GRRi3Rgr
>>754
Windowsでも設定すればUTF-8になるしLinuxだってUTF-8以外に自由に変えられるわけだから、そんな判定は不可能
まぁ廃止していいには同意するけども
0758デフォルトの名無しさん
垢版 |
2024/04/24(水) 13:18:14.84ID:meF6WBmz
Windows は Windows の機能として文字コードの管理はしてるが歴史的事情でツギハギのグダグダ。
今の Linux はおおよそ UTF-8 で統一されているけど規約で縛っているだけで、 OS としてはバイナリ単位で素通し。
保証としてはあてにならん。
0759デフォルトの名無しさん
垢版 |
2024/04/24(水) 13:18:30.26ID:HIQuAly7
コンパイルエラーにできないから引数まで廃止するとか原理主義もここまで来てんのか。
0760デフォルトの名無しさん
垢版 |
2024/04/24(水) 14:25:14.78ID:up+AoO7k
>>754
無知にもほどがある!

unicodeとUTF-8が区別できない
Windowsに限らずLinuxでもmacOSでも非UTF-8の引数や環境変数が使われる可能性があるのは同じなんだがそんな常識を知らない
0761デフォルトの名無しさん
垢版 |
2024/04/24(水) 15:25:54.44ID:65hs2nTl
>>760
そんなんだったらなおさらのこと、Rustの安全指向に従ってargs_osだけにすべきで、argsは廃止にすべきだろ。
Rustはメモリ安全しか興味無いんかね。
0762デフォルトの名無しさん
垢版 |
2024/04/24(水) 15:53:48.65ID:gLaneKFw
保証できるものはするに越したことはないけど (充分に実行コストが小さい形では) できんからしゃーない。
0763デフォルトの名無しさん
垢版 |
2024/04/24(水) 16:02:42.64ID:zvblwt+/
どうでもいい話でもめてるな
Rustはすべて提供してドキュメントにそるぞれ明記しているのだから使う側の各自の問題
こちらはUTF8環境でしか使われないのでargs()のみ利用している
0764デフォルトの名無しさん
垢版 |
2024/04/24(水) 16:05:40.76ID:AQu1Dr63
https://github.com/rust-lang/rust/issues/91226#issuecomment-1034188905
関係する議論はこのあたりかな
もともとはargs/varsをパニックさせずに無視するか置換してほしいって要望だったが
無視や置換はセキュリティ上問題になる可能性があるので却下
varsは将来的にdeprecatedにするかもと言っている
なんでargsもdeprecatedにすべきだろって提案すれば通る可能性はあるかもね
0765デフォルトの名無しさん
垢版 |
2024/04/24(水) 16:26:19.27ID:MMJHgfnp
正しく使え論は暴論だな

それが許されるならスマートポインタやGCは出ずみんな今でも生ポインタを使ってる
0767デフォルトの名無しさん
垢版 |
2024/04/24(水) 16:44:59.20ID:MMJHgfnp
常に自動変換したほうが安全だけどな
開発者が特別コードを書く必要もない
0768デフォルトの名無しさん
垢版 |
2024/04/24(水) 17:05:56.77ID:MMdiZvh6
Rustはファイル名も自動変換なんかしていないように
変換するかどうかは各自の自由裁量であるところが非常に良い点だよ
自分の好みと合わないからといって批判している人たちは頭がおかしいので相手にしても無駄なのだろうけど
0770デフォルトの名無しさん
垢版 |
2024/04/24(水) 17:21:01.52ID:MMJHgfnp
ファイルの引数だけ標準では何もしない
普通のキーボード入力などでは変換している
0772デフォルトの名無しさん
垢版 |
2024/04/24(水) 18:26:14.33ID:AQu1Dr63
>>768
自動変換は正直意味不明だが(変換元の文字コードが判定不能なのに何を変換するのか?)
argsは今RFC出したらResultにしろって突っ込まれると思うし
1.0であまり深く考えずに入れちゃった気はするよ
0773デフォルトの名無しさん
垢版 |
2024/04/24(水) 18:50:02.66ID:5HDpMmrb
Resultとかのハンドリングが面倒な人向けの簡便方法として用意されてるのでそれはないと思う

argsじゃなくてargs_utf8onlyとか名前をダサくして
逆にargs_osを元のargsに戻しとけば
リファレンスをよく読まない人たちがつまづく可能性を下げられる
0774デフォルトの名無しさん
垢版 |
2024/04/24(水) 19:00:18.55ID:65hs2nTl
こういうのを見ると、RustのデザイナーはRustに求められているのがなんなのか理解できていないと思うわな。

Rustは雇われコーダー用Safe Rustのニーズがほとんどで、Unsafe Rustとかのニーズは無いと思うがね。
0776デフォルトの名無しさん
垢版 |
2024/04/24(水) 19:14:39.18ID:9A8KMAyG
自動変換とかそんなアホなこと言ってるのはあんただけやで
そんなものは無いし必要ない
0778デフォルトの名無しさん
垢版 |
2024/04/24(水) 19:45:20.62ID:AQu1Dr63
OsStringはOSから渡されたバイト列をそのまま格納するだけで
EUC-JP環境ならEUC-JPバイト列がそのまま入るし何も変換されたりしないが…
0779デフォルトの名無しさん
垢版 |
2024/04/24(水) 19:49:39.48ID:MMJHgfnp
想像力が欠如しているか頭がおかしいか指示待ち人間だからそういう幼稚なレスになる

結局内部で使う場合は簡単にutf8に変換してる
なにからutf8に変化するか指示も必要がない
ただのボイラープレート
0780デフォルトの名無しさん
垢版 |
2024/04/24(水) 19:58:53.67ID:ArOBrbBE
>>777
自動変換なんてものはない
むしろ自動変換を避けるために用意されているのがOsString
もちろん自動変換は行われない
0781デフォルトの名無しさん
垢版 |
2024/04/24(水) 20:02:00.63ID:MMJHgfnp
人間じゃなくて壊れたロボットに話しているようだな
いくつになろうとこんなダメな人間になってはいけないな
0782デフォルトの名無しさん
垢版 |
2024/04/24(水) 20:16:20.94ID:il94IOIF
ぼきのかんがえたさいきょうのげんごにはstring<encoding>とchar<encoding>があって
どんなエンコーディングの文字列でも統一的に扱うことができましゅ
Rustもまだまだでしゅね
0783デフォルトの名無しさん
垢版 |
2024/04/24(水) 20:44:42.25ID:xJ62MSkB
ほとんどの環境がWebも含めてUTF8に統一となったからRustのstr/String内部表現がUTF8であるのは合理的といえる
もちろんWebでもローカルファイルでも古いものは様々な文字コードが使われているため必要なら各々で対処する必要がある
0784デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:30:38.14ID:nN1vQ+Ae
文字コードをUTF-8とか特定のものに決め打ちにしないという点ではRubyが一番先進的だったが、あれはやりすぎで以降の言語には採用されなかったな。
0785デフォルトの名無しさん
垢版 |
2024/04/24(水) 21:49:41.83ID:tlaf0qkO
めちゃくちゃ間違ってるのになぜ上から目線で自信満々にレスするんだろう?
複オジは昔の自分を諭してる気分じゃないか?
0787デフォルトの名無しさん
垢版 |
2024/04/25(木) 01:24:12.71ID:fpMjozoS
>>0774
お前の着眼点は凄えよ!感動した。
その通り、Rustは初心者/素人 御用達言語だよ。
0790デフォルトの名無しさん
垢版 |
2024/04/27(土) 21:28:13.67ID:+PotGQRe
crates.io が死んだときはどうすれば良い?
0793デフォルトの名無しさん
垢版 |
2024/04/29(月) 14:17:37.62ID:wZNa4EA4
5chが荒らされてる時はどうすれば良い?
0794デフォルトの名無しさん
垢版 |
2024/04/29(月) 16:10:30.59ID:E9KMHG2x
取り敢えずアゲとけばいいんじゃね?
0796デフォルトの名無しさん
垢版 |
2024/04/30(火) 03:09:09.37ID:LM/x1iE2
落ち着いてpanicしよう
0801デフォルトの名無しさん
垢版 |
2024/05/02(木) 20:59:19.04ID:AhHSwsoc
Rustで辞書型はHashMap
複数の型を格納したかったらenumかdyn Trait
TraitをAnyにするならdowncastして使う
実際には共通に処理したい目的があるはずなのでそのTraitを用意すればdowncastしなくて済む
0802デフォルトの名無しさん
垢版 |
2024/05/03(金) 11:35:32.62ID:nLK8l4in
pythonみたいにだからclassがわりなのかも

p["name"]="yamada taro";
p["age"]=25;
みたいなのかな
いずれにしてもC++じゃないので
0803デフォルトの名無しさん
垢版 |
2024/05/03(金) 23:02:14.16ID:NBKkZegt
静的型付けの有用性が大きく上回るから
そのケースならstructにするだろうし
色んな型を横断的に扱いたいケースならtraitかな
0805デフォルトの名無しさん
垢版 |
2024/05/04(土) 09:38:11.89ID:dspjTuTH
GUI付きのポータブルなデスクトップアプリを作るとなるとどのライブラリがいいんだろ?
0807デフォルトの名無しさん
垢版 |
2024/05/04(土) 12:04:17.00ID:WHGnbjEl
UIはもうネイティブにこだわらなくてもいいんじゃないかな
昔からwebでしかUI提供してないソフトはゴロゴロある
0808デフォルトの名無しさん
垢版 |
2024/05/04(土) 15:02:31.51ID:UtcYFhat
用途次第
WebベースのUIでは反応速度が遅すぎる場合もあるしサイズが許容できない場合もある
0809デフォルトの名無しさん
垢版 |
2024/05/04(土) 15:44:19.83ID:oqQ8V/k0
Tauri は各環境の WebView を使うからアプリケーションの側では管理しなくてよくなり楽……
みたいな言説もあるが、 WebView の種類・バージョンを固定できないから変化に追従する必要が生じる。
そもそもウェブの世界は変遷が激しい。
Living Standard ってなんやねん。 普通の産業の感覚では信じられんようなことをしやがる。
元からウェブ系のスキルセットを持っている人が開発してメンテナンスもするってのなら
Tauri は良い選択肢だと思うが、それなりにデメリットもあるよ。

ただ、多言語 (というか Unicode) に隅々まで対応しているようなフレームワークってことになると
ウェブ系の基盤がめちゃくちゃ整備されているのでそこらへんは唯一無二だわ。
0810デフォルトの名無しさん
垢版 |
2024/05/04(土) 16:01:23.73ID:WHGnbjEl
即応性が必要な人は特殊な学習を手間暇というか単純に時間をかけてやって
そうでない場合は普通にhtmlで
0811デフォルトの名無しさん
垢版 |
2024/05/04(土) 16:07:02.02ID:lP1zz7vp
実行時のメモリ使用量の違いもかなり大きいから最初に考慮しといた方がいい
常駐の軽いアプリを作りたい場合なんかは特に
0812デフォルトの名無しさん
垢版 |
2024/05/04(土) 16:07:49.70ID:oqQ8V/k0
UI を記述するためのものとしては html は「普通」じゃないってことをウェブ系の人は思い出して欲しい。
元はドキュメント記述用だったのに html5 から大幅に路線変更してアプリケーション基盤として再編したけどどう見たって無茶苦茶だ。
ウェブの人が使う分にはこれでいいことは否定しないけど、 UI 記述の「普通」ではない。
0813デフォルトの名無しさん
垢版 |
2024/05/04(土) 16:17:08.35ID:5ROxz5B4
UI記述は宣言的なものが主流になりつつあってhtml的なものが「普通」になってきてるんだよ

MFCやCocoaやGTK的なものが今では逆に「普通」ではない
0815デフォルトの名無しさん
垢版 |
2024/05/04(土) 16:22:16.16ID:oqQ8V/k0
>>813
宣言的がどうこうとかいう問題ではなく html が「普通」ではないと述べてる。
これが良いとか悪いとか言ってるわけではないよ。
まず第一に選ぶべき「普通」だとする論を否定してる。
0817デフォルトの名無しさん
垢版 |
2024/05/04(土) 18:05:18.74ID:uscJJ1KS
何気にslintと書いてみたが紹介動画見る限りvs codeにアドオン入れてライブプレビューしながらuiの構築がサクサク行えるのは割といいな…

tauriは環境構築する段階でnodeのバージョンやら依存ライブラリの不備でエラーがでてしまい結構時間が掛かってしまった
0818デフォルトの名無しさん
垢版 |
2024/05/04(土) 18:12:14.00ID:WHGnbjEl
デスクトップアプリのここにグラフ出してくださいって言われて
対応できる環境は少ない
0819デフォルトの名無しさん
垢版 |
2024/05/04(土) 19:49:33.93ID:kEH6RwVz
他にいい表現方法があるなら自分で作って使ってりゃいいじゃん
0822デフォルトの名無しさん
垢版 |
2024/05/05(日) 10:17:39.98ID:k5d9I+SK
>>821
Elm Architectureの設計パターンを覚える必要があるけどなかなかいいですね
0823デフォルトの名無しさん
垢版 |
2024/05/05(日) 18:52:14.60ID:k5d9I+SK
試してみたけど導入のカウンタの例がいきなりビルド出来ない…

バージョンの変更にドキュメントが追いついていないのは残念ですね…
レスを投稿する


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