C++相談室 part148

**デフォルトの名無しさん** · 2020/01/31(金) 20:54:06.26

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part147
https://mevius.5ch.net/test/read.cgi/tech/1576659413/
このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.105【環境依存OK】
http://mevius.5ch.net/test/read.cgi/tech/1556142878/

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

**デフォルトの名無しさん** · 2020/02/06(木) 20:40:31.72

>>290
同じBIT数やBIT数が少なくなる場合の整数型から整数型へのcastは、マシン語では0命令（命令が出力されない）。
高級言語では違う型でもマシン語レベルでは変わらないため。
BIT数が多くなる場合には、x86の場合は、movzx や movsx が使われる。

**デフォルトの名無しさん** · 2020/02/06(木) 20:41:12.62

>>292
実際には、最適化が上手く行かないことも多いので差が出てくることは多い。

**デフォルトの名無しさん** · 2020/02/06(木) 20:42:39.58

>>293
つまり、符号無しや符号付の区別はマシン語ではないので C/C++言語で
castしても高級言語レベルでの意味が変わるだけでマシン語レベルでは
何の命令も増えることはない。

**デフォルトの名無しさん** · 2020/02/06(木) 20:49:08.28

素直にrange-based-for
これが出てきたことの影響のでかさがわかってないやつ多すぎ

禿4にはfor_eachを使う前にもっと適した関数を探せとあるが
本当にそうか自分の頭で考えろ

**デフォルトの名無しさん** · 2020/02/06(木) 20:56:38.87

コストを気にしてる人に対してトンチンカン

**デフォルトの名無しさん** · 2020/02/06(木) 21:03:18.93

普通のコンパイラなら
コンパイル単位内の関数は一緒に最適化するので
.size() の中で値を返してるだけなら
ループの外に追い出してくれる
ターゲットがPCなら気にするな

それよりv[i]の方が重い

**デフォルトの名無しさん** · 2020/02/06(木) 21:03:40.80

何もわかってねえやつ

**デフォルトの名無しさん** · 2020/02/06(木) 21:17:40.42

未だindexループよりrange-basedのほうが早い処理系がない件

>>298
v[i]が重いってどんなstlコンテナだよ

◆QZaw55cn4c · 2020/02/06(木) 22:12:04.60

>>267
＞警告を一つ残らず潰したいタチだから
ここまでは同感です

＞毎回こういうのはintにキャストしてるんだが、
私なら int i を unsigned int i にしますが

**デフォルトの名無しさん** · 2020/02/06(木) 22:16:59.41

templete<typename T>auto LEN(const T& v)->signed T{return (signed T)v;}

**デフォルトの名無しさん** · 2020/02/06(木) 22:22:15.30

とりあえず大きい方に合わせとけば間違いないんだからsize_tでいいじゃん
そのvの要素が将来に渡って21億個を超えない保証がどこにある？

**デフォルトの名無しさん** · 2020/02/06(木) 22:45:07.03

>>300
整数のキャストに比べればはるかに重い
そのレベルを気にするなら生ポ

**デフォルトの名無しさん** · 2020/02/06(木) 22:53:37.31

x86なら32bit命令使った方がバイナリ小さい

**デフォルトの名無しさん** · 2020/02/06(木) 22:57:14.86

>>304
vectorだと生ポと変わらんでしょ
もちろん最適化前提で

**デフォルトの名無しさん** · 2020/02/06(木) 23:03:20.12

>>300
range-basedはiterator
c++のiteratorはindexが速くなる連続アドレスのコンテナならpointerと同じコンパイル結果になる

indexアクセスがpointerより遅くないなら、それはコンパイラの最適化のお陰

**デフォルトの名無しさん** · 2020/02/06(木) 23:13:46.15

>>306
生ポと変わらなきゃ良いんだけど
変わるんだよ
VisualStudioやチープなコンパイラだと

いずれにしろここから先は
具体的な環境とループ回数やループの中身全体で考えないと意味がない
なんせ1クロックレベルのことを気にしてるようなので

