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/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++の演算はオーバーフローする可能性があるんだから

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

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

コードの検証ならちゃんとした検証ツールを使え

2023/02/17(金) 14:00:35.55

>>526

申し訳ないです。正しくは以下のURLです。
https://wandbox.org/permlink/uHOVPDqphdPBAPQe

ご指摘、ありがとうございました。

2023/02/17(金) 18:18:23.14

>>530
流し読んだ感じだけど

1.
void roots( unsigned );
> // 自らがどのようにして生まれたかを調べるメソッド
> // 第 serialNo 番のインスタンスを探索する．

自分の親を探索するのか指定serialNoが子供にいるのかどっちだよ
あと検索なのでメンバを上書きしないはず。関数自体をconstにするべき

2.
engineは親のengineを参照すればいいのでわざわざ引数で受け取る必要はない
コンストラクタは親を受け取るのとengineを受け取る2種類用意したほうがいいんじゃない？

3.
numberフィールドはいらん(名前もchildCountに変えるべきだが)
childObj.size()を見ればいい
getter関数作ったほうがいい

4.
isLeafフィールドもchildObj().size()==0見れば判断できる

2023/02/17(金) 18:50:34.09

もう解決してんだからアドバイス気取りでがんばって蛇足を加えんでもいいよ

2023/02/17(金) 21:00:18.60

>>531

そこで図々しいお願いですが、そのように改造してくださると私にとって大いに勉強になります。
一肌脱いではいただけませんでしょうか？

生ポをスマポに直すのすら頭を抱えているヘタレなので、ここに棲まう先輩方のご鞭撻を是非に賜りたいです。

2023/02/17(金) 21:26:59.48

>>528
分かってんじゃん
C++の整数演算は無条件で全て検証が必要だよ
おっしゃる通りオーバーフローするかもしれないし、それが大きなセキュリティ問題につながった例もたくさんあるからね
特にナイーブにsigned/unsigned間比較や縮小変換をしてる所は危険だし、それを知らせてくれるコンパイラ警告は実に有用なものだ

もちろんプロダクトコードの話ね

2023/02/17(金) 22:01:30.31

縮小変換が警告されるかどうかと問題が起きないようにロジック組んであるかどうかは別問題だね

2023/02/17(金) 22:05:57.15

それはそう
コンパイラが知らせてくれるのは一番基本的な所だけだからな
逆に言えばそれすら対処してないようじゃ0点

2023/02/17(金) 22:14:14.63

>>533
丸投げすんな自分でやれ

2023/02/17(金) 22:17:56.86

>>536
何がそれはそうなの？

2023/02/17(金) 22:41:19.78

>>534
警告に惑わされずに全部見ろ

>>536
警告を隠すのと問題が無いことを確認するのをごちゃ混ぜにするアホ

2023/02/17(金) 22:44:01.98

>>512
> 警告が出ないようにわざわざ使う
えっ、そんなレベルなのw
そりゃそんな職場なら
> 警告を消す為にバグを仕込むヤツを何度も見てきた
とかもあるんだろうな...
なんか可哀想になってきたわ

2023/02/17(金) 22:46:57.97

>>467

＞ std::unordered_mapの同名関数はrehashingが起きてイテレータが無効になることがある

その場合でもvalue側のメモリは固定でしょうか？

**541** (ﾜｯﾁｮｲ 46ad-D0vN) · 2023/02/17(金) 22:48:24.15

失礼、↑は>>487の間違い

2023/02/17(金) 22:54:29.06

>>540
警告を消すためにわざわざ使うマクロを知らんのか

2023/02/17(金) 22:56:59.77

◯◯のコンパイラや◯◯のチェックツールで警告が出るから直しとけ
って言われたら何の疑問も持たずに直すの？
◯◯はバグの元だから直せって言われたら
何の疑問も持たずに直すの？
思考停止？

2023/02/17(金) 23:43:41.95

>>543
なんのマクロのことを言ってるのか知らんけどそんなの処理系によって違うだろ
最近の流れは>>514のような属性指定

2023/02/17(金) 23:45:03.57

ぶっちゃけテストしてるなら警告放置でもいいけど、
テストするような人は警告にも対処するからな

2023/02/17(金) 23:48:24.98

>>544
指摘されてるんだからなぜその指摘が出てるのか調べて直すなり警告抑止するなりするだろ
なぜなんの疑問も持たずにとか出てくるのか不思議だけど君の職場ではそうなんだろうねw

2023/02/17(金) 23:53:50.54

見も知らん第三者にwell-formedなコードにケチつけられたら
言いなりにしろと押しつけてくるやつ、自分の姿をビデオでも鏡でもいいから見てみたら？

2023/02/18(土) 00:40:30.23

