結局C++とRustってどっちが良いの？

**デフォルトの名無しさん** · 2023/02/25(土) 09:49:46.74

C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな？

**デフォルトの名無しさん** · 2023/03/29(水) 15:45:49.19

>>710はいつものデタラメ言いがかり君に似てる
闇雲に否定して別の問題点があると主張しつつ
その問題点を述べることは一切ないので書き込みの中身がない

**デフォルトの名無しさん** · 2023/03/29(水) 17:50:54.05

>>711
デフォルトmoveの導入は無理だと思ってるくせにNull安全は導入できると思ってるのかw
オツム弱っww

**デフォルトの名無しさん** · 2023/03/29(水) 18:18:44.67

たぶん人違いじゃないかな？
dynamic_castの返り値を確認しないやつは
流石におらんと思うよ
静的に確認してくれても全く嬉しくない

**デフォルトの名無しさん** · 2023/03/29(水) 18:19:38.85

訂正
静的に確認を強制されても嬉しくない

**デフォルトの名無しさん** · 2023/03/29(水) 18:50:51.61

ヌルポインタが返る全ての関数についてそうしないとヌル安全にならない
ヌルを使ってはダメ

**デフォルトの名無しさん** · 2023/03/29(水) 19:05:30.65

それは当然だよ
C++では指し示した先にインスタンスがあるかどうか
分からんときにのみポインタを使う
確実にあるときは参照を使うのが流儀
ポインタが使われるところではnullptrのチェックを行う
この流儀の部分を守らないスカタンが問題なんだな
Cに参照がないので上記流儀が守られないことも問題

**デフォルトの名無しさん** · 2023/03/29(水) 19:30:08.82

>>704
なぜそのC++のプログラムは正しく動かいていないの？
bar.yはadd2()で0.2足されて0.1から0.3にならないといけないのに0.1のままになってる
>>699のソースコードを見ても正しく動かない原因がよくわからない

**デフォルトの名無しさん** · 2023/03/29(水) 19:36:28.24

>>718
BarはAddN<Bar>ではなくAddN<Foo>を継承しているから

**デフォルトの名無しさん** · 2023/03/29(水) 19:41:07.31

>>719
add2()としてBarの+0.2が使われずFooの+2か使われるということ？
bar.yが2.1になっていないのはなぜ？

**デフォルトの名無しさん** · 2023/03/29(水) 19:53:07.69

templateを展開すると
void Add <Foo>::add2() {
static_cast<Foo*>(this)->add1();
static_cast<Foo*>(this)->add1();
}
thisはBarの基底AddN<Foo>*のポインタ
これをBarと無関係のFoo*にキャストしたら動作は不定

**デフォルトの名無しさん** · 2023/03/29(水) 20:09:37.10

なるほど
浮動小数点に対してそれを整数と見て+2してしまっているのかな
本来はコンパイル段階でエラーにしないとやばそうだ
今回はっきり動いていないとわかるケースだからいいけど何となく動いてしまってるケースがあると恐ろしい

**デフォルトの名無しさん** · 2023/03/29(水) 20:11:29.28

正当?なC++的にはdynamic_castすべきだと思うんだよね
template<typename T> struct AddN {
void add2() {
dynamic_cast<T&>(*this).add1();
dynamic_cast<T&>(*this).add1();
}
virtual ~AddN () {};
};

**デフォルトの名無しさん** · 2023/03/29(水) 20:13:55.05

静的に一意に決まるんならいいのでは

**デフォルトの名無しさん** · 2023/03/29(水) 20:29:34.23

俺は割と好きだけどもね

**デフォルトの名無しさん** · 2023/03/29(水) 20:42:15.15

C++最適化効きすぎてadd2そのものが展開されて最短コードにしかならん

**デフォルトの名無しさん** · 2023/03/29(水) 20:50:49.78

doubleのビット列をintとして扱ってインクリメントしてるから結果がおかしいんだろ
なぜコンパイラは型不一致エラーを出せないんだ？

**デフォルトの名無しさん** · 2023/03/29(水) 21:21:00.23

問題があれば何でもコンパイル時点でエラーを出してくれるRustを使おう
実行デバッグが激減して開発効率も高い

**デフォルトの名無しさん** · 2023/03/29(水) 21:39:38.92

でもunsafeないとダメなんでしょ?