実はメモリアクセスが支配的で
他の最適化は全く意味がないとか

**デフォルトの名無しさん** · 2020/02/06(木) 23:20:09.64

SIMD命令 / DSP命令 / スレッド分け / GPU
他のループと合わせる / ループを分ける
ループアンロール
依存性の削減 / 式変形
アルゴリズムの改善
キャッシュ化 / テーブル化

いろんな最適化がある

**デフォルトの名無しさん** · 2020/02/06(木) 23:45:25.65

vectorの[]は定数時間

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 01:10:19.15

ところで元々の質問の >>267 は整数の型が合わないのどのくらい気にする？
っていうのを「一般論として」聞いてるので、これに対しての選択肢を派閥系統樹形式にしてみた

├→ きちんと合わせる派
│　　├→ その環境で合ってれば良いよ派 (移植性は気にしない派)
│　　├→ コンパイラの警告は潰す派
│　　│　　├→ 理解しなくてもキャストで合わせるので十分派
│　　│　　└→ 警告される箇所は仕様の詳細を調べる派
│　　└→ size_t とか size_type とか使え派 (言語仕様原理主義派)
├→ 問題がなければ気にしない派
│　　├→ 問題に気づかない派 (鈍感派)
│　　├→ 実行コストに敏感派
│　　│　　├→ 最適化はあてにする派 (モダン開発環境派)
│　　│　　└→ 最適化はあてになんないよ派
│　　│　　　　　├→ 低レイヤ派
│　　│　　　　　├→ 老害派
│　　│　　　　　├→ 諦め派
│　　│　　　　　└→ ベータ開発環境追いかけ派
│　　└→ 状況と程度による派 (柔軟派)
└→ えっ、それって駄目だったん？派
　　　　├→ 初心者派
　　　　└→ 無知派

**デフォルトの名無しさん** · 2020/02/07(金) 02:51:26.03

>>278
業務外だと、とは書いてあるけど一応突っ込んでおくと
もしそれがコンパイラの警告レベルを下げるとか小さい型へのキャストの警告を無くすとかなら
それはバッドノウハウだよ、真似しないように

**デフォルトの名無しさん** · 2020/02/07(金) 03:23:36.63

じゃあ俺、えっ、それって駄目だったん？派でお願いします。

**デフォルトの名無しさん** · 2020/02/07(金) 03:50:27.48

テストの品質がすべてを決めるような気がしてきた。

**デフォルトの名無しさん** · 2020/02/07(金) 03:57:04.21

>>311
わし、こうみえて「警告される箇所は仕様の詳細を調べる派」や
その上で、問題なければ「状況と程度による派 (柔軟派)」に再度ブランチする派

**デフォルトの名無しさん** · 2020/02/07(金) 04:00:36.65

Boostは警告を無視する派、GoogleはMicrosoftの問題なので修正する予定はない派。
ってことは、警告だしっぱなしで構わないって事では？

**デフォルトの名無しさん** · 2020/02/07(金) 04:01:58.31

目grepが難しいので、警告は消すしかないんだけど。

**デフォルトの名無しさん** · 2020/02/07(金) 04:04:17.66

変数の大きさが変わると同じ値のビット表現が変わるのはしんどいので、符号が一番右端にあったほうが良かったんじゃないの。
右端ならビット表現が変わらない。

**デフォルトの名無しさん** · 2020/02/07(金) 05:13:16.79

型違い面倒だからautoにしても警告出るから何でやおもたらi=0でintだったでござる派

**デフォルトの名無しさん** · 2020/02/07(金) 06:00:43.94

HTMLにしろコンパイラにしろ、Microsoft案のほうが合理的と思うけどな。
規格は政治だよね。

**デフォルトの名無しさん** · 2020/02/07(金) 06:42:07.56

>>302
signed Tはできねえぞ
std::make_signed_t<T>にしないと

**デフォルトの名無しさん** · 2020/02/07(金) 06:57:58.73

> コンパイラの警告は潰す派

