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

**デフォルトの名無しさん** · 2023/07/29(土) 15:05:46.55

C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな」
「うだうだ言ってないで仕事で必要なのをやればいいんだよ、趣味なら好きなのやればいい」

っていう雑談スレ。

前スレ　
https://itest.5ch.net/mevius/test/read.cgi/tech/1688129795

関連スレ(マ板): Google&MS「バグの70%はC/C++。Rustにする」
https://medaka.5ch.n...cgi/prog/1619943288/

**デフォルトの名無しさん** · 2023/08/26(土) 10:47:48.15

>>844
アホ科学者「推測するな。速度を計測しろ」
知的科学者「思考実験しろ」

**デフォルトの名無しさん** · 2023/08/26(土) 12:11:26.64

科学的wの含意がわからないバカは単なるバカより悪性度が高い

**デフォルトの名無しさん** · 2023/08/26(土) 12:50:41.78

参照で充分なのに所有権の移転を要求する関数があると
いちいちcloneしてから渡さないといけないから非効率
もちろん一回呼ぶだけならclone不要だが
ループ中とかで何度も呼ぶ用途には使えない
なんでそんな関数の設計になってるんだろう？
別にメリットでもあるんか？

**デフォルトの名無しさん** · 2023/08/26(土) 13:34:35.63

日本の科学界は理論軽視。実験ばかりしてる。

**デフォルトの名無しさん** · 2023/08/26(土) 13:51:37.78

日本のプログラマは設計軽視
実装ばかりしている

**デフォルトの名無しさん** · 2023/08/26(土) 13:53:57.47

まだ検証結果とかないんですね
結果だけは知りたいので、そのうちまた来ます

**デフォルトの名無しさん** · 2023/08/26(土) 13:54:42.84

無駄な事を如何に合理的に行うか

**デフォルトの名無しさん** · 2023/08/26(土) 17:14:09.12

>>847
例えばどの関数？

**デフォルトの名無しさん** · 2023/08/26(土) 18:20:57.77

>>852
誰かばれるからネットでは言えないだろうて。

**デフォルトの名無しさん** · 2023/08/26(土) 18:28:43.52

逆じゃね
日本人は実装軽視
設計でガチガチに固めすぎる

**デフォルトの名無しさん** · 2023/08/26(土) 18:35:38.61

>>853
具体例出せないんだと
本人の認識に問題あるのか
関数の作りに問題があるのかわからない

**デフォルトの名無しさん** · 2023/08/26(土) 18:39:02.26

わからなくていいんじゃない？

**デフォルトの名無しさん** · 2023/08/26(土) 19:54:07.81

わかってないのに何かわかったつもりになって書き込まれているクソスレ

**デフォルトの名無しさん** · 2023/08/26(土) 21:07:05.08

上には上があるわかったつもりでも、さらに賢い奴から見ればクソ
自分なりに勉強して持論もまとめてるが、わかったなんて思わないもんだ

**デフォルトの名無しさん** · 2023/08/26(土) 21:55:32.22

さすが老害スレww

**デフォルトの名無しさん** · 2023/08/26(土) 22:24:06.83

賭け事とか軽率な行動をしなければいいよ
頭の中が謙虚だろうが傲慢だろうが行動に直結しなければいい
いくら謙虚になっても忠誠心か何かで極端な行動をするパターンはある

**デフォルトの名無しさん** · 2023/08/26(土) 22:46:59.85

さすが老害スレw

**デフォルトの名無しさん** · 2023/08/27(日) 02:06:49.72

判ると解るの違いも分からないとか単なるバカだろ

**デフォルトの名無しさん** · 2023/08/27(日) 02:08:05.98

あーそれめっちゃわーかーるー！

**デフォルトの名無しさん** · 2023/08/27(日) 02:39:08.79

Firefoxは何かと問題が多い

**デフォルトの名無しさん** · 2023/08/27(日) 10:34:56.61

構造体に演算子オーバーロードしたいときって，所有権持ってかれないように構造体の参照に対して演算子オーバーロードでいいの？
期待通りに動くんだけど
&a + &b
みたいな書き方になってまどろっこしい

