C++相談室 part166 (701ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1: sage (ﾜｯﾁｮｲ 8732-NXaD) [] 2025/04/26(土) 10:34:58.41 ID:pbPDl6lv0(1/2) AAS
!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること
次スレは>>980が立てること
無理なら細かく安価指定
※前スレ
C++相談室 part165
2chｽﾚ:tech VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured
602: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) [sage] 2025/08/23(土) 20:18:30.70 ID:CHT0FIec0(2/2) AAS
>>601
最初から foo がその型で返せばいいんでないの？
603: デフォルトの名無しさん (ﾜｯﾁｮｲ 6dad-W0Wb) [sage] 2025/08/24(日) 12:07:46.50 ID:HqphwiLf0(1) AAS
C言語から続くカンマ演算子が分かってないんでは？
604: デフォルトの名無しさん (ﾜｯﾁｮｲ fee0-ea+o) [sage] 2025/08/24(日) 12:09:48.21 ID:gU3L8vdd0(1) AAS
Pythonあがりだから型を定義する意味がわかってないんだと思う
605: デフォルトの名無しさん (ﾜｯﾁｮｲ 15d6-VoZ8) [sage] 2025/08/25(月) 07:55:54.04 ID:O202BBJ90(1) AAS
a=10
a＝’hello'
翻訳しながらだからできるんだろうけどね。
606: デフォルトの名無しさん (ﾜｯﾁｮｲ 86cf-tcs3) [sage] 2025/08/25(月) 08:19:19.75 ID:X23BjBGY0(1) AAS
>590
左辺にも現れるからじゃね？
607: 初心者プログラマー (ﾜｯﾁｮｲ d5ce-rKTE) [] 2025/08/28(木) 17:50:07.17 ID:GULY1B8W0(1) AAS
cppでbazelでmediapipeのビルド方法を教えてくれる方はいませんか？
自分の環境
Visual Studio Community 2022
Windows11 64 ビット
scoopでbazel 5.3.0
Python 3.10.0
608: 青木康善 (ｱｳｱｳｳｰ Sa47-Rd44) [sage] 2025/09/07(日) 03:16:03.97 ID:Fgms30k2a(1) AAS
なんか、javaより簡単に思えてきました。
609: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 1732-F+lb) [sage] 2025/09/07(日) 06:54:14.37 ID:Ur1gsBeL0(1) AAS
そうか。
610(2): デフォルトの名無しさん (ﾜｯﾁｮｲ dbd6-ERpe) [sage] 2025/09/07(日) 07:39:38.11 ID:yhbLpr+z0(1/2) AAS
obj1=obj2;
の後obj2を変更すると、obj1が書き換わってまってびっくりして
その後、Javaが怖い親父です。
611: デフォルトの名無しさん (ﾜｯﾁｮｲ 7f5f-Z2G8) [] 2025/09/07(日) 13:56:14.79 ID:ZFShxqYO0(1) AAS
C/C++もポインタを代入するとそうなるよ
612: デフォルトの名無しさん (ﾜｯﾁｮｲ a380-1jR+) [sage] 2025/09/07(日) 15:17:34.87 ID:DiKqvn8B0(1) AAS
この親父他の言語ほぼ使えんだろ
613(2): デフォルトの名無しさん (ｱｳｱｳｳｰ Sa47-Y7lD) [] 2025/09/07(日) 15:34:33.99 ID:AK/wIzqla(1) AAS
普通 https://ideone.com/wGzMHW
p=[3,1,2]
q=p
p[1]=0
print(q)
614(1): デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MMe6-+IOe) [sage] 2025/09/07(日) 16:53:15.89 ID:2DaEs5aKM(1/2) AAS
>>610 >>613
それはオブジェクトへの参照の競合が起きてる
それぞれで書き換え更新または読み取り中の書き換えをすることでスパゲッティなコードを招いてしまう
その競合をコンパイルエラーにして防いでくれるのはRustだけだと思う
615(1): デフォルトの名無しさん (ﾜｯﾁｮｲ dbd6-ERpe) [sage] 2025/09/07(日) 17:20:59.28 ID:yhbLpr+z0(2/2) AAS
>>614
c/c++なら、ポインタなのか参照なのか見ればわかるし、
まずコンパイラが型をチェックしますんで。はい
616: デフォルトの名無しさん (ﾜｯﾁｮｲ 1ba6-aHNR) [sage] 2025/09/07(日) 17:34:06.57 ID:5bTmv8Qp0(1) AAS
参照メインの言語で書き換えを頻繁に行うとそりゃ事故るよ、注意力にも限界がある
値の書き換えをするならC++のように変数が直接値を持つ言語がいいし
参照をメインにするなら関数型言語のようにimmutableを基本にするべきだ
617: デフォルトの名無しさん (ｵｯﾍﾟｹ Sr3b-wO3q) [sage] 2025/09/07(日) 18:17:46.03 ID:kASsF2K3r(1) AAS
ないしは、q=p; ってしたときに、pがダメになってくれるか
618(2): デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MMe6-+IOe) [sage] 2025/09/07(日) 22:03:02.60 ID:2DaEs5aKM(2/2) AAS
>>615
C++では参照の競合があってもエラーとならず安全性は保証されないよ
例えば以下の挙動
std::vector<int> v{0, 1, 2, 3, 4, 5, 6, 7};
int& fifth = v[5];
v.push_back(100);
std::vector<int> w{8, 8, 8, 8, 8, 8, 8, 8};
fifth = 555;
std::cout << "v[5] = " << v[5] << std::endl;
std::cout << "w[5] = " << w[5] << std::endl;
619: デフォルトの名無しさん (ﾜｯﾁｮｲ dbd6-ERpe) [sage] 2025/09/08(月) 07:59:15.17 ID:It1Ffdlu0(1/2) AAS
>>618
これわ別問題じゃないのですか。
にしても、おとろしい
push_backされた時点で再構築されて、新規作成のオブジェクトの要素を保持してしまったで合ってますか？
620(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 1732-F+lb) [sage] 2025/09/08(月) 10:27:54.64 ID:bx3qX9/R0(1) AAS
状況を一から説明すると……
これは fifth が古い無効になった場所を参照する可能性があることが問題。
std::vector の各要素は連続した空間に配置されることが保証されている。
要素の増減でその場所の都合が悪くなれば再配置される可能性があり、
再配置が起こったときは要素を指していたイテレータや参照は無効になるというルール。
無効なイテレータや参照を通じてアクセスしたら何が起こるかわからない。
再配置が起こる可能性がある操作については個々に仕様に書かれているけれど、
キャパシティを変更する (可能性がある) ような操作はどれも再配置が起こりえると覚えておけばいい。
そんでもってこれのややこしいところは「可能性がある」ってところで、
キャパシティをどれくらい拡大するか実装によって差があるし、
状況によっては場所を移動せずに大きさを伸ばせるかもしれない。
つまり問題が顕在化しないかもしれない。
一般論として倍々に延ばす実装がよく知られているからこの例では最初に要素を 8 個にして
顕在化しやすいようにしたんだろう。
621: デフォルトの名無しさん (ﾜｯﾁｮｲ dbd6-ERpe) [sage] 2025/09/08(月) 10:47:28.92 ID:It1Ffdlu0(2/2) AAS
>>620
どもです。要素数８ってのもさすがって感じでした。
622: デフォルトの名無しさん (ﾜﾝﾐﾝｸﾞｸ MM8a-+IOe) [sage] 2025/09/08(月) 22:24:25.56 ID:EA0JjXQaM(1) AAS
>>620
今回の問題に限ればその通り
ただし問題の本質は二つの参照(変数fifthとpush_back呼び出し時の参照)を使ったこと
今回はダングリング参照で問題を分かりやすく示したがメモリ問題もvectorも本質ではなく任意のデータに対する参照で問題が起きる
既に参照fifthを持つ状況で同じデータを指す別の参照を関数push_backに渡してデータが書き換えられた
参照fifthが指す値は当初から値が変更されてしまったりダングリングで無効な値になる可能性がある
これが二つの参照の競合による問題で値がいつの間にか書き換わってしまっていることでバグも誘発する
両方の参照が書き換えを伴わないreadonlyの時のみ安全になる
片方もしくは両方の参照が書き換えを伴うと安全でなくなる
623(1): デフォルトの名無しさん (ﾜｯﾁｮｲ e3ad-ckwE) [sage] 2025/09/08(月) 23:06:53.70 ID:HoahUzIM0(1) AAS
再配置が行われるものに参照使って、その生存期間を超えてアクセスするのは未定義動作になるわな。C++に慣れてればそんなコードは書かないが、初級者向けではない。readonly より、lifetime の問題でしょう
624(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 177c-h0AF) [sage] 2025/09/09(火) 00:29:11.16 ID:TMUamLpP0(1) AAS
参照が無効になる条件は規定されてるし、先にcapacity設定するとか避ける方法も用意されてる
「問題の本質」とやらはただのライブラリ仕様の無理解だろ
分かりにくいとか間違えやすいとかの批判なら分かるけど
625: デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MM8a-+IOe) [sage] 2025/09/09(火) 07:24:41.95 ID:DVL1/TmTM(1/2) AAS
>>623 >>624
申し訳ないがcapacityや再配置の話はしていない
lifetimeや参照が無効になる話もしていない
まずそれらを頭の中から消し去って考えよう
元々の話である同一データに対して参照が二つ持った時の話のみをしている
もちろんvectorは登場してもしなくてもいい
626: デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MM8a-+IOe) [sage] 2025/09/09(火) 07:29:27.85 ID:DVL1/TmTM(2/2) AAS
元々の話とは>>610や>>613でこれらが参照の競合の最も単純な例
様々な言語で発生してもちろんC++でも生じる
同一データに対して複数の参照を持つと他の参照によっていつの間にか指していたデータの値が書き換わってしまう
これがバグやコードのスパゲッティ化を引き起こす最も大きな原因の一つ
そのためreadonlyでない限り複数の参照を避けるのが好ましい
そのため競合する参照を禁止している言語もある
627: デフォルトの名無しさん (ｽﾌｯ Sdba-bj1o) [] 2025/09/09(火) 10:47:02.21 ID:g327vfuJd(1) AAS
readonlyでない競合する参照を禁止している言語もある
628: デフォルトの名無しさん (ﾜｯﾁｮｲ 97e4-1jR+) [sage] 2025/09/09(火) 12:16:08.28 ID:iPWQv8Oa0(1) AAS
はいはい線型論理言いたいだけ
629: デフォルトの名無しさん (ｱｳｱｳｳｰ Sa47-Rd44) [sage] 2025/09/10(水) 00:51:51.50 ID:BnR46AnOa(1) AAS
>>618
これはvにpush_backしたところでキャパ超えて別の場所にリアロックされ、ともない元のvの領域が空になって、即座にwがスポンとそのvが元あった場所に配置されたってことなのですか?
630(1): デフォルトの名無しさん (ｽｯﾌﾟﾌﾟ Sdba-j4tR) [sage] 2025/09/10(水) 02:12:52.51 ID:IF/zSGeMd(1) AAS
そうだよ。
規格上は何の保証もないから、処理系とかによっては全然違う結果になるかもしれないけど。
631: 629 (ｱｳｱｳｳｰ Sa47-Rd44) [sage] 2025/09/10(水) 10:07:49.21 ID:3vsmg39oa(1) AAS
>>630
どうもありがとう
632: デフォルトの名無しさん (ﾜｯﾁｮｲ 4e1f-bj1o) [] 2025/09/10(水) 10:13:08.62 ID:zTYInGVv0(1) AAS
>再構築されて新規の要素を保持してしまったで合ってますか
こう聴かれると｢違う｣と返事したくなる
633: デフォルトの名無しさん (ﾜｯﾁｮｲ 177c-h0AF) [sage] 2025/09/10(水) 18:40:20.64 ID:Vv9EwJFH0(1) AAS
未定義動作だからな
たまたま鼻から悪魔が出る代わりにそうなっただけだ
634: デフォルトの名無しさん (ﾜｯﾁｮｲ a75f-ckwE) [sage] 2025/09/10(水) 22:18:27.54 ID:RAO/BxQt0(1) AAS
参照の競合という用語に違和感。並行性に関わる競合状態 (race condition) の話をしようとしているのか？
635: デフォルトの名無しさん (ﾜｯﾁｮｲ b68c-1jR+) [sage] 2025/09/10(水) 22:31:03.50 ID:BZTqerG60(1) AAS
してない
636(1): デフォルトの名無しさん (ﾜｯﾁｮｲ a3d6-X2Ee) [sage] 2025/09/22(月) 23:24:45.15 ID:ZT49UQS30(1) AAS
でわ 簡単？な話題を。
int data{}; ってやります？ int data{0}; ってやります？
637: デフォルトの名無しさん (ﾜｯﾁｮｲ 7f7c-3pIy) [sage] 2025/09/23(火) 06:55:15.77 ID:S9rfzcfC0(1) AAS
int data = 0; ってやる
638(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) [sage] 2025/09/23(火) 10:47:53.44 ID:0b1Ncss10(1/3) AAS
auto data = 0;
とか、型が明示的なのが好みなら
auto data = int();
といった選択肢もある。
私は
int data = 0;
派だけど。
639(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 8a02-CSnM) [sage] 2025/09/23(火) 10:57:08.68 ID:NP1ck5iL0(1/3) AAS
>>638
autoを使う理由は？
640(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) [sage] 2025/09/23(火) 11:12:21.28 ID:0b1Ncss10(2/3) AAS
>>639
暗黙的であれ明示的であれ初期化子に型があるのだからそれとは別にもう一度型を書くのは二度手間と言える場合がある。
どういう考え方をとるべきなのかは場合による。
641(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 8a02-CSnM) [sage] 2025/09/23(火) 11:17:00.61 ID:NP1ck5iL0(2/3) AAS
>>640
autoは曖昧だから、ゆるいプログラム用だね
シビアなプログラムは無理
642: デフォルトの名無しさん (ﾜｯﾁｮｲ a3d6-X2Ee) [sage] 2025/09/23(火) 12:32:51.63 ID:zwbfimRS0(1) AAS
>>638
イテレータの返しを受けるオブジェクトはauto使うと便利みたいな
643: デフォルトの名無しさん (ﾜｯﾁｮｲ 46f6-RvFB) [sage] 2025/09/23(火) 14:23:55.04 ID:SO+rqWsF0(1) AAS
>>641
テンプレート作るときには必須になる場合もある
ゆるいって理解は雑
644: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) [sage] 2025/09/23(火) 14:48:06.92 ID:0b1Ncss10(3/3) AAS
前提条件を変えると何でも言えてしまう。
とりあえずここでは発端は >>636 なのだから変数 data の型が int であり (多相にはしない) 内容はゼロで初期化するという狭い仮定を置いたほうがよかろう。
auto を持ち出したのは変に話題を曲げてしまったな。すまぬ。
645(1): デフォルトの名無しさん (ｵｯﾍﾟｹ Sr23-RsoB) [sage] 2025/09/23(火) 20:34:08.12 ID:3YWvMRZsr(1) AAS
今北
いまさら人に聞けない
auto って、右辺の型もそのまま左辺にコピーしてきてよ、って感じで使ってるんだけど
その認識で間違ってない? 落とし穴とかある?
646: デフォルトの名無しさん (ﾜｯﾁｮｲ 467f-IpVF) [sage] 2025/09/23(火) 20:39:56.49 ID:7uroOMzl0(1) AAS
右辺が式の場合もあるし
その時自分が思ってた型とautoの型が一致するとは限らないところとか
647(2): デフォルトの名無しさん (ﾜｯﾁｮｲ 73f0-ar7H) [sage] 2025/09/23(火) 21:26:37.10 ID:qWXNEai60(1) AAS
autoで手抜きしすぎるとあとでｿｰｽ追うときにｴﾗｲ苦労することあるから気を付けろよ
648(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 8a02-CSnM) [sage] 2025/09/23(火) 21:34:42.79 ID:NP1ck5iL0(3/3) AAS
>>647
Pythonとか、
型が書かれてないから追いづらいよね
649(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ e328-BMc3) [sage] 2025/09/24(水) 02:24:38.07 ID:hHyw0Adk0(1) AAS
>>645
その認識でおおよそ正しいが変則的な部分もある。
auto foo = { 1, 2, 3 };
みたいに書くと initializer_list に推論されたりするのは知らないとちょっとびっくりするかもしれない。
それと修飾子などを組み合わせで使うことも出来る。
const auto* bar = &baz;
みたいに。
650(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 8a02-CSnM) [sage] 2025/09/24(水) 07:20:39.19 ID:tMR45KsJ0(1) AAS
>>649
何の目的であるの？
C#的にゆるくなるだけだな…
651(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-VPhE) [sage] 2025/09/24(水) 08:23:07.29 ID:yL+cLVSS0(1) AAS
>>650
ゆるいというのがどういう意味で言ってるのかわからないからなんとも言えない。
特に有用なのはテンプレート内で、たとえば
template<class T>
void foo(T x) {
auto bar = baz(x); // baz は関数テンプレートだとする
// ここでなんやかんや
}
みたいなのがあるとき auto を使わずに型を合わせて書こうとすると
template<class T>
void foo(T x) {
decltype(baz(x)) bar = baz(x); // baz は関数テンプレートだとする
// ここでなんやかんや
}
みたいになってわずらわしい。
初期化子の型をそのまま持ってくれば良いときに型を明示しても可読性に貢献しないし、簡便な記法があると楽。
652: デフォルトの名無しさん (JP 0Hc6-xemb) [] 2025/09/24(水) 12:48:43.78 ID:4f1PT/5nH(1) AAS
std::make_sharedとか使うと行が長くなりがちだからauto便利
653: デフォルトの名無しさん (ﾜｯﾁｮｲ 4a4e-rfem) [] 2025/09/24(水) 23:18:51.30 ID:OQUpbPvH0(1) AAS
autoでしか出来ないこともあるから奥が深い
654: デフォルトの名無しさん (ﾜｯﾁｮｲ e3a6-YvLc) [sage] 2025/09/24(水) 23:47:45.55 ID:wXWMV3aG0(1) AAS
罠仕様が仕込まれてるってだけでは
655: デフォルトの名無しさん (ｵｯﾍﾟｹ Sr23-RsoB) [sage] 2025/09/25(木) 06:56:54.48 ID:iHrblX0Rr(1) AAS
Rust派に言わせれば、C++が罠らしいぞｗ
でもそのC++が、今の俺を生んだ
656(3): デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/25(木) 16:58:42.68 ID:tx4jrZ/E0(1/3) AAS
有用なときもあるけど、ライブラリ用のコードで乱発するとメンテナンスが大変
可読性メンテナンス性を考えるなら、冗長でない限りはちゃんと書いた方がいい
>>651
それもbaz(buz?)の戻り値の型はTから導出出来るんだから、よほどややこしくない限りはそれ(decltypeで手抜きせずに)を書いた方が可読性メンテナンス性の面では良い
657(5): デフォルトの名無しさん (ﾜｯﾁｮｲ 4640-RvFB) [sage] 2025/09/25(木) 17:00:57.66 ID:/3f9OB3n0(1) AAS
>>656
お前テンプレートプログラミングの素人さんだよね
658(6): デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/25(木) 20:40:29.81 ID:tx4jrZ/E0(2/3) AAS
>>657
自己紹介乙w
Expression Template使って線形代数のライブラリ作った人間だが、ETで利用者がauto使うとどういう問題が起きるか答えてみ
まさか分かりませんとか言わないよな？
テンプレート使ったライブラリ(てか標準ライブラリ)を"利用する"しかしたことのない人間が調子に乗るな
659: デフォルトの名無しさん (ﾜｯﾁｮｲ 3b82-IpVF) [sage] 2025/09/25(木) 20:43:04.50 ID:nRsNESWS0(1) AAS
なんか「その理論を作ったのは私ですが」みたいなものを感じる
技術発表の際の怖い質問とかなんとかのやつw
660: デフォルトの名無しさん (ﾜｯﾁｮｲ 4a4e-rfem) [] 2025/09/25(木) 20:43:46.25 ID:ofoI5OnU0(1) AAS
言葉ならなんとでも言えるわな
661: 650 (ﾜｯﾁｮｲ 8a02-CSnM) [sage] 2025/09/25(木) 20:44:29.25 ID:hN2fGih80(1/2) AAS
>>651
ふーん
便利だね
でも、templete自体が何だか好きじゃないわ…
662(1): 650 (ﾜｯﾁｮｲ 8a02-CSnM) [sage] 2025/09/25(木) 20:46:08.51 ID:hN2fGih80(2/2) AAS
>>656
ちゃんとっって、型を？
型が書いてないと、パット見でわからないよね…
663: デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/25(木) 20:54:22.86 ID:tx4jrZ/E0(3/3) AAS
>>662
そう&同感
ぱぱっと書いて何やってるかもすぐ分かるような場面(戻り値がイテレータとか)ではそりゃautoでいいと思うけどねぇ
664: デフォルトの名無しさん (ﾜｯﾁｮｲ ff67-ZW/Z) [sage] 2025/09/25(木) 21:36:33.99 ID:SUv+BSiy0(1) AAS
今ならconceptを使うのが筋が良いんだろうな
他の言語みたいに型制約を書かずにジェネリクスを使えるけど、これは良くも悪くもだよね
楽と言えば楽だけど
665(2): デフォルトの名無しさん (ﾜｯﾁｮｲ 7307-RsoB) [sage] 2025/09/26(金) 01:34:47.37 ID:aJA0eUoF0(1/2) AAS
>>658
リポジトリ晒して
まさか出せませんとか言わないよな？
テンプレート使ったライブラリ(てか標準ライブラリ)を"内製する"しかしたことのない人間が調子に乗るな
666(1): デフォルトの名無しさん (ﾌﾞｰｲﾓ MMbb-RvFB) [sage] 2025/09/26(金) 01:53:11.78 ID:IAhZoqBcM(1) AAS
>>658
端的に言って
> それもbaz(buz?)の戻り値の型はTから導出出来るんだから、
ここだよ
関数テンプレートなんだから型が導出できるとは限らない
なぜお前は断言したのかな？
導出できない例にぶち当たったことがないからだよな
667: デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/26(金) 07:26:52.27 ID:uQKo8FSG0(1/7) AAS
>>665 >>668
煽ればタダで教えてもらえると思ってるいつものアホか
>導出できない例
あるわけないだろどうやって実体化するんだよwwwwww
668(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 8e02-C7mS) [] 2025/09/26(金) 08:15:01.31 ID:FGFv/5hn0(1) AAS
conceptはテンプレートだけじゃなく普通の変数制約にも使えればなぁ。
継承がほとんどいらなくなる。
669: デフォルトの名無しさん (ｱｳｱｳｳｰ Sacf-kv3/) [] 2025/09/26(金) 10:28:59.69 ID:UkFmEBgMa(1) AAS
>>647
判ります
670: デフォルトの名無しさん (ﾜｯﾁｮｲ 5301-QugL) [sage] 2025/09/26(金) 11:12:51.14 ID:TfDLIQWg0(1) AAS
手抜きというか情報を重複させないためにはautoが必要
苦労するのは型情報を追えないツールが悪い
671: デフォルトの名無しさん (ﾜｯﾁｮｲ bff0-ar7H) [sage] 2025/09/26(金) 11:53:52.65 ID:IRzSnzQy0(1) AAS
>>648
ああ、おそろしいあの言語は
素人にはｻｻｯと組めて楽ﾁﾝだろうけど大掛かりなものは無理だろうな
想像しただけで脳が震えて耳から溶けて出てきそうだ
672(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-VPhE) [sage] 2025/09/26(金) 12:02:33.14 ID:E9e6Z1Un0(1/4) AAS
expression template を auto で受けるとまずいってのは Eigen みたいな設計の話かな。
あれはムーブがない時代の設計だから一時オブジェクトの参照を保持してしまう (先に一時オブジェクトが解体されて寿命管理が破綻する) のが問題なのであって、解決のための仕組みが与えられたにもかかわらずそれを使ってない設計が悪い。
expression template の仕組み上でどうしても解決できないというわけではないし auto のせいでもない。
ムーブのコストすら許容できないだとか、古い C++ (C++03 以前) もサポートしなきゃならないみたいな事情があるなら「すまんけどこのライブラリを使うときは注意して」というべき筋合いの話で、「auto なんか使っとるからじゃ！」みたいな態度はおかしいだろ。
673: デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/26(金) 12:09:27.62 ID:uQKo8FSG0(2/7) AAS
>>672
>のが問題なのであって
違う。ETの場合、関数(演算子オーバーロード含む)が返すのは、式の構造を表すオブジェクトなのでそれをautoで受けると式の展開が行われず、計算処理の無いコードになってしまう
それを逆手に取ってauto経由で展開のタイミング遅らせることもできるけどね
あとETの利点はムーブどうこうで解決できる問題だけではないし、
誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？
で、はちみつお前いつも「知ったかぶりしていい加減なことを言う奴」に怒ってる割に、自分も同じ事してるよな
674: デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/26(金) 12:11:01.51 ID:uQKo8FSG0(3/7) AAS
あと
>「auto なんか使っとるからじゃ！」
一言も言ってないんだが。流れ読み直しておいで
675(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) [sage] 2025/09/26(金) 12:54:00.88 ID:E9e6Z1Un0(2/4) AAS
>>672
> autoで受けると式の展開が行われず、計算処理の無いコードになってしまう
書いてなかったが評価タイミングは適当な関数で明示的にする前提を置いてた。
未定義を踏むのは他の何と比べても駄目だ。単に思ってた結果と違ったなんてのは重要じゃない。
> 誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？
日常的には使わないケースだからこそだ。
それが auto の問題点のように挙げられてただろ？
ライブラリのほうが C++ の自然な習慣に合わせるのが筋なのにさ。
676: デフォルトの名無しさん (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) [sage] 2025/09/26(金) 13:15:19.27 ID:4po4sxfpp(1/6) AAS
>>657-658
677(1): デフォルトの名無しさん (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) [sage] 2025/09/26(金) 13:19:26.24 ID:4po4sxfpp(2/6) AAS
>>675
あと、ETで式の評価が発生するのは関数の呼び出し時ではない。どうでもいいけど
あと俺が作ったのは4次元まで(行列なら4x4まで。ゲーム用なので)だからヒープ使わんのでそもそもムーブどうこうは関係無いし、勝手によそのライブラリの未定義の話を持ってこられても困る
678: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) [sage] 2025/09/26(金) 13:57:45.37 ID:E9e6Z1Un0(3/4) AAS
>>677
eigen は例として話題に出したつもりだったが余計だったな。
端的に主旨を言えば expression template の原理的には auto で受けれるように作ることは可能、かつその方が親切な作りだろうという話をしてる。
お前がどんな設計をしたのかなんてそれこそ俺には知ったことじゃないし、知りようもない。
お前のライブラリで auto で受けれないのはお前がそう設計しただけの話なので、 それを根拠に auto がどうこう言ってもなんの足しにもならん。
679(1): デフォルトの名無しさん (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) [sage] 2025/09/26(金) 14:04:20.28 ID:4po4sxfpp(3/6) AAS
>>657-658
ETの話はここで出した。
で、俺のautoの使い方に関する意見は>>656だ
自分が何をやってるか良く考えてからレス書き直せ
680(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) [sage] 2025/09/26(金) 14:08:11.66 ID:E9e6Z1Un0(4/4) AAS
>>679
悪い設計のせいで利用者に不自然な書き方を強いるライブラリを作ったという話だということは理解してる。
681(1): デフォルトの名無しさん (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) [sage] 2025/09/26(金) 14:13:42.65 ID:4po4sxfpp(4/6) AAS
あといちいち知ったかぶってるバカに教えてやるのも腹が立つが、普通数値演算でET使うときは代入演算子やコンストラクタに式を渡した場所で初めて式を展開するんだよ
(autoでわざと評価を遅延させることも可能だと書いただろアホ)
Eigenでも多分そう
もちろんboost::spiritとかの構文解析ならパース処理の関数に渡すまで展開しないだろうが
682: デフォルトの名無しさん (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) [sage] 2025/09/26(金) 14:14:19.90 ID:4po4sxfpp(5/6) AAS
>>680
不自然なのはお前の、「スキルに見合わない自尊心」だと思うぞ
683: デフォルトの名無しさん (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) [sage] 2025/09/26(金) 14:24:32.42 ID:4po4sxfpp(6/6) AAS
バカが屁理屈書いてきそうだから再三言うが、>>658は>>657を叩くために出した問いに過ぎない
「意図しないコードになる」という話
これだからお前には絡みたくないんだよマジ鬱陶しい
684(1): デフォルトの名無しさん [sage] 2025/09/26(金) 17:03:47.95 ID:iKKvsVQ80(1) AAS
お前ってのははちみつのこと言ってるのかね？
自分から絡んどいて何言ってんだろうコイツとしか思えんけど
685(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/26(金) 17:53:41.26 ID:uQKo8FSG0(4/7) AAS
>>684
で、>>666の導出出来ない例って何？www
686: デフォルトの名無しさん (ﾜｯﾁｮｲ 467f-RvFB) [sage] 2025/09/26(金) 19:18:42.84 ID:+hZbpaFa0(1/2) AAS
>>685
ラムダの型導出できないだろ？
なんでこんなのも知らんのにえらそうにしてんの？
あと
https://wandbox.org/permlink/q5sTF1hp76f7jpnq
とかな
この例でfooでもif constexprを使えばautoはなくせるがそんなことやって可読性とかほざけない
他にもパターンあるぞ
謝罪してお前が作ったらしいヘボライブラリ公開したら教えてやってもいいぞ
687(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/26(金) 19:32:01.31 ID:uQKo8FSG0(5/7) AAS
屁理屈にも程がある
導出出来なきゃどうやって実体化するんだよ、Tしかテンプレートパラメータが無い状況でT以外に依存するものがあるのか？
まさか結果がTに依存するテンプレートになったら「導出出来てない」とかほざくの？
Tに依存するコンテナのイテレータと何も変わらんよそれ
688: デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/26(金) 20:12:50.41 ID:uQKo8FSG0(6/7) AAS
てかその例でauto使わずに戻り値格納するのにif constexpr使うしかないと思ってるとかどんだけ経験不足なんだ・・・(はっきり処理分けする必要がある場合を除く)
そんなクソみたいな例ならさすがにdecltypeかauto使いたくなるが(そもそも使うなと言ってないんだが)、conditionalも知らんのかお前は
必死に探してきてご苦労さん
689: デフォルトの名無しさん (ﾜｯﾁｮｲ 7307-RsoB) [sage] 2025/09/26(金) 20:41:40.17 ID:aJA0eUoF0(2/2) AAS
あの…そろそろ言っとくが
おもろいこと書いたヤツが優勝な?
２ちゃん５ちゃんの原則だぞ
690: デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/26(金) 20:46:36.85 ID:uQKo8FSG0(7/7) AAS
>>665はおもろいと自分で思ってんの？w
691: デフォルトの名無しさん (ﾜｯﾁｮｲ 467f-RvFB) [sage] 2025/09/26(金) 20:59:48.54 ID:+hZbpaFa0(2/2) AAS
>>687
おじいちゃん、ラムダの例で詰んでんのわかる？
わかんない？
わかんないかぁ
692: デフォルトの名無しさん (ﾜｯﾁｮｲ 8a02-CSnM) [sage] 2025/09/27(土) 00:06:32.90 ID:ov4hhnsF0(1) AAS
やっぱautoはゆるいね
C#とかPython的な感じ…
693: デフォルトの名無しさん (ﾜｯﾁｮｲ 7307-RsoB) [sage] 2025/09/27(土) 05:08:15.66 ID:rNLW6nkI0(1) AAS
C++は自由なんだよ
変な風にも使えるし、傍で見てたらめちゃくちゃにもなる
694: デフォルトの名無しさん (ﾜｯﾁｮｲ 1ed6-X2Ee) [sage] 2025/09/27(土) 05:36:45.87 ID:p3kzti810(1) AAS
自分が使った方がいいと思った時は使う。
しかないよ。後は規約や上司に従うぐらいか。
695: デフォルトの名無しさん (ﾜｯﾁｮｲ 7f7c-3pIy) [sage] 2025/09/27(土) 11:22:44.98 ID:0x5FUGdK0(1) AAS
久々にC++スレらしくなってておっちゃん楽しいよ
696(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-VPhE) [sage] 2025/09/27(土) 17:37:01.17 ID:nSvwU9re0(1/2) AAS
>>681
コンストラクタや代入演算子で実際の計算を起動する方式も支持があるのは知ってるよ。
だからその代表例として有名どころの Eigen を話題に出したのだし、そこに齟齬はない。
その上で唯一の方式ではないし悪い設計だと言ってる。
私に反論するならどうしてそんな方式を取るのか利点 (悪い設計ではない理由) を説明すべきだった。
「数値計算で expression template を使うときは普通」なんて情報量ゼロのことを書かれても何の意味も感じられない。
コンストラクタや代入演算子をトリガーにするのは expression template を最適化として使う考え方だ。
つまり見かけ上は普通に式を書いてるだけなのに実は高速化しているというのがキモで、普通の式である「かのように」見える抽象化に意味がある。
実際の型を意識せざるを得なくなった段階で抽象化は破綻してる。
auto を使ったら何が起こるかを意識しなければならないのはライブラリ設計の失敗なんだよ。
隠れていたりいなかったりする半端な抽象化層を悪い設計と呼ぶのは間違ってるか？
> 再三言うが、>>658は>>657を叩くために出した問いに過ぎない
> 「意図しないコードになる」という話
そんなので意図しないコードになってしまうような作りのライブラリは出来が悪いという話なのはかわらん。
様々な事情に配慮してそうならざるを得ないということもあるというのならわかるが、
そうじゃなくて「それが普通なんだ」と思い込んだ狭い見識での判断なんだろ？
型を書くか auto にするかはスタイルの問題で、どちらを使うかで挙動が切り替わってしまうような設計のライブラリが本当にまともか？
697: デフォルトの名無しさん (ﾜｯﾁｮｲ 0679-P6+q) [sage] 2025/09/27(土) 17:54:13.79 ID:iipvXy1W0(1) AAS
よほど悔しかったんか知らんが、恥の上塗りやめたら？
autoをC++に取り込んだ人達は、お前が調子に乗るために提案したわけでも採用したわけでもなかろうよ
698: デフォルトの名無しさん (ｱｳｱｳｳｰ Sacf-kv3/) [] 2025/09/27(土) 19:49:03.02 ID:k7oMySGea(1) AAS
>>696
八光さんに同意だけど
それだとC++が設計ミスと言う結論になりかねない
699: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) [sage] 2025/09/27(土) 20:00:56.28 ID:nSvwU9re0(2/2) AAS
C++ が設計ミスだらけなのは今更な話だろ。
700: 580 (ﾜｯﾁｮｲ f5a1-hkyQ) [sage] 2025/09/28(日) 18:27:48.51 ID:MSQtxm6D0(1) AAS
解決しますた！
701: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 2d32-jLB2) [sage] 2025/09/28(日) 19:20:47.09 ID:pjQge+jC0(1) AAS
そうか。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s