C++相談室 part163

2022/12/30(金) 23:16:31.37

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

※前スレ
C++相談室 part162
https://mevius.5ch.net/test/read.cgi/tech/1667194175/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2023/02/15(水) 16:15:28.85

>>427
>>>426
>警告が出ているのになぜ直さない？　それがすべてじゃないの？

メンバ関数rootsの型をvoidにして、return文をコメントアウトすれば警告は消えます。
しかし発生している問題は解決しません‥

ご指摘の件は本質的問題ではないように思われます。

引き続きご教授をお願いいたします

2023/02/15(水) 17:54:06.96

55行目にchildObj.reserve(2);を入れろ
また、人にコードを示すなら本質的に関連のない警告が出ない状態のコードをまず貼れ

2023/02/15(水) 18:19:34.79

警告警察うざい
警告を消す為にバグを仕込むヤツを何度も見てきた

2023/02/15(水) 18:20:49.58

警告が出るかどうかは環境による
C++のルールに従っているなら警告は無視

2023/02/15(水) 18:29:25.36

>>428
そっちじゃないよ
戻り値型はそのままでよくて、elseの場合に値を返せてないから返す
あと42行目のイテレータループの終了条件の書き方も違う、!=を使え

2023/02/15(水) 19:15:06.12

>>426
バグを調査するときの重要な考え方として「バグが確実に再現する条件／確実に発生しない条件を明確化する」というのがある。

この場合も、まずはバグ「メソッドrootsを呼んだときには親オブジェクトへのポインタが訳の分からないアドレスを指すことがある」の条件を明確化するために「訳の分からないアドレスはどの変数に入っているのか」「訳の分からないアドレスはどういうバケツリレーで渡されているのか」「訳の分からないアドレスは最初にどこにあるのか」あたりを明確化するのがよろしいかと。

そもそも>>426で「メソッドrootsを呼んだときには親オブジェクトへのポインタが訳の分からないアドレスを指すことがある」は再現するの？

2023/02/15(水) 19:33:01.86

ああemplace_backしたときにchildObjが再確保されてparentが古いObjを指したままになってるのか
だから>>429が正解ですね

2023/02/15(水) 19:57:27.07

謎の上から目線で質問するやし多くね

2023/02/15(水) 20:25:17.26

>>426
> control reaches end of non-void function
voidじゃない関数がreturnせずに終わってる

この表現なら理解できるか？

2023/02/15(水) 20:43:32.06

こんなプログラム見ていると頭痛くなるｗ

2023/02/15(水) 21:25:47.83

>>430
ほんこれ

2023/02/15(水) 22:04:10.79

>>437
>こんなプログラム見ていると頭痛くなるｗ

誠に申し訳ない。
なんせ、近くにメンターがいないので自力でなんとかせにゃならんのです。

既にいくつか助言をいただいているので、もう少し頑張ってみます。

ゆるゆる見守ってくださると嬉しいです。
引き続きよろしくお願いいたします。

2023/02/15(水) 22:07:21.36

なんでこんなに偉そうなの

2023/02/15(水) 22:10:23.23

>>431

環境はvisual studio pro 2019で、皆様のご助言を仰ぐためにwandboxに貼りました。

警告に関しては、あまり気にせずコーディングしています‥
よくない癖、ですよね（汗）

2023/02/15(水) 22:13:56.75

>>429
>>434

明日以降に試してみます。
まずはreserveを調べるところから。
ポンコツ過ぎで申し訳ないです。

2023/02/15(水) 22:14:34.95

>>430
> 警告警察うざい
未だにこんなやつが要るんだな...

> 警告を消す為にバグを仕込むヤツを何度も見てきた
それはお前の周りのレベルが低すぎるだけじゃね？w

2023/02/15(水) 22:18:19.81

>>433

どうやら、再現性はあるようですが、私のスキルではどのような状況でバケツリレーが辿れなくなるのか、到底できないのです。

よいアイデアがあればご教示くださると大喜びします。

2023/02/15(水) 22:35:45.35

警告は潰さなければならない

警告が出たら検討しなければならない
今回の様に思いっ切りバグを示していることがあるから