**デフォルトの名無しさん** · 2023/08/27(日) 10:46:11.22

(*a).演算()やa->演算()を間違えてa.演算()と書いたらエラーになるのがC++で
エラーにならないのがRustじゃないの

**デフォルトの名無しさん** · 2023/08/27(日) 10:50:29.34

>>855
前者だったことが判明

**デフォルトの名無しさん** · 2023/08/27(日) 11:12:20.72

勝利宣言おじさん！

**デフォルトの名無しさん** · 2023/08/27(日) 12:47:03.16

>>867
ネットで身元がばれるような情報が書けない事をいいことに
勝利宣言してしまう人。

**デフォルトの名無しさん** · 2023/08/27(日) 13:02:52.22

くやしそうww

**デフォルトの名無しさん** · 2023/08/27(日) 13:15:32.07

どうせ普及し無い事が分かってるし、なんとでも言え。

**デフォルトの名無しさん** · 2023/08/27(日) 13:30:23.89

スマホや自動車の部品のように
買わされたけど存在意義は知らない物が普及することはよくある

**デフォルトの名無しさん** · 2023/08/27(日) 13:50:59.05

おじさん思考トレース

おじさんはね
Rustに部分的にでも欠陥があるかのような物言いは許せないんだよ
コードが出れば今すぐにでもそいつのせいにしてマウントして打ち消しようと思うんだけどね
証拠がないならそいつのせいってことで断定してマウントとっちゃうのが手っ取り早いから、もうそういうことにしちゃうよ

**デフォルトの名無しさん** · 2023/08/27(日) 13:53:29.74

こうして今日もRustの名誉は保たれた

**デフォルトの名無しさん** · 2023/08/27(日) 14:19:51.40

FirefoxはRustで書かれてる

**デフォルトの名無しさん** · 2023/08/27(日) 14:42:04.03

めちゃくちゃくやしかったんだなwwwww
クッソおもろい

**デフォルトの名無しさん** · 2023/08/27(日) 14:45:24.00

FirefoxってRustでも書かれているってだけで
C/C++の方がまだ多いうだよ

**デフォルトの名無しさん** · 2023/08/27(日) 14:53:34.38

確率的にはコンパイラのバグよりもアプリかライブラリのバグが多いから
コンパイラに欠陥があった的な物言いは分が悪い
これをやりたいためにライブラリを外部に丸投げする方式が普及している

**デフォルトの名無しさん** · 2023/08/27(日) 15:00:51.57

使用率100%は電池が減る

**デフォルトの名無しさん** · 2023/08/27(日) 16:29:11.02

>>865
普通はCopyにする
Copyにできないなら明示的にcloneする
どちらにも採用できない状況なら
参照に対してのみオーバーロードを書く

+や-の演算子はdot演算子と違ってauto-referencingが効かないから
&a + &bみたいな書き方になるのは現状では避けようがない
将来的にauto-refが効くように改修されることがもしあれば
a + bのような書き方もできるようになるかもしれない

**デフォルトの名無しさん** · 2023/08/27(日) 17:02:53.80

＞&a + &b
＞みたいな書き方になってまどろっこしい

Copy実装したくない大型なら参照を使うから&a + &bの書き方がありがたい
小型ならCopy実装してa + bと書ける

**デフォルトの名無しさん** · 2023/08/27(日) 17:07:29.78

大きいサイズの値を2回以上コピーするのを1回にするような最適化は
コピーコンストラクタに副作用がない保証があればできる気がする

そしてRustのCopyの振る舞いはユーザが勝手に定義できない

**デフォルトの名無しさん** · 2023/08/27(日) 18:00:17.55

>>867
具体例出せないと後者の可能性高いだろ。
標準ライブラリやOSSならそういう問題は他の誰かからも指摘入って修正されるだろうし。

**デフォルトの名無しさん** · 2023/08/27(日) 18:26:07.84

>>880
ありがとう
auto-refないから&a+&bって書き方になるのね
理解したわ

**デフォルトの名無しさん** · 2023/08/27(日) 18:47:19.96

>>883
具体例はfn add(self, rhs: Rhs) -> Outputだったということでしょ

