次世代言語28 TypeScript Swift Go Kotlin Rust Nim

**デフォルトの名無しさん** · 2022/08/29(月) 11:22:16.48

スレタイ以外の言語もok

前スレ
次世代言語27 TypeScript Swift Go Kotlin Rust Nim
https://mevius.5ch.net/test/read.cgi/tech/1659655598/

**デフォルトの名無しさん** · 2022/09/16(金) 22:26:31.57

>>861
アプリの実装の善し悪しの話と実装言語の善し悪しを意図的に混同させるのはよくないよ

**デフォルトの名無しさん** · 2022/09/16(金) 22:34:26.05

>>865 Chrome by C++の場合について聞かせて

**デフォルトの名無しさん** · 2022/09/16(金) 22:44:06.52

>>864
それソースある？
必ず再利用するにあたって領域を書き換えてんだから、直前にfreeしたかどうかに関わらず書き換え直後にキャッシュに乗るのは当たり前じゃないの？
チープな環境でスワップインを回避する効果はあるかもしれんが

**デフォルトの名無しさん** · 2022/09/16(金) 22:47:07.20

>>858
曲解してるかなとは我ながら思った。
けど、GCが勝つというほどインパクトある伸び代が挙げられた項目にこれ以上あると感じないんだよね。

**デフォルトの名無しさん** · 2022/09/16(金) 22:47:38.62

>>876 スワップインて。。>>864はまっとうな意見だと思うよ。

**デフォルトの名無しさん** · 2022/09/16(金) 22:54:48.64

>>868
>GCが勝つという
そんな場合もある、程度では。

GraalVMでNativeにした場合で
Native Java(+GC) vs Native other(no GC)は気になる

**デフォルトの名無しさん** · 2022/09/16(金) 23:06:36.63

escapeするかしないか、静的と動的でそんなに違うもんかね。
むしろエラー以外はescapeする・しないは静的で相当範囲カバー出来てそう。データはないけど。

**デフォルトの名無しさん** · 2022/09/16(金) 23:12:50.46

>>864
これはそう。ただ投機的実行(と昨今のその去勢)とかを考えると結構難しいかなとは。

**デフォルトの名無しさん** · 2022/09/16(金) 23:22:07.28

GCを止めたら速いという話は藁人形論法なのでやめませんか？

**デフォルトの名無しさん** · 2022/09/16(金) 23:25:00.60

どこが藁人形なの？

**デフォルトの名無しさん** · 2022/09/16(金) 23:26:02.22

>>872 vulnerability詳しくないけど、mitigationでfree->mallocがどの程度影響するのか気になるな。

**デフォルトの名無しさん** · 2022/09/16(金) 23:34:42.72

>>853
＞GCを使うプログラムは、メモリリークの積み重ねで次第にパフォーマンスが悪化、という事態に縁がありません。

嘘言うな

**デフォルトの名無しさん** · 2022/09/16(金) 23:42:23.80

GCは解放の実タイミングは調整するけど「メモリリーク」とは見なしてないのでは。

むしろ Rust「メモリリークはメモリ安全性保障の範囲外」の方なんとかして

**デフォルトの名無しさん** · 2022/09/16(金) 23:44:19.41

>>867
GCはそもそもfreeから再利用まで間が開くのでその間にキャッシュから外れる可能性が高くなるし、
再利用に当たって領域を書き換えるなら、キャッシュに載ってない場合書き換え処理に時間がかかるのでは
スワップインはよくわからない

**デフォルトの名無しさん** · 2022/09/16(金) 23:45:28.20

>>877
メモリリークを静的に検知するのはプログラムに対する制限が相当大きくなってしまうのでは

**デフォルトの名無しさん** · 2022/09/16(金) 23:53:17.42

>>879 動的にでも検知する仕組み/試みがあったりするのかな。テスト、プロファイル、そりゃあるかな。

**デフォルトの名無しさん** · 2022/09/17(土) 00:04:48.75

>>880
valgrindとかAddressSanitizerとかmallocをhookするやつとかいろいろあるよ

**デフォルトの名無しさん** · 2022/09/17(土) 00:05:17.29

GCはいわばメモリ管理の専門家に幅広い裁量を持たせて仕事させているわけで、
それに比べるとアプリケーションコード内でのメモリ管理はCenter of Excellence的な意味では原理的にどうしても不利よね
メモリ管理の専門家が十分な裁量を持って仕事できるのはせいぜいアロケータの実装くらいで、ほかは高水準のプログラミングモデルやプログラマの能力の制約を強く受けることになる

