Rust part12

**デフォルトの名無しさん** · 2021/08/24(火) 22:55:27.78

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

日本語の情報
https://rust-jp.rs/

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※C++との比較は専用スレへ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/

前スレ
Rust part11
https://mevius.5ch.net/test/read.cgi/tech/1623857052/

**デフォルトの名無しさん** · 2021/08/25(水) 13:42:20.13

>>983
なるほどサンクス
リージョン理論に線形論理を上手く組み合わせて、cycloneとかの欠点を克服したrustってすげーなあ
とはいってもそもそも二重開放してエラーになるというのがピンとこない
free(a);
free(a);
は二重解放しているように見えて合法だろ？
一度目のfreeでaにNULLが代入されて、二度目のfreeでは引数がNULLの場合はそのままreturnって処理されるんだから、理論上は何度free使ってもエラーにならないじゃないか

**デフォルトの名無しさん** · 2021/08/25(水) 13:42:36.69

これに答えろ

**デフォルトの名無しさん** · 2021/08/25(水) 14:22:27.47

>>16
なぜRustのスレに書いているのか不明だけど
当然NULLにならなかったよ

キャスト警告無視で
#include <stdlib.h>
main() {
　char *ptr = malloc(1024);
　printf("ptr(1): %x\n", ptr);
　free(ptr);
　printf("ptr(2): %x\n", ptr);
　free(ptr);
　printf("ptr(3): %x\n", ptr);
}

実行結果
ptr(1): ea8f72a0
ptr(2): ea8f72a0
free(): double free detected
core dump

**デフォルトの名無しさん** · 2021/08/25(水) 14:49:12.37

>>11
静的にチェックできないような使い方を実現するためのものなんだから
実行時チェックになるのは当然では
オーバーヘッドが気になるなら UnsafeCell を使えばよい

>>16
C には参照はないので free(a) という呼び出しで a の値が書き換わることはなく malloc で獲得した領域のアドレスがそのまま残る
領域自体は free で解放済みになっているため、アクセス (free 呼び出し含む) した場合何が起きるか分からない
このような解放済みの領域へのアクセスは use-after-free と言われるもので、脆弱性の原因として有名

**デフォルトの名無しさん** · 2021/08/25(水) 14:50:41.52

>>18
なるほど
free内で代入されるのではなく
自分で代入しないとNULLにはならないのですね。
ありがとうございました。

**デフォルトの名無しさん** · 2021/08/26(木) 04:09:52.45

そういやNull代入派とかいうのもいたな

**デフォルトの名無しさん** · 2021/08/26(木) 07:18:01.38

uaf防ぐのってぶっちゃけ簡単ですよね？freeしたあとにNULL代入するのを鉄則化するだけですよね？

**デフォルトの名無しさん** · 2021/08/26(木) 07:18:53.92

ポインタコピーすることないの？
加減算することないの？

**デフォルトの名無しさん** · 2021/08/26(木) 07:42:26.49

int* p1 = malloc(sizeof(int));
int* p2 = p1;
free(p1);
p1 = NULL;
free(p2);

極端に書くとこうかなあ？

**デフォルトの名無しさん** · 2021/08/26(木) 08:58:05.69

>>22
1つのオブジェクトを複数のポインタで挿している場合にそういうわけにはいかない。

**デフォルトの名無しさん** · 2021/08/26(木) 09:21:56.64

>>25
誤字訂正: 挿して ---> 指して

**デフォルトの名無しさん** · 2021/08/26(木) 14:46:24.90

>>25
複数のポインタにそれぞれNULL代入したらいいだけの話ですよね？
難しい話ですか？

**デフォルトの名無しさん** · 2021/08/26(木) 14:52:56.47

>>23
加減算考慮するとなんかやばいんですか？
本当に素人なので教えてください！！

**デフォルトの名無しさん** · 2021/08/26(木) 14:53:33.93

>>24
p2=NULL;すればいいだけの話ですよね？

**デフォルトの名無しさん** · 2021/08/26(木) 14:54:04.18

Cスレでやれよ

**デフォルトの名無しさん** · 2021/08/26(木) 14:55:34.47

>>27
効率が落ちる。

**デフォルトの名無しさん** · 2021/08/26(木) 15:01:32.05

>>27
プログラミングをしたことがなく
頭の中での思考実験もできないのか
プログラマーに向いていない