**デフォルトの名無しさん** · 2023/03/29(水) 22:02:01.80

普通のプログラムでunsafeは出てこない

**デフォルトの名無しさん** · 2023/03/29(水) 23:01:50.75

ライブラリが一個もない状態から基本的なライブラリを作るためにunsafeが必要という話だったら
有限個のバイナリファイルが正しく出力されればいいだけなので
ソースコードをチェックしなくても出力をチェックすればいいのでは？

**デフォルトの名無しさん** · 2023/03/30(木) 06:54:28.38

>>727
「違う」ところにひっかかってる traceを加えてみると誤解がとけるぞ
https://wandbox.org/permlink/AsyGpe34rpZ3en8v

**デフォルトの名無しさん** · 2023/03/30(木) 06:54:54.18

そういえばJavaが全然話題にもならないが言語のヒエラルキーって

C++ 最強カミソリ
剃り残しナシ

Rust 安全カミソリ
キレテナーィなまくら

C# イケてるが
GCがあるからダメぽ

Java 論外
ヌルポとGCがあるからダメぽ

こんな感じ？

**デフォルトの名無しさん** · 2023/03/30(木) 07:08:43.78

一つ間違うと自分の手とか余計なところまで切れちゃうｗ

**デフォルトの名無しさん** · 2023/03/30(木) 07:25:50.11

俺にとってのC++は、日本語だよ物心ついたときには、C++だったんだ
氏ぬまで忘れないと思うだからある意味最強、そんな奴が結構多いんだと思う

「ちゃんと話せ」って躾けられたのも、良し悪し

**デフォルトの名無しさん** · 2023/03/30(木) 07:29:05.38

>>733
逆だろ
RustはC++ができることは何でもできる
C++はできないことが多すぎ

**デフォルトの名無しさん** · 2023/03/30(木) 07:42:11.73

C++が出来なくてRustが出来ることってある？

**デフォルトの名無しさん** · 2023/03/30(木) 07:43:46.76

縛りプレイ

**デフォルトの名無しさん** · 2023/03/30(木) 08:01:00.44

>>737
C++はできないことが多すぎる
このスレに出てきた話だけでも
代数的データ型
パターンマッチング
各種null安全
データ競合安全
メモリ安全
など多数

**デフォルトの名無しさん** · 2023/03/30(木) 08:18:36.82

プリミティブはいろいろ備わってるから、やってできなくはないんだろうけど、
強制する方法がないから、ちっとも普及しないんだよね

**デフォルトの名無しさん** · 2023/03/30(木) 08:28:14.61

>>740
C++はそのプリミティブを多数欠いている
まさか代数的データ型をunionで頑張ればできると主張するのか？
パターンマッチングは構文だからC++には無理
データ競合を静的に検知する方法もない

**デフォルトの名無しさん** · 2023/03/30(木) 08:32:28.84

C/C++には昔から、「なければgenerateすればいいじゃん」っていう文化がある
パターンマッチングは、いまどきIDEが記述支援するんだから、やってできなくはない
データ競合やらは、「そういう」スマポを導入すればいい

でもね、みんな使わないんだわ使われないものは、ないものとして詰られても仕方ない

あ、Cとおんなじように、入れ子になった構造体をささっと書きたいとかは思うね
もうできるようになったっけ?

**デフォルトの名無しさん** · 2023/03/30(木) 08:35:47.70

Rustのマクロって結構凄くね？

**デフォルトの名無しさん** · 2023/03/30(木) 09:18:55.32

…いやまてよ、パターンマッチングって、エラー等検出のことだと思ってたけど、
パターンマッチング Rust でぐぐったら全然違うものが出てきたぜその節は撤回ちょっと読んでみる

**デフォルトの名無しさん** · 2023/03/30(木) 10:37:10.30

ｒ

**デフォルトの名無しさん** · 2023/03/30(木) 10:45:06.95

std::visitはパターンマッチに含まれますか

**デフォルトの名無しさん** · 2023/03/30(木) 10:56:39.82

こういうのね
提案段階の機能を除けば一番直和型を直接的に表現できていると思う
https://www.modernescpp.com/index.php/visiting-a-std-variant-with-the-overload-pattern

**デフォルトの名無しさん** · 2023/03/30(木) 10:58:13.17

