[過去ログ]
Rust part24 (1002レス)
Rust part24 http://mevius.5ch.net/test/read.cgi/tech/1716759686/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
832: デフォルトの名無しさん [] 2024/07/13(土) 15:50:29.46 ID:mV5TIlCk >>831 例えば fn test_clone(x: impl Clone + PartialEq) { assert!(x.clone(), x); } はClone および PartialEq トレイトの振る舞いに依存したコードだけど、この振る舞いに反した型は作れるよね トレイトは事後要件 (x.clone() == x) を定義できないし、そもそも Clone はそれを担保していないと主張することはできるけど、それならLPSって何のためにあるんだ?ってなるし http://mevius.5ch.net/test/read.cgi/tech/1716759686/832
834: デフォルトの名無しさん [] 2024/07/13(土) 15:55:51.56 ID:mV5TIlCk 訂正 >>832 のアサート行は assert!(x.clone(), x) でなく assert!(x.clone() == x) http://mevius.5ch.net/test/read.cgi/tech/1716759686/834
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.570s*