**デフォルトの名無しさん** · 2021/08/26(木) 15:04:39.60

手で書くと効率は落ちないが、実行段階で自動的に NULL を入れようとすると
効率が落ちるという意味ね。時間とメモリーの両方で。
NULLが入っているか判定して error にするなどの処理も必要となったりする。

**デフォルトの名無しさん** · 2021/08/26(木) 15:06:19.25

>>27
難しいです…

**デフォルトの名無しさん** · 2021/08/26(木) 15:11:05.26

>>32
すみません。
おっしゃるとおりかも知れないです。。

**デフォルトの名無しさん** · 2021/08/26(木) 15:12:24.56

>>31
>>33
そんなに効率が落ちますか？

**デフォルトの名無しさん** · 2021/08/26(木) 15:18:41.61

>>36
凄く落ちるわけではないが。

**デフォルトの名無しさん** · 2021/08/26(木) 15:21:09.64

>>36
参照カウンタ方式は、自動的に関連するポインタを巡ってNULLを入れるよりは
効率が良いのでプログラマーの裁量で選択できるようになっている。
しかし、それでも僅かに効率が落ちるのでなるべく使わないでプログラムする
方が良いと思うプログラマーが多いということだよ。

**デフォルトの名無しさん** · 2021/08/26(木) 15:24:37.81

プログラマーならば、まず思考実験、それで解決しなければコーディング
その上で問題点を尋ねる
それをしない人はプログラマーではないから、このスレの邪魔

**デフォルトの名無しさん** · 2021/08/26(木) 15:24:45.61

>>38
そんな僅かな効率の低下でも忌避されるんですね！！
わかりました！！

**デフォルトの名無しさん** · 2021/08/26(木) 15:25:39.02

>>39
こわい。。

**デフォルトの名無しさん** · 2021/08/26(木) 15:25:45.57

手作業で書く場合は、1つのオブジェクトを削除する場合、それを参照する
全てのポインタに NULL を入れるのは効率が良い。だから、多くのC/C++
プログラマはかつてそうしてきたし、今でもそうすることも多い。
ところが自動でそれをやるには静的解析は難しいので実行段階でも
余計なメモリーを追加で消費して行うことになる。それが効率が悪い。
そして、NULLが入っているかどうか分からないのでその参照を
使う場合には、いつも最初にNULLが入ってないことを確認してから
作業をする必要があり、その判定に 2 クロックくらいかかる。
この2クロックが忌避される。

**デフォルトの名無しさん** · 2021/08/26(木) 15:26:04.39

>>7
言ってる事はかねがね同意ですが、プログラムが共同作業の為にRefCell<Rc<List>>とA氏が定義してあるものに
違う人B氏が何も考えずにRc::clone(&a)で循環を入れてしまう事は十分あり得るでしょう。
状況次第ですが循環参照を考慮してないA氏が悪いのか、Rc::clone(&a)でぶち込んだ人が悪いのかは要件次第ですが
これを簡単と言わずに（あなたは言っていませんが）難しいと表現するのは違和感がありますよ

**デフォルトの名無しさん** · 2021/08/26(木) 15:28:09.24

>>42
詳しい解説ありがとうございますm(_ _)m
メモさせていただきます。

**デフォルトの名無しさん** · 2021/08/26(木) 15:28:30.66

>>37
嘘を教えたらあかんやろ
N人の人が自分を指しているとして
まずそのN人をどうやって知る？

**デフォルトの名無しさん** · 2021/08/26(木) 15:29:12.92

>>45
自力で数えればいいんではないでしょうか？

**デフォルトの名無しさん** · 2021/08/26(木) 15:30:36.47

>>40
まあ、そういうこと。
というのは、参照カウンタも、1つのヒープノードに対して必ず1つ必要になるので、
ノード数が多いときには膨大なメモリーの無駄になるから。
それとノード数が多いときに参照カウンタを 0 クリアしたり、1足したり
する作業も馬鹿にならないと考えるプログラマが多い。

なぜかというと、そういう自動化を行わなくても、人が頭で考えて手作業で
NULLを入れても十分に安全にプログラムできるプログラマが多かったからだよ、
少なくとも昔のCプログラマには。
手作業でやってもとくに危険を感じないので、効率を落としてまで自動化する
必要が無いと思われている。
手作業でNULLを入れるのは難しくない。
ところが、コンパイラが自動で効率を落とさずにそれをやるのはめちゃくちゃ難しい。
それは人間の脳がそれだけ優秀だということだよ。