**デフォルトの名無しさん** · 2022/09/17(土) 00:13:57.81

Javaは実行時最適化によりRustの3倍速い。

**デフォルトの名無しさん** · 2022/09/17(土) 00:21:14.46

>>883
(場合もある)

**デフォルトの名無しさん** · 2022/09/17(土) 00:44:08.92

スパイクの出ないGC出たら即乗り換える予定

**デフォルトの名無しさん** · 2022/09/17(土) 01:02:29.41

それ以来30年間GC技術が進んだ結果の現状が既出のこれ

>>200
>> https://pbs.twimg.com/media/EmYvG8aVkAMdfFG.jpg

全く対等に同条件で多くの人々が同じ問題に対して様々な言語で記述した結果の各実行時間
速く実行できた言語はRustとCとC++の3つでいずれもGCなし
GCする言語は軒並み遅い
一部をGC対象とならないよう回避の努力をしているGoがGC言語の中で最も速い
そうでない普通のGC言語は遅すぎる

**デフォルトの名無しさん** · 2022/09/17(土) 01:35:11.26

>>886
これってGC性能が支配的になる問題なの？

**デフォルトの名無しさん** · 2022/09/17(土) 01:41:35.46

pythonさん

**デフォルトの名無しさん** · 2022/09/17(土) 01:47:29.96

>>887
(1) GCが発生している場合
　　→ GC性能が改善された現在でもGC言語は遅い

(2) GCが発生していない場合
　　→ GC性能と関係なくGCが起きない段階でもGC言語は遅い

どちらのケースであってもGC言語はダメな存在になってしまいますね

**デフォルトの名無しさん** · 2022/09/17(土) 01:50:03.67

あれ、D言語はかなり早いイメージだったけど、Goに負けることもあるのか

**デフォルトの名無しさん** · 2022/09/17(土) 01:52:02.97

>>884
無いよ（笑

**デフォルトの名無しさん** · 2022/09/17(土) 01:53:36.44

LDCじゃなくてGDC使ってんのかな

**デフォルトの名無しさん** · 2022/09/17(土) 01:57:29.45

Goは速いよ。

アンチGCはGC言語じゃなければ速い、と思い込みすぎでは？

ミッション車みたいなもんで、自分の設計力の無さがパフォーマンス劣化に直結するというか、いわゆるベンチのスペックは素直には出ないよ。
Rustアンチじゃないけど、これはRustの目的でもない(あくまで安全が目的)

GC言語みたいにだれでも80点が取れます、エンストしませんよ、みたいなもんじゃないんよ。

コンパイラが叱ってくれるからハイパフォーマンスとか、書いてて言ってんのかほんとに謎。

**デフォルトの名無しさん** · 2022/09/17(土) 01:58:13.17

ゲハでやれ

**デフォルトの名無しさん** · 2022/09/17(土) 01:59:07.17

>>886
そいつの読み方は「C＋＋とPyPy3圧倒的じゃないか」ですよ。
新参者から熟練者まで数と質すべてが圧倒的。
C++は熟練すると、黒魔術を含め、やりたいことが全てできる言語なので、突き詰めていく性質の企業におすすめ。
逆に、手数で勝負の乱打スタイル企業には、PythonやRoRがお勧め。

**デフォルトの名無しさん** · 2022/09/17(土) 02:01:08.18

>>893
Javaも速いですよ。
Rustの3倍は冗談だけど。
欠点はメモリーを使いすぎること。
一般的なパソコンはメモリーが少し足りない。
だから、Javaは遅いと思われてる。
ミスマッチです。

**デフォルトの名無しさん** · 2022/09/17(土) 02:04:15.85

ハードウェアを売りたい言語だから、ハードウェアに対する要求が少し厳しかったですね。

**デフォルトの名無しさん** · 2022/09/17(土) 02:25:11.61

>>886
やはりGCの言語はいずれも遅いな
GCのせいで遅くなるのではなく
ヒープでメモリ確保するからGCの言語は遅くなる

**デフォルトの名無しさん** · 2022/09/17(土) 03:31:52.64

>>896
Java速いよね。あんまり適切なXmx知られてないだけだと思う。