パターンマッチングはC++23に入れようとしたがRustと比べて機能も弱すぎて失敗している
Rustのパターンマッチングはこんな感じで記述性や可読性を向上させている
fn slice_pattern(slice: &[(i32, i32)]) {
match slice {
[] => println!("空です"),
[(a, b)] => println!("要素は1つで({a},{b})です"),
[_, (123, b), ..] => println!("2つ目の前者が123なものは(123,{b})です"),
[.., next_last, _] => println!("その他の最後から2つ目の要素は{next_last:?}です"),
}
}
fn enum_pattern(shape: Shape) {
match shape {
Shape::Circle(r) => println!("半径{r}の円です"),
Shape::Rectangle(w, h) if w == h => println!("長さ{w}の正方形です"),
Shape::Rectangle(w, h) => println!("幅{w}高さ{h}の長方形です"),
x => println!("その他の図形{x:?}です"),
}
}
fn struct_pattern() {
let a = Foo { bar: 123, baz: 456, qux: 789 };
let b = Foo { baz: 555, ..a };
for Foo { bar, baz, qux } in &[a, b] {
println!("Foo: bar={bar}, baz={baz}, qux={qux}");
}
}
fn range_pattern(c: char) {
match c {
'0'..='9' => println!("数字({c})です"),
'a'..='z' | 'A'..='Z' => println!("アルファベット({c})です"),
_ => println!("その他の文字({c})です"),
}
}

**デフォルトの名無しさん** · 2023/03/30(木) 11:05:35.09

C++はユーザが多いので標準でなくてもライブラリがあるからね
Rustはユーザが少ないので標準で用意しとく必要がある
パタンマッチングは言語の話だけども

**デフォルトの名無しさん** · 2023/03/30(木) 11:06:04.96

Rust の TcpListener のサンプルについて質問です
1ページ目は無料で1ページ目だけで動作するはずですが
https://xtech.nikkei.com/atcl/nxt/column/18/01920/081600022/
何故か1byteしか受け取らず常に 404 NotFound になります
何処を治せばよいですか？

**デフォルトの名無しさん** · 2023/03/30(木) 11:14:15.70

>>747
C++のstd::variantは全体の型名を命名できない
各要素に対して専用の型を用意しなければならない
扱いづらいなど欠陥品

例えば>>748のShapeの定義例は
enum Shape {
Circle(u32),
Rectangle(u32, u32),
Parallelogram(u32, u32),
}
これだけで済む
さらに型Shapeに対して様々なメソッドを実装できる
C++ではそれぞれ困難と不可能

>>749
言語がサポートしないとライブラリでは無理

**デフォルトの名無しさん** · 2023/03/30(木) 11:14:43.48

一発目から GET / HTTP/1.1 じゃないものが来てるかもよ、buffer 表示させてみては

**デフォルトの名無しさん** · 2023/03/30(木) 11:28:11.87

>>751
記事読んだ？

**デフォルトの名無しさん** · 2023/03/30(木) 11:32:57.91

>>753
読んだけどそれでは無理
こちらはパターンマッチングのRustのコード例を>>748に出した
C++でも可能だと主張するならばそれぞれの実現コードをまず出すべき

**デフォルトの名無しさん** · 2023/03/30(木) 11:39:46.03

パターンマッチングの件、5分くらい読んできた
そういう風に書きたいっていうニーズがあるんだな、表現力を誇るC++でこれが書けないのは確かに手落ちｗ

この型はあれでもこれでもあるっていうの、あんまり扱ってこなかったけど、
上手く書けば便利になるかもねただし、ゼロサンクでね

**デフォルトの名無しさん** · 2023/03/30(木) 11:39:46.85

>>750
そのRustのTcpListenerのサンプル動かしてみたけど普通に動いた
返すindex.htmlを用意してcargo run
ブラウザからhttp://localhost:9999/で表示された

**デフォルトの名無しさん** · 2023/03/30(木) 11:46:33.32

>>754
「無理」とだけ言われても何も分からないので具体的にお願いします
それとも記事を読んだうえでも、無理な点の指摘は>>751ですべてだということですか
例を読んでいれば「各要素に対して専用の型を用意しなければならない」は嘘だとすぐ分かるはずですが

**デフォルトの名無しさん** · 2023/03/30(木) 11:47:15.19