**デフォルトの名無しさん** · 2021/08/26(木) 15:31:47.17

>>45
手作業で人間が頭で考えたら、難しく感じないプログラマが多かった、という
ことだよ。
難しく感じるプログラマも居る。
数学の才能だと思う。

**デフォルトの名無しさん** · 2021/08/26(木) 15:32:40.17

コピーしたポインタを別スレッドに転送とかしてたら、いつNULL代入すべきかすら分からんしなぁ

**デフォルトの名無しさん** · 2021/08/26(木) 15:32:44.57

>>48
ああ、自動化の効率面の話か。
凄く効率が落ちるわけではないよ。
リンクで辿るだけだから。

**デフォルトの名無しさん** · 2021/08/26(木) 15:42:17.45

>>47
違うだろ
ある時点でNヶ所から指されているとして
そのNヶ所をどうやって知る？誰がどのようにNヶ所を管理する？

**デフォルトの名無しさん** · 2021/08/26(木) 15:43:01.48

>>51
僕がです。

**デフォルトの名無しさん** · 2021/08/26(木) 15:46:08.68

>>51
静的解析はコンパイラには難しいが、動的なら簡単。
人間にも、「一般性を持って」は分かる方法は無い。

**デフォルトの名無しさん** · 2021/08/26(木) 15:47:35.53

言っておくが現実世界では俺は天才だと言われているから、俺が簡単だと
思うことは、大部分のプログラマには難しいと思うかもしれないがな。

**デフォルトの名無しさん** · 2021/08/26(木) 15:48:12.84

>>52
データ構造は入出力の変化に伴いどんどん変化していく可能性がありますから人間は覚え追いきれないよね
さらに一つのmalloc毎にそれぞれそこをポイントしている利用者の数も利用者数も異なりますよね
それらのデータをどこでどうやって管理するつもりですか？

**デフォルトの名無しさん** · 2021/08/26(木) 15:54:12.28

まず前提が誤りです
変化を追えば覚えられます
思考実験できないんですか？

**デフォルトの名無しさん** · 2021/08/26(木) 16:04:38.88

>>56
利用者リストを覚えておくためにメモリが必要やね
それもmallocするか
mallocで取ってきたメモリ管理のために更にmallocが必要となってしまったぞ
利用者が増えてきたら利用者リストの領域が足りなくなる
またmallocするか
全てにNULLを入れるためだけに大がかりになってきたな
この方法は本当に大丈夫なのか？

**デフォルトの名無しさん** · 2021/08/26(木) 16:08:02.62

>>57
静的に確認すればすむ話です

**デフォルトの名無しさん** · 2021/08/26(木) 16:17:15.72

データが育っていったら100か所からリンクされるとか普通によくあるわけだが
その100か所にNULLを代入しにいくために100か所の場所をリストで持つのか
しかもmallocした各データ毎にリストを持つのか
全てにNULL代入はあきらめた方がいいんじゃね？

**デフォルトの名無しさん** · 2021/08/26(木) 16:20:01.23

アクセスするとたちまち例外発生するぬるぽにはどんなデータが格納されているのだろうか

**デフォルトの名無しさん** · 2021/08/26(木) 16:23:55.37

int* p1 = malloc(sizeof(int));
int* p2 = malloc(sizeof(int));
int* p3;
if (なんかの条件) p3 = p1; else p3 = p2;
free(p1);
p1 = NULL;
// p2はまだまだ使う

こういうときp3はどうするのかっていう

**デフォルトの名無しさん** · 2021/08/26(木) 16:28:43.55

すべてのヒープを**ptrで管理すればできなくもない気がする
参照するたびに有効かチェックしないといけないから激しく面倒だけど

**デフォルトの名無しさん** · 2021/08/26(木) 16:29:37.04

>>61
なるほど
参考になります
回答してくださってありがとうございました。

**デフォルトの名無しさん** · 2021/08/26(木) 16:32:51.02

>>62
その**ptrの格納領域の確保がデータ事に発生
しかも伸長してしまいますね

**デフォルトの名無しさん** · 2021/08/26(木) 16:33:25.33

何の参考だよ

**デフォルトの名無しさん** · 2021/08/26(木) 16:36:08.26