>>898
少なくとも知ってる範囲だとGoもc#も取れるときはスタックを確保するぞ。

**デフォルトの名無しさん** · 2022/09/17(土) 03:42:09.24

>>899
Javaは遅いです
どのベンチマークでもC/C++/Rustの2倍～数倍はJavaが遅いです
>>886の例でもJavaは数倍遅くなっています

**デフォルトの名無しさん** · 2022/09/17(土) 03:53:04.00

>>900
abc 182-eはakariって問題なんだけど、読んだ？
Javaで雑に書くとパフォーマンスでない類の問題だよ。

このグラフは言語オタ勢には有名かと思ってたけど、ベンチマークのグラフではなくて、あくまで競技者が書いた言語毎の統計のグラフなので、ポンコツが多ければそれが表現される。
言語人口が多いものの箱ひげが偉いことになってるでしょ。

**デフォルトの名無しさん** · 2022/09/17(土) 04:54:39.17

>>901
なるほど
しかしJavaで書いて最も速くできた人でも遅くて
Rustで書いた平均的な人たちにすら負けているな>>886
どんなに優れた人であってもJavaを使った時点で遅いと確定してしまうのは辛いな

**デフォルトの名無しさん** · 2022/09/17(土) 07:28:28.63

>>877
これ訳わからんよね。
そこまでして「GC不要でメモリ安全」を売りにしたかったのか、と思うわ。
c++とかだとメモリリークも普通にバグ扱いされるのに、それを「メモリ安全」と言い切るのは詐欺臭い。

**デフォルトの名無しさん** · 2022/09/17(土) 07:39:14.89

>>902
そもそもRust使える人間は他の言語に詳しい人間しか居ないだろ。

他の言語に詳しく無い人間がRustの絶壁の学習曲線をクリアできるとは思えん。
「Rustしか使えません」なんて人間は存在するのかね？

**デフォルトの名無しさん** · 2022/09/17(土) 07:46:13.48

>>903
それは常識
一般的に循環参照の安全な解放を静的に記述したり静的にチェックすることは不可能
デッドロックも同じで静的に発生をチェックして防止することは不可能
だからコンパイラ(＝静的にチェックする存在)がそれらを防ぐことは対象外となる

**デフォルトの名無しさん** · 2022/09/17(土) 07:50:22.53

>>904
バカは遅い言語や危険な言語を使い続ければよい
時代の要請は高速で安全でプログラミング効率の良い言語でありそれはRust
使えないバカがついていけずに切り捨てられていくことは業界にとっても朗報だ

**デフォルトの名無しさん** · 2022/09/17(土) 08:47:42.31

早い言語は適当に書いても2秒の時間制限に間に合うけど
遅い言語は問題の想定解法じゃないと通らないから結果的に早い言語は上髭多くなるだけ

**デフォルトの名無しさん** · 2022/09/17(土) 09:18:54.40

>>902
execution timeの単位はミリ秒だぞ
ベンチヲタは気にするが1000000回ループして1秒か2秒しか差がつかないのに現実的に問題になることってないぞw
現実のループは多くてもせいぜい1000回程度だろ

**デフォルトの名無しさん** · 2022/09/17(土) 09:57:15.90

>>908
あんたには遅くてダメな言語で十分なのだから他を気にせず不満を持たずそのままでいいじゃないか
あんたには無縁だが世の中には速くて安全で保守性も良い言語が求められているだけの話だ

**デフォルトの名無しさん** · 2022/09/17(土) 10:21:27.92

Rustの他の言語と比べた速度向上って、俺にじゃなく世のほとんどのプロジェクトにとって五十歩百歩の微々たるものなんですわw

**デフォルトの名無しさん** · 2022/09/17(土) 10:29:26.87

前に、rustでtsc実装した人、さらにgoで作り直すって、理由がrustには向いてないからって。翻訳記事だからニュアンス違うのかもしれないけれど。

**デフォルトの名無しさん** · 2022/09/17(土) 10:29:40.60

>>905
プログラマサイドにそんな「常識」は無い。プログラマ視点なら「メモリリークはバグ。メモリを圧迫してトラブルになる危険がある」の方が常識。Rust関係者はそういうことを説明の奥の方に隠して「メモリ安全」とか誇大広告するから詐欺だと指摘しているわけで。

