探検
結局C++とRustってどっちが良いの?
レス数が1000を超えています。これ以上書き込みはできません。
1デフォルトの名無しさん
2023/02/25(土) 09:49:46.74ID:VRyB88xR C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな?
908デフォルトの名無しさん
2023/03/31(金) 23:19:08.47ID:EgdFd66u 自分が長文を書きたいのではなく、相手に自分の真似をさせたいんじゃないか
知らんけど
真似してくれれば人間皆どっちもどっちだと実証されるかも知れないから
知らんけど
真似してくれれば人間皆どっちもどっちだと実証されるかも知れないから
909デフォルトの名無しさん
2023/03/31(金) 23:22:31.74ID:tr7cKY8h ぽまいら一人一人が要点を絞ってくれ
発散させあってたらきりがないんよ
余計なことは省くこと
余計じゃないものが複数あってもより大事なほうを一つ選んで議論を続行すること
発散させあってたらきりがないんよ
余計なことは省くこと
余計じゃないものが複数あってもより大事なほうを一つ選んで議論を続行すること
910デフォルトの名無しさん
2023/03/31(金) 23:22:49.85ID:hy3TCCAc911デフォルトの名無しさん
2023/03/31(金) 23:28:00.63ID:JG8RdAc0 動的ディスパッチするために必要な間接参照の数はRustもC++も同じで高速とか低速とかないから
Rustは動的ディスパッチを使う場合は必ずポインタ経由になるので構造体のデータを読むのに間接参照が1回必ず入る
これが持ち方の違いによって出る差の一つ
Rustは動的ディスパッチを使う場合は必ずポインタ経由になるので構造体のデータを読むのに間接参照が1回必ず入る
これが持ち方の違いによって出る差の一つ
912デフォルトの名無しさん
2023/03/31(金) 23:50:08.60ID:FlP4pMOX あ、多重継承のケースがあったか
でもまあ気にするようなオーバーヘッドじゃないよね
でもまあ気にするようなオーバーヘッドじゃないよね
913デフォルトの名無しさん
2023/03/31(金) 23:51:44.88ID:Q5ExbgOu >>907
後半の指摘については、短い中で詳細まで説明できていないから誤解を与えてしまったもしれないので、そこはすまん
しかしその指摘だとまだ別の誤解されてそうだからその部分についてだけ一応書いておくと
ある型Fooのメソッドmethodの各呼び出しがそれぞれ異なっていてもよくて
Foo::method() なのか
<Foo as Trait1>::method() なのか
<Foo as Trait2>::method() なのかが決まり
Foo::method()がなくてそれ以外が複数で曖昧な時はエラーになるというだけの話
いろんな言語があるからね
後半の指摘については、短い中で詳細まで説明できていないから誤解を与えてしまったもしれないので、そこはすまん
しかしその指摘だとまだ別の誤解されてそうだからその部分についてだけ一応書いておくと
ある型Fooのメソッドmethodの各呼び出しがそれぞれ異なっていてもよくて
Foo::method() なのか
<Foo as Trait1>::method() なのか
<Foo as Trait2>::method() なのかが決まり
Foo::method()がなくてそれ以外が複数で曖昧な時はエラーになるというだけの話
いろんな言語があるからね
914デフォルトの名無しさん
2023/03/31(金) 23:57:35.53ID:RaXhcLNj >>913
具体型Fooが確定している状態で動的ディスパッチは絶対に発生しません
dynと目印のついたトレイトオブジェクト経由でしか動的ディスパッチは発生しません
そしてこのときトレイトは確定しているのでメソッド名は衝突しません
だからメソッド名の衝突の話が出てくる意味が分からないと言っているんです
具体型Fooが確定している状態で動的ディスパッチは絶対に発生しません
dynと目印のついたトレイトオブジェクト経由でしか動的ディスパッチは発生しません
そしてこのときトレイトは確定しているのでメソッド名は衝突しません
だからメソッド名の衝突の話が出てくる意味が分からないと言っているんです
915デフォルトの名無しさん
2023/03/31(金) 23:57:58.72ID:cX1DOwsp916デフォルトの名無しさん
2023/03/31(金) 23:59:30.92ID:Q5ExbgOu917デフォルトの名無しさん
2023/04/01(土) 00:04:38.33ID:AdU+jSWJ918デフォルトの名無しさん
2023/04/01(土) 00:04:51.67ID:XaCtro1R919デフォルトの名無しさん
2023/04/01(土) 00:09:36.60ID:+ti2a57c そのムーブはわかってないけどとりあえずケチつけてんだなとしか思わないよ
指摘できないけど誰か論破してくれねーかなっていう情けない感じ
指摘できないけど誰か論破してくれねーかなっていう情けない感じ
920デフォルトの名無しさん
2023/04/01(土) 00:09:53.12ID:YJwv5+OD921デフォルトの名無しさん
2023/04/01(土) 00:12:20.97ID:ktHgE8AY922デフォルトの名無しさん
2023/04/01(土) 00:13:02.49ID:+UQ+9Bf4 >>915
全然焦点じゃないから気にすんな
全然焦点じゃないから気にすんな
924デフォルトの名無しさん
2023/04/01(土) 00:21:52.63ID:AdU+jSWJ >>921
まだ理解できていないのか?
動的ディスパッチの時こそメソッド名の衝突に対しての処置が重要
そのためどのトレイトのメソッドを呼び出すかを静的に確定するとともに
各トレイトの同名メソッドを区別してvtableのインデックス化をしている
まだ理解できていないのか?
動的ディスパッチの時こそメソッド名の衝突に対しての処置が重要
そのためどのトレイトのメソッドを呼び出すかを静的に確定するとともに
各トレイトの同名メソッドを区別してvtableのインデックス化をしている
925デフォルトの名無しさん
2023/04/01(土) 00:32:15.20ID:DyolynIp926デフォルトの名無しさん
2023/04/01(土) 00:34:01.19ID:ktHgE8AY >>924
「各トレイトの同名メソッドを区別してvtableのインデックス化をしている」
ここを詳しく説明してくれますか?
必要なら次の例を使ってください(こういう状況のことでいいんですよね?)
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=a72f5f361d0e82594bace55483e66c7c
「各トレイトの同名メソッドを区別してvtableのインデックス化をしている」
ここを詳しく説明してくれますか?
必要なら次の例を使ってください(こういう状況のことでいいんですよね?)
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=a72f5f361d0e82594bace55483e66c7c
927デフォルトの名無しさん
2023/04/01(土) 00:35:46.81ID:YJwv5+OD >>925
インデックス区別しないと動的ディスパッチできないですよ
インデックス区別しないと動的ディスパッチできないですよ
928デフォルトの名無しさん
2023/04/01(土) 00:50:45.22ID:ktHgE8AY SubとSuper逆だわ
気になるなら直してていいよ
気になるなら直してていいよ
929デフォルトの名無しさん
2023/04/01(土) 00:56:33.36ID:tiKbQym2930デフォルトの名無しさん
2023/04/01(土) 01:55:13.58ID:AdU+jSWJ >>926
トレイトオブジェクトを扱うためにBoxは不要
ヒープを使うのは必要性があるときのみ
求められているのは俺が書いた「各トレイトの同名メソッドを区別してvtableのインデックス化をしている」の部分だろ
それを直接わかるコードを書いた
ただしvtableはpubではないので現状の仕様を強引にアクセス
インデックス値の順序も変わる可能性ありなので注意
macro_rules! vtable_base { ($dyn:expr) => { *(&$dyn as *const _ as *const usize).offset(1) as *const usize } }
macro_rules! vtable { ($dyn:expr, $index:expr) => { unsafe { *(vtable_base!($dyn).offset($index)) } } }
trait TraitA {
fn method(&self);
}
trait TraitB {
fn method(&self);
}
trait TraitAB: TraitA + TraitB {}
struct Foo;
impl TraitA for Foo { fn method(&self) {} }
impl TraitB for Foo { fn method(&self) {} }
impl TraitAB for Foo {}
fn main() {
let foo = Foo;
let dyn_foo: &dyn TraitAB = &foo;
assert_eq!(vtable![dyn_foo, 3], <Foo as TraitA>::method as usize);
assert_eq!(vtable![dyn_foo, 4], <Foo as TraitB>::method as usize);
}
というわけで動的ディスパッチでもメソッド名衝突の話は必要であり>>886の説明で合っている
トレイトオブジェクトを扱うためにBoxは不要
ヒープを使うのは必要性があるときのみ
求められているのは俺が書いた「各トレイトの同名メソッドを区別してvtableのインデックス化をしている」の部分だろ
それを直接わかるコードを書いた
ただしvtableはpubではないので現状の仕様を強引にアクセス
インデックス値の順序も変わる可能性ありなので注意
macro_rules! vtable_base { ($dyn:expr) => { *(&$dyn as *const _ as *const usize).offset(1) as *const usize } }
macro_rules! vtable { ($dyn:expr, $index:expr) => { unsafe { *(vtable_base!($dyn).offset($index)) } } }
trait TraitA {
fn method(&self);
}
trait TraitB {
fn method(&self);
}
trait TraitAB: TraitA + TraitB {}
struct Foo;
impl TraitA for Foo { fn method(&self) {} }
impl TraitB for Foo { fn method(&self) {} }
impl TraitAB for Foo {}
fn main() {
let foo = Foo;
let dyn_foo: &dyn TraitAB = &foo;
assert_eq!(vtable![dyn_foo, 3], <Foo as TraitA>::method as usize);
assert_eq!(vtable![dyn_foo, 4], <Foo as TraitB>::method as usize);
}
というわけで動的ディスパッチでもメソッド名衝突の話は必要であり>>886の説明で合っている
931デフォルトの名無しさん
2023/04/01(土) 03:08:57.82ID:TpFQVX+V932デフォルトの名無しさん
2023/04/01(土) 03:10:50.58ID:AdU+jSWJ933デフォルトの名無しさん
2023/04/01(土) 03:16:00.87ID:TpFQVX+V934デフォルトの名無しさん
2023/04/01(土) 03:30:04.06ID:AdU+jSWJ935デフォルトの名無しさん
2023/04/01(土) 05:02:11.23ID:J25MoQ6T C++からメタ言語機能のような黒魔術を無くして使いやすくしたのがRustという認識でよろしいか?
936デフォルトの名無しさん
2023/04/01(土) 05:11:37.13ID:J25MoQ6T 今月のInterfaceはRust特集だぞ
937デフォルトの名無しさん
2023/04/01(土) 05:12:17.82ID:J25MoQ6T C++に挫折した者ども、いまこそRustに集え
938デフォルトの名無しさん
2023/04/01(土) 06:30:37.76ID:ol7Kdurc マ板でやれ無能
>>3を理解しろ
>>3を理解しろ
939デフォルトの名無しさん
2023/04/01(土) 06:56:17.26ID:073QzAPe ディスパッチがどうとか言ってるあいだに1000きそうだぞこれ
なんだかんだで実際は両方使うけど、やっぱ俺はこっち推すぜ! みたいなスレになりつつ
テンプレ用意すんの?
なんだかんだで実際は両方使うけど、やっぱ俺はこっち推すぜ! みたいなスレになりつつ
テンプレ用意すんの?
940デフォルトの名無しさん
2023/04/01(土) 10:28:30.10ID:h8xyCGJ+941デフォルトの名無しさん
2023/04/01(土) 10:56:30.89ID:3pQ6SLTI 要するに「へぇ、継承ってのがあるのか、どうやって実現するんやろ?あ、オレならこうするな、でもそれだとこうなってコストメチャメチャかかるじゃん、使えねぇな」と思ってるくちじゃないの?
942デフォルトの名無しさん
2023/04/01(土) 11:11:44.89ID:IIYgmYPv その件は>>930が正しい
assert通るのを確認した
assert通るのを確認した
943デフォルトの名無しさん
2023/04/01(土) 12:25:26.51ID:ktHgE8AY >>930
言いたいことは理解した
でもね、そもそも「衝突」は定義だけで発生するものなんですよ
そのコードのmainの中でdyn_foo.method()と書くと発生するエラーは、「名前解決の失敗」と呼ばれます
そしてこの「衝突」の有り無しは、「vtableのインデックス化」に特に影響を与えません
現に片方だけメソッド名を変更しても、同じレイアウトになりますよね
内部的には別トレイトのメソッドなのだから、"method"部分が「衝突」するしないに関係なく区別されます
「衝突」に、vtableに関して特筆すべき重要性は無いと思います
言いたいことは理解した
でもね、そもそも「衝突」は定義だけで発生するものなんですよ
そのコードのmainの中でdyn_foo.method()と書くと発生するエラーは、「名前解決の失敗」と呼ばれます
そしてこの「衝突」の有り無しは、「vtableのインデックス化」に特に影響を与えません
現に片方だけメソッド名を変更しても、同じレイアウトになりますよね
内部的には別トレイトのメソッドなのだから、"method"部分が「衝突」するしないに関係なく区別されます
「衝突」に、vtableに関して特筆すべき重要性は無いと思います
944デフォルトの名無しさん
2023/04/01(土) 12:47:01.18ID:km+jzk5n 静的型付けをしてればどのメソッド実装を呼び出すか静的に決まるのは当たり前のこと
それを何か特別なことのように変な長文書くからバカにされる
それを何か特別なことのように変な長文書くからバカにされる
945デフォルトの名無しさん
2023/04/01(土) 13:18:48.32ID:hxeslJ4Q C++er あるあるシリーズ
#![allow(unused)]
... = hoge().unwrap;
... = hoge()?;
let p: *const [u8] = &fuga;
unsafe {}
#![allow(unused)]
... = hoge().unwrap;
... = hoge()?;
let p: *const [u8] = &fuga;
unsafe {}
946デフォルトの名無しさん
2023/04/01(土) 13:25:38.29ID:hxeslJ4Q >>900
chatGPT そのもののことだな
chatGPT そのもののことだな
947デフォルトの名無しさん
2023/04/01(土) 13:33:41.52ID:hxeslJ4Q >>936
みたけどイマイチ
みたけどイマイチ
948デフォルトの名無しさん
2023/04/01(土) 13:35:01.01ID:hxeslJ4Q949デフォルトの名無しさん
2023/04/01(土) 13:38:19.66ID:goAbMbb3 面白いのはC++ちょっとかじったくらいのド素人ほど
なぜかRustに引き寄せられてる気がする
ニワカ人間を引きつける同じニオイがするんだろうなRustには
なぜかRustに引き寄せられてる気がする
ニワカ人間を引きつける同じニオイがするんだろうなRustには
950デフォルトの名無しさん
2023/04/01(土) 13:46:59.44ID:WHqiXdwW C++は底なし沼な感じが良い
未だにModern C++ Designを初めて読んだときの衝撃を上回る
本には出会ったことがない
未だにModern C++ Designを初めて読んだときの衝撃を上回る
本には出会ったことがない
951デフォルトの名無しさん
2023/04/01(土) 14:05:07.99ID:goAbMbb3 職業マとアマチュアで感想違うよね
職業マ「C++? 糞の糞糞」
アマチュア「C++? vtableのコスト(キャッキャ)
鼻から悪魔(ウフフフ)膝を撃ち抜く(キャッキャ)CRTP(ウフフ)
職業マ「C++? 糞の糞糞」
アマチュア「C++? vtableのコスト(キャッキャ)
鼻から悪魔(ウフフフ)膝を撃ち抜く(キャッキャ)CRTP(ウフフ)
952デフォルトの名無しさん
2023/04/01(土) 14:25:21.95ID:hxeslJ4Q Javaは糞
C#はチョット良い感じ
Juliaは死んだ
Rustがんがれ
Nimもがんがれ
C++は使い続けるけどね
C#はチョット良い感じ
Juliaは死んだ
Rustがんがれ
Nimもがんがれ
C++は使い続けるけどね
953デフォルトの名無しさん
2023/04/01(土) 15:11:33.70ID:rIj/v2ga954デフォルトの名無しさん
2023/04/01(土) 16:41:11.09ID:HWGbnwVz >>944
同名メソッドが衝突した時にどうなるかは言語によってかなり異なるから一番重要じゃないかな
衝突が許されない言語と許される場合も条件がある場合もあるよ
衝突があってもエラー出ない言語もあれば特定な時だけエラーな言語もあるね
回避方法も別名定義方式から同名自己定義や直接指定と色々だ
同名メソッドが衝突した時にどうなるかは言語によってかなり異なるから一番重要じゃないかな
衝突が許されない言語と許される場合も条件がある場合もあるよ
衝突があってもエラー出ない言語もあれば特定な時だけエラーな言語もあるね
回避方法も別名定義方式から同名自己定義や直接指定と色々だ
955デフォルトの名無しさん
2023/04/01(土) 17:25:01.59ID:/8VZFYJJ Rustが「認め」られたことで、C++のスマポも、べき・べからずが確定したと考えておk?
956デフォルトの名無しさん
2023/04/01(土) 17:29:58.10ID:WHqiXdwW >>955
どういう意味?
どういう意味?
957デフォルトの名無しさん
2023/04/01(土) 17:52:08.96ID:/8VZFYJJ 大手が認めたんだから、Rustと同等に書ければ、それはsafeなんだよな?
これまで、C++のスマポは、CppCoreGuidelinesなんてものはあっても、強制されなかった
これまで、C++のスマポは、CppCoreGuidelinesなんてものはあっても、強制されなかった
958デフォルトの名無しさん
2023/04/01(土) 18:00:21.17ID:WHqiXdwW Rustに関係なくC++ではスマートポインタを使用すれば安全に書けるし
スマートポインタの使用するしないにRustは全く関係ない?
ここ見てる人は俺も含めてRustに注目してはいるが
C++ユーザのほとんどはRustなど眼中にないだろう
スマートポインタの使用するしないにRustは全く関係ない?
ここ見てる人は俺も含めてRustに注目してはいるが
C++ユーザのほとんどはRustなど眼中にないだろう
959デフォルトの名無しさん
2023/04/01(土) 18:01:23.45ID:WHqiXdwW 二行目最後?を消し忘れた
960デフォルトの名無しさん
2023/04/01(土) 18:06:42.88ID:/8VZFYJJ 強制されるってのがミソだろ Rust派は、Rustなら、必ず・全部安全って言ってるんだからさ
961デフォルトの名無しさん
2023/04/01(土) 18:09:42.77ID:vBVsKFoD >>933
某オジお得意の誤訳だったんじゃねーの?
某オジお得意の誤訳だったんじゃねーの?
962デフォルトの名無しさん
2023/04/01(土) 19:15:27.20ID:ugeMTEEj >>914
> 具体型Fooが確定している状態で動的ディスパッチは絶対に発生しません
逆
動的ディスパッチが実行される時点では必ず具体型Fooが確定している
> dynと目印のついたトレイトオブジェクト経由でしか動的ディスパッチは発生しません
> そしてこのときトレイトは確定しているのでメソッド名は衝突しません
衝突する
直接のトレイトは確定しても付随するトレイト境界があれば各トレイトでメソッド名は衝突しうる
> 具体型Fooが確定している状態で動的ディスパッチは絶対に発生しません
逆
動的ディスパッチが実行される時点では必ず具体型Fooが確定している
> dynと目印のついたトレイトオブジェクト経由でしか動的ディスパッチは発生しません
> そしてこのときトレイトは確定しているのでメソッド名は衝突しません
衝突する
直接のトレイトは確定しても付随するトレイト境界があれば各トレイトでメソッド名は衝突しうる
963デフォルトの名無しさん
2023/04/01(土) 19:16:31.21ID:ma7yA/CE964デフォルトの名無しさん
2023/04/01(土) 19:31:10.27ID:9m4PZsrB どの言語でも他の言語とは異なる特徴があるからその説明をしてくれないとわからん
それを説明されると困る人がいるのが不思議
それを説明されると困る人がいるのが不思議
965デフォルトの名無しさん
2023/04/01(土) 21:31:47.02ID:WHqiXdwW >>957,960
何を言っているのかサッパリ分からん
何を言っているのかサッパリ分からん
966デフォルトの名無しさん
2023/04/01(土) 21:44:43.97ID:NRw2BG4n そいつはRustのこともC++のことも何も知らないくせに
なにかコメントしたいだけの池沼なので放置するしかない
なにかコメントしたいだけの池沼なので放置するしかない
967デフォルトの名無しさん
2023/04/01(土) 21:50:56.74ID:WHqiXdwW ひょっとしてGC君かな?
968デフォルトの名無しさん
2023/04/01(土) 21:55:20.36ID:3M3YuI+X >>958
C++でスマポを使ってもヌル安全性もデータ競合安全性も得られない
さらに複雑化した時のスマポの使い方ミスで多くの問題が起きてきたことを考えると
本当に必要なのはスマポが正しく使われていない時にコンパイルエラーを出すこと
現状のC++は欠陥品であり今後も多くのセキュリティホールを生み出し続けるだろう
C++でスマポを使ってもヌル安全性もデータ競合安全性も得られない
さらに複雑化した時のスマポの使い方ミスで多くの問題が起きてきたことを考えると
本当に必要なのはスマポが正しく使われていない時にコンパイルエラーを出すこと
現状のC++は欠陥品であり今後も多くのセキュリティホールを生み出し続けるだろう
969デフォルトの名無しさん
2023/04/01(土) 21:57:58.76ID:WHqiXdwW970デフォルトの名無しさん
2023/04/01(土) 22:10:09.20ID:rBOo7R6g971デフォルトの名無しさん
2023/04/01(土) 22:21:05.85ID:nbXeTJU5 ディスパッチの定義を捻じ曲げたのと同じで
衝突の定義も捻じ曲げにきてるよな
衝突の定義も捻じ曲げにきてるよな
972デフォルトの名無しさん
2023/04/01(土) 23:32:16.53ID:AdU+jSWJ >>940
コードがわかりくいのかなと思って
vtableのところをもう少しわかりやすくしてみた
trait TraitA { fn method1(&self); fn method2(&self); }
trait TraitB { fn method1(&self); fn method2(&self); }
trait TraitAB: TraitA + TraitB {}
struct Foo;
impl TraitA for Foo { fn method1(&self) {} fn method2(&self) {} }
impl TraitB for Foo { fn method1(&self) {} fn method2(&self) {} }
impl TraitAB for Foo {}
macro_rules! as_addr { ($target:expr) => { &($target) as *const _ } }
macro_rules! as_array { ($addr:expr, $index:expr) => { *(($addr) as *const usize).offset($index) } }
macro_rules! vtable { ($dyn:expr, $index:expr) => { unsafe { as_array![as_array![as_addr!($dyn), 1], $index] } } }
fn main() {
let foo = Foo;
let dyn_foo: &dyn TraitAB = &foo;
assert_eq!(vtable![dyn_foo, 0], std::ptr::drop_in_place::<Foo> as usize);
assert_eq!(vtable![dyn_foo, 1], std::mem::size_of::<Foo>());
assert_eq!(vtable![dyn_foo, 2], std::mem::align_of::<Foo>());
assert_eq!(vtable![dyn_foo, 3], <Foo as TraitA>::method1 as usize);
assert_eq!(vtable![dyn_foo, 4], <Foo as TraitA>::method2 as usize);
assert_eq!(vtable![dyn_foo, 5], <Foo as TraitB>::method1 as usize);
assert_eq!(vtable![dyn_foo, 6], <Foo as TraitB>::method2 as usize);
}
このように各トレイトの同名メソッドを区別してvtableのインデックス化(このコードだと他の部分含めてインデックス3~6)をしている
コードがわかりくいのかなと思って
vtableのところをもう少しわかりやすくしてみた
trait TraitA { fn method1(&self); fn method2(&self); }
trait TraitB { fn method1(&self); fn method2(&self); }
trait TraitAB: TraitA + TraitB {}
struct Foo;
impl TraitA for Foo { fn method1(&self) {} fn method2(&self) {} }
impl TraitB for Foo { fn method1(&self) {} fn method2(&self) {} }
impl TraitAB for Foo {}
macro_rules! as_addr { ($target:expr) => { &($target) as *const _ } }
macro_rules! as_array { ($addr:expr, $index:expr) => { *(($addr) as *const usize).offset($index) } }
macro_rules! vtable { ($dyn:expr, $index:expr) => { unsafe { as_array![as_array![as_addr!($dyn), 1], $index] } } }
fn main() {
let foo = Foo;
let dyn_foo: &dyn TraitAB = &foo;
assert_eq!(vtable![dyn_foo, 0], std::ptr::drop_in_place::<Foo> as usize);
assert_eq!(vtable![dyn_foo, 1], std::mem::size_of::<Foo>());
assert_eq!(vtable![dyn_foo, 2], std::mem::align_of::<Foo>());
assert_eq!(vtable![dyn_foo, 3], <Foo as TraitA>::method1 as usize);
assert_eq!(vtable![dyn_foo, 4], <Foo as TraitA>::method2 as usize);
assert_eq!(vtable![dyn_foo, 5], <Foo as TraitB>::method1 as usize);
assert_eq!(vtable![dyn_foo, 6], <Foo as TraitB>::method2 as usize);
}
このように各トレイトの同名メソッドを区別してvtableのインデックス化(このコードだと他の部分含めてインデックス3~6)をしている
973デフォルトの名無しさん
2023/04/01(土) 23:39:50.11ID:62NQQrT2 これ次スレたてるの? あるいはどっかの雑スレに合流?
974デフォルトの名無しさん
2023/04/01(土) 23:53:21.20ID:3egme1as C/C++ vs Rustとしてあった方が良いと思うけどね
雑スレだとGCの勢力が強くなりそう
雑スレだとGCの勢力が強くなりそう
975デフォルトの名無しさん
2023/04/02(日) 00:22:03.90ID:Xkdfgrgv 5chでC++↓Rust↑している人のC++理解度の低さは強調してしすぎることはない
https://mevius.5ch.net/test/read.cgi/tech/1652347700/385-392
https://mevius.5ch.net/test/read.cgi/tech/1652347700/385-392
976デフォルトの名無しさん
2023/04/02(日) 00:30:37.47ID:bY6+UifX977デフォルトの名無しさん
2023/04/02(日) 00:32:38.03ID:xbcpqSco 単純に開発効率の問題だよな
C++よりRustは実行デバッグの時間がかなり減って開発効率がいい
C++よりRustは実行デバッグの時間がかなり減って開発効率がいい
978デフォルトの名無しさん
2023/04/02(日) 00:39:46.89ID:GYBlNyWI 汚コード唱えるやつがコードを示したことがなく信用できない
979デフォルトの名無しさん
2023/04/02(日) 00:43:54.27ID:W9/nq+tL980デフォルトの名無しさん
2023/04/02(日) 00:48:46.53ID:Xkdfgrgv981デフォルトの名無しさん
2023/04/02(日) 01:41:46.92ID:DBhEEanc スレを読んでいて技術的な論争は興味深いんだけど
他人への攻撃をしてる人たちは邪魔なんで消えてほしい
他人への攻撃をしてる人たちは邪魔なんで消えてほしい
982デフォルトの名無しさん
2023/04/02(日) 02:09:25.03ID:WdMf4Ye5983デフォルトの名無しさん
2023/04/02(日) 07:26:34.66ID:W9/nq+tL >>3 にあるとおり、やれっていわれたらやる マとしてはこれでFA
慣れは必要だけど、要求される頃には、定石も今以上に揃うだろうし
ここ読んでて、食わず嫌いしてたRustを眺めなおしてから、
CppCoreGuidelines 読んだら、めっちゃわかりやすかった
これだけで俺には十分収穫あったね
慣れは必要だけど、要求される頃には、定石も今以上に揃うだろうし
ここ読んでて、食わず嫌いしてたRustを眺めなおしてから、
CppCoreGuidelines 読んだら、めっちゃわかりやすかった
これだけで俺には十分収穫あったね
984デフォルトの名無しさん
2023/04/02(日) 07:39:56.12ID:W9/nq+tL Linusに認められた、これだけで、Rustの「勝利」は外形的事実 争う必要はない
はずなのに、そのうえまだ、Rustの優位を主張するのに全力な香具師がいる
若いなって正直思う 昔俺もああだったぜ
C++を母語としている者が考えることは、次に何を取り込むか
やっぱ #pragma safe は欲しいね
そのうしろに値くらい付いてもいい safeの詳細も、進化していくだろうから
はずなのに、そのうえまだ、Rustの優位を主張するのに全力な香具師がいる
若いなって正直思う 昔俺もああだったぜ
C++を母語としている者が考えることは、次に何を取り込むか
やっぱ #pragma safe は欲しいね
そのうしろに値くらい付いてもいい safeの詳細も、進化していくだろうから
985デフォルトの名無しさん
2023/04/02(日) 07:53:54.77ID:W9/nq+tL あああと、パタンマッチを知らなかったのも俺だ (知らぬは)一生の恥になるとこだったw
静的にソースコードを解析してsafeを証明できる、ガイドライン違反を指摘できることだとばかり
rustcのサンプル出してくれた奴には悪かった
「たしかに面白い…けど、こういうの、Cなら、yylvalっぽく処理するよね…」っていう印象だったんだ
inspectってのが来たら来るらしいので、来たら喜んで遊んでみるとして
優位性の根拠になるか? それホントC++に必要? ってのは次スレに持ち越したい
っていう埋め
静的にソースコードを解析してsafeを証明できる、ガイドライン違反を指摘できることだとばかり
rustcのサンプル出してくれた奴には悪かった
「たしかに面白い…けど、こういうの、Cなら、yylvalっぽく処理するよね…」っていう印象だったんだ
inspectってのが来たら来るらしいので、来たら喜んで遊んでみるとして
優位性の根拠になるか? それホントC++に必要? ってのは次スレに持ち越したい
っていう埋め
986デフォルトの名無しさん
2023/04/02(日) 10:51:04.91ID:D26hzdDf987デフォルトの名無しさん
2023/04/02(日) 10:59:32.98ID:W9/nq+tL よく言われるよ
Rustのエヴァンジェリストが暴れていいのに、初心者の俺に黙っとけはないなあ
せいぜい質問させてもらうよ
Rustのエヴァンジェリストが暴れていいのに、初心者の俺に黙っとけはないなあ
せいぜい質問させてもらうよ
989デフォルトの名無しさん
2023/04/02(日) 11:10:11.81ID:6UFMeU2Z990デフォルトの名無しさん
2023/04/02(日) 11:12:51.90ID:Xkdfgrgv991デフォルトの名無しさん
2023/04/02(日) 11:17:21.13ID:W9/nq+tL ダックタイピングみたいなもんじゃないんw
992デフォルトの名無しさん
2023/04/02(日) 11:34:39.31ID:E52hJVrB 俺は池沼と複オジをこのスレから排除したいだけよ
だって時間のムダだもん
だって時間のムダだもん
993デフォルトの名無しさん
2023/04/02(日) 11:42:03.77ID:Xkdfgrgv やめろバカ!複おじを野に放つ気か!?
せっかく平和なRust本スレが実現できて、後はヤツが追い払った住民たちを呼び戻すだけだというのに!
せっかく平和なRust本スレが実現できて、後はヤツが追い払った住民たちを呼び戻すだけだというのに!
994デフォルトの名無しさん
2023/04/02(日) 11:44:18.44ID:W9/nq+tL 残念だが、初心者お断りとは書いてなかったんだなあ
そうくると思って、俺がとっととスレ建てちまったからねw
そうくると思って、俺がとっととスレ建てちまったからねw
995デフォルトの名無しさん
2023/04/02(日) 11:45:16.10ID:E52hJVrB996デフォルトの名無しさん
2023/04/02(日) 12:34:42.17ID:uooZ7ifu まあまあ同じスレで出会った仲間なんだから仲良くしようや
997デフォルトの名無しさん
2023/04/02(日) 13:29:57.68ID:Ky8sq4kq Rustが良いって言ってる人は
C/C++のポインタとメモリ管理理解出来なかったからだろ
C/C++のポインタとメモリ管理理解出来なかったからだろ
998デフォルトの名無しさん
2023/04/02(日) 13:30:14.04ID:Ky8sq4kq おにまい
999デフォルトの名無しさん
2023/04/02(日) 13:30:23.82ID:Ky8sq4kq 梅
1000デフォルトの名無しさん
2023/04/02(日) 13:30:34.24ID:Ky8sq4kq 櫻
10011001
Over 1000Thread このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 36日 3時間 40分 48秒
新しいスレッドを立ててください。
life time: 36日 3時間 40分 48秒
レス数が1000を超えています。これ以上書き込みはできません。
ニュース
- なぜリベラルは人気がないのか 斎藤幸平さんが指し示す未来への道筋:朝日新聞 [少考さん★]
- “ひとり焼肉”でおなじみ「焼肉ライク」が閉店ラッシュ。なぜ「コスパが悪い」と言われてしまうのか [Gecko★]
- 女性天皇「賛成」69%、将来の皇位継承「不安」68%…読売世論調査 [蚤の市★]
- 【日本人の旅行離れ】国内旅行すら行けなくなった……オーバーツーリズムだけじゃない 旅行者減少の異常事態 ★2 [ぐれ★]
- 【日中】経団連会長、1月の北京訪問に暗雲 中国は受け入れ是非明らかにせず 関係「政冷経冷」に [煮卵★]
- 中国の渡航自粛要請1カ月 大阪の観光バス予約ゼロ、東北にも波及 [蚤の市★]
- 「SCORE」←これなんて読むんや?🙋🏡
- 【高市朗報】鈴木大臣「嫌儲のデマに騙されないで。お米券の使い勝手は悪くない。卵味噌醤油も買えます。現金と変わりません」 [517459952]
- 🏡おい!返事しろ︎︎!知的障害者!
- 【画像】地方ならではの「信用金庫の女子行員」にしかない魅力ってあるよな?※参考イメージあり
- 前駐中国大使「高市首相には戦略的思考がない」 [834922174]
- 高市、メガソーラー廃止。環境破壊が社会問題化 [792147417]