**デフォルトの名無しさん** · 2023/08/27(日) 19:50:49.96

>>885
なるほどね
やはり勘違いしていたわけだ
&selfと書いていないから参照はダメだと思い込んでしまったのだろう
実際にはもちろんself自体が参照型でもOK

**デフォルトの名無しさん** · 2023/08/27(日) 19:55:22.28

一般的にもトレイトのメソッドfoo(self, ...)についてself自体が&T型の場合もある
&T型はCopy実装されているため消費されても構わない
ようはポインタだから

**デフォルトの名無しさん** · 2023/08/27(日) 20:33:53.99

え、その二つの話つながってたの？

**デフォルトの名無しさん** · 2023/08/27(日) 21:23:31.52

比較演算子とかはauto-ref/derefできたほうがいいと思うが算術演算子はexplicitな今のスタイルの方がいいと思う
今でも&a + &bの中身がa.clone() + b.clone()になってるやつとかやめて欲しい

**デフォルトの名無しさん** · 2023/08/27(日) 21:33:56.56

>>885でSelfもRhsもOutputも自由なのでT次第でT + T、T + &T、&T + &Tなどそれぞれ最適な実装ができる
例えばT + &T -> Tは敢えて消費してそのメモリを居抜して返す効率パターン
例えば計算途中の中間生成Tは消費されてもよいわけで再び結果の中間生成Tに転用できる

**デフォルトの名無しさん** · 2023/08/27(日) 21:35:11.73

>>889
俺もそう思う
コピーして演算なら a+bで良いと思うけど
デカいオブジェクトで参照で演算なら&a+&bのほうがわかりやすいから良いと思う

**デフォルトの名無しさん** · 2023/08/27(日) 21:44:01.12

数値計算以外にも応用できて
Rhsは &T でなくてもよいため
例えば { string.push_str(other_str); string } と書くところを
string + other_str と簡潔に書ける
以下の居抜き実装があるため

impl Add<&str> for String {
　type Output = String;

　#[inline]
　fn add(mut self, other: &str) -> String {
　　self.push_str(other);
　　self
　}
}

**デフォルトの名無しさん** · 2023/08/27(日) 21:45:30.32

>>888
俺もなんで&a+&bの＆を書くのがまどろっこしいが
>>847の
>参照で充分なのに所有権の移転を要求する関数があると
>いちいちcloneしてから渡さないといけないから非効率
に結び付くのか理解できないが,でも、rust野郎は激頭いいから同じ質問を形を変えた質問と
見抜いたんだろう

**デフォルトの名無しさん** · 2023/08/28(月) 03:04:54.55

質問してる人と答えてる人が同じ人だったら怖いなあ

**デフォルトの名無しさん** · 2023/08/28(月) 03:16:32.18

自演の多いスレ

**デフォルトの名無しさん** · 2023/08/28(月) 09:03:13.17

ほんそれ
>>873-874

**デフォルトの名無しさん** · 2023/08/28(月) 10:16:26.38

くやしすぎて負け惜しみを書かずにはいられない老害爺ww

**デフォルトの名無しさん** · 2023/08/28(月) 12:32:28.64

Rustの名誉を守るため、日々欠かさずパトロール。
そうしてRustの名誉は保たれているのだ。

**デフォルトの名無しさん** · 2023/08/28(月) 12:58:11.57

質問してたのは行列演算の人でしょ

**デフォルトの名無しさん** · 2023/08/28(月) 13:33:08.88

>>847と>>865両方とも？

**デフォルトの名無しさん** · 2023/08/28(月) 14:14:10.40

impl<'a> Add for &'a Foo
impl<'a> Add<&'a Foo> for Foo
これで、変数名に&はつかないけど括弧に&がつく感じにできるね
a + b + c == &(a + b) + c == a + &(b + c)

**デフォルトの名無しさん** · 2023/08/28(月) 15:01:10.40

それだけじゃ無理

**デフォルトの名無しさん** · 2023/08/28(月) 15:28:15.79

Rustで学ぶなんとかとかいう本いっぱい出ているし、結構個人でやる気のあるやつは覚えるんじゃね？
Rust人口増えている印象。