>>755
Rustは>>748の各パターンマッチング例をオーバーヘッド無しで処理してくれる
使わずに手動でダラダラと書ける分もパターンマッチング記述の方が最適化が良いかもしれん

**デフォルトの名無しさん** · 2023/03/30(木) 11:49:39.34

>>757
具体的に>>748にRustのパターンマッチングの各例のコードを書きました
次はC++でも可能だと主張するあなたが対応するC++のコードを出す番です

**デフォルトの名無しさん** · 2023/03/30(木) 11:58:04.66

>>759
あなたの要求に答えるために質問だけさせてください
明確にしてほしいのは「何が無理なのか」の「何」の部分です
よろしくおねがいします

**デフォルトの名無しさん** · 2023/03/30(木) 11:58:20.56

教科書的サンプルとは別に、実践的なサンプルが見たいぞ
必要だから入った仕様だろう、手ごろにどっかあるはずだお勧めのやつをたのむ

**デフォルトの名無しさん** · 2023/03/30(木) 11:59:10.65

>>751
>>749>パタンマッチングは言語の話だけども

>例えば>>748のShapeの定義例は
>enum Shape {
> Circle(u32),
> Rectangle(u32, u32),
> Parallelogram(u32, u32),
>}
>これだけで済む
>さらに型Shapeに対して様々なメソッドを実装できる
>C++ではそれぞれ困難と不可能
横レスだけども
namespace Shape {
struct Circle {uint32_t r;};
struct Rectangle {uint32_t w; uint32_t h;};
struct Parallelogram {uint32_t ui0; uint32_t ui1;};

template <typename T> void function (ostream &os, const T &p);
void function (ostream &os, const Circle &p);
void function (ostream &os, const Rectangle &p);
// void function (ostream &os, const Parallelogram &p);
}

**デフォルトの名無しさん** · 2023/03/30(木) 12:23:51.98

>>762
それだとShapeが型ではなく名前空間になってしまってるからダメでしょ

**デフォルトの名無しさん** · 2023/03/30(木) 12:29:16.05

>>763
namespaceをstructに置換して最後に;つければ?

**デフォルトの名無しさん** · 2023/03/30(木) 12:32:22.56

>>764
それだと全ての図形で必要となるメモリサイズの合計サイズが必要になっちゃうよ

**デフォルトの名無しさん** · 2023/03/30(木) 12:32:39.23

関数はstaticにする

**デフォルトの名無しさん** · 2023/03/30(木) 12:34:53.74

>>765
何か問題でも?

**デフォルトの名無しさん** · 2023/03/30(木) 12:35:39.04

>>765
メンバ型定義しただけではメンバ変数は増えないから、サイズも増えないよ

**デフォルトの名無しさん** · 2023/03/30(木) 12:35:54.76

>>763
>それだとShapeが型ではなく名前空間になってしまってるからダメでしょ
何で?

**デフォルトの名無しさん** · 2023/03/30(木) 12:47:49.82

>>760
Rustはパターンマッチングがあるため>>748のようにシンプルに記述ができて可読性にも優れている
あなたはC++でも代わりの手段で表現することが可能だと主張した
それが無理ではないことをRustコードの各々に対応する具体的なC++のコードとして示してほしい

**デフォルトの名無しさん** · 2023/03/30(木) 12:56:56.84

パターンマッチングは便利だけども必須じゃないよね
所有権システムと違って後方互換性が犠牲になることはないので
そのうちC++に入るよ

**デフォルトの名無しさん** · 2023/03/30(木) 13:16:45.82

>>769
パターンマッチング>>748の2番目の例の話だからShapeは関数に渡ってくる型じゃないとまずい
単体で動くコードで比較すればはっきりすると思うのでC++版を書いて。以下はRust版

// ここは再掲
fn enum_pattern(shape: Shape) {
match shape {
Shape::Circle(r) => println!("半径{r}の円です"),
Shape::Rectangle(w, h) if w == h => println!("長さ{w}の正方形です"),
Shape::Rectangle(w, h) => println!("幅{w}高さ{h}の長方形です"),
x => println!("その他の図形{x:?}です"),
}
}
#[derive(Debug)]
enum Shape {
Circle(u32),
Rectangle(u32, u32),
Parallelogram(u32, u32),
}

fn main() {
enum_pattern(Shape::Circle(100));
enum_pattern(Shape::Rectangle(200, 300));
enum_pattern(Shape::Rectangle(567, 567));
enum_pattern(Shape::Parallelogram(789, 456));
}

