[過去ﾛｸﾞ] Rust part24 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
707(2): デフォルトの名無しさん [sage] 2024/07/10(水) 01:13:16.99 ID:1XduDtMr(1/4) AAS
>>688>>679679(2): デフォルトの名無しさん [sage] 2024/07/09(火) 15:20:15.91 ID:aoAam1/W(3/5) AAS
>>676
LSPに明記されている前提すら満たさない異なるものであるため
「RustのTraitはLSPと関係ない」で合っている
LSPが対象としている遺物における諸問題に悩まされずに済むように
新たな視点で整理されたより良いものとしてRustのTraitが提供されている
の言う「LSPが対象としている遺物における諸問題に悩まされずに済むように」するためには必要なんだよ。
LISKOVのA behavioral notion of subtyping でも「include exception」と言っているだろ。
まぁ、panicが例外にもなれないそびえ立つクソだからRustから排除すべき、と言うなら同意するが。
709: デフォルトの名無しさん [sage] 2024/07/10(水) 01:45:22.45 ID:1XduDtMr(2/4) AAS
>>708708(1): デフォルトの名無しさん [sage] 2024/07/10(水) 01:26:45.94 ID:UJdk5M3g(1) AAS
>>707
LSPはsuperclassとsubclassといったような関係を持つ型同士について満たすべき話が書かれてるんよ
その前提を無視してpanicがどうこう言い出してるからズレとるんよ
それを言うなら>>682682(1): デフォルトの名無しさん [sage] 2024/07/09(火) 20:23:57.43 ID:YflJELWV(4/6) AAS
>>679
RustとLSPが関係ないのなら、LSPを引き合いに出すのは大嘘か。
知ってて言っているなら詐欺師だな。
そもそもTraitでpanic禁止にできない時点で「LSPが対象としている遺物における諸問題に悩まされずに済む」というのも大嘘だしな。
で言っている通り、RustのTraitでLSPに言及するのが大嘘なんだよ。
RustのTraitは同じTraitでも簡単に異なる振る舞いを実装できる(panicみたいな致命的な振る舞い含め)のに、「LSPが対象としている遺物における諸問題に悩まされずに済む」とかの大嘘が出てくるのは何ともアホらしい話。
710(1): デフォルトの名無しさん [sage] 2024/07/10(水) 02:13:28.47 ID:1XduDtMr(3/4) AAS
>>698698(1): デフォルトの名無しさん [sage] 2024/07/09(火) 23:56:35.46 ID:ZNKPIxXk(3/3) AAS
>Rustのtraitとその実装型はis-aの関係ではなくhas-aの関係を持つ
すげーのが出てきたなこりゃｗ
RustのTraitとImplの関係はまさしくsubtypeだしis-aの関係なのにな。「継承しなければsubtypeじゃないしis-aにもならない」と間違って覚えているんかね。
718(1): デフォルトの名無しさん [sage] 2024/07/10(水) 08:46:54.18 ID:1XduDtMr(4/4) AAS
>>714714(1): デフォルトの名無しさん [sage] 2024/07/10(水) 04:10:08.62 ID:xXJVwGE7(1) AAS
>>684
>panic禁止にしました。
たとえno_std環境であろうとpanicは禁止にできない
>unsafe rustでpanicを使います。
panicを引き起こすのも扱うのもunsafeを必要としない
>panicが発生してシステムダウンしました。
panic発生がそのままシステムダウンではない
何ら特別な設定をしない標準状態でもスレッド内で起きたpanicはエラーとして返るだけで他のスレッドは動き続ける
だからLSPが対象としている諸問題はRustじゃ解決しないと主張しているんだよ。
>>715715(1): デフォルトの名無しさん [sage] 2024/07/10(水) 07:01:39.33 ID:H4rrLaXL(2/5) AAS
>>710
型クラスのinstanceであると宣言すればsubtypeじゃないのは自明だぜ
じゃあtraitをimplすると宣言したら
自明だった問題が突如として最先端の未解決問題に変化するのか？
しないでしょ
同じでしょ
implの実装次第なのに、
「LSPが対象としている遺物における諸問題に悩まされずに済む」と言っているアホが居るのよ。
そんな機能はRustのTrailには無いわな。
>>717717(1): デフォルトの名無しさん [sage] 2024/07/10(水) 07:35:50.92 ID:1hn7S5X0(1) AAS
>>716
あらゆる問題が解決されたという話は出てないでしょ
クラスが抱えてる問題でRustによって解決されてる様々な例が出ているだけで
「遺物における諸問題に悩まされずに済む」と言っているアホが居るのよ。しまいにはRustとLSPは関係無いとか言うし。
そんなわけ無いだろと主張している。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s