検討した結果無視していいと判断しても、警告自体は消さなければならない
そのままじゃ次のビルドでまた出て、どんどん溜まって「これ検討したんだっけ？？」ってなるから
この警告消しは#pragma warningでいい

2023/02/15(水) 22:42:19.58

警告消すのにバグ仕込むスキルの人なら機能追加してもバグ仕込むだろ

2023/02/15(水) 23:06:20.39

ここは20年前のままで安心した。久しぶりにC++読んだけど、普通に読めたわ。
どうでもよい会話をして、ろくに進まない感じ流石です。

2023/02/16(木) 00:34:35.79

じゃあまた20年後な

2023/02/16(木) 00:46:09.85

https://jp.quora.com/%E9%96%8B%E7%99%BA%E3%81%A7%E3%82%A8%E3%83%A9%E3%83%BC%E3%81%8C%E5%87%BA%E3%81%A6-%E4%B8%8A%E5%8F%B8%E3%81%AB%E8%81%9E%E3%81%8F%E3%81%A8-%E3%81%A1%E3%82%83%E3%82%93%E3%81%A8%E3%82%A8%E3%83%A9%E3%83%BC%E3%82%92
まさにこれじゃん

2023/02/16(木) 02:31:44.69

>>444
問題が発生したら乱数のシードをそのとき使った値で固定する
そしてデバッガの使い方を覚える
https://learn.microsoft.com/ja-jp/visualstudio/debugger/getting-started-with-the-debugger-cpp?view=vs-2022

2023/02/16(木) 07:13:21.97

> この警告消しは#pragma warningでいい

警告警察の主張の本質がこれ

2023/02/16(木) 07:57:43.18

www

2023/02/16(木) 08:05:05.35

>>443
こういうやつが居るから、管理側は「勝手に警告を無視できないRustにしよう」と言い始めるんだよねぇ。
実際、コードの精査の難しい大規模プロジェクトとかだと、無能が成果を出せないという意味で効果的だし。

2023/02/16(木) 08:13:16.28

設計がまともかどうか判断出来ない無能が警告を気にする

2023/02/16(木) 08:15:20.48

>>451
> 検討した結果無視していいと判断
を無視する無能

2023/02/16(木) 08:17:32.72

アホが検討した結果など無意味

2023/02/16(木) 08:20:22.98

>>456
それは
> 警告を消す為にバグを仕込むヤツを何度も見てきた
みたいな職場の話だろw

2023/02/16(木) 08:20:39.33

>>444
まずは>>450。

あと「訳分からないアドレス」というレベルなら生ポインタは使わない方がいいので、すべてshared_ptrに置き替える。
というか、他人の古いライブラリを使わざるを得ない状況でもなければ、生ポインタは禁止にすべき。

2023/02/16(木) 08:24:11.83

別の環境に移植して警告が何千個も出て来たら
わざわざ全部消すの？
アホじゃね？

2023/02/16(木) 08:28:56.23

「検討しました」は解析ツールのコメントに残す物
わざわざコードを変えて消す物じゃない

2023/02/16(木) 10:01:01.26

>>459
消すだろ
てか、何も見ずに警告無視するのかよw

2023/02/16(木) 10:03:35.75

メモリがわからないままC++してもいずれ破綻するのは目に見えてるからな…
shared_ptrを使えば再確保によるポインタの無効化は回避できるかもしれんけど、
そしたら今度は循環参照にはまりそう

2023/02/16(木) 11:32:34.13

>>445
>>446

まさにコレでした。

皆様の叡智に脱帽です。
感謝します。

C++って便利だけど難しい局面がすぐ横にある感じでスリリングですね。
そう感じるのは慣れないうちだけなのかもしれませんが。

2023/02/16(木) 11:42:26.72

>>458

>あと「訳分からないアドレス」というレベルなら生ポインタは使わない方がいいので、すべてshared_ptrに置き替える。

もともとC言語を触っていたので生ポの方が好きなんです。
でも、スマポに統一すべし、という意見には賛成なので、その様に直すつもりではおりますが、
　enable_shared_from_thisを継承せよ
とか、一方で
　コンストラクタ内でshared_from_this()は使うな
とか、色々クリアせねばならない問題もあり、解決には相当な勉強が必要そうで、時間がかかる見込みです。

