318(1): デフォルトの名無しさん [sage] 2024/06/23(日) 21:00:39.70 ID:GCEM9Zx1(1) AAS
Rustツアー
外部ﾘﾝｸ[html]:tourofrust.com

説明が簡潔すぎてモヤモヤが増えていくばかり。
しかも終盤は翻訳されていない。

399(4): デフォルトの名無しさん [sage] 2024/06/27(木) 11:20:07.91 ID:veLj9zg3(1/4) AAS
よくわかんないんだけどスタック上に確保したメモリの所有権を外に移して関数は終了してスタックが縮んじゃうとかさ
「そんなわけないだろ」って思うんだけど

401(1): デフォルトの名無しさん [sage] 2024/06/27(木) 12:00:05.74 ID:TDzAch9x(3/6) AAS
>>399
関数が値を返す場合にサイズが小さければレジスタで返す
サイズが大きい場合は呼び出し元のスタックフレームに領域を確保してそこへ直接書き込んでいる
つまり暗に可変参照を渡す最適化が行われている
それはサイズの大きい値を返す関数呼び出しが多段でも同じなので一番最初の関数のスタックフレームに直接書き込まれる

422(1): デフォルトの名無しさん [sage] 2024/06/27(木) 23:40:56.83 ID:ZCM59EGi(1) AAS
C/C++の方こそ誤魔化しているぜ
そのため未定義動作だらけだ

Rustはわかりやすく抽象的に明確だ
そして未定義動作もない

691(7): デフォルトの名無しさん [] 2024/07/09(火) 22:57:23.83 ID:/lHavWP5(1) AAS
>>685
リスコフの置換原則は設計的な原則だから言語仕様で違反を防ぐことはできないぞ
悪名高い長方形・正方形の問題はトレイトがあっても起こり得る

trait Rectangle {
　fn set_width(&mut self, width: i32);
　fn set_height(&mut self, height: i32);
　fn width(&self) -> i32;
　fn height(&self) -> i32;
　fn area(&self) -> i32 { self.width() * self.height() }
}

struct Square { len: i32 }

impl Rectangle for Square {
　fn set_width(&mut self, width: i32) { self.len = width; }
　fn set_height(&mut self, height: i32) { self.len = width; }
　fn width(&self) -> i32 { self.len }
　fn height(&self) -> i32 { self.len }
}

fn func(x: &mut impl Rectangle) {
　x.set_width(3);
　x.set_height(4);

　// xが長方形であれば以下が成り立つはずだが、Square型を渡された場合に失敗する
　assert!(x.area() == 12);
}

793(2): デフォルトの名無しさん [sage] 2024/07/12(金) 23:08:24.73 ID:LuKbokrL(8/9) AAS
参照カウンタ自体は全然新しくない
Rustがそれを無くせない理由が知りたい