https://twitter.com/cpp_akira/status/1430779310885859330
最近はC++の発表資料を公開すると「Rustでいいじゃん」というコメントがたくさんつくのか…。Rustへの言及とか一文字も書いてないのに。
普及活動だと思うけど、さすがに嫌がらせチックに見える。

↓の資料公開した時の話っぽいんだけど、Rustでいいじゃんって言われてるソースが見つからない・・・
https://speakerdeck.com/faithandbrave/opunhua-gajin-muc-plus-plus-falsexian-zhuang-tozhan-wang

言われててもおかしくないとは思うけど、実際のところどうなんすかねえ
アロケータ回りがまだ弱いから少なくともゲームは10年後もC++のが強そう
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2021/08/26(木) 16:38:42.43

>>27
まだ利用者がいるのに全てへNULL代入しにいく時点で破綻
つまりまだ自分以外の誰かが利用中かどうかを知らないといけない
つまり利用者リストを管理する必要がある

**デフォルトの名無しさん** · 2021/08/26(木) 16:39:16.76

おまえらスレチがすぎるぞ
まとめてどっかいってくれ

**デフォルトの名無しさん** · 2021/08/26(木) 16:43:10.20

>>66
Rust はメモリ安全性を保証することが論文で示されているので
どうしてもC++でないと出来ないこと(＝まだRustが対応してないこと)であることを示さないと
「Rustでいいじゃん」となってしまうのは仕方ないかも

**デフォルトの名無しさん** · 2021/08/26(木) 17:32:35.75

Rustは言語仕様が未確定なのが懸念事項かな
実用上は大して困らないからどうでもいいんだけど
期待してたRust Foundationは何故かディレクター探し始めてるしｗ

**デフォルトの名無しさん** · 2021/08/26(木) 17:40:08.48

>>70
2018editionに2019のasync/awaitゼロコストサポートで言語としては完成でしょ？

**デフォルトの名無しさん** · 2021/08/26(木) 17:48:35.66

>>70
それを期待するならFoundationよりこっちかな
https://ferrous-systems.com/ferrocene/
2022年末にASIL-B認証が目標

**デフォルトの名無しさん** · 2021/08/26(木) 18:01:26.94

>>69
どの論文だよ

**デフォルトの名無しさん** · 2021/08/26(木) 22:38:09.77

>>71
まだOpenなRFCいくつあると思ってるんだ

**デフォルトの名無しさん** · 2021/08/26(木) 23:09:41.27

そんなこと言い出したら他の言語も未完成
永久にね

**デフォルトの名無しさん** · 2021/08/26(木) 23:45:46.81

でもSchemeとか言語仕様も形式意味論も定まってるし

**デフォルトの名無しさん** · 2021/08/26(木) 23:50:11.85

とりあえず
https://doc.rust-lang.org/stable/reference/
のWarningを消してくれるだけでいいんだ
2018版だけでも確定できないのかな

**デフォルトの名無しさん** · 2021/08/26(木) 23:57:00.95

確定できないというよりメンテする人がいないんじゃないかな
言語仕様に詳しいけどコード書くよりドキュメント書きたいっていう奇特な人が要求されるわけで

**デフォルトの名無しさん** · 2021/08/27(金) 00:00:45.70

ferroceneみたいに具体的な目標があって企業が投資してるなら進むだろうけど
リファレンスの更新とかあまり需要もないじゃない？

**デフォルトの名無しさん** · 2021/08/27(金) 00:16:19.30

完全な仕様書は間違いなく必要ではあるよな。

**デフォルトの名無しさん** · 2021/08/27(金) 00:25:02.14

完全な仕様書www
どんだけ素人なんw

**デフォルトの名無しさん** · 2021/08/27(金) 00:25:46.96

第三者が処理系を作れるレベルで言語仕様が固まれば普及が進むと思うんだけどね
Rust Foundationにはそういう方向性を期待してたけど想像以上に何もしなかった

**デフォルトの名無しさん** · 2021/08/27(金) 00:39:02.98

Foundationはもともと裏方に徹する組織だと言ってたし
その通りに動いているのでは
最近だとgccrsのライセンス絡みの知財チェックとかやってたかと

**デフォルトの名無しさん** · 2021/08/27(金) 00:45:32.58

言語仕様が固まるってのは新機能の追加をやめるということ？

**デフォルトの名無しさん** · 2021/08/27(金) 00:49:06.81