キャストつーか、#pragmaを使ったりもするね
もち、規格票で自分が悪いのかコンパイラのお節介かはっきりさせてからだけど

**デフォルトの名無しさん** · 2020/02/07(金) 07:21:23.65

基本的にはsize_tとかsize_typeとか使え派
面倒でもちゃんとやった方が後のテストや検証は楽なんだよ
まあ無理だったり異様に面倒だったりする場合も現実的にはあるからそこは仕方ないけど

**デフォルトの名無しさん** · 2020/02/07(金) 07:52:22.31

i は int にしたいって言ってるんだから

ここの型をsize()に合わせたら
キャストが他に移るだけ

**デフォルトの名無しさん** · 2020/02/07(金) 08:31:14.28

>>288
いえいえ

**デフォルトの名無しさん** · 2020/02/07(金) 10:49:20.82

>>298
vがグローバルなオブジェクトである場合や、ヒープから確保されたオブジェクトの参照型である場合、コンパイラには v.size() がループ定数であるかどうかを判定するのは難しいことが多い。
このスレでもグローバルに確保された構造体型のメンバを参照する場合、最適化され無い事が指摘されていたが、それと同じことが原因。
C/C++ではポインタや参照があるのでグローバル変数やグローバルなオブジェクトのメンバ変数が変化しないことをコンパイラが見極めるのが難しい。

**デフォルトの名無しさん** · 2020/02/07(金) 10:52:27.65

for(auto i=v.size()+1; 0<len; --i)