常識とかけ離れた俺俺定義を使うならちゃんと注意書きしろよ。
「メモリ安全*」
*メモリリークを除きます。
みたいに。

**デフォルトの名無しさん** · 2022/09/17(土) 10:35:04.81

Amazonの>>9の記事にもあるけど
Rustへ書き換えるだけだけでリソースコストや電気代それに伴うCo2排出量などが少なくとも50%は削減できる
さらにセキュリティの要請から安全性も求められている
土方でないまもともなプログラマーならばJavaでもRustでも他の言語でもプログラミングに支障なく書ける
それらの状況から選ぶべき言語がRust一択になっているだけでしょう

**デフォルトの名無しさん** · 2022/09/17(土) 10:39:04.61

https://stackoverflow.com/questions/55553048/is-it-possible-to-cause-a-memory-leak-in-rust
> Is it possible to cause a memory leak in Rust?
> You can also leak memory if you create a cycle of shared references:
> You can also use Box::leak to create a static reference, or Box::into_raw in an FFI situation.
> You might've forgotten about Box::leak and Box::into_raw which are pretty common in ffi situations for passing around states.

https://doc.rust-lang.org/book/ch15-06-reference-cycles.html#reference-cycles-can-leak-memory
> Reference Cycles Can Leak Memory

**デフォルトの名無しさん** · 2022/09/17(土) 10:46:39.42

RustでなくVBAを使うことでエネルギー削減になることもあるな

**デフォルトの名無しさん** · 2022/09/17(土) 10:55:22.36

>>913
Rustを学習した人間の感想の多くが「Rustは難解」と言っているのに、「まともなプログラマなら支障なく書ける」とする根拠は？
根拠が個人の感想なら、「まともなドライバーならマニュアル車を支障なく運転できる」と言うくらい傲慢だと思うがね。

**デフォルトの名無しさん** · 2022/09/17(土) 10:55:41.70

>>912
それはちょっと知識不足じゃないかしら
もし循環参照を作っちゃった場合はそれを安全に解放する局所的な方法は理論的に存在しないんですよ
GCでも局所的に解決できる参照カウント方式では循環参照を解放できないため
GCの中でも全体のマークスイープ方式や全体の使用中分コピー方式でようやく解放されます
そららは非常にコストが重いだけでなく発動までに時差もあります

したがってプログラミング言語界ではそんなコストがかかるものに依存するのではなく
最初から循環参照を作らない方向で進んでいます
そのため最近は多くの言語で弱参照がサポートされており循環参照の発生を防ぐことができます

今回の話のJavaでももちろん弱参照が用意されていて最初から循環参照を作らないようにプログラミングします
そのほうが有利だからです

**デフォルトの名無しさん** · 2022/09/17(土) 11:04:35.77

>>917
C#では参照はツリーで管理されるから循環参照も問題なく一瞬で開放される

**デフォルトの名無しさん** · 2022/09/17(土) 11:12:08.51

>>917
Wikipediaですら「メモリ安全性」の解説でメモリリークをメモリエラーとしているのに、実装側の都合で一般に使われている用語の意味をひん曲げて「常識」とな？

そういうのが詐欺だと指摘しているだけだけどなぁ。

今度からちゃんと
「メモリ安全*」
*メモリリークを除きます。
と注釈付けろよ。

**デフォルトの名無しさん** · 2022/09/17(土) 11:17:11.83

>>918
それはC#でもJavaでもRustでも他の言語でも全て同じ方法です
どの言語も弱参照を併用して参照はツリー状のみにすることで循環参照の発生を防ぎます
もちろんそこには弱参照による弱い循環参照がありますが通常の参照はツリー状なので
おっしゃる通りに一瞬で解放することが可能です

**デフォルトの名無しさん** · 2022/09/17(土) 11:20:08.51

>>919
wikipediaのメモリ安全性のメモリリークで挙げられてる項目は循環参照によるリークは含まれてないっぽいが
https://ja.m.wikipedia.org/wiki/%E3%83%A1%E3%83%A2%E3%83%AA%E5%AE%89%E5%85%A8%E6%80%A7

**デフォルトの名無しさん** · 2022/09/17(土) 11:32:35.56

ところで所有権は複製されるってことでいいの？

**デフォルトの名無しさん** · 2022/09/17(土) 11:33:28.06