// 実行結果
半径100の円です
幅200高さ300の長方形です
長さ567の正方形です
その他の図形Parallelogram(789, 456)です

**デフォルトの名無しさん** · 2023/03/30(木) 13:28:40.22

>>772
>パターンマッチング>>748の2番目の例の話だからShapeは関数に渡ってくる型じゃないとまずい
何で?

**デフォルトの名無しさん** · 2023/03/30(木) 13:31:04.03

ちなみにディスパッチは>>762は静的に行われる
>>772は...

**デフォルトの名無しさん** · 2023/03/30(木) 13:31:12.50

>>773
Shape型が渡ってきてその処理をしてるからだよね
とりあえずC++の動くコードを出してみたら？

**デフォルトの名無しさん** · 2023/03/30(木) 13:32:51.26

>>775
Shape型を引数で取る必要があるならC++では
Shapeを基底として継承させるよ
もちろん静的ディスパッチはできない

**デフォルトの名無しさん** · 2023/03/30(木) 13:35:28.76

図形は典型的なオブジェクト指向の例題だから
enumを使う例としては適切ではないんじゃないかな?
Rustをよく知らん俺からしたらピンとこないよ

**デフォルトの名無しさん** · 2023/03/30(木) 13:39:12.89

>>774
ディスパッチは静的には不可能で動的にしか行われないでしょ
静的に可能なのはモノモーフィゼイションだけど今回の例では適用できませんね
いずれにしてもC++で可能だと言うコードを示してみたら？

**デフォルトの名無しさん** · 2023/03/30(木) 13:39:52.45

お、俺の>>761をだな。。

**デフォルトの名無しさん** · 2023/03/30(木) 13:41:01.47

>>778
>ディスパッチは静的には不可能で動的にしか行われないでしょ
いいえ>>762は静的に行われる

>いずれにしてもC++で可能だと言うコードを示してみたら？
>>762に示した

**デフォルトの名無しさん** · 2023/03/30(木) 13:42:20.94

https://wandbox.org/permlink/Q94E20qAAS5G8iiX
std::variantとstd::visitでパターンマッチする例です

**デフォルトの名無しさん** · 2023/03/30(木) 13:52:02.49

>>780
動くコードじゃないと意味がないのでmain()付きの動くコードを示そうよ
Rust版は>>772

>>781
パターンマッチングを全く行なっていないじゃん
例えば分かりやすくこの項目を増やすとして
Shape::Rectangle(100, h) => println!("幅100で高さ{h}の長方形です"),
これはC++でif (w == 100)のコードになるわけだよね
それはパターンマッチングとは言わないよ

**デフォルトの名無しさん** · 2023/03/30(木) 14:01:06.19

>>782
enumのバリアント判定に相当するパターンマッチを行っていますので、全く行っていないという指摘は正しくありません
また、>>748のenum_patternにShape::Rectangle(100, h)にマッチするコードは含まれておらず、あなたの当初の要求に含まれていないものです
新しい要求を後から追加して批判するのは、誠実な態度とは言えません
このようなことが無いように、「何が無理か」を明確にするよう確認したつもりでした
今後はこうしたことが無いように、事前よく確認することをお願い申し上げます

また値によるマッチについてですが、同様の考えで似たライブラリを実装された方を見つけました
こちらは値によるマッチに拡張したライブラリを実装されているようです
https://qiita.com/Naotonosato/items/a1e710de2b78346146d1

**デフォルトの名無しさん** · 2023/03/30(木) 14:04:54.89

>>781
かなり苦しいね
>>748の残り3つのパターンマッチングには応用できそうもないけど書ける？

**デフォルトの名無しさん** · 2023/03/30(木) 14:14:54.28

>>782
別に関数プロトタイプまで書いてるんだから分かりそうなものだけど...
以下は静的ディスパッチでコンパイル時に定まるよ
>>772が静的ディスパッチできないとしても
たぶん同じように書けばRustでも静的にディスパッチできると思うよ

#include <iostream>
using namespace std;
namespace Shape {
struct Circle {uint32_t r;};
struct Rectangle {uint32_t w; uint32_t h;};
struct Parallelogram {uint32_t ui0; uint32_t ui1;};
template <typename T> void function (ostream &os, const T &p) {}
void function (ostream &os, const Circle &p) {}
void function (ostream &os, const Rectangle &p) {}
}
int main () {
using namespace Shape;
Circle circle;
function (cout, circle);
Parallelogram parallelogram;
function (cout, parallelogram);
return 0;
}