言語仕様とコンパイラのバージョンが一体化しているようではミッションクリティカルな領域で採用されない

**デフォルトの名無しさん** · 2021/08/27(金) 01:13:55.67

>>84
厳密に運用するなら機能を追加するときは言語仕様のバージョンも上げる
固めるのは言語仕様の１つのバージョンってだけで言語の進化をとめるわけじゃないよ

**デフォルトの名無しさん** · 2021/08/27(金) 01:28:41.09

>>84
現状では「今そのように動いている処理系」と「処理系の (不十分な) ドキュメント」がある状態で、
それのどこからどこまでが言語仕様として満たすべき要件なのか保証されている動作なのかがわからない。
追加するも何も今の時点でどうなっているのかわからん。

どこかにはあったりもするんだろうけど、開発者向けの議論の中などに分散していて「仕様書」としてまとまってないんだ。

**デフォルトの名無しさん** · 2021/08/27(金) 02:31:48.28

安全性は型システムによるところが大きいから、仕様書が無いと使えないというのは無いと思うがね

**デフォルトの名無しさん** · 2021/08/27(金) 02:39:18.77

コンパイラだってバグがない保証なんてないんだから
テストするしかないね

**デフォルトの名無しさん** · 2021/08/27(金) 02:39:45.83

ISO 26262のコンパイラ認証とか無理そう

**デフォルトの名無しさん** · 2021/08/27(金) 07:59:32.64

LLVMの中間表現に依存してる時点で、言語仕様をまともに設定するのは無理。
だから他のコンパイラが作られることもない。

**デフォルトの名無しさん** · 2021/08/27(金) 08:07:16.05

仕様書、仕様書言っている人はOSやライブラリのAPIとかシステムコールとかはどう考えているんだろうね
MSDNだって盲信できるほどの信頼性はないし、OSS系なんてソースコードが仕様書状態だろ
もっと言えば処理系だってオプティマイザの仕様などは文書化されていなく、実際に調査しないと判らない事も多いよな

**デフォルトの名無しさん** · 2021/08/27(金) 08:07:24.55

こんな状態じゃc++の置き替えなんて夢のまた夢だな。

**デフォルトの名無しさん** · 2021/08/27(金) 08:43:05.29

完全な仕様書wがないのが問題だ思うなら使わなければいいだけ
クッソ無駄なやりとりでスレ消費すんな

**デフォルトの名無しさん** · 2021/08/27(金) 08:54:32.00

少なくともC++はもっとずっと細かな仕様が書いてある。
例で説明する時でも、変な例で説明せずに数学の教科書の様な粒度の細かい例で
説明されているで、数学の教科書の様な雰囲気を持っている。
Rustの場合、ライフタイムの説明をとってみても、ちゃんとした数学的説明になってない。

**デフォルトの名無しさん** · 2021/08/27(金) 08:57:07.99

時々プログラミングは文系でも出来るという人が居るが、そういう人には、
数学的な説明とは何かがぴんと来ないかもしれないので、良い仕様書も
書けないかもしれない。Rustのbookの著者ももしかしたらそうなのかも。
本人は頑張って書いているつもりでも数学的な論法になってない。

**デフォルトの名無しさん** · 2021/08/27(金) 09:04:15.77

高校数学レベルで言えば、ベクトルの和の定義は図で例を使って説明されるが、
3つの矢印で、c = a + b が説明される。
これは最も粒度が細かい説明で、これ以上簡単に説明できない。
ところがRustのライフタイム注釈の説明は、説明に使われている例が不適切で
とても長いが本質が説明し切れてない。
本来は、「ライフタイム注釈とは何か」を数式や擬似命令などを使ってせいぜい2ページ以内で
説明できるはずだ。
ところが実際の説明は、変な例を使って長々と説明されている。
数学的な説明になっていないので応用が効かない。
数学的説明とはほとんどの場合「パターン」だ。パターンになっているから応用が効く。
パターンとして説明されてないと応用が効かない。

**デフォルトの名無しさん** · 2021/08/27(金) 09:06:37.74

コンパイラが一つしかない状況は現状メリットでしかない

C++のようなレガシー言語の轍を踏まない賢い選択

**デフォルトの名無しさん** · 2021/08/27(金) 09:11:46.45