>>921
リンク先にある「メモリリーク」の項ぐらい読めよ。

**デフォルトの名無しさん** · 2022/09/17(土) 11:34:17.29

今時循環参照くらいでメモリリークするような言語でよく安全を名乗れたもんだ
退化してるやん

**デフォルトの名無しさん** · 2022/09/17(土) 11:39:26.07

昔は保守的GCというGCに人気があった
本当はゴミなのにゴミではないと判断することはバグではなく安全、という注釈つきのGCだった

この注釈は嘘だったという見方の方が今は優勢

**デフォルトの名無しさん** · 2022/09/17(土) 11:42:22.70

予想される次の手：
・循環参照の矮小化
　循環参照なんてめったに起こらないし
　普通に書いてたら発生しようがない
・問題の転嫁
　循環参照なんて書くほうが悪い
　循環参照によるメモリリークなんかを問題視するほうが悪い
・飛躍した結論
　とにかくRustは素晴らしい

**デフォルトの名無しさん** · 2022/09/17(土) 11:43:45.86

>>902
「この設問は」ね。だから競プロは複数言語できると面白い。

**デフォルトの名無しさん** · 2022/09/17(土) 11:45:32.10

今は強い循環参照を作ってしまったら負けの世界
Pythonですら強い循環参照を避けるために弱参照が用意されていて回避できる
もちろんC#やJavaにKotlinやSwiftにも弱参照が当然あって回避できる
Rustなどのように強い循環参照が自然には発生しない言語仕様だと更に良い

**デフォルトの名無しさん** · 2022/09/17(土) 11:46:24.15

メモリ安全とは何なのがまとまってるページとかは作れないんだろうか

**デフォルトの名無しさん** · 2022/09/17(土) 11:48:55.60

>>925
Bohemとかもそうだっけ？

循環参照に関しては、確かにメモリリークだけど、危険ではないんでは？
Dangling pointerにならんかったら良いんじゃ無いかなあ。

循環参照で放置されているものの解放に時間がかかっても、別に問題ないと思うんだけどな。メモリに極端な制約がある環境下でなければ。

最初から循環参照を作らないというのは一つなんだけど、そういうわけにもいかんのよ。
最近書いたけど、グラフなオブジェクトなんかは循環参照するじゃん。

**デフォルトの名無しさん** · 2022/09/17(土) 11:49:36.37

>>929
Rustの話ならこれかな？
https://doc.rust-jp.rs/rust-nomicon-ja/meet-safe-and-unsafe.html

**デフォルトの名無しさん** · 2022/09/17(土) 11:57:30.35

ようやくわかってきたよ
C 言語に大量にある未定義な挙動がないことをsafeって言ってんのか
ならメモリリークっていう現象事態はたしかにsafeだ

**デフォルトの名無しさん** · 2022/09/17(土) 12:01:39.81

>>923
単にメモリリークと言ったら含まれるけど、
メモリ安全性に関わるメモリリークの文脈では循環参照は言及されてなさそうなんだよね
メモリ安全性という言葉の定義だけの問題で、実用上問題になるという点ではよろしくないとは思うけど

**デフォルトの名無しさん** · 2022/09/17(土) 12:02:36.48

循環参照はコールバック等で普通に発生する
トレーシングGCでは全く何の問題にもならないから弱参照なんか使わんよ

**デフォルトの名無しさん** · 2022/09/17(土) 12:05:32.37

ttps://doc.rust-jp.rs/book-ja/ch15-06-reference-cycles.html
循環参照は、メモリをリークすることもある

ここか
なるほど

**デフォルトの名無しさん** · 2022/09/17(土) 12:06:42.34

>>928
強い弱いの意味がわかってなくて草

**デフォルトの名無しさん** · 2022/09/17(土) 12:07:05.26

>>931
今まである「メモリ安全性」の常識を無視して『メモリ安全性』という言葉を使わなきゃいいんだけどねぇ。
「プログラムの安全性にこだわった」くらいの宣伝ならまだわかる。

Rustはわざわざ「メモリ安全性」という言葉を使って宣伝しているんだからダメだろ。

**デフォルトの名無しさん** · 2022/09/17(土) 12:24:51.56

確定的なタイミングでトレーシングGCしてくれるようなスマートポインタって実現不可能なの？

**デフォルトの名無しさん** · 2022/09/17(土) 12:27:39.54