**デフォルトの名無しさん** · 2023/08/28(月) 16:02:44.46

この出版不況にそれは凄いじゃん!

**デフォルトの名無しさん** · 2023/08/28(月) 17:40:21.62

数年後はHaskellみたいな存在になってそう

**デフォルトの名無しさん** · 2023/08/28(月) 17:40:22.57

数年後はHaskellみたいな存在になってそう

**デフォルトの名無しさん** · 2023/08/28(月) 18:31:30.91

地学を笑えば名誉を保てそうなのに
逆に名誉を捨てて地学を取る芸風みたいな

**デフォルトの名無しさん** · 2023/08/28(月) 19:57:39.97

数年後にはHaskellみたいなってると言う人が数年前からいるけど数年後もいるだろうなぁ

**デフォルトの名無しさん** · 2023/08/28(月) 20:08:53.96

数年前はHaskellはまだブームだったからその時は誉め言葉だったんじゃないの？

**デフォルトの名無しさん** · 2023/08/28(月) 20:46:16.35

まあそもそもC++人口がそんなに多くないのにそこからRUSTに移行する人間なんて更に少ないわな

**デフォルトの名無しさん** · 2023/08/28(月) 20:47:30.82

ちょっと勉強するならいいけどビジネスでRust書くとか発狂しそう

**デフォルトの名無しさん** · 2023/08/28(月) 20:53:03.47

そろそろ質問する人と答える人が出てくるかも

**デフォルトの名無しさん** · 2023/08/28(月) 21:01:02.40

単純なoperator overlodingでもTと&Tの組み合わせで最低4パターンは考慮しないといけないからな
一般的なビジネスアプリケーションでこういう手間をかけるだけのメリットを享受できるケースは少ない

**デフォルトの名無しさん** · 2023/08/28(月) 22:06:15.45

operator overlodを使うビジネスアプリケーションｗ
あるとしてもoperator overlodを定義するのはライブラリの仕事
利用者は型エラー起こさないように使うだけであり一般的な静的型付け言語どれも同じ

**デフォルトの名無しさん** · 2023/08/28(月) 22:36:07.58

>>914
知らない分野に無理にコメントしなくていいぞ

**デフォルトの名無しさん** · 2023/08/28(月) 22:50:16.52

ないな
算術以外でオーバーロードは必要ない
関数(メソッド)名で目的をはっきりさせる

**デフォルトの名無しさん** · 2023/08/28(月) 22:53:49.98

くやしくてイチャモンつけたかっただけだろw

**デフォルトの名無しさん** · 2023/08/28(月) 23:04:09.89

バカでも書けるフレームワークでも無ければビジネス利用は無いだろね

**デフォルトの名無しさん** · 2023/08/28(月) 23:07:53.29

>>916
operator<<
operator>>

**デフォルトの名無しさん** · 2023/08/28(月) 23:08:27.79

PerlやC++の演算子を想定してるんだろうけど
若者はそんなものは知らん
PythonとRustは失敗を繰り返さなかった

**デフォルトの名無しさん** · 2023/08/28(月) 23:30:17.72

>>919
シフトは整数以外で使ったことないな
そんなものをオーバーロードしてどうするんだよ
意味不明になるぞ

**デフォルトの名無しさん** · 2023/08/28(月) 23:56:35.09

>>915
具体的にoperatorをoverload実装して使うビジネスアプリケーションを言ってみろよ
例えば多倍長を利用するとしても汎用ライブラリが実装するから該当しないよな

**デフォルトの名無しさん** · 2023/08/29(火) 00:00:35.21

一般的には算術演算子よりも比較演算子をオーバーロードすることのほうが多いだろうな

**デフォルトの名無しさん** · 2023/08/29(火) 00:04:16.28

>>921
そいう批判は昔からあったけど混乱することは全くないよ

**デフォルトの名無しさん** · 2023/08/29(火) 00:36:27.64

>>923
Rustなら例えばこう書くだけだな
#[derive(PartialEq)]
struct Foo { ... }