多分「直す」を「何も考えずに警告抑止なりキャストなりで握り潰す」の意味で言ってるから噛み合ってないんだと思う
警告無視マンセー君以外はもちろんバグがないか確認した上で範囲チェックやクランプや（問題ないことを確認して）キャストなどを加えてプログラムを改良する意味で言ってる

2023/02/18(土) 02:15:58.71

>>541
value のアドレスは変更になるが、valueが構造多やクラスで、中にポインタが
有るような場合は、そのポインタの値は変更されない。

2023/02/18(土) 02:21:04.46

>>550
間違いました。unorderd_map の rehashingについて、こう有ります:
https://cplusplus.com/reference/unordered_map/unordered_map/rehash/
>Iterator validity
>If a rehash happens, all iterators are invalidated, but references and pointers to individual elements remain valid.
>If no actual rehash happens, no changes.

なので、iteratorは無効化されるが、個々の要素への参照やポインタは有効なまま残ります。

2023/02/18(土) 03:03:49.37

>>551
ソース読まないとはっきりしないけど、恐らく、イテレーターが指している
オブジェクトのポインタを取得すると以前と同じ値になっている。
しかし、イテレーターには ++ で直後の要素に移動する機能が有る。
恐らくその機能が正しく働かない場合があるということらしい。
ゴミレスでごめん。

2023/02/18(土) 06:19:29.80

>>549
いろんな方法で検証は当然行う
コードを変えてわざわざ警告を隠す作業はしない

2023/02/18(土) 06:45:26.64

キャストして警告を隠す事がプログラムの改良だと思ってるアホとは会話しても無駄だな

2023/02/18(土) 06:50:44.99

>>548
それだと多分うっとりしておしまいになるやつ

2023/02/18(土) 07:23:37.23

ナルシストか
そうだろうな

2023/02/18(土) 07:58:59.69

> キャストして警告を隠す事がプログラムの改良だと思ってるアホ
>>554 のことだなw

2023/02/18(土) 09:42:41.72

まだ直すと隠すの区別ついてないアホのためによくある例書いとくね

std::vector<Foo> foos = /* なんか入ってる */
for(int i = 0; i < GetLegacyLength(); ++i){
　Hoge* item = GetLegacyItem(i);
　if (i < foos.size())　// WARNING: signedとunsigned比較してんぞ
　{ hoge(foos[i], item); }
　else
　{ fuga(item); }
}
アホの隠し方(1)：脳死でif文のiかfoos.size()をキャストして隠蔽
アホの隠し方(2)：脳死でiの型をsize_tに変更、そしてi < GetLegacyLength()でまた同じ警告が出て激怒「コンパイラの警告なんて無意味だ！」

正しい直し方：
なぜ長さを返すのに戻り値型がintなのか、GetLegacyLength()のマニュアルを見て仕様を確認する。
するとある条件でエラー値として-1を返すことがあると判明したので、
forループの前にGetLegacyLength()を取得するようにして、負の場合のエラー処理を追加した。