for(auto i : my_range(v.size())

**デフォルトの名無しさん** · 2020/02/07(金) 11:01:57.61

reverse_iterator first(v.end()), last(v.begin());
for_each(first, last, [](auto& x) { cout << x; });

**デフォルトの名無しさん** · 2020/02/07(金) 11:41:09.54

64bit/32bitまたぎできるソース汎用性を考えれば、負の数が必要ないなら size_tを使うのが最善でしょ。

**デフォルトの名無しさん** · 2020/02/07(金) 12:00:59.89

size_tはunsignedなのがうざい
c言語初心者が決めただろこれ

**デフォルトの名無しさん** · 2020/02/07(金) 12:07:12.14

あ、上にかいたやつ+1は間違いや

**デフォルトの名無しさん** · 2020/02/07(金) 12:12:42.12

ポインタ + size_t == ポインタ
ポインタ - ポインタ == ptrdiff_t
おかしいね

**デフォルトの名無しさん** · 2020/02/07(金) 12:33:14.78

>>326
仮に毎回アクセスしたとしてもv[i]の方が重い
毎回アドレスを計算して毎回メモリアクセスするわけで

**デフォルトの名無しさん** · 2020/02/07(金) 12:48:40.15

indexにintはlp64環境だと怖すぎる

**デフォルトの名無しさん** · 2020/02/07(金) 12:51:13.27

そんなバカでかいインデックス作る方が怖い

**デフォルトの名無しさん** · 2020/02/07(金) 13:01:32.69

ファイルポインタは4GB越えが当たり前だし。

**デフォルトの名無しさん** · 2020/02/07(金) 13:18:28.90

ばかでかいループをたくさん作るなら
性能を心配した方が良い

中身にもよるが、ほぼメモリアクセス時間になりかねない
帯域の無駄遣い
ループをまとめるとか細切れにするとか
キャッシュを有効に使う処理にしないと

キャストのコストとか完全に誤差

**デフォルトの名無しさん** · 2020/02/07(金) 13:30:18.43

メモリポインタも4GB超えは当たり前だしな

**デフォルトの名無しさん** · 2020/02/07(金) 13:33:10.28

8086時代の苦しみを知っている人なら
リニアでないポインタやインデックスが
どんなにウザいものかよく知っている

64bit空間なら64bitを使っとけって悪いこと言わないから

**デフォルトの名無しさん** · 2020/02/07(金) 13:45:59.17

ループの中身も知らないで良く言うね
int変換必須なら問題点の場所を移動させただけ

**デフォルトの名無しさん** · 2020/02/07(金) 13:58:09.08

今日日4GB越えとかWindowsNT4.0サービスパックですか、と。

**デフォルトの名無しさん** · 2020/02/07(金) 14:12:43.62

納品したときに
コンパイルで警告出るんですが消してって言われて
それ無視して良い警告ですよって言っても
理解してもらえなかった派

**デフォルトの名無しさん** · 2020/02/07(金) 14:19:34.17

あと警告が出ないからと言って
正しく動くと保証されている訳でもなんでもないのに

**デフォルトの名無しさん** · 2020/02/07(金) 14:32:07.46

>>342
それはお前が悪い
そんなんで納品するな

**デフォルトの名無しさん** · 2020/02/07(金) 14:34:22.92

客先と同じビルド環境で警告対応しないのは落ち度だね。次の仕事なくなるでしょ。

**デフォルトの名無しさん** · 2020/02/07(金) 14:40:57.67

>>333
BYTE v[数値];
のような生配列の場合、ループの中のv[i]は、最適化が効いてものすごく効率の良いコードになることが多い。
この場合、vがグローバルに確保されたオブジェクトや参照型であったとしても最適化には余り悪影響はない。
vがstd::vector 型の場合で、かつ、vがグローバル・オブジェクトや、参照型の場合は、コンパイラはv[i]を上手く最適化できないかもしれない。

**デフォルトの名無しさん** · 2020/02/07(金) 14:42:08.26

>>346
すまん。
後半部分は勘違いかもしれない。

**デフォルトの名無しさん** · 2020/02/07(金) 14:47:50.81

>>346
VCはvectorでも生ポインタに近い最適化はしてくれてるみたいだぞ

**デフォルトの名無しさん** · 2020/02/07(金) 15:03:24.58

客や同僚から使えないプログラマ認定されていることに気づけず独りよがりな考えに凝り固まる人いるよね・・・
かわいそうではあるけど、かかわりたくないタイプの人。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 15:15:12.08

標準ライブラリのコンテナのイテレータを sizeof で見ればわかるが、ほとんどの場合で void* と同じ大きさ。
要するにポインタ一個分の情報しかないし、実際ポインタが入ってるし、ポインタの操作になってる。
しいて言えば操作がメンバ関数経由になる分のコストはあるといえばあるけど、
それくらいのインライン展開はするのが普通でしょ。
vector の場合だと領域が連続する保証があるのでインライン展開だけでイテレータはポインタと同じになる。

VC のコンテナだとデバッグモードではイテレータが少し大きい (のと範囲チェックとかする) ってなことらしいんだが、
処理系をインストールしてないから試してない。

**デフォルトの名無しさん** · 2020/02/07(金) 15:20:21.87

>>349
おまえがきちんとした仕様を提案できないで投げっぱにしてるからそんなことになってんじゃないの？

**デフォルトの名無しさん** · 2020/02/07(金) 17:16:18.19

>>340
64bit空間で64bit以外のインデックスを使うべきループの中身とやらを書かないあんたが悪い
書けないんじゃないのか？

**デフォルトの名無しさん** · 2020/02/07(金) 17:31:01.39

intだとたったの2G要素でオーバーフローして無限ループになるのが怖い

**デフォルトの名無しさん** · 2020/02/07(金) 17:31:33.35

イテレータよりポインタのほうが速いよ。
ホントだよ。
いまベンチとってるから。
偶然だけど。

**デフォルトの名無しさん** · 2020/02/07(金) 17:34:39.39

>>351
「無視して良い警告」とか勝手に判断する困ったPGにきちんと仕様を提案しても無駄でしょ。解雇するわ。

**デフォルトの名無しさん** · 2020/02/07(金) 17:37:50.00

unsigned だと
for(unsigned i = s.size(); --i >= 0; ){...}
みたいなので警告出るんだっけ

**デフォルトの名無しさん** · 2020/02/07(金) 17:41:09.31

警告で指摘された問題点に対処もせずに、キャストやらで無理やり消す位なら、出たまま放置の方が100倍マシ

**デフォルトの名無しさん** · 2020/02/07(金) 17:43:22.94

ヒープ作るとき、マイナスの値は空きノードのリンクリストに使ったりするので、その手の比較は多発する。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 17:43:55.24

うーん、近頃はちょっとした作法レベルのところまで警告として口出しすることがあるからなぁ。
完全に規格に沿って書いてるわ！ってときにはイラッとすることもある。
個別に警告オプションを設定するのも面倒くせぇし、直してしまう方が手っ取り早かったりもするんだけど、
何がなんでも警告をゼロにしろって言われたら警告レベルを低くする対処をしちゃうかも。

**デフォルトの名無しさん** · 2020/02/07(金) 17:52:14.97

仕事ではやってんなら手を抜くなぼけ
pragmaとかでなんとでもなるだろ

**デフォルトの名無しさん** · 2020/02/07(金) 17:55:05.15

タモリさんは遊びで手を抜くなって言ってた。

**デフォルトの名無しさん** · 2020/02/07(金) 17:57:41.44

従来cppcheckなどの静的解析ツールが出していた警告をコンパイラも出すようになってくれたのは良い動き。
親切なコンパイラに感謝して警告箇所の修正をやればいい。
修正に工数がかかることが懸念されるなら、依頼主にその旨を伝えればいい。

**デフォルトの名無しさん** · 2020/02/07(金) 18:05:13.97

>>360
すごい偉そうにしてるけど大丈夫？>>327
;0<len; って···

**デフォルトの名無しさん** · 2020/02/07(金) 18:14:59.44

雑魚ほどイキがるのはプログラマも同じ

**デフォルトの名無しさん** · 2020/02/07(金) 18:23:59.39

カバレッジ測定のツールって安いの無いのかな。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 18:36:35.61

>>360
俺はプログラミングについては趣味者だから実務のことは知らんのだわ。
すまんな。

しかしな、必要以上の品質にするくらいなら手抜きで安くしろって言う客の方が多いと思うぞ。

必要より下になったらあかんのでそこを制御していい感じの
手抜き具合にするのが難しいわけだが、そこを上手くやるのが
手抜きしないことよりもプロに必要な資質じゃね？

手抜きしないよりも適切に手を抜く、どうやって手抜きするか知っていることが大事だ。
仕事は経済的に割に合う形でしか継続できないんだからさ。

そりゃあいつも十全な仕事が出来る時間的・経済的余裕があるならうれしいが、
現実はそうではないだろ。

**デフォルトの名無しさん** · 2020/02/07(金) 18:40:56.99

>>366
何言ってんだ？
手抜きしたいからこそ、コンパイラの警告に素直に従うんだぞ。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 18:45:33.43

>>367
それもそうだな。

**デフォルトの名無しさん** · 2020/02/07(金) 18:51:12.38

DirectX関連使ってるとenumよりenum classを優先しますという警告出るんだけど、ライブラリ変えるわけにもいかなく、どう対応するのが正解なんだろ？

**デフォルトの名無しさん** · 2020/02/07(金) 18:58:20.00

そもそも警告って規格で定められている訳でもなく、コンパイラが独自の基準で勝手に出してくる物だからね

mutableは悪だってconst付いてない変数全てに警告出すコンパイラとか出てきたらどうするんだろう

**デフォルトの名無しさん** · 2020/02/07(金) 19:03:54.90

>>370
議論のための議論とか、言いがかりのような仮定の話に、いちいち付き合わないことが重要。

**デフォルトの名無しさん** · 2020/02/07(金) 19:04:25.00

>>365
とりあえずgprofでいいんじゃね?

**デフォルトの名無しさん** · 2020/02/07(金) 19:08:56.34

>>372
見てみます。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 19:25:21.94

>>371
変な作法が追加されることなんて良くあるんだぞ。
今じゃ gcc や clang で -Wall オプションを付けたら
a || b && c
みたいな式にすら警告が出る。
優先順位を間違えやすいとこだから括弧で明示した方が良いんだと！
演算子の優先順位くらい把握しとるわ！

こんなの警告されるようになると想像したことあったか？
他の演算子でも同様の警告を出すようになることくらいはあるかもしれんぞ？
確かに >>370 は極端な例ではあるが、ようわからんところでしょうもない警告が出るようになる
かもしれんという懸念は無い話ではないぞ。

**デフォルトの名無しさん** · 2020/02/07(金) 19:30:53.52

いやそれはカッコ付けろよ

**デフォルトの名無しさん** · 2020/02/07(金) 19:33:08.02

>>374
趣味でしかやってない人の意見なんて無視しろ、というが私の回答です。

**デフォルトの名無しさん** · 2020/02/07(金) 19:39:25.14

>>374
それは括弧つけろよ

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 19:46:55.57

>>375-377
そっかー (´・ω・`)

**デフォルトの名無しさん** · 2020/02/07(金) 19:55:08.75

はちみつ先生は何を作ってるんですか？

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 20:28:02.80

>>379
ゲームのチートツールとか。
汎用的な便利なツールは色々とあるけど、個別のソフトをいじるには行き届かないこともあるので。
念のため言っとくけど買い切りの RPG かフリーゲームだけ。ネットゲームはやってないよ。
ちなみにそのツールは公開してない。

その他に作った有用そうなものは公開してるんで、身バレするから言えない。

**デフォルトの名無しさん** · 2020/02/07(金) 20:52:16.35

>>380
そうなんですか。
ずいぶん詳しいのに仕事じゃないというから不思議に思ってました。

**デフォルトの名無しさん** · 2020/02/07(金) 20:56:00.11

つまり、はちみつ某は、なんの思い入れもない他人のソースを読まされる身になった経験が少ないわけか。

**デフォルトの名無しさん** · 2020/02/07(金) 21:02:52.46

アルゴリズム考えるときは、図を必ず書くと思うんだけど、皆さんは何を使ってますか？
いまは紙と鉛筆使ってるんだけど、探すの大変だから、ソフトに変えたい。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 21:05:36.03

>>382
せやな。
そんなわけで、他人のバイナリを見る機会はあるけどソースはそれほどでもって感じかも。
結果的に読まなきゃならないことはあるけど、所詮は趣味だから嫌になったらいつでも止められるし、急がなくてもいいし。
プレッシャーに晒されながらクソみたいなソースを読むってことはない。

**デフォルトの名無しさん** · 2020/02/07(金) 21:05:49.82

たまに書く方がいい
字を忘れる

**デフォルトの名無しさん** · 2020/02/07(金) 21:09:26.55

C++なんざ仕事で嫌々書かされるだけの言語だと思ったけど
趣味で使っちゃう子もおるんやな

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 21:12:24.23

>>383
曖昧なところから思考を整理するなら紙と鉛筆でいいと思うけど、
それなりに書式の整ったようにするなら PlantUML とか。
GUI で自由にってことなら Dynamic Draw くらいが手頃かもしれない。

**デフォルトの名無しさん** · 2020/02/07(金) 21:15:03.53

完全な趣味目的でC++を触る変態はそうそういないと思う。

**デフォルトの名無しさん** · 2020/02/07(金) 21:16:30.24

>>386
禿１読んで信者になった変態もおるんやで

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/07(金) 21:16:36.84

>>386
ゲームのチートとかするために
既存のプロセスに割り込んだりする処理を書こうと思うと C か C++ くらいしかまともな選択肢なくね？
C で足りるなら C で済ませることもあるけど、もうちょっと高級なことがしたくなったら C++
ってのは妥当な選択肢というか、唯一解でしょ。

まあ近頃は Rust にも興味があるけど……。

**デフォルトの名無しさん** · 2020/02/07(金) 21:37:46.79

>>387
見てみます。

**デフォルトの名無しさん** · 2020/02/07(金) 22:05:07.56

>>375
>>377
男ならカッコつけろ