勘違いしてる人がいるようなので正しい知識をまとめておきます

C++やRustのような非GC言語やリファレンスカウント方式のGC言語では(強い)循環参照の解放は原理的に不可能です
これらの言語ではデッドロック等と同様に(強い)循環参照は発生させてはいけない禁忌として扱われ発生自体を避けます
対処方法としては弱い参照を用いた弱い循環参照を用いるのが主流ですが
プログラムが自分で管理する範囲内で循環参照を作ってまとめて解放したり範囲内GCなどを用いる方式もあります

マーク＆スイープ方式やコピー方式のGC言語ならば(強い)循環参照も解放することができます
ただしそれらの方式は全体空間を全てマークしたり辿ったりコピーしたりとコストが重いことの裏返しでもあります
さらにGCが起こるまで無駄にメモリを専有してしまう問題もあります
そのためこれらの方式のGC言語でも弱参照が用意されて(強い)循環参照を作らないようにすることが一般化しつつあります

**デフォルトの名無しさん** · 2022/09/17(土) 12:35:09.02

>>939
ちなみに誰が勘違いしてんの？

**デフォルトの名無しさん** · 2022/09/17(土) 12:37:10.60

>>940
>>939

**デフォルトの名無しさん** · 2022/09/17(土) 12:39:43.66

>>939
ちょっと本垢でQiitaにでも書いてくれマサカリ投げに行くから

**デフォルトの名無しさん** · 2022/09/17(土) 13:12:35.27

>>937
Rustのメモリ安全性、というのを先に定義しとるからなぁ。
そこはまぁ定義次第なのはその通りだと思う。

**デフォルトの名無しさん** · 2022/09/17(土) 13:18:40.25

>>938
無理だよ
だから各言語は現実的な対応をとってる
例えばC++のshared_ptrでも循環参照を起こしたらメモリ解放できない
回避策は強い循環参照を作らないようにweak_ptrを使う
Rustでは意図的に頑張らない限り循環参照が勝手に作られることはないけど
同様に参照をWeakにできるからメモリ解放可能な弱参照を用いた循環参照にして扱う
これはARC方式のSwiftでも同様で循環参照を起こしたらメモリ解放できない
Swiftでもweak宣言で弱参照にできるので解放できない循環参照を避けられる
いずれの言語もほぼ同じ仕組み

**デフォルトの名無しさん** · 2022/09/17(土) 13:55:15.51

>>944 >Rustでは意図的に頑張らない限り循環参照が勝手に作られることはない
よくわからないので聞くけど、
Rustでは意図的に頑張れば、Weakにせずに循環参照データ構造を定義してzeroじゃない実データ構築をするコードがコンパイル通るの？

**デフォルトの名無しさん** · 2022/09/17(土) 13:59:18.77

>>943
ならトップページに「Rustにおけるメモリ安全性」として「*メモリリークは除く」くらいはやらないと優良誤認だろ。

**デフォルトの名無しさん** · 2022/09/17(土) 14:14:04.83

>>945
https://doc.rust-jp.rs/book-ja/ch15-06-reference-cycles.html

**デフォルトの名無しさん** · 2022/09/17(土) 14:16:59.16

>>947 ありがとう

**デフォルトの名無しさん** · 2022/09/17(土) 14:26:47.74

>>945

https://play.rust-lang.org/?version=stable&mode=release&edition=2021&gist=0d4932743de9a2d3f91b215fe3a4757b

>最後のprintln!のコメントを外してプログラムを実行したら、aがbを指して、bがaを指してと、スタックがオーバーフローするまでコンパイラはこの循環を出力しようとするでしょう。

確かに
thread 'main' has overflowed its stack
fatal runtime error: stack overflow
timeout: the monitored command dumped core

**デフォルトの名無しさん** · 2022/09/17(土) 14:30:22.04

>>937
循環参照によるリークを含むようにメモリ安全性を定義してる文献ってある？

Wikipediaの定義ではメモリリークという分類はあるけど、
"メモリ使用量が追跡されていない又は誤って追跡されている場合"
と説明されていて、前者は当てはまらないし、後者はダングリングポインタなどを意図しているようで、循環参照は含まないように読める

SwiftやChromeやAOSPやDのメモリ安全性に関するドキュメントでもメモリリークについては触れられていないようだった

**デフォルトの名無しさん** · 2022/09/17(土) 14:33:34.46