2023/02/16(木) 12:24:54.96

自分の頭で考えることを放棄してるやつほど
偉そうにしてるやつの言うがままに洗脳されやすい

2023/02/16(木) 12:25:33.04

>>464
スマートポインタ＆参照を使わないならcで十分な気がするなぁ。

むしろcにスマートポインタと参照だけでも追加してほしい。

2023/02/16(木) 12:43:03.84

>>466

C++って何だかカッコいいじゃないですか。
noexceptとかC言語な人には無縁なキーワードが盛り沢山だし、いかにもアタマ良さそうな雰囲気がたまらんのです。

C言語でできることはC++でもできるようになりたいな、とゆるゆる独学している次第です。

2023/02/16(木) 13:36:26.42

人が書いた部分で警告大量に出るから無視してるんだが
お前ら一人で書いてんのか？

2023/02/16(木) 13:38:12.19

一番大事なものをちゃんと持ってるな
応援するぜ

2023/02/16(木) 13:39:41.99

>>468
大量に出る警告には何か原因がありそうなので
それをまず調べる

2023/02/16(木) 13:54:28.24

>>464
そもそもコンストラクタで子供のインスタンスを作らないほうがいいんじゃね？

2023/02/16(木) 14:00:08.48

何のために警告出させてんだよ
端からガン無視する気なら、コンパイルオプションで警告止めちゃえよ

2023/02/16(木) 14:05:54.88

まさにコレでしたって結局どう直したの？

2023/02/16(木) 14:30:11.87

あとchildObjから削除しないなら、ポインタを辿って探索せんでも、
シーケンシャルナンバーでランダムアクセスすればいいじゃんねぇ

2023/02/16(木) 14:32:02.54

ああ、インスタンスデータなんか…すまん忘れてくれｗ

2023/02/16(木) 15:58:03.67

>>466
「だけでも」っていってもそれに連なる諸々の概念がひっついてるから部分的にやるのは難しいんだよな。

C++ のスマートポインタはクラスとして実装されてるから C++ の型システム抜きに
スマートポインタだけ C に移植ってわけにはいかないし、
参照の振る舞いを説明するには値カテゴリを増やして場合分けしなきゃならんし。

2023/02/16(木) 16:08:00.45

ええと、最終的にはファイルから与えたデータに基づいて木構造を構成し、その木構造でナニかしようということを目論んでまして、そうなるとコンストラクタ内で子供のインスタンスを作ればいいんじゃないか、と考えた次第です。

データをあるオブジェクトに喰わせたら、勝手に木構造が出来上がるようにしたかったのです。

で、そのプロトタイプを作る段階でつまづいていた次第です。

とりあえず、皆様のご助言で動くようになったものについては明日以降にw
andboxに貼ります。

引き続きご指導をお願いいたします。

2023/02/16(木) 16:40:39.41

>>463

>C++って便利だけど難しい局面がすぐ横にある感じでスリリングですね。
>そう感じるのは慣れないうちだけなのかもしれませんが

君は C++ を使ってはいけないレベルと言わざるを得ない

2023/02/16(木) 17:06:59.28

std::mapのinsert()すると、std::vectorみたいにキーや値のメモリ再配置って起きる？

2023/02/16(木) 17:34:19.19

>>476
メモリ管理だけコンパイラ側でやるなら、クラスその他諸々は無くても大丈夫じゃない？

2023/02/16(木) 17:44:16.85

>>480
回答どもです！そのようですね。
海外のサイトで調べたら、mapの場合はinsertしても
それ以前に挿入した要素のメモリは移動しないようですね。

2023/02/16(木) 17:51:19.65

最終的にはメモリ領域の所有権に行き着くはずだが
Cでどうやって所有権の貸し出し/譲渡を表現するんだよ

所有者が複数になる場合もあるんだぞ

2023/02/16(木) 18:34:49.77

