公式
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 part21
https://mevius.5ch.net/test/read.cgi/tech/1692105879/
ワッチョイスレ
プログラミング言語 Rust 4【ワッチョイ】
https://mevius.2ch.net/test/read.cgi/tech/1514107621/
Rust part22
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
2024/01/20(土) 23:21:40.08ID:wyzQTwgG683デフォルトの名無しさん
2024/02/12(月) 20:44:24.28ID:5CWzyU2K >>682
そのフレームワークがデザインパターンで出来てるんだけど
そのフレームワークがデザインパターンで出来てるんだけど
684デフォルトの名無しさん
2024/02/12(月) 21:02:02.43ID:g0MzjlGR アルゴリズムはライブラリを一個作れば終わり
もう一個作ったら車輪の再発明
だがデザインのレベルではワンパターンが続いてもなぜか攻撃されない
もう一個作ったら車輪の再発明
だがデザインのレベルではワンパターンが続いてもなぜか攻撃されない
685デフォルトの名無しさん
2024/02/12(月) 21:59:54.43ID:QicyHe7E686デフォルトの名無しさん
2024/02/12(月) 22:09:04.93ID:h7gv4DVB >>685
C++の静的ポリモーフィズムはダックタイピングではない
ダックタイピングは実行時に動的に処理されるものだけを指す
例えばGoはinterfaceでダックタイピングするが実行時にランタイムが動的にitable (interface table)を生成して用いる
これは実行時に動的に処理されるためダックタイピングとなる
もちろん実行時に動的に処理するためダックタイピングはどの言語でも問題を孕んでいる
手軽さとの引き換えだ
C++の静的ポリモーフィズムはダックタイピングではない
ダックタイピングは実行時に動的に処理されるものだけを指す
例えばGoはinterfaceでダックタイピングするが実行時にランタイムが動的にitable (interface table)を生成して用いる
これは実行時に動的に処理されるためダックタイピングとなる
もちろん実行時に動的に処理するためダックタイピングはどの言語でも問題を孕んでいる
手軽さとの引き換えだ
687デフォルトの名無しさん
2024/02/12(月) 22:14:48.84ID:YxZv/CkW C++のtemplate(concepts無し)のダックタイピングが好きなら
genericsよりmacro_rules!の方がいいよ
genericsよりmacro_rules!の方がいいよ
688デフォルトの名無しさん
2024/02/12(月) 22:15:23.35ID:JpOX7sRf C++のtemplateで正しく関数を呼ぶの難しいよ……
689デフォルトの名無しさん
2024/02/12(月) 22:30:02.58ID:DrV/13x2690デフォルトの名無しさん
2024/02/12(月) 22:30:58.32ID:9yTkyF6j C++はちゃんとコンセプト使わないとだめだよ
黒魔術は禁止です
黒魔術は禁止です
691デフォルトの名無しさん
2024/02/12(月) 22:50:06.45ID:kWCXoXun C++のテンプレートは闇深すぎるよね
692デフォルトの名無しさん
2024/02/12(月) 22:50:36.74ID:4VueJhli >>686
C++ のテンプレートが受け入れる型は型同士の関係ではなくその性質に依存する。
一般的にもダッタイピングの典型例として挙げられることは多いし、静的か動的かで区別するという理屈を私が見たのはここがはじめてだ。
C++ のテンプレートが受け入れる型は型同士の関係ではなくその性質に依存する。
一般的にもダッタイピングの典型例として挙げられることは多いし、静的か動的かで区別するという理屈を私が見たのはここがはじめてだ。
693デフォルトの名無しさん
2024/02/12(月) 22:54:09.63ID:RSTU7X98 >>685
Rustのgenericsはtrait boundsにより完璧に静的に安全安心にチェックされ保証できる
Rustのgenericsはtrait boundsにより完璧に静的に安全安心にチェックされ保証できる
694デフォルトの名無しさん
2024/02/12(月) 23:33:02.01ID:g0MzjlGR695デフォルトの名無しさん
2024/02/12(月) 23:52:54.50ID:Dj37TM3K 委譲やダックタイピングを理解してないのもどうかと思ったけど
↓これらの区別ができてないのは致命的だと思うので勉強しようね
静的型付け/動的型付け
静的ポリモーフィズム/動的ポリモーフィズム
静的処理/動的処理
↓これらの区別ができてないのは致命的だと思うので勉強しようね
静的型付け/動的型付け
静的ポリモーフィズム/動的ポリモーフィズム
静的処理/動的処理
696デフォルトの名無しさん
2024/02/13(火) 00:30:00.87ID:xtMg5XLl 確固たる誰しもが認める定義のない言葉を勝手に定義してマウントとるのはやめよう?
697デフォルトの名無しさん
2024/02/13(火) 02:23:26.95ID:vbRTXFPD ファクトチェック界隈では事実かデマかが確固たる論点だよね
公式ルールか、ローカルルールか、という発想はそれ自体がマイノリティ
公式ルールか、ローカルルールか、という発想はそれ自体がマイノリティ
698デフォルトの名無しさん
2024/02/13(火) 03:26:01.95ID:s0kRtfrq オレオレ定義で擬似問題作るの止めろ。
ダックタイピングについてはWikipediaの解説でいいか。
ja.m.wikipedia.org/wiki/%E3%83%80%E3%83%83%E3%82%AF%E3%83%BB%E3%82%BF%E3%82%A4%E3%83%94%E3%83%B3%E3%82%B0
英語版が一番詳しいかね。
ダックタイピングについてはWikipediaの解説でいいか。
ja.m.wikipedia.org/wiki/%E3%83%80%E3%83%83%E3%82%AF%E3%83%BB%E3%82%BF%E3%82%A4%E3%83%94%E3%83%B3%E3%82%B0
英語版が一番詳しいかね。
699デフォルトの名無しさん
2024/02/13(火) 07:31:17.64ID:KlTxxkJG >>683
フレームワークがデザインパターンのセオリー通りにできてるかって言ったら意外とセオリーを破って新しいムーブを作ったりするのはよくある
結局パターン通りに作る云々が論じられるのはフレームワークを使う側
フレームワークがデザインパターンのセオリー通りにできてるかって言ったら意外とセオリーを破って新しいムーブを作ったりするのはよくある
結局パターン通りに作る云々が論じられるのはフレームワークを使う側
700デフォルトの名無しさん
2024/02/13(火) 08:18:01.41ID:EJGfS3Xj >>699
アンチパターンや亜種になるだけで全部パターンだぞ
アンチパターンや亜種になるだけで全部パターンだぞ
701デフォルトの名無しさん
2024/02/13(火) 08:30:13.65ID:eXWviQcC はじめにパターンありき、ではない
702デフォルトの名無しさん
2024/02/13(火) 09:29:40.48ID:d0oThnC1 ダックタイピングはお手軽さを上回るデメリットだらけの悪手法
問題もなく安全で高速なRustのトレイト方式が最善策
トレイト境界により安全に呼び出せる範囲を明確にしてる点が要所
問題もなく安全で高速なRustのトレイト方式が最善策
トレイト境界により安全に呼び出せる範囲を明確にしてる点が要所
703デフォルトの名無しさん
2024/02/13(火) 10:20:47.32ID:yeb3oliP うちの講師が全てにおいてPythonに劣った言語って言ってるけどマ?
704デフォルトの名無しさん
2024/02/13(火) 10:23:31.22ID:T85IlqBy >>703
そんなわけないでしょ
そんなわけないでしょ
705デフォルトの名無しさん
2024/02/13(火) 10:29:29.95ID:iVxwtbvh706デフォルトの名無しさん
2024/02/13(火) 10:30:11.10ID:ep9QvdZW >>703
その講師はメインでなにを教えてるん?データサイエンス?少なくともコンピュータ工学やメカトロニクスではなさそう
その講師はメインでなにを教えてるん?データサイエンス?少なくともコンピュータ工学やメカトロニクスではなさそう
707デフォルトの名無しさん
2024/02/13(火) 10:31:44.87ID:mnEJD8Sx >>703
その講師優秀やな
その講師優秀やな
708デフォルトの名無しさん
2024/02/13(火) 11:11:21.55ID:mXdLEMzy >>705
その講師も大概だがお前もデバッグをまともにやったことないだろ。
その講師も大概だがお前もデバッグをまともにやったことないだろ。
709デフォルトの名無しさん
2024/02/13(火) 11:16:14.81ID:iVxwtbvh >>708
Pythonは実行時に発覚するエラーが多すぎてプログラミング言語として辛いんよ
Pythonは実行時に発覚するエラーが多すぎてプログラミング言語として辛いんよ
710デフォルトの名無しさん
2024/02/13(火) 11:22:46.51ID:BKo58x30 ここまで俺の自演
711デフォルトの名無しさん
2024/02/13(火) 11:32:02.27ID:mXdLEMzy712デフォルトの名無しさん
2024/02/13(火) 11:43:25.76ID:bOFev+sF713デフォルトの名無しさん
2024/02/13(火) 11:46:14.62ID:bOFev+sF まあどうせ荒らしのたぐいだろうから安価つけても無視されて無駄なんだろうな
くだらねえほんと
くだらねえほんと
714デフォルトの名無しさん
2024/02/13(火) 11:53:02.08ID:rA+hqhZ3 荒らしに構った時点でお前らの負け
715デフォルトの名無しさん
2024/02/13(火) 11:57:48.21ID:qvC4XjeP >>703が荒らし判定されてて草ww
716デフォルトの名無しさん
2024/02/13(火) 12:05:17.83ID:n6Gkr1cM >>702
trait boundはgenerics と型パラメータの相互依存が重たい気が。
c++ template & conceptみたいに、templateから型パラメータへの一方向依存になるように(型パラメータに指定される型はtemplateから独立するように)できたっけ?
trait boundはgenerics と型パラメータの相互依存が重たい気が。
c++ template & conceptみたいに、templateから型パラメータへの一方向依存になるように(型パラメータに指定される型はtemplateから独立するように)できたっけ?
717デフォルトの名無しさん
2024/02/13(火) 12:09:09.09ID:IxuyFkNI わかる→ Pythonで簡単なスクリプトを書く
キチガイ→ Pythonでプログラミング開発する
キチガイ→ Pythonでプログラミング開発する
718デフォルトの名無しさん
2024/02/13(火) 12:12:34.52ID:KvZIg8uL Pythonでプログラム書くのもちゃんと型書いてlintしたら出来なくもないよ
719デフォルトの名無しさん
2024/02/13(火) 12:15:32.69ID:1UgkqCq+ よく分からんが画像生成系のフロントエンドでrubyベースのってあったっけ?
720デフォルトの名無しさん
2024/02/13(火) 13:03:33.72ID:X5Whr4lm 単発NG推奨
721デフォルトの名無しさん
2024/02/13(火) 13:04:48.12ID:X5Whr4lm 単発NG推奨
連鎖あぼーん推奨
連鎖あぼーん推奨
722デフォルトの名無しさん
2024/02/13(火) 13:49:44.45ID:BKo58x30 スレNG推奨では?
723デフォルトの名無しさん
2024/02/13(火) 14:10:44.85ID:q0xfm82v また境界知能が暴れてんのか
いい加減諦めろよ
いい加減諦めろよ
724デフォルトの名無しさん
2024/02/13(火) 15:09:27.64ID:j+0n3+gu C++20のコンセプトはゴミみたいなenable_if_tを使わなくてよくなって見やすくなったよね
まだまともに使う機会が来なくて慣れてないけど
まだまともに使う機会が来なくて慣れてないけど
725デフォルトの名無しさん
2024/02/13(火) 19:22:36.57ID:ui4ZrT7T XML大嫌い
726デフォルトの名無しさん
2024/02/13(火) 20:34:52.16ID:u8WS3GIa >>716
やりたいことがよく分からないけどtraitのassociation typeで解決しない?
I: Iteratorだと要素の型はI::Item(正確には<I as Iterator>::Item)になるみたいな
C++のconceptだとtypenameに相当するのかな
traitにgenericsの型パラメータ持たせるかassociation type使うかの判断は慣れるまで難しいけど
選択肢が複数あって外部から決められる ⇒ generics型パラメータ(例:AsRef<T>)
traitを実装するときに内部で自動的に決まる ⇒ association type(例:Deref::Target)
みたいに使い分けるといい
全部をgenericsの型パラメータでやろうとするとカオスになる
やりたいことがよく分からないけどtraitのassociation typeで解決しない?
I: Iteratorだと要素の型はI::Item(正確には<I as Iterator>::Item)になるみたいな
C++のconceptだとtypenameに相当するのかな
traitにgenericsの型パラメータ持たせるかassociation type使うかの判断は慣れるまで難しいけど
選択肢が複数あって外部から決められる ⇒ generics型パラメータ(例:AsRef<T>)
traitを実装するときに内部で自動的に決まる ⇒ association type(例:Deref::Target)
みたいに使い分けるといい
全部をgenericsの型パラメータでやろうとするとカオスになる
727デフォルトの名無しさん
2024/02/13(火) 21:06:36.86ID:4D6oEUgV >>716
できる
例えばこのように
https://docs.rs/hyper/latest/hyper/service/trait.Service.html
pub trait Service<Request> {
type Response;
type Error;
type Future: Future<Output = Result<Self::Response, Self::Error>>;
// Required method
fn call(&self, req: Request) -> Self::Future;
}
ここで型パラメタResponseとErrorはこのtraitを実装する各型に依存して決まり
型パラメタResponseは依存しない
>>726
その二種類の混合も可能
できる
例えばこのように
https://docs.rs/hyper/latest/hyper/service/trait.Service.html
pub trait Service<Request> {
type Response;
type Error;
type Future: Future<Output = Result<Self::Response, Self::Error>>;
// Required method
fn call(&self, req: Request) -> Self::Future;
}
ここで型パラメタResponseとErrorはこのtraitを実装する各型に依存して決まり
型パラメタResponseは依存しない
>>726
その二種類の混合も可能
728デフォルトの名無しさん
2024/02/13(火) 21:08:42.27ID:4D6oEUgV729デフォルトの名無しさん
2024/02/13(火) 22:37:37.84ID:s0kRtfrq ちょっと違うなぁ。
c++ template & conceptだと
wandbox.org/permlink/74j79ZQ3mbPb2cLO
みたいな感じでCircleはf()の影響を受けずに独立させることができる。
draw()メソッドというダックテストを満たせば他はどうでも良い。
Rustのgenericsだと
wandbox.org/permlink/CvepQKXOXaNTJoJm
みたいにCircleとf()の間にtrait Dという相互依存ができて、Circleを好き勝手に定義できなくなる。
f()が欲しいのはあくまでdraw()メソッドだけだから、双方にtrait Dが必要になるのは過剰な相互依存になる。
クラスの継承もそうだけど、余計な依存性は面倒だからできるだけ排除したいところ。
c++ template & conceptだと
wandbox.org/permlink/74j79ZQ3mbPb2cLO
みたいな感じでCircleはf()の影響を受けずに独立させることができる。
draw()メソッドというダックテストを満たせば他はどうでも良い。
Rustのgenericsだと
wandbox.org/permlink/CvepQKXOXaNTJoJm
みたいにCircleとf()の間にtrait Dという相互依存ができて、Circleを好き勝手に定義できなくなる。
f()が欲しいのはあくまでdraw()メソッドだけだから、双方にtrait Dが必要になるのは過剰な相互依存になる。
クラスの継承もそうだけど、余計な依存性は面倒だからできるだけ排除したいところ。
730デフォルトの名無しさん
2024/02/13(火) 23:17:32.55ID:RVgq5WHA それはgeneric constraintがnominalかstructuralかという違い
Rustはnominalのみでstructural generic constraintはサポートしてないよ
Rustはnominalのみでstructural generic constraintはサポートしてないよ
731デフォルトの名無しさん
2024/02/13(火) 23:20:56.53ID:KlTxxkJG Pythonは全てにおいてJuliaに劣った言語だな
732デフォルトの名無しさん
2024/02/13(火) 23:28:47.57ID:u8WS3GIa >>729
Circleを
fn f<T: Drawable>(t: &T) -> f64 { t.draw() }
に渡したいなら普通に
impl Drawable for Circle {
fn draw(&self) -> f64 { <Circle as D>::draw(self) }
}
を追加するな
コントラクトの明示を余計な依存関係だとは思わない
ちなみに
impl Circle {
fn draw() -> f64 {...}
}
みたいに本体のimplに定義するとCircleのself.draw()は全部こっちで解決されるから
impl Drawable for Circle {
fn draw(&self) -> f64 { self.draw() }
}
って書ける
1つの型に複数のtraitで同じ名前の関数を持たせるのはRustだとたまに見かける
impl Debugとimpl Displayはどっちもfn fmt()で別の実装するし
Circleを
fn f<T: Drawable>(t: &T) -> f64 { t.draw() }
に渡したいなら普通に
impl Drawable for Circle {
fn draw(&self) -> f64 { <Circle as D>::draw(self) }
}
を追加するな
コントラクトの明示を余計な依存関係だとは思わない
ちなみに
impl Circle {
fn draw() -> f64 {...}
}
みたいに本体のimplに定義するとCircleのself.draw()は全部こっちで解決されるから
impl Drawable for Circle {
fn draw(&self) -> f64 { self.draw() }
}
って書ける
1つの型に複数のtraitで同じ名前の関数を持たせるのはRustだとたまに見かける
impl Debugとimpl Displayはどっちもfn fmt()で別の実装するし
733デフォルトの名無しさん
2024/02/13(火) 23:28:48.94ID:RVgq5WHA >>726
>traitを実装するときに内部で自動的に決まる ⇒ association type(例:Deref::Target)
ある型に対するtrait実装をただ一つだけにしたいものや
自然と一つだけになるような性質のものはassciated typesを使う
使う側はassociated typesのほうが使いやすいので
悩んだらとりあえずassociated typesからはじめてみる
>traitを実装するときに内部で自動的に決まる ⇒ association type(例:Deref::Target)
ある型に対するtrait実装をただ一つだけにしたいものや
自然と一つだけになるような性質のものはassciated typesを使う
使う側はassociated typesのほうが使いやすいので
悩んだらとりあえずassociated typesからはじめてみる
734デフォルトの名無しさん
2024/02/13(火) 23:30:39.22ID:9eHJiOzP735デフォルトの名無しさん
2024/02/13(火) 23:32:24.97ID:RaqlAe+S traitとかいうつまらない機能にこだわってないでPython極めろよ
時代はAIだぞ
時代はAIだぞ
736デフォルトの名無しさん
2024/02/13(火) 23:35:00.89ID:8wj/C7pB >>735
Rustをただ貶したいだけのやつは黙っとけよ雑魚
Rustをただ貶したいだけのやつは黙っとけよ雑魚
737デフォルトの名無しさん
2024/02/14(水) 05:05:25.04ID:uLd8jazY Pythonはスクリプト言語のクセにメソッドチェーンもロクに使えないうんこだからなぁ。
比較で持ち出すならせめてNimにしろよ。
比較で持ち出すならせめてNimにしろよ。
738デフォルトの名無しさん
2024/02/14(水) 05:28:01.52ID:uLd8jazY >732 >734
Rustのtrait boundはあらかじめ型の方でtraitを準備しておかなきゃいけない。
これはRustが嫌っているクラスの継承みたいなもので、genericsやるごとに元の型/traitを弄くり回す必要が出てこない?
呼び出し元が真に必要なのは機能だけなんだから、同じ名前で互換性のある引数型・戻り値型ならそのまま利用できる方が良い。
まあ、ダックタイプみたいに手を抜かずにAdapter作れ、と言う方針でも良いけど、それならAdapter helperをもっと充実して欲しいところ。
AdapterパターンとかDecorator パターンて重要なのに言語側のサポート薄いよなぁ。
Rustのtrait boundはあらかじめ型の方でtraitを準備しておかなきゃいけない。
これはRustが嫌っているクラスの継承みたいなもので、genericsやるごとに元の型/traitを弄くり回す必要が出てこない?
呼び出し元が真に必要なのは機能だけなんだから、同じ名前で互換性のある引数型・戻り値型ならそのまま利用できる方が良い。
まあ、ダックタイプみたいに手を抜かずにAdapter作れ、と言う方針でも良いけど、それならAdapter helperをもっと充実して欲しいところ。
AdapterパターンとかDecorator パターンて重要なのに言語側のサポート薄いよなぁ。
739デフォルトの名無しさん
2024/02/14(水) 06:58:38.09ID:t2TEYrx/ >>738
>>これはRustが嫌っているクラスの継承みたいなもの
クラス継承は基底クラスの実装をそのまま継承する実装継承になっていることが問題点
一方でRustはトレイト境界となるトレイトに対して自分で実装を用意する
したがってRustでは実装継承とはならず問題が生じない
>>これはRustが嫌っているクラスの継承みたいなもの
クラス継承は基底クラスの実装をそのまま継承する実装継承になっていることが問題点
一方でRustはトレイト境界となるトレイトに対して自分で実装を用意する
したがってRustでは実装継承とはならず問題が生じない
740デフォルトの名無しさん
2024/02/14(水) 07:00:00.30ID:HWQ4xiFb 自演きもいなあ
741デフォルトの名無しさん
2024/02/14(水) 07:00:27.71ID:523CbVaw 実装継承はゴミ
742デフォルトの名無しさん
2024/02/14(水) 07:05:57.04ID:Uwd6Wtce743デフォルトの名無しさん
2024/02/14(水) 07:33:52.24ID:uLd8jazY744デフォルトの名無しさん
2024/02/14(水) 08:08:30.71ID:b46uhNiQ >>742
実運用はビルド済だから関係ないな。
実運用はビルド済だから関係ないな。
745デフォルトの名無しさん
2024/02/14(水) 08:09:58.02ID:t2TEYrx/746デフォルトの名無しさん
2024/02/14(水) 08:41:45.06ID:W3PM5KGQ >>745
早すぎる最適化が問題なんだから、トレイトもその問題を引き継いでるぞ
早すぎる最適化が問題なんだから、トレイトもその問題を引き継いでるぞ
747デフォルトの名無しさん
2024/02/14(水) 08:51:32.74ID:t2TEYrx/748デフォルトの名無しさん
2024/02/14(水) 08:55:57.66ID:b46uhNiQ749デフォルトの名無しさん
2024/02/14(水) 09:07:35.89ID:L7EuZktb 真面目に理解したいなら>>730が正解だからstructural typingとnominal typingの意味を調べてくればいいよ
750デフォルトの名無しさん
2024/02/14(水) 09:20:06.07ID:BSRmwKLd >>729
C++は酷いな
struct定義の時点でdraw()宣言を要求してしまうのか
Rustなら
struct定義の時点でdraw()宣言を要求せずに済む
後からdraw()という機能(=Drawableトレイト)が必要になった時点で
structに対してDrawableを実装すればいい
Rustの方が優れてるな
C++は酷いな
struct定義の時点でdraw()宣言を要求してしまうのか
Rustなら
struct定義の時点でdraw()宣言を要求せずに済む
後からdraw()という機能(=Drawableトレイト)が必要になった時点で
structに対してDrawableを実装すればいい
Rustの方が優れてるな
751デフォルトの名無しさん
2024/02/14(水) 09:36:07.02ID:48k6rT3Y752デフォルトの名無しさん
2024/02/14(水) 09:47:17.10ID:c6aYZ04m >>738
根本的な理解がおかしいので説明すると
Rustのtraitは機能を抽象化している
各型はその機能が必要になった時にそのtraitを実装(impl)すればよい
必要な分の各機能(trait)を実装することで結果的に各機能の合成となる
根本的な理解がおかしいので説明すると
Rustのtraitは機能を抽象化している
各型はその機能が必要になった時にそのtraitを実装(impl)すればよい
必要な分の各機能(trait)を実装することで結果的に各機能の合成となる
753デフォルトの名無しさん
2024/02/14(水) 09:59:07.19ID:YhuSf3ik 細かな実装上の違いはあるけど概念レベルでは Rustのトレイトも他言語のインターフェースも同じ
実装上の違いを見て異なる概念だと勘違いしてると本質を見失う
実装上の違いを見て異なる概念だと勘違いしてると本質を見失う
754デフォルトの名無しさん
2024/02/14(水) 10:10:46.95ID:Z6/Yikm0755デフォルトの名無しさん
2024/02/14(水) 10:17:10.59ID:naKe/3pl ダックタイピングという問題ありまくりのものを有り難がるのはバカだけ
756デフォルトの名無しさん
2024/02/14(水) 10:27:45.39ID:s2Ev9A6j >>738
言語側のサポートならマクロで十分でしょ
macro_rules! impl_drawable {
($type:ty) => {
impl $crate::path::to::Drawable for $type {
fn draw(&self) -> f64 { self.draw() }
}
}}
を定義すれば
impl_drawable!(Circle);
だけでimpl Drawable for Cirle {...}を生成できる
渡された型が同じ引数&戻り値のself.draw()をもってないとコンパイルできないから実質ダックタイピング
Drawableに関数を追加したらマクロにも追加すればいい
draw関数の有無だけで照合するのは別の意味のdrawも対象になるから危なっかしい
impl traitだとどのモジュールのDrawableを実装するかまで指定できるから混同の心配がなくなる
言語側のサポートならマクロで十分でしょ
macro_rules! impl_drawable {
($type:ty) => {
impl $crate::path::to::Drawable for $type {
fn draw(&self) -> f64 { self.draw() }
}
}}
を定義すれば
impl_drawable!(Circle);
だけでimpl Drawable for Cirle {...}を生成できる
渡された型が同じ引数&戻り値のself.draw()をもってないとコンパイルできないから実質ダックタイピング
Drawableに関数を追加したらマクロにも追加すればいい
draw関数の有無だけで照合するのは別の意味のdrawも対象になるから危なっかしい
impl traitだとどのモジュールのDrawableを実装するかまで指定できるから混同の心配がなくなる
757デフォルトの名無しさん
2024/02/14(水) 10:44:54.87ID:AzS2pw5X ダックタイピングは使う側が気をつければなにも問題ないんだよなあ
そこらへん理解してないあたり実装をやったことのないエアプなんだろうな
かわいそう
そこらへん理解してないあたり実装をやったことのないエアプなんだろうな
かわいそう
758デフォルトの名無しさん
2024/02/14(水) 10:53:25.15ID:naKe/3pl759デフォルトの名無しさん
2024/02/14(水) 11:07:38.32ID:RfRsJx+N 使う側が気をつけるならC++も問題ないからな
760デフォルトの名無しさん
2024/02/14(水) 11:17:22.43ID:NjTyhCIW761デフォルトの名無しさん
2024/02/14(水) 11:23:15.20ID:FEB+PUkj762デフォルトの名無しさん
2024/02/14(水) 11:28:02.15ID:naKe/3pl ダメ人間の思想「使う側が気をつければ問題ない」によって
今まで数多のなかなか見つからないバグやセキュリティホールを生じてきたのがプログラミング言語の黒歴史
今後はそのような言語を用いてはいけない
今まで数多のなかなか見つからないバグやセキュリティホールを生じてきたのがプログラミング言語の黒歴史
今後はそのような言語を用いてはいけない
763デフォルトの名無しさん
2024/02/14(水) 11:51:49.92ID:L7EuZktb ここで>>9-20の流れを振り返ってみましょう
764デフォルトの名無しさん
2024/02/14(水) 11:52:42.46ID:3OoaoCBc C の後置 ++ 演算子のようなことをする Rust の関数が標準で有ったりしますか?
リファレンスマニュアルをざっとみた感じでは見つけられないのですが……。
具体的に言えば
fn increment(dest: &mut u32) -> u32 {
let t = *dest;
*dest += 1;
t
}
みたいなことをしたくて、いかにもよくありそうなパターンなので標準内にあってもよさそうなもんだと思った次第です。
リファレンスマニュアルをざっとみた感じでは見つけられないのですが……。
具体的に言えば
fn increment(dest: &mut u32) -> u32 {
let t = *dest;
*dest += 1;
t
}
みたいなことをしたくて、いかにもよくありそうなパターンなので標準内にあってもよさそうなもんだと思った次第です。
765デフォルトの名無しさん
2024/02/14(水) 12:13:59.14ID:s2Ev9A6j766デフォルトの名無しさん
2024/02/14(水) 12:19:27.37ID:Cdw7DngV767デフォルトの名無しさん
2024/02/14(水) 12:25:13.12ID:b46uhNiQ768デフォルトの名無しさん
2024/02/14(水) 12:29:23.30ID:naKe/3pl769デフォルトの名無しさん
2024/02/14(水) 12:49:07.16ID:b46uhNiQ770デフォルトの名無しさん
2024/02/14(水) 12:52:16.39ID:KpCwABm3 欠点がない言語なんて無いから言い争ってもね。
771デフォルトの名無しさん
2024/02/14(水) 12:57:57.69ID:p6Tfi6cJ そもそも人間自体が欠陥なんだからその人間の作った言語に欠陥があるのは自明
772デフォルトの名無しさん
2024/02/14(水) 13:07:28.33ID:L7EuZktb たし🦀
773デフォルトの名無しさん
2024/02/14(水) 13:09:31.24ID:aR1xhX8a おれたちは欠陥と共存してよりよいプログラミングスタイルを目指すべき
774デフォルトの名無しさん
2024/02/14(水) 13:16:05.40ID:eD+V22zq drawという名前のメソッドを作ったらそれらが全部ダックタイピングとして使われうることを想定しないといけないのきつすぎる
適当な名前つけたら想定外の使われ方をすることをケアしないといけないわけだ
適当な名前つけたら想定外の使われ方をすることをケアしないといけないわけだ
775デフォルトの名無しさん
2024/02/14(水) 13:33:10.33ID:Q08aEmFz 境界知能が可視化されてる
776デフォルトの名無しさん
2024/02/14(水) 13:53:52.28ID:Z6/Yikm0777デフォルトの名無しさん
2024/02/14(水) 13:55:32.21ID:eD+V22zq778デフォルトの名無しさん
2024/02/14(水) 13:57:04.55ID:s22bd+Hs >>775
お前のこと?
お前のこと?
779デフォルトの名無しさん
2024/02/14(水) 14:31:04.48ID:h4S8S2sP >>777
これな
これな
780デフォルトの名無しさん
2024/02/14(水) 14:41:15.13ID:3OoaoCBc781デフォルトの名無しさん
2024/02/14(水) 15:12:12.70ID:s2Ev9A6j782デフォルトの名無しさん
2024/02/14(水) 15:36:36.14ID:S2bQYQek >>764
Rustで++は排除されている
理由はたくさんあるようだが
例えば今回のそのCコードは*dst++では動かず(*dst)++とする必要があるようにミスが増えるとか
前置と後置の間違いミスも多いことに加えて
生ポインタはsafe Rustから排除されたため*ptr++の形が出て来ないことや
move/copy問題もあったかな
Rustで++は排除されている
理由はたくさんあるようだが
例えば今回のそのCコードは*dst++では動かず(*dst)++とする必要があるようにミスが増えるとか
前置と後置の間違いミスも多いことに加えて
生ポインタはsafe Rustから排除されたため*ptr++の形が出て来ないことや
move/copy問題もあったかな
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカー】U-17日本代表、激闘PK戦制す 北朝鮮撃破で6大会ぶり8強入り U17W杯 [久太郎★]
- 「国民の憤りを引き起こした」中国側“高市首相発言の撤回改めて要求” [どどん★]
- 【インバウンド】中国からの“渡航自粛”…ツアー1000人分の直前キャンセル「キャンセル料は免除してくれ」 ことしいっぱいキャンセルに [1ゲットロボ★]
- 【芸能】日中関係悪化でエンタメ業界に大ダメージ… JO1の中国でのイベント中止、邦画は公開延期、STARTOアイドルへの影響も [冬月記者★]
- XやChatGPTで広範囲の通信障害 投稿や閲覧できず [蚤の市★]
- 日本行き空路49万件キャンセル 中国自粛呼びかけ 日本行きチケット予約の約32%に相当 ★3 [ぐれ★]
- Perfume・あ~ちゃんの結婚相手の一般男性、吉田カバンの社長と判明 [977261419]
- 日本、高市のお陰で破滅に近づくwwwwwwww
- 自民党議員「高市は先人が築き上げた日中関係を壊した。外務省が謝罪に言ってるが自分で責任を取れ」 [834922174]
- 令和の陽キャってみんな前髪めっちゃ長いけど
- まみちゃん
- ちっしゃーねーな。俺が習近平のアナルに武力侵攻してきてやるよ