数学的説明にしたいなら、
「仮定」を置く。
「入力」と「出力」を明確にする。
「最も粒度の小さい例を書き、パターン」にする。
集合論や論理学の「かつ」「または」「積集合」「和集合」「背反集合」「区間の積」
などの言葉を使って書く。
ところが、Rustのbookはこのようなことが全く出来てない。

**デフォルトの名無しさん** · 2021/08/27(金) 09:15:12.91

>>98
仕様書が数学的(パターン的、自動機械的)に書いてないので、厳密な
仕組みや仕様が分からず、他の人がコンパイラが作りにく。
だから、「Rustは実験してみないと分からない」。
ところが、CやC++やRuby,Java,C#,Pythonなどは実験しなくても分かる
ようになっている。それはなぜかというと、仕様が粒度が細かく説明されて
いるから、パターンになっており「パターンの一部への代入」や「当てはめ」
が出来るので頭の中だけで全てプログラミングできてしまうから。

**デフォルトの名無しさん** · 2021/08/27(金) 09:17:17.15

今日のNGIDがすぐ分かって助かった
感謝感謝

**デフォルトの名無しさん** · 2021/08/27(金) 09:20:43.18

ちょっと難解だが高速なスクリプト言語としては使えるとは思う。
でもC++の置き換えは難しいな。
なぜならC++で出来ていたことがRustには移植できないから。

**デフォルトの名無しさん** · 2021/08/27(金) 09:47:25.61

算数がクラスで一番君がきてますね

**デフォルトの名無しさん** · 2021/08/27(金) 10:21:55.10

なんやいつぞやのパターンマッチングの規格についてゴネてた子か

**デフォルトの名無しさん** · 2021/08/27(金) 11:04:36.95

・Fortran/BASICからCへの移植は容易。単純なパターンが存在する。
　アルゴリズムの変更は不要。

・C++からJavaやC#への移植は容易。単純なパターンが存在する。
　アルゴリズムの変更は不要。

・C++からRustへの移植は困難。単純なパターンは存在せず。
　アルゴリズムを根本的に変える必要がある場合がある。

**デフォルトの名無しさん** · 2021/08/27(金) 11:10:56.79

Rustアンチスレでやればいいのに

**デフォルトの名無しさん** · 2021/08/27(金) 16:15:37.78

嫌なら使うなでおわり
現状嫌でも使うしかないくらいまでのシェア獲得してないし

**デフォルトの名無しさん** · 2021/08/27(金) 16:28:39.42

個人としては使いたいけど組織として導入するには仕様の確実さというのは必要なんだわ。

**デフォルトの名無しさん** · 2021/08/27(金) 16:36:16.05

C++ドロップアウターがOOPを学び直すには良いんでないの

**デフォルトの名無しさん** · 2021/08/27(金) 16:44:56.69

大手IT企業たちの方針

プログラミング言語「Rust」のための「Rust Foundation」設立 -- AWS(Amazon)、Microsoft、Google、Mozilla、Huaweiが創設
https://japan.zdnet.com/article/35166267/

Facebookが「Rust Foundation」に参加
https://japan.zdnet.com/article/35170192/

**デフォルトの名無しさん** · 2021/08/27(金) 16:56:21.47

>>108
仕様の確実さってどういうの言ってる？
Rustでの具体例を1～2個あげてみて？

**デフォルトの名無しさん** · 2021/08/27(金) 17:09:08.75

>>111
lifetime関連

**デフォルトの名無しさん** · 2021/08/27(金) 17:14:05.77

>>112
関連じゃわかんねーわ
Lifetime Elisionとかは分かりやすく仕様定義されてるっしょ

**デフォルトの名無しさん** · 2021/08/27(金) 17:44:50.51

で、それはどこにあるっていうんだ。
これについての仕様はこっちに有ってあれについての仕様はあっちに有って
詳細はブログのここにあって……でもこれは議論のための暫定的なまとめで……
みたいなのじゃ組織の中で話を通せんのよ。

「Rust の仕様はこれです」「これを満たした処理系は (少なくとも今のところは) Rust と呼べます」
というのが仕様書であって、そういうのが欲しいわけよ。

**デフォルトの名無しさん** · 2021/08/27(金) 17:53:04.46

その論法は流石に違和感が強い

GAFA級の組織（のどこか）では採択されるのにその組織では通らないというなら、その組織か説得者が外れ値なだけでは？

**デフォルトの名無しさん** · 2021/08/27(金) 17:58:34.36

老害さん今日も公式読まずに愚痴たれる