>>479
C++はmapはB木を赤黒木で実現しているから、アルゴリズム的には、既存の
ノードのアドレス自体は変えずに、ノードのつなぎ方だけを変えるはず。
ソースを見ないと分からないが。

2023/02/16(木) 18:42:26.35

>>482
shared_ptr 相当をコンパイラーが実装するだけでしょ？

2023/02/16(木) 18:43:11.20

>>482
CでできないならC++でできない
対偶はC++でできるならCでできる

2023/02/16(木) 18:43:28.33

>>477
まあ、子供をいくつか作るぐらいなら問題はないかな

ちなみに自分はコンストラクタであまりややこしいことはしないようにしてる
もし大きな処理の結果をもとにインスタンスを初期化したいときは、
全部コンストラクタでやるんじゃなくて、その処理だけを前もって実行してる

2023/02/16(木) 18:46:08.39

std::mapのinsert、emplace、eraseは内部要素へのイテレータを無効化しないことが保証されてる（当然eraseで消した要素そのものは除く）
なおstd::unordered_mapの同名関数はrehashingが起きてイテレータが無効になることがある

2023/02/16(木) 18:59:23.43

>>484
メモリの解放だけじゃなくてデストラクタも欲しくない？
ファイルを閉じたりしてほしい

2023/02/16(木) 19:08:57.32

>>488
関数のデストラクタ（returnするときに必ず呼ぶ処理）が欲しくなることはあるね

2023/02/16(木) 19:35:21.87

>>488-489
そういうのを検討してるみたい
https://news.ycombinator.com/item?id=22866311

2023/02/16(木) 19:56:28.04

>>490
deferいいね
いわゆるfinallyみたいなもんかな
今でもやろうと思えば__cyg_profile_func_exitやdetourがあるけど環境依存で重くてめんどいね

2023/02/16(木) 20:41:32.26

数年前にawsの仕事したとき
g++のバージョンが古くて
unique_ptrを使ってたコードを泣きながら
生ポにしたことがある

2023/02/16(木) 20:57:10.46

バカかw
自分でクラスを作ればいいだろ
スマポなんてめちゃ簡単な仕組みだぞ

2023/02/16(木) 20:58:28.56

>>493
右辺値参照の仕組みがないと上手いこと表現できないよ。

2023/02/16(木) 21:02:17.61

そこはリファレンスカウンタを使ったトラディショナルな方法でやるのよ
速度は少し遅くなるけど

2023/02/16(木) 21:12:06.74

古いコンパイラで無理やり動かすなら#define unique_ptr auto_ptrという手も…

2023/02/16(木) 21:12:18.96

すでに std::unique_ptr で正しく動いているコードであるという前提があるなら
たしかにそれでも致命的な矛盾は起きなさそうに思えるな。

2023/02/16(木) 21:50:41.49

g++なんだから新しいバージョンのをビルドすれば良いじゃん?

2023/02/16(木) 23:12:23.80

>>461
消す為の変更で再評価
アホらし

何も見ずに？
そんなこと誰か書いたか？

2023/02/16(木) 23:27:28.78

warningだらけだとバグに繋がる重要なwarningを見逃す可能性があるから、可能な限り消した方が良いと思う
どうでもいいやつはコンパイルオプションで消しても良いし

2023/02/16(木) 23:46:07.27

>>499
元々は警告無しで移植で警告になったんだろ？
何千個あろうが見直すのは当たり前だし、いずれにせよ評価は必要
まさか警告出まくってるのに評価無しでOkとかしてるんか？

2023/02/16(木) 23:59:12.84

「C/C++ warning一万個全部消してみた」
てタイトルで動画アップして欲しい

2023/02/17(金) 00:31:24.08

ピコーン！全ての警告を無効にすれば良いニダ！

2023/02/17(金) 06:19:19.83

>>502
警告が１万種類あるなら大変だけどたいてい種類は限られるだろ
ほんとにコード書いてるのか？

2023/02/17(金) 06:22:34.59

「符号付きと符号なしの比較がされました」
分かっとるわ！

2023/02/17(金) 06:27:23.48

それはオーバーフロー起きないかちゃんと確認しないとダメだろ
C++使っててそこルーズなの信じられんわ

