[過去ﾛｸﾞ] Rust part24 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
203: 2024/06/16(日)12:33 ID:dwkxcYMW(14/22) AAS
>>201
機械語知ってるからそんな心配はない
204: 2024/06/16(日)12:36 ID:dwkxcYMW(15/22) AAS
>>202
そうだね。Rustは高級アセンブラってわけではまったくないね。勘違いしてた
205(1): 2024/06/16(日)12:42 ID:dwkxcYMW(16/22) AAS
代入だったり関数呼び出しの引数だったりはコピーじゃなくて移動がキホンって時点で機械語ともC言語とも違う
206: 2024/06/16(日)12:51 ID:G6A3UH2o(1) AAS
>>205
代入と考えるよりもパターンマッチングと考えるといいかな
＝や引数などで複雑なパターンを書いてもマッチングしてくれるよ
それがたまたま1対1の時が昔からの代入に相当してマッチングして移動
207: 2024/06/16(日)13:26 ID:Crm/SwBu(1/7) AAS
あえて機械語レベルでも考えるとするなら概念的には移動でも (最適化を別にすれば) ビットパターンはコピーしている。
所有権を失った変数にはアクセスできないように静的に制限されるから所有権が移動したように見える。
借用は (借用が存在している間は) 移動を許さない権利として捉えることができる。
208(1): 2024/06/16(日)13:35 ID:wnp+0tyF(1) AAS
>>200
現状だとここを見ておくのがいいかも
外部ﾘﾝｸ[html]:public-docs.ferrocene.dev
ISO 26262の認定通すために書かれたものだからかなりちゃんとしている
209(1): 2024/06/16(日)15:11 ID:xaMJYqDm(1) AAS
>>208
C/C++はISO認定だからな
一方、Rust連中はほんぽん仕様変える(変えたい)から、そんなISOレベルの仕様書書く意味がないって感じじゃないのか
210: 2024/06/16(日)15:51 ID:Crm/SwBu(2/7) AAS
>>209
C++ だって三年ごとに更新する制度になってるし、その間の議論でも仕様の文面をどう変えるかという形式をとる。
頻繁に変えるつもりがあるならなおさら今どうなってるのかの全体像を把握できる仕組みがないと困る。
211: 2024/06/16(日)15:52 ID:sKPbV2Nu(1) AAS
RubyもISOになったことあるし
212: 2024/06/16(日)15:57 ID:sswa3N72(2/2) AAS
15.4:16 ??? (this should describe the order of borrowing and when the borrow is returned)
わろた
213: 2024/06/16(日)16:23 ID:dwkxcYMW(17/22) AAS
NLLというくらいだからもともとLL
214: 2024/06/16(日)16:49 ID:dwkxcYMW(18/22) AAS
まあ一応（ボローチェッカーというものが）可能そう
215(1): 2024/06/16(日)17:20 ID:dwkxcYMW(19/22) AAS
コンパイラはプログラム中の全ての参照型に対してライフタイムを割り当てる、と
216(1): 2024/06/16(日)17:45 ID:WRdAUcGE(1) AAS
言語にISO標準を求めるのって相当なお爺ちゃんでしょ
もうそういう時代じゃないですよ
217: 2024/06/16(日)17:52 ID:fzWVLbYH(1) AAS
>>215
所有者がどのスタックフレーム(の中のどのブロックスコープ)にいるかだけの話だよな
そこより先なら参照は生きて
そこより元なら参照も死ぬ
もちろんそんな神の絶対的な視点を実行前のコンパイル時点で静的に持つことはできない
しかし各関数内での出入り(引数がinで返り値がout)は静的にわかるから
相対的な視点で有効か無効かわかることになると
218(1): 2024/06/16(日)17:55 ID:Crm/SwBu(3/7) AAS
>>216
ISO 規格が必要なんて話はしてないだろ。
仕様書が要るって話をしてるんだぞ。
219: 2024/06/16(日)18:05 ID:0Wwb3VFz(2/3) AAS
複製おじさんと遊ぼうスレ
220(1): 2024/06/16(日)18:43 ID:hxwMVp5d(1) AAS
>>218
>仕様書が要るって話をしてるんだぞ。
別に全然要らないぞ
逆になんで要るんだ？
221(1): 2024/06/16(日)18:44 ID:dwkxcYMW(20/22) AAS
ひとつしかない所有者がスコープを抜ける、もしくは所有者に別の値が代入されると、そこから先にはメモリはもうない
222: 2024/06/16(日)18:57 ID:dwkxcYMW(21/22) AAS
なんとなく、所有者はスタックの根元の方に、参照はスタックの枝葉の方にいそうなイメージ
223(1): 2024/06/16(日)19:01 ID:4AvHozuz(1) AAS
>>221
有効な参照(借用)が存在したまま移動や破棄は起きない
これは静的に判定されコンパイルエラーとなる
224(1): 2024/06/16(日)19:08 ID:dwkxcYMW(22/22) AAS
>>223
つまり所有権も静的に解析できる？
225: 2024/06/16(日)19:26 ID:0Wwb3VFz(3/3) AAS
ここは結局こんな感じなのでID:dwkxcYMWは本当のことが知りたいならrust-lang-jpのZulipにでも行くといい
外部ﾘﾝｸ:rust-lang-jp.zulipchat.com
226(1): 2024/06/16(日)21:12 ID:Crm/SwBu(4/7) AAS
>>220
じゃあ言語の仕様をどうやって把握すんの？
何が出来ていれば Rust のコンパイラを実装できましたって言えるの？
227: 2024/06/16(日)21:13 ID:Crm/SwBu(5/7) AAS
>>224
できるというか、それが Rust のキモやで。
228(1): 2024/06/16(日)22:06 ID:DhqUa2Zy(3/3) AAS
ゴールポストを固定することが正しいという考えが衰退したんだよな
正しさを疑うことが常識になったから
229: 2024/06/16(日)22:29 ID:Crm/SwBu(6/7) AAS
>>228
ゴールを設定したいという話じゃなくて「今」どうなっているか見えないと疑うべきものすら存在できないって話なんだよ。
230(1): 2024/06/16(日)22:37 ID:ICtaqBL/(1) AAS
>>226
>じゃあ言語の仕様をどうやって把握すんの？
言語の仕様はリファレンスで把握しろよ
>Rust のコンパイラを実装できましたって言えるの？
言える必要性が全くないやろ
どうしても言いたければ公式が用意してるコンパイラと標準ライブラリのテストを全部通したらいいんじゃね？
231: 2024/06/16(日)23:02 ID:Crm/SwBu(7/7) AAS
>>230
端的に言うと現状のリファレンスマニュアルで Rust の仕様の全てを読み取ることは出来ない。
そのことは >>198 あたりからの話題の流れ。
リファレンスマニュアルは仕様を書くものじゃないし。
232: 2024/06/17(月)06:58 ID:Yz55GwEO(1) AAS
【マイクロ波センサー】長距離でも壁があっても動きを検出！
↓2010年ごろには完成
高齢化社会を支える“見守りシステム”の開発に成功-カギを握った半導体ソリューションとは
↓2026年ごろにさらに性能工場
旭化成、ミリ波・マイクロ波帯の空洞共振器による微小金属検査システムを開発
男女関係なく陰部を撮影
一度でも盗撮されていれば正確な色合いの・・・
初期型は赤外線センサー【自動ドアのセンサなど】
子どもが言語を獲得していくのと同じようにAIモデルに学習させることに成功
AIを使って「赤外線カメラ画像のフルカラー化」に成功！
省1
上下前次1-新書関写板覧索設栞歴
あと 770 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s