Rust part26

**デフォルトの名無しさん** · 2024/09/20(金) 22:18:38.38

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

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

**デフォルトの名無しさん** · 2024/11/26(火) 12:32:30.35

>>970
ありがとうございます
他のライブラリー影響する気がしたので聞いてみました

**デフォルトの名無しさん** · 2024/11/26(火) 19:48:39.21

Traitのimplが出来るのは型を定義したcrateかtraitを定義したcrateだけだから、他のライブラリには影響しない
メソッドの名前が被っていてもそのtraitをuseしないと使えないし、最悪useすることになってもtraitを指定してメソッドを呼べる

**デフォルトの名無しさん** · 2024/11/27(水) 16:06:33.32

「ツールの使い方覚えるだけ」

まさにそれ

**デフォルトの名無しさん** · 2024/11/29(金) 21:54:35.06

こうすれば実行時に確定する値を&'staticにできるね
static HOME: LazyLock<String> = LazyLock::new(|| std::env::var("HOME").unwrap());
let home: &'static str = &*HOME;

**デフォルトの名無しさん** · 2024/11/30(土) 00:45:06.70

unsafeとは危険という意味で合ってるが、魔女のようなものを狩る行動を意味しない
信念と行動が合致しない方が得だから合致しない

**デフォルトの名無しさん** · 2024/11/30(土) 18:20:12.51

所有者をスタック上に置くからライフタイム管理が必要になる
それを避けて&'staticするには3つの方法がRustで提供されている
(1) 所有者を最初から持たない
(2) 所有者をスタックに置かない
(3) 所有者を捨てる

**デフォルトの名無しさん** · 2024/11/30(土) 19:42:09.81

データをRustの外に置けば、ライフタイム管理から逃れられる
たとえばファイルに書いてしまう

**デフォルトの名無しさん** · 2024/11/30(土) 23:10:39.19

(1) コンパイル時に値が確定して静的に配置されるものが該当
(2) 実行時に値が確定してstatic変数に遅延配置させるものが該当
(3) 実行時に値が確定してleak()させるものが該当
いずれも&'staticで安全に参照できる

**デフォルトの名無しさん** · 2024/11/30(土) 23:33:27.96

C++もスマートポインタがあるからポインタ管理を推進する側の勢力だった
だからC++を使わなくてもCで十分という意見に説得力があった
今では、管理に反対する奴も賛成する奴もどっちもC++に不満を感じている

**デフォルトの名無しさん** · 2024/12/01(日) 21:53:13.54

let や　let mut を見たとたん、「だーめだ、こりゃあ。数値計算に使えねえ。fortranの方が余程ましだ。」
と思った。大体、letなんてBasicで出てきそうなワードを「変数束縛」という深刻な概念に結びつけている
時点で作った奴はセンスねえと思うわ。

**デフォルトの名無しさん** · 2024/12/01(日) 22:06:15.87

ブラックフライデーで複オジポエムが続いてたかと思えばさらに輪をかけた常識知らずが来たw

**デフォルトの名無しさん** · 2024/12/01(日) 22:10:53.24

そうか？　俺にはお前の額に馬と鹿が見えるが

**デフォルトの名無しさん** · 2024/12/01(日) 22:44:04.77

>>774
アンロードが起きうるstatic変数は制御下に置くためスレッドローカルに置く
thread_local! {
static VAR: RefCell<Foo> = RefCell::new(Foo::new());
}
ちゃんとdropするためメモリリークは起きないことが確認できる
impl Drop for Foo {
fn drop(&mut self) {
println!("DEBUG: drop Foo");
}
}

**デフォルトの名無しさん** · 2024/12/02(月) 13:25:55.50

>>980
大丈夫か？比較対象がfortranやbasicでは歳が知れるぞ。今時の言語知らんのかい？

**デフォルトの名無しさん** · 2024/12/02(月) 13:32:19.67

変数束縛とかいきってるとこにセンス感じないのは同意

**デフォルトの名無しさん** · 2024/12/02(月) 13:38:57.47

ML 系言語が基礎になってるから用語もそっちで一般的なものが使われてる。

**デフォルトの名無しさん** · 2024/12/02(月) 13:43:46.67

>>986
ML知ってるならより奇妙に感じるはずだよw

**デフォルトの名無しさん** · 2024/12/02(月) 14:01:48.04

lispや初期のMLからletの使い方は変わってないと思うけど何がしたくて何が出来ないと言ってるのか分からん。

**デフォルトの名無しさん** · 2024/12/02(月) 14:48:33.18

伝統的には、引数とグローバル変数を区別せず自由変数とする
自由ではない変数は束縛されている
ただし関数がネストするなら、引数は束縛変数とするほうが需要に合致する

**デフォルトの名無しさん** · 2024/12/02(月) 18:48:24.16

free variables/bound variablesのbindingと
name bindingのbindingは無関係ではないけど使われる文脈も意味も違う
letの話は後者

それに昔々のThe Bookではvariable bindingsという用語が使われてたが
わかりにくいという理由でかなり前にvariablesという用語に変更されてる

**デフォルトの名無しさん** · 2024/12/02(月) 18:54:23.80

>>739
メモリリークとは実行中に使用していないメモリが解放されないことでメモリ使用量が膨らんでいくことだから
実行を終えた時にメモリ解放するか否かはどうでもいい話でそれをメモリリークとは呼ばない

Box::leak()でも実行を終えた時にメモリは解放されないがRustでは普通に使われている
例えばcargo crateでもleakさせまくっているが何ら問題ない

cargo-0.84.0/src/cargo/core/package_id.rs: let inner = Box::leak(Box::new(inner));
cargo-0.84.0/src/cargo/core/source_id.rs: let inner = Box::leak(Box::new(inner));
cargo-0.84.0/src/cargo/util/interning.rs: let s = str.to_string().leak();

**デフォルトの名無しさん** · 2024/12/02(月) 20:05:14.90

最近勉強始めたけど
::で躓いて脱落しそう

**デフォルトの名無しさん** · 2024/12/02(月) 20:19:44.41

ダブルコロンは他の言語C++からPHPまで使われており
Rustでもそれらと同様に名前空間を示すpathの区切り文字として使用されている
https://doc.rust-lang.org/reference/paths.html

**デフォルトの名無しさん** · 2024/12/02(月) 20:22:50.81

>>990
えーとletという用語に文句言ってるだけで、プログラムの機能的には問題ないということでいいの？

**デフォルトの名無しさん** · 2024/12/02(月) 20:39:13.67

ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:39:36.01

ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:39:59.86

ら、ら、ラストー🦛
ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:40:22.73

ら、ら、ラストー🦛
ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:40:45.44

ら、ら、ラストー🦛
ら、ら、ラストー🦛
ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:41:08.42

ら、ら、ラストー🦛
ら、ら、ラストー🦛
ら、ら、ラストー🦛

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 72日 22時間 22分 31秒