2023/02/17(金) 06:31:19.84

文字列の長さの比較がintの上限に達することはないし負になることもないのよ

2023/02/17(金) 06:47:57.06

だったら本当にそうであることを確認しないといけないし、そんなものにsignedの変数使ってるのがおかしいかもしれない
その値は本当に文字列の長さか？途中でエラーが起きたら-1とかが入ってる可能性はないのか？
そういう危険なバグの兆候を知らせるためにまともなコンパイラは警告するんだよ

2023/02/17(金) 06:49:33.54

一応言っとくと自分が言ってるのはプロダクトコードの話で
本人がその場でしか使わない書き捨てのオモチャなら勝手にすればいいと思う

2023/02/17(金) 06:55:47.58

>>505
わかってたら直せよw
そもそもそんな警告が大量に出るほうがおかしいし

2023/02/17(金) 07:09:21.56

delphiから移植された関数の殆どが文字数をintで返す仕様でな
それ一々符号なしに変換するのが面倒でな

2023/02/17(金) 07:13:48.65

使ってないパラメーターがあります
使ってない関数があります

警告が出ないようにわざわざ使う
ただのアホ

2023/02/17(金) 07:15:49.11

ほとんどなのね
「全部が必ず」正の値を返すことが保証されてるんじゃなければますますチェックコードが必要だな
実にバグが出やすそうな所に見えるね

2023/02/17(金) 07:17:50.92

>>512
使う必要がないなら消せよ
なんかの理由でどうしても残すなら[[maybe_unused]]付けろよ
アホはお前

2023/02/17(金) 07:27:16.44

新入り「使ってないから消しました
古株「ちょ・・・おま(汗

2023/02/17(金) 07:30:03.02

>>514
ド素人ですか？

2023/02/17(金) 07:32:46.94

え？コンパイラが警告出した変数や関数だろ？使ってないローカル変数や非公開関数なんだろ？
それを消して挙動が変わるってことは何か恐ろしいメモリ破壊系バグが顕在化したってことだ
新人君お手柄やね

2023/02/17(金) 07:50:26.17

ド素人丸出しwww
警告警察の中身はこんなレベルのアホ

2023/02/17(金) 07:53:51.79

そうか
お前みたいな自称ド玄人が人命やインフラに関わるコードを書いてないことを願うわ

2023/02/17(金) 08:01:10.11

ソフトの品質をコンパイラの警告に頼る方がヤバいと思うよ

2023/02/17(金) 08:14:39.58

カーエレって割とそんな感じよ

2023/02/17(金) 08:26:51.29

コンパイラの警告さえ対処しない奴が品質を語るな

2023/02/17(金) 08:36:18.04

コンパイラの警告の数でソフトの品質を語るアホ

2023/02/17(金) 09:18:35.55

シートベルトしてるだけで安全運転だと思ってる奴はヤバい←正しい
だからシートベルトしなくていい←絶対運転しちゃいけないアホ

2023/02/17(金) 09:52:37.27

>>477

一応の完成版を以下に貼りました。
https://wandbox.org/permlink/lXq19mN1URMQhyh5

生ポをスマポへ変えるのは一旦棚上げしています。
ありがとうございました。

2023/02/17(金) 10:11:56.50

何も変わってなくね？と思ったら>>426とリンク同じだった

wandboxは共有済みのソースを後から編集できないので
更新するにはもう一回共有して新しくpermalinkを生成する必要がありますよん

2023/02/17(金) 12:12:37.95

対処はしてるぞ
内容を読んだうえでの決定なんだから

2023/02/17(金) 12:16:56.46

>>524
シートベルトは法律で決まってる

警告を消すのがルールで決まってる職場なら
警告かルールいずれかを消せ
そうじゃないならどうでもいい

ソフトの品質を担保するなら
警告の中身を見ずに単に隠すのが一番悪い

また
全ての警告を無条件で検証しろというなら
全ての演算も無条件で検証しろ
C++の演算はオーバーフローする可能性があるんだから

無意味な警告は出す方が悪い
コンパイラの設定で無効にしろ
コードを変えて隠す物じゃない