**デフォルトの名無しさん** · 2023/03/30(木) 14:47:32.70

静的ではなくて動的ディスパッチだろ
このように次々と何が来るかわからないリストが渡ってきた場合

Shape::Shape shape_list[4];
shape_list[0] = Shape::Rectangle{w: 33, h: 33};
shape_list[1] = Shape::Parallelogram{ui0: 4, ui1: 33};
shape_list[2] = Shape::Rectangle{w: 33, h: 4};
shape_list[3] = Shape::Circle{10};

その時にこれで処理できるのだから動的ディスパッチをしている

for (int i = 0; i < 4; i++) {
enum_pattern(shape_list[i]);
}

**デフォルトの名無しさん** · 2023/03/30(木) 15:01:18.46

>>786
静的ディスパッチと書いているのは俺が書いた>>762と>>785のC++の例
コンパイル時にどの関数が呼ばれるか型によって決まる

**デフォルトの名無しさん** · 2023/03/30(木) 15:04:41.33

もうちょっと調べてたが、C++にもinspectってのが来そうみたいじゃん
パタンマッチングって、こんなもんが流行ってるのね、また一つ取り残されてたぜ

**デフォルトの名無しさん** · 2023/03/30(木) 15:04:46.89

>>786
いいえ、これは静的ディスパッチです
簡単に確認する方法として、生成されたアセンブリ中のvtableを確認する方法があります:
https://godbolt.org/z/1W7jGnWEd

"vtable for std::bad_variant_access:"が唯一のvtableであり、Circleなどのためのvtableはありません
このことから、動的ディスパッチは発生しないことが分かります

**デフォルトの名無しさん** · 2023/03/30(木) 15:09:53.24

>>789
おいおい
vtable使うことだけが動的ディスパッチだと思いこんでいるのか？
実行時にデータ内容に応じて分岐することを動的ディスパッチと言う
>>786はもちろん動的ディスパッチをしている
次に何が来るかはコンパイル時点で決まらないため静的に決定は不可能だ

**デフォルトの名無しさん** · 2023/03/30(木) 15:10:42.88

>>788
昔はなかなか規格としてまとまらなかったが最近のC++はどうした?
俺もboostに入ってたやつくらいしか追えていない

**デフォルトの名無しさん** · 2023/03/30(木) 15:12:35.47

>>790
それはRsutのコードか? C++のコードか?

**デフォルトの名無しさん** · 2023/03/30(木) 15:20:37.87

>>792
そのC++コードの話しかしていない

**デフォルトの名無しさん** · 2023/03/30(木) 15:23:32.35

>>793
>>785は静的ディスパッチだよ
コンパイル時にどの関数が呼ばれるか定まる

**デフォルトの名無しさん** · 2023/03/30(木) 15:29:45.34

>>790
いいえ
動的ディスパッチとは、多態メソッドの呼び出し式を実行するときに、具体型に応じて実際に呼ばれる関数が振り分けられることを言います
https://en.wikipedia.org/wiki/Dynamic_dispatch

動的ディスパッチはしばしばパフォーマンスの低下をもたらすと言われますが、その最大の理由は、
選択される各関数ポインタを一度メモリから(vtableから)読み出し、それをcallする必要があることです
動的ディスパッチをどう定義するかはさておき、vtableが無い>>789ではこのパフォーマンス低下の懸念が無いことが分かります

また、「実行時にデータ内容に応じて分岐することを動的ディスパッチと言う」という定義には明らかな問題があります
それは、この定義ではmatchやifなど通常の制御構造も動的ディスパッチに当てはまってしまうということです
これは、この定義が一般的な定義から大きく逸脱していることをよく象徴的に表わしています
少なくとも「データ内容」は「型」に置き換える必要があることが分かるでしょう

**デフォルトの名無しさん** · 2023/03/30(木) 15:38:08.65

>>789
それは動的ディスパッチだよ
C++のstd::visitはstd::variantのindex()の値で実行時に分岐してる
だから>>786のような実行時になるまで何が来るか不明な場合にも対応できる