>>949
[BUILD]にしてみたが「循環しるよ」的なwarningはないのね

**デフォルトの名無しさん** · 2022/09/17(土) 14:37:56.61

>>951
>>944 >Rustでは意図的に頑張らない限り循環参照が勝手に作られることはない
warningがないし、当該データの使い方次第で実行時エラーにもならないので
意図しなくても、「偶発的に」循環参照が作られることはありそうだ。

**デフォルトの名無しさん** · 2022/09/17(土) 14:42:00.12

潜伏した循環参照が後々深刻な事態になるかどうかは別の話だが
Rustだからと言って、コンパイル通ったからと言って、油断は禁物で

**デフォルトの名無しさん** · 2022/09/17(土) 14:43:28.60

「常識」でしょw

**デフォルトの名無しさん** · 2022/09/17(土) 14:44:11.19

>>937
> 今まである「メモリ安全性」の常識
お前の脳内の話じゃないなら具体的にどういう事なのか示してみそ

**デフォルトの名無しさん** · 2022/09/17(土) 15:27:41.65

すげーくだらないことで盛り上がってんなw
さすが次世代w言語wwスレwww

**デフォルトの名無しさん** · 2022/09/17(土) 15:28:08.55

メモリリークだけでは安全性には差し障らんでしょ。一般的に。
スタック、ヒープが枯渇することはメモリ安全性に差し障るけど。

リークしてるけど走りきった、とか、GCがまとめて解放した、はセーフだと思うよ。

**デフォルトの名無しさん** · 2022/09/17(土) 15:58:19.63

>>950
そんなことよりもまず
「メモリ安全性は(プログラムによる)メモリエラーを許容するのか、しないのか」
はどちらだと思うのか考えてもらいたいね。Rustは「メモリエラーが発生するけどRustはメモリ安全」て言っている。
>>955も同じな。お前もRustみたいに断言するのかね。

まぁ、「c++よりもメモリ安全」というならまだ正確だが、それならそうと正直に言うべきだと思うがね。俺俺メモリ安全をwebページの奥の方に置かないで。

**デフォルトの名無しさん** · 2022/09/17(土) 16:03:03.55

>>957
いやメモリリークはDoS攻撃に対する脆弱性になりうるから安全性に差し障るよ

**デフォルトの名無しさん** · 2022/09/17(土) 16:11:02.02

>>958
「メモリ安全性」という用語の定義の話に変な造語持ち込んで話題そらすのやめてよ

Rustによるメモリ安全性の定義が俺俺というなら、ちゃんとした定義を示して欲しいな
「常識だから分かるでしょ？」というのは自分の思いの表明にしかならないよ

**デフォルトの名無しさん** · 2022/09/17(土) 16:15:15.87

>>958
だからお前の思う「メモリー安全性」の定義を示せよ
まあ示せないからぐだぐだはぐらかすしか無いんだろうけどw

**デフォルトの名無しさん** · 2022/09/17(土) 16:22:09.35

>>957
だとするとRustで常駐系のプログラムの開発をするのは安全では無いですな。
常駐系プログラムがメモリを食い潰すのは良くあるバグだけど、Rustだとそれは「仕様」で「メモリ安全の対象外」なんだから。
まぁ、Rcの循環参照だけの話だから、外部のコードを含めてRc使っていないor循環参照していないことを検証できれば安全なんだろうけど、Rustファンが言うような「Rustを使えば安全」というようなことは無い。

>>960
素直にWikipediaの「RAMアクセス時に発生するバグやセキュリティホールなどから保護されている状態のこと」でいいだろ。
Rust公式はなんて定義しているの？>>931は定義じゃないよな。

**デフォルトの名無しさん** · 2022/09/17(土) 17:12:30.63

「定義」や「常識」「一般的に」の話とは別だが、このスレ見てる個人的印象だと、
Rustで宣伝商売したい人たちは、Rustを知らない人(意思決定者)が「メモリ安全性」を「優良誤認」(自己責任)するのを密かに期待してそう
Rustプログラマーはそうじゃないと言い切れるのか

**デフォルトの名無しさん** · 2022/09/17(土) 17:14:19.56

>>962
あんさんキチガイやな
それはRustの問題じゃない
>>939の説明が一番わかりやすいが言語全般における問題で原理的に解決できない問題やで