C++相談室 part166 (635ﾚｽ)
C++相談室 part166 http://mevius.5ch.net/test/read.cgi/tech/1745631298/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
1: sage (ﾜｯﾁｮｲ 8732-NXaD) [] 2025/04/26(土) 10:34:58.41 ID:pbPDl6lv0 !extend:checked:vvvvv:1000:512 !extend:checked:vvvvv:1000:512 ↑同じ内容を3行貼り付けること 次スレは>>980が立てること 無理なら細かく安価指定 ※前スレ C++相談室 part165 https://mevius.5ch.net/test/read.cgi/tech/1698705458/ VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured http://mevius.5ch.net/test/read.cgi/tech/1745631298/1
611: デフォルトの名無しさん (ﾜｯﾁｮｲ 7f5f-Z2G8) [] 2025/09/07(日) 13:56:14.79 ID:ZFShxqYO0 C/C++もポインタを代入するとそうなるよ http://mevius.5ch.net/test/read.cgi/tech/1745631298/611
612: デフォルトの名無しさん (ﾜｯﾁｮｲ a380-1jR+) [sage] 2025/09/07(日) 15:17:34.87 ID:DiKqvn8B0 この親父他の言語ほぼ使えんだろ http://mevius.5ch.net/test/read.cgi/tech/1745631298/612
613: デフォルトの名無しさん (ｱｳｱｳｳｰ Sa47-Y7lD) [] 2025/09/07(日) 15:34:33.99 ID:AK/wIzqla 普通 https://ideone.com/wGzMHW p=[3,1,2] q=p p[1]=0 print(q) http://mevius.5ch.net/test/read.cgi/tech/1745631298/613
614: デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MMe6-+IOe) [sage] 2025/09/07(日) 16:53:15.89 ID:2DaEs5aKM >>610 >>613 それはオブジェクトへの参照の競合が起きてる それぞれで書き換え更新または読み取り中の書き換えをすることでスパゲッティなコードを招いてしまう その競合をコンパイルエラーにして防いでくれるのはRustだけだと思う http://mevius.5ch.net/test/read.cgi/tech/1745631298/614
615: デフォルトの名無しさん (ﾜｯﾁｮｲ dbd6-ERpe) [sage] 2025/09/07(日) 17:20:59.28 ID:yhbLpr+z0 >>614 c/c++なら、ポインタなのか参照なのか見ればわかるし、 まずコンパイラが型をチェックしますんで。はい http://mevius.5ch.net/test/read.cgi/tech/1745631298/615
616: デフォルトの名無しさん (ﾜｯﾁｮｲ 1ba6-aHNR) [sage] 2025/09/07(日) 17:34:06.57 ID:5bTmv8Qp0 参照メインの言語で書き換えを頻繁に行うとそりゃ事故るよ、注意力にも限界がある 値の書き換えをするならC++のように変数が直接値を持つ言語がいいし 参照をメインにするなら関数型言語のようにimmutableを基本にするべきだ http://mevius.5ch.net/test/read.cgi/tech/1745631298/616
617: デフォルトの名無しさん (ｵｯﾍﾟｹ Sr3b-wO3q) [sage] 2025/09/07(日) 18:17:46.03 ID:kASsF2K3r ないしは、q=p; ってしたときに、pがダメになってくれるか http://mevius.5ch.net/test/read.cgi/tech/1745631298/617
618: デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MMe6-+IOe) [sage] 2025/09/07(日) 22:03:02.60 ID:2DaEs5aKM >>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; http://mevius.5ch.net/test/read.cgi/tech/1745631298/618
619: デフォルトの名無しさん (ﾜｯﾁｮｲ dbd6-ERpe) [sage] 2025/09/08(月) 07:59:15.17 ID:It1Ffdlu0 >>618 これわ別問題じゃないのですか。 にしても、おとろしい push_backされた時点で再構築されて、新規作成のオブジェクトの要素を保持してしまったで合ってますか？ http://mevius.5ch.net/test/read.cgi/tech/1745631298/619
620: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 1732-F+lb) [sage] 2025/09/08(月) 10:27:54.64 ID:bx3qX9/R0 状況を一から説明すると…… これは fifth が古い無効になった場所を参照する可能性があることが問題。 std::vector の各要素は連続した空間に配置されることが保証されている。 要素の増減でその場所の都合が悪くなれば再配置される可能性があり、 再配置が起こったときは要素を指していたイテレータや参照は無効になるというルール。 無効なイテレータや参照を通じてアクセスしたら何が起こるかわからない。 再配置が起こる可能性がある操作については個々に仕様に書かれているけれど、 キャパシティを変更する (可能性がある) ような操作はどれも再配置が起こりえると覚えておけばいい。 そんでもってこれのややこしいところは「可能性がある」ってところで、 キャパシティをどれくらい拡大するか実装によって差があるし、 状況によっては場所を移動せずに大きさを伸ばせるかもしれない。 つまり問題が顕在化しないかもしれない。 一般論として倍々に延ばす実装がよく知られているからこの例では最初に要素を 8 個にして 顕在化しやすいようにしたんだろう。 http://mevius.5ch.net/test/read.cgi/tech/1745631298/620
621: デフォルトの名無しさん (ﾜｯﾁｮｲ dbd6-ERpe) [sage] 2025/09/08(月) 10:47:28.92 ID:It1Ffdlu0 >>620 どもです。要素数８ってのもさすがって感じでした。 http://mevius.5ch.net/test/read.cgi/tech/1745631298/621
622: デフォルトの名無しさん (ﾜﾝﾐﾝｸﾞｸ MM8a-+IOe) [sage] 2025/09/08(月) 22:24:25.56 ID:EA0JjXQaM >>620 今回の問題に限ればその通り ただし問題の本質は二つの参照(変数fifthとpush_back呼び出し時の参照)を使ったこと 今回はダングリング参照で問題を分かりやすく示したがメモリ問題もvectorも本質ではなく任意のデータに対する参照で問題が起きる 既に参照fifthを持つ状況で同じデータを指す別の参照を関数push_backに渡してデータが書き換えられた 参照fifthが指す値は当初から値が変更されてしまったりダングリングで無効な値になる可能性がある これが二つの参照の競合による問題で値がいつの間にか書き換わってしまっていることでバグも誘発する 両方の参照が書き換えを伴わないreadonlyの時のみ安全になる 片方もしくは両方の参照が書き換えを伴うと安全でなくなる http://mevius.5ch.net/test/read.cgi/tech/1745631298/622
623: デフォルトの名無しさん (ﾜｯﾁｮｲ e3ad-ckwE) [sage] 2025/09/08(月) 23:06:53.70 ID:HoahUzIM0 再配置が行われるものに参照使って、その生存期間を超えてアクセスするのは未定義動作になるわな。C++に慣れてればそんなコードは書かないが、初級者向けではない。readonly より、lifetime の問題でしょう http://mevius.5ch.net/test/read.cgi/tech/1745631298/623
624: デフォルトの名無しさん (ﾜｯﾁｮｲ 177c-h0AF) [sage] 2025/09/09(火) 00:29:11.16 ID:TMUamLpP0 参照が無効になる条件は規定されてるし、先にcapacity設定するとか避ける方法も用意されてる 「問題の本質」とやらはただのライブラリ仕様の無理解だろ 分かりにくいとか間違えやすいとかの批判なら分かるけど http://mevius.5ch.net/test/read.cgi/tech/1745631298/624
625: デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MM8a-+IOe) [sage] 2025/09/09(火) 07:24:41.95 ID:DVL1/TmTM >>623 >>624 申し訳ないがcapacityや再配置の話はしていない lifetimeや参照が無効になる話もしていない まずそれらを頭の中から消し去って考えよう 元々の話である同一データに対して参照が二つ持った時の話のみをしている もちろんvectorは登場してもしなくてもいい http://mevius.5ch.net/test/read.cgi/tech/1745631298/625
626: デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MM8a-+IOe) [sage] 2025/09/09(火) 07:29:27.85 ID:DVL1/TmTM 元々の話とは>>610や>>613でこれらが参照の競合の最も単純な例 様々な言語で発生してもちろんC++でも生じる 同一データに対して複数の参照を持つと他の参照によっていつの間にか指していたデータの値が書き換わってしまう これがバグやコードのスパゲッティ化を引き起こす最も大きな原因の一つ そのためreadonlyでない限り複数の参照を避けるのが好ましい そのため競合する参照を禁止している言語もある http://mevius.5ch.net/test/read.cgi/tech/1745631298/626
627: デフォルトの名無しさん (ｽﾌｯ Sdba-bj1o) [] 2025/09/09(火) 10:47:02.21 ID:g327vfuJd readonlyでない競合する参照を禁止している言語もある http://mevius.5ch.net/test/read.cgi/tech/1745631298/627
628: デフォルトの名無しさん (ﾜｯﾁｮｲ 97e4-1jR+) [sage] 2025/09/09(火) 12:16:08.28 ID:iPWQv8Oa0 はいはい線型論理言いたいだけ http://mevius.5ch.net/test/read.cgi/tech/1745631298/628
629: デフォルトの名無しさん (ｱｳｱｳｳｰ Sa47-Rd44) [sage] 2025/09/10(水) 00:51:51.50 ID:BnR46AnOa >>618 これはvにpush_backしたところでキャパ超えて別の場所にリアロックされ、ともない元のvの領域が空になって、即座にwがスポンとそのvが元あった場所に配置されたってことなのですか? http://mevius.5ch.net/test/read.cgi/tech/1745631298/629
630: デフォルトの名無しさん (ｽｯﾌﾟﾌﾟ Sdba-j4tR) [sage] 2025/09/10(水) 02:12:52.51 ID:IF/zSGeMd そうだよ。 規格上は何の保証もないから、処理系とかによっては全然違う結果になるかもしれないけど。 http://mevius.5ch.net/test/read.cgi/tech/1745631298/630
631: 629 (ｱｳｱｳｳｰ Sa47-Rd44) [sage] 2025/09/10(水) 10:07:49.21 ID:3vsmg39oa >>630 どうもありがとう http://mevius.5ch.net/test/read.cgi/tech/1745631298/631
632: デフォルトの名無しさん (ﾜｯﾁｮｲ 4e1f-bj1o) [] 2025/09/10(水) 10:13:08.62 ID:zTYInGVv0 >再構築されて新規の要素を保持してしまったで合ってますか こう聴かれると｢違う｣と返事したくなる http://mevius.5ch.net/test/read.cgi/tech/1745631298/632
633: デフォルトの名無しさん (ﾜｯﾁｮｲ 177c-h0AF) [sage] 2025/09/10(水) 18:40:20.64 ID:Vv9EwJFH0 未定義動作だからな たまたま鼻から悪魔が出る代わりにそうなっただけだ http://mevius.5ch.net/test/read.cgi/tech/1745631298/633
634: デフォルトの名無しさん (ﾜｯﾁｮｲ a75f-ckwE) [sage] 2025/09/10(水) 22:18:27.54 ID:RAO/BxQt0 参照の競合という用語に違和感。並行性に関わる競合状態 (race condition) の話をしようとしているのか？ http://mevius.5ch.net/test/read.cgi/tech/1745631298/634
635: デフォルトの名無しさん (ﾜｯﾁｮｲ b68c-1jR+) [sage] 2025/09/10(水) 22:31:03.50 ID:BZTqerG60 してない http://mevius.5ch.net/test/read.cgi/tech/1745631298/635
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s