**デフォルトの名無しさん** · 2023/03/30(木) 15:39:00.20

>>791
inspectは、godboltでclangのexperimentalを遊べるようになってた
型に対しては、もうちょっとまだみたい、error: expected expression って言われた

ラムダみたいに、みんなが欲しがるものはそれでもわりと早いんだよね
一応入れとくか…みたいのは、いつまでたっても入らないｗ

ところで、godboltに、-Wlifetime ってのがみえたけど…これってもしかして

**デフォルトの名無しさん** · 2023/03/30(木) 15:59:56.98

C++の仕様を変えようという時に国語辞典の変更を許さないのはタイパ最悪だな
C++の仕様変更を許さない、とすれば秒速で終わる

**デフォルトの名無しさん** · 2023/03/30(木) 16:08:41.30

>>796
いいえ、これは動的ディスパッチではありません
「実行時になるまで何が来るか不明な場合にも対応できる」ことは、それが動的ディスパッチであることの証明にはなりません
繰り返しになりますが、>>790の「実行時にデータ内容に応じて分岐することを動的ディスパッチと言う」という定義は、一般的な定義とはまったく異なります
>>790の定義を採用する限りにおいてはその推論は正しいですが、そのためにはまずこの定義の出典および正確性を確認する必要があります

**デフォルトの名無しさん** · 2023/03/30(木) 16:15:52.14

このスレレベル高いね。
文系の俺にはちんぷんかんぷん。
雑魚はPHPでもしてるわ。

**デフォルトの名無しさん** · 2023/03/30(木) 16:26:34.28

Rustはそのへんの話も明瞭で
「dyn」という予約語キーワードが出てきたものだけがvtableを使う動的ディスパッチとなるよ
>>772のRustコードは「dyn」が全く出てこないので、vtableを使う動的ディスパッチは一切無し、とわかる仕組み

**デフォルトの名無しさん** · 2023/03/30(木) 16:30:55.38

>>800
レベル高すぎてディスパッチが動的かどうかすらわからないからなwww

**デフォルトの名無しさん** · 2023/03/30(木) 16:39:07.20

静的にディスパッチできたらいいのか、動的にディスパッチしたいのか。なんていうかｇｄｇｄｗｗ

**デフォルトの名無しさん** · 2023/03/30(木) 17:58:32.57

>>800
ここは「朝から暇なおじさんの学習日記」だからある意味レベル高い。

**デフォルトの名無しさん** · 2023/03/30(木) 17:59:31.96

>>801を読んで思い出しましたが、
C++では動的ディスパッチが発生する条件のひとつとして、「virtual指定子付きメンバ関数の呼び出しである」という条件があります
>>781のコードにはvirtualがまったく存在しないため、動的ディスパッチが発生しないことが分かります
>>789のようにアセンブリでvtableの生成を確認するよりも、こちらのほうがより簡単な確認方法でした
誤った情報をお伝えしてしまい、大変申し訳ございませんでした

**デフォルトの名無しさん** · 2023/03/30(木) 18:59:14.51

ちゃんと検索したらなんかもうなんでもできそうなパターンマッチライブラリあった
そうだよな、ないわけないよな
https://github.com/BowenFu/matchit.cpp

**デフォルトの名無しさん** · 2023/03/30(木) 19:20:59.17

>>801
アホか？
静的ディスパッチとはコンパイル時に呼び出す関数が決定されることだよ
match使ったら動的ディスパッチ

**デフォルトの名無しさん** · 2023/03/30(木) 20:49:12.26

>>807
Rustのenumのmatchはenumのインデックスで分岐してるだけ
C++のvariantのvisitがvariantのインデックスで分岐してるだけなのと同じ
どちらも動的ディスパッチはしていない

**デフォルトの名無しさん** · 2023/03/30(木) 20:53:37.26

条件分岐は動的ディスパッチという
実行時ディスパッチと言った方が意味分かるかな?

**デフォルトの名無しさん** · 2023/03/30(木) 20:55:04.82

動的ディスパッチというのは
インデックスによる条件分岐
仮想関数によるディスパッチを含む広い概念です

**デフォルトの名無しさん** · 2023/03/30(木) 20:57:43.19

Rustも関数のオーバーロードくらいあるだろ?
コンパイル段階でどの関数が呼ばれるかディスパッチされる
これが静的ディスパッチ（の1つ）