これで型表記Foo == Fooも&Foo == &Fooも通る
Foo == &Fooは撥ねてくれる

ちなみに値の比較ではなく
同一性すなわちポインタの比較をしたいならば
std::ptr::eq(&Foo, &Foo)

**デフォルトの名無しさん** · 2023/08/29(火) 01:09:16.27

>>922
もしかしなくても実務経験ゼロ?

**デフォルトの名無しさん** · 2023/08/29(火) 01:43:28.47

>>925
>Foo == &Fooは撥ねてくれる
値として扱うならこれは跳ねるべきではないのでPatrialEqのimplが追加で2ついる

**デフォルトの名無しさん** · 2023/08/29(火) 01:43:31.90

おまえらいつも例を出さずにもめてるな
演算子をオーバーロード実装するビジネスアプリとやらの例を出せば済む話

**デフォルトの名無しさん** · 2023/08/29(火) 01:45:18.86

>>927
型不一致として撥ねるべきだ

**デフォルトの名無しさん** · 2023/08/29(火) 01:49:31.97

>>927
例えば型不一致でも通せ！という理不尽な要求はここへ行き着くので認めるべきでない
if Foo != &Foo {
　Foo = &Foo;
}

**デフォルトの名無しさん** · 2023/08/29(火) 01:51:57.07

>>929
eqメソッドを使った時も撥ねる仕様ならその言い訳も成り立ったかもね

**デフォルトの名無しさん** · 2023/08/29(火) 02:17:09.83

>>926
と素人が申しております

**デフォルトの名無しさん** · 2023/08/29(火) 02:25:36.33

>>931
演算子オーバーロードの話をしているところにメソッドを持ち出したらオウンゴールｗ
メソッド使用でいいなら演算子オーバーロードの必要なし

**デフォルトの名無しさん** · 2023/08/29(火) 05:40:09.32

演算子のオーバロードは、ライブラリマンに任せるよこれはC++も同様
あんなものバグ・抜けなしで書けるとか数学マンかよ

ああいうこともできる、というのがC++のいいところだが、自分には過ぎた代物

**デフォルトの名無しさん** · 2023/08/29(火) 07:50:33.04

英単語ではない記号を使うだけなら仮想関数でもできる
仮想関数のように型を統一しないのがオーバーロードの特徴
統一するとvoid*とかObjecとか残念な型になってしまう

**デフォルトの名無しさん** · 2023/08/29(火) 10:14:25.34

>>900
その二つは別人
ソース俺

>>888
繋がってない
めっちゃ迷惑

自演じゃなくて他演されたの初めてだわ

**デフォルトの名無しさん** · 2023/08/29(火) 12:39:12.46

>>936を信じるなら
ID:EQIr/PqP
≠
ID:m1noAQBG = ID:RvCE3Lp0 = 行列ライブラリの人
で、ID:Aks4ymi6は行列ライブラリの人になりすまそうとしたっぽい謎の人物ってことかいな？

**デフォルトの名無しさん** · 2023/08/29(火) 13:05:17.54

このスレまじで負け惜しみレスが多いな
なんでここまで幼児メンタルを引きつけるのか謎

**デフォルトの名無しさん** · 2023/08/29(火) 13:45:45.19

ここはプログラマ板ではなくプログラム板
話はプログラムで示せ
それができない話ならばプログラマ板へ行け
具体的なコードで話せずに文句と批判するだけの無能は不要

**デフォルトの名無しさん** · 2023/08/29(火) 13:57:24.70

自分で自分追放してて草

**デフォルトの名無しさん** · 2023/08/29(火) 14:01:13.75

>>939
問題の切り分けができない無能も不要

**デフォルトの名無しさん** · 2023/08/29(火) 14:44:41.31

急に発狂するやついて草
何か刺さっちまったんだろうなw

**デフォルトの名無しさん** · 2023/08/29(火) 18:25:25.49

玲音しね

**デフォルトの名無しさん** · 2023/08/29(火) 18:42:00.76

こんな仮想空間でまじになっちゃって
負けたら大変なことになると思い込むのが問題なんだけど
論破というのはまさにそういう仮想空間で相手にそう思い込ませる術だよね