/*略*/
int len = GetLegacyLength();
if (len < 0) { /* エラー処理 */ }
else {
　for(size_t i = 0; i < static_cast<size_t>(len); ++i) {　//lenは0以上と確認済みなので安全にキャストできる
/*略*/

2023/02/18(土) 09:55:17.94

>>558
そもそもforの条件判定の部分で関数を呼ぶのは間違いだ

2023/02/18(土) 10:01:12.90

そこは間違いコード例だから意図的にそうしたんだけど
元がfor(int i = 0, len = GetLegacyLength(); i < len; ++i)だとしても話の本旨には関係ないよね？
お前が警告無視する時みたいに脳死で食いつくからそうなる

2023/02/18(土) 10:30:22.39

警告を無視するのと握りつぶすのを混同しとるな

2023/02/18(土) 11:02:45.42

>>559
それこそ脳死だろw
ループ毎に異なる値を返すかも知れないぞ
（もちろんそんな設計する奴は漏れ無くアホだが）
ちゃんと仕様なりソースを確認しろ

**541** (ﾜｯﾁｮｲ 1bad-BTrK) · 2023/02/18(土) 12:30:58.62

>>551,552
いえいえ、わざわざ調べてもらってありがとうございます！
vectorのメモリ再配置によるアボート障害が発生したので、ハッシュのときも
同様のことがないか気になっていました。
とりあえずハッシュの場合はアボートすることはなさそうですね。

2023/02/18(土) 12:34:06.96

>>562
そういうおまえさん自身は
GetLegacyLengthとやらの仕様なりソースを確認しているのか？

**デフォルトの名無しさん** (ｽﾌｯ Sd43-1XUy) · 2023/02/18(土) 12:47:29.66

>>558
BOOL GetMessage のことですね判ります

2023/02/18(土) 12:49:33.03

>>564
自分が改修する立場ならな
当たり前だろ
もうそのレスがアホすぎる

2023/02/18(土) 13:05:02.97

>>566
確認してないんだな？
じゃあ一般論としてあんな変なコードをいつも書いているのか？
話の本旨に関係ないのにわざわざあんな書き方するのは日常の勢いか？

2023/02/18(土) 13:09:54.02

なんかおまえさんの話し方なのか口癖なのかわからんが鼻につくんだよ
well-formedなコードに対する警告をどうするかなんて
おまえさんが感情的に喚いたからって誰も考えは変えないぞ
技術的な議論で誰も分かったと言って来ない現実を
おまえさんはDQN口調でどうかしようとしているようだが恥を知れ

2023/02/18(土) 13:12:16.36

諭されて反論できなくなったから重箱の隅突き始めたよ
ダッサ

2023/02/18(土) 13:17:40.85

あのforに違和感を覚えないセンスのやつに
上から目線でご高説いただいても
自分はああはなりたくないと思うだけだからな

2023/02/18(土) 13:22:48.24

そうだな
悪い例として出されたコード例に向かって粗探ししてハイセンス気取るような恥ずかしいアホにはなりたくないものだ

2023/02/18(土) 13:24:53.20

ああいうダメコードを見つけ出すヒントとしてコンパイラ警告は使えるんだよっていう例を出したつもりだったんだけど難しかった？

2023/02/18(土) 13:28:32.75

たまーに実在するからな、ああいうfor書くやつ
そういう手合いの言い訳はどいつが言っても同じ雑音でしかない

2023/02/18(土) 13:38:53.64

>>567
> 確認してないんだな？
> じゃあ一般論としてあんな変なコードをいつも書いているのか？
たった２行でよくこんなアホさが滲み出る文章書けるもんだな...
１行目もアホだと思うが２行目は脈絡もないのに「じゃあ」とかアホすぎる
こういう奴があの手のクソコードを書くんだろうなw

2023/02/18(土) 13:40:46.05

警告警察アンチ君がfor文警察になってしまった

2023/02/18(土) 13:44:53.99

>>574
頭冷やせよ
特定の関数の仕様が理由でなくて
あんなコード書いたのかと言っている

おまえさんこそあの手のクソコードとやらはどれのことで
それをなぜ俺が書いていることになったのか説明できるか？

2023/02/18(土) 13:45:46.69

＞おまえさんの
ごめん無理

2023/02/18(土) 13:58:29.96

低能警察に糞コードで反駁しようとしたら
収集がつかなくなったでござるの巻

警告を回避するためのコード変更がそんなに嫌ならコンパイラのオプションで警告を出さなくしたら良い……

2023/02/18(土) 14:07:37.26

警告どころかコンパイラのバグを回避することだってある
むろん思い切り処理系に依存する内容となるが嫌とか好きとか言ってらんない
必要が出ればやるだけで感情の入る余地はない

どっかの思い上がった坊やの俺様節が五月蠅いだけ
黙ってくれれば俺にそれ以上の望みはない

2023/02/18(土) 14:12:09.71

警告をOFFにしたら警告を回避しようとしてバグを仕込んでしまう事故は確実に防げる
ていうか本質論としてはそもそも警告に頼らねばプログラミングもできない程度の低能はそもそもプログラミングをすべきではないという話、
これは反駁のしようが無い

2023/02/18(土) 14:13:36.72

>>576
> あんなコード書いたのかと言っている
そもそもあのコード書いたの俺じゃないことぐらい
>>562 > （もちろんそんな設計する奴は漏れ無くアホだが）
って書いてる見たらわかるだろ...

> それをなぜ俺が書いていることになったのか説明できるか？
誰もお前が書いたなんて書いてないけど頭大丈夫か？
脳死で
> for(int i = 0, len = GetLegacyLength(); i < len; ++i)
みたいな修正したらバグるかもよって話だぞ

2023/02/18(土) 14:15:48.28

はいはい「俺じゃない」のね
IDコロコロする人とは話にならないな

2023/02/18(土) 14:32:47.85

なんかすまんな
何気なく書いたダメコードのそれっぽいfor文がこんなにキチガイの琴線を刺激するとは思わなかった

2023/02/18(土) 14:35:25.61

559の指摘にあの返事だからな
うわー香ばしいと思ったのよ

2023/02/18(土) 14:36:45.33

黙れキチガイ

2023/02/18(土) 14:47:19.84

↑うんこ

2023/02/18(土) 14:52:57.45

>>583
すまんと思うならもうROMっててくれ
これに返信も不要だからな

2023/02/18(土) 15:00:31.81

forやwhileの条件でstring::sizeを呼んでるけどダメ？

2023/02/18(土) 15:01:44.62

>>588
意図したものならまぁいいけど、後々のことも考えると普通は禁止

2023/02/18(土) 15:12:52.01

ループ内で変更しないstd::stringのstd::string::size()なら
コンパイラが頑張ってｷﾞﾘ括り出し最適化をしてくれるかもしれんがコンパイラに優しくない……

ていうか以降値が変化しないことがわかっているメンバ変数やグローバル変数は
intやsize_tみたいな単純型ならさっさとローカル変数にコピーした方がメモリからのロード命令削減のために良い
実体（メンバ変数やグローバル変数）と同じ値を保持するローカル変数（エイリアス）があったら混乱するというのは
そんな関数が（担当者の脳のキャパに比べて）デカすぐる……

2023/02/18(土) 15:14:50.51

>>582
IDコロコロ？
ちょっと回線切って頭冷やせw

2023/02/18(土) 15:26:22.78

だから他人に指図すんな
警告をどうしようが回線をどうしようが
おまえさんに言われる筋合いはない

依頼心の強い甘ったれ野郎か？

2023/02/18(土) 15:32:46.92

依頼心の塊はこんなゴミ溜めでイキリ倒さないと自分を保てないお前さんの方だろ
for文警察出来て楽しかったでちゅか？

2023/02/18(土) 15:37:11.41

こんなゴミ溜めでイキリ倒さないと自分を保てない　→　依頼心が強い
全くつながらなくて説得力ないね
子供言葉にお似合いのしょーもない言い返しだなｗ

2023/02/18(土) 15:46:04.40

j「コンパイラの警告は全てゴミだから無視するべき、なぜなら>>558のfor文がダサいから」なんて主張をしてる奴への罵倒になぜ論理性が求められるのか分からない
バカアホマヌケ依頼心野郎で充分だろお前もそうなんだし

2023/02/18(土) 15:55:18.34

へー、この流れをそう読んでいたのか
我ながらひどく買い被りすぎてたもんだ
そりゃー話になるわけないよな

2023/02/18(土) 15:58:59.97

警告は内容によっては無視する場合があると言ったのを
全て無視すると改変してまで言い返さないと気が済まないのか
子供言葉にry

2023/02/18(土) 16:00:51.47

そのうち惰性で内容を吟味せずに無視するようになりそうなので
がんばって警告は消してくスタイル

2023/02/18(土) 16:02:45.49

無視してたらコンパイラのバージョンが上がって警告しなくなったやつもあるな

2023/02/18(土) 16:04:23.86

なるほど558は警告を無視する場合な訳ね、理由はfor文がダサいからw
やっぱこのチンパンジーオモロイわ
何か言い返してくるだろうけど、畜生の鳴き声に論理性なんて求めないから本能剥き出してくれていいよ
かわいいね

2023/02/18(土) 16:05:46.49

>>592
IDコロコロに触れられず顔真っ赤w

2023/02/18(土) 16:13:38.69

for文の話で脳死が出てくる自己紹介な人だから
for文についての指摘が警告の話に短絡してしまったわけか
治してあげんの面倒臭いから放置するぜ

2023/02/18(土) 16:20:07.00

凄い、>>602が何一つ意味が分からない
本当に猿がランダムな日本語もどき書いてたんだな感動した

2023/02/18(土) 16:31:14.25

忘れてるかも知れんがここは全世界から閲覧かのうな掲示板だよ
おまえさんの発言見てんの俺だけじゃないからね
第三者にクスクスされる文面には気をつけたら？

2023/02/18(土) 16:43:35.96

自覚あったのに驚き。

2023/02/18(土) 16:47:29.84

顔真っ赤な人はクスクスどころかドン引きされてるみたいだけどねw

2023/02/18(土) 17:27:32.13

小杉の煽りが下手すぎてつまらん

2023/02/18(土) 22:16:29.02

>>563
unorderd_map のテストプログラムを作り、デバッガのステップ実行で、
ソースを調査することを進めます。デバッガを併用すると、単純にテキスト
エディタでソースを眺めるより楽です。
わざとrehashされる条件を作っておいて、*it が返すポインタが変化してないことを
確認したりもしてみてください。

2023/02/18(土) 22:20:44.13

>>608
誤: ソースを調査することを進めます。
正: ソースを調査することを薦めます。
誤: わざとrehashされる条件を作っておいて、*it が返すポインタが変化してないことを
正: わざとrehashされる条件を作っておいて、&*it が返すポインタが変化してないことを

unorderd_map<K,V>::iterator it に対して *it が V 型、&*it が V* 型ですね、確か。

2023/02/19(日) 01:04:05.04

警告警察
goto警察
例外警察
いろいろいるね

2023/02/19(日) 02:44:27.50

本題から逸れた細かいことばかり言う人って他人から相談されなくなるよね
とりあえず本題に触れてあげたほうがいいと思う

2023/02/20(月) 10:46:49.72

>>607
小杉？