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/13(木) 13:34:58.25

おまえの設計がヘタクソなだけだろ

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/13(木) 13:45:30.52

>>800
そうだよ。
そんでもって大抵の人間は設計がヘタクソだし、
ヘタなところが検出されるなら検出されないより良い。

**デフォルトの名無しさん** · 2020/02/13(木) 14:01:13.64

>>799
変数束縛やら所有権や借用の概念が複雑すぎて、そっちの方が C/C++の
メモリ管理よりミスし易い。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/13(木) 14:13:53.49

>>802
間違いなくミスし易いけどミスした箇所が検出できないということはあまりない。

**デフォルトの名無しさん** · 2020/02/13(木) 14:20:14.02

設計がヘタクソなヤツが書いたソースのメンテやらされるのは最悪だけど自分で組み上げるならC++以外有り得ない
各々の力量が顕著に表れやすい最高の言語には違いない
バカも容易に炙り出せるしな

**デフォルトの名無しさん** · 2020/02/13(木) 14:20:33.11

>>803
仮にあなたはちゃんと理解できても、一般のプログラマは変数束縛やら所有権や借用の概念を理解することが難しすぎるので、C/C++を置き換える言語にはならない。
それらの概念は学習コストが高すぎるどころか、一生理解できないプログラマが多いだろう。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/13(木) 15:53:13.34

>>805
誤解のないように補足しておくけど、俺は Rust が C++ を置き換えるという主張はしてないからね。
C++ の重大な欠点を (実行コストをあまり払わない形で) 改善しているのは確かってだけ。
そんでもってそれが必要な場面は間違いなくあるってことも。

**デフォルトの名無しさん** · 2020/02/13(木) 19:21:34.29

>>791
わかる人いませんか？

**デフォルトの名無しさん** · 2020/02/13(木) 19:29:34.59

>>807
new TYPE[] のようにしてヒープから配列として確保されたメモリは確かに
要素数の情報を持っている。
しかし、new TYPEのように配列ではない場合は、高速化のために情報を
持ってない処理系もある。そのために前者では delete[] を、後者では
deleteを使うことになっており、間違った組み合わせを使った場合には
不具合を生じる。

また、ポインタは、ヒープから確保された配列ばかりをポイントしているとは
限らず、例えばスタック上のローカルオート変数や、グローバル変数をポイント
していることもあり、その場合には、要素数の情報は全く持っていない。

さらに、Cの場合、関数の引数に TYPE buf[] のように配列を書いても、
TYPE *buf に自動修正される仕様となっている。
そのため、配列を受け取るのは、必ずポインタということになる。
しかし、ポインタで受け取るということは、そこには、&a のように、
ローカルオート変数も実引数として指定して呼び出すことも出来る。
その場合には要素数が無いので、あなたの望みをかなえる高速な
一般的方法が存在しない。

望みをかなえるためには、言語の拡張が必要となる。

**デフォルトの名無しさん** · 2020/02/13(木) 19:33:05.83

Rustっていろいろ清々しいよね
関数型言語に必須じゃねえのと思うリスト関係がぽっかり抜けてるのは不満だけど

**デフォルトの名無しさん** · 2020/02/13(木) 19:57:05.87

>>807
https://ideone.com/DfYRYS

**デフォルトの名無しさん** · 2020/02/13(木) 20:01:17.55

>>808
ヒープに確保した配列の要素数はやはりメモリ上にあるんですね
手段がないのは文法として一貫性をもたせられないからということでしょうか
なるほど、回答ありがとうございます

**デフォルトの名無しさん** · 2020/02/13(木) 20:08:49.19

delete [] pと同じように
sizeof [] pを用意すりゃいいのにね
pがnew []されてなかったら誤動作するって挙動ならdeleteと同じだろうに

**デフォルトの名無しさん** · 2020/02/13(木) 20:15:32.26

言いたいことは分かるが構文がきもい

**デフォルトの名無しさん** · 2020/02/13(木) 20:17:34.65

欲しいなら作れば？
それができるのがc++じゃん

◆QZaw55cn4c · 2020/02/13(木) 20:36:41.73

>>791
＞C++の配列は長さの情報を持ってないってことになってるけど
＞長さを与えなくてもdelete[]できるんだから、メモリのどこかにその情報はあるよね？

new したときは、その領域サイズが実行時にユーザーのみえないところに保存される、というだけなのでは？
C/C++ の配列は長さ情報を（自分でそう書かないかぎり）持たないとおもいますよ

**デフォルトの名無しさん** · 2020/02/13(木) 20:38:39.62

ちゃうねん。

**デフォルトの名無しさん** · 2020/02/13(木) 20:50:05.52

設計がダメな場合コンパイラにいくら指摘されようと根本的には治らんのだが、
（たいていそういう馬鹿はコンパイラ通すためにmut,RefCell,unsafeを使いまくる）
そういうのを少しもわかってないバカがrust推しなんだよなぁ。
構造体を１から作り直さなきゃならんかったり根本的に間違ってる。

**デフォルトの名無しさん** · 2020/02/13(木) 21:00:18.27

>>808
new TYPE[]するとき内部的にサイズ情報を持つ保証ってあったっけ？
例えば自前でoperator new []を実装するとき、予め2^nバイトのブロックを所定の数用意しておいて、要求サイズに応じて必要十分な大きさのブロックを返すなら、割り当て時に要求されたバイト数または要素数の情報を保持しないという実装も可能かと思う。

**デフォルトの名無しさん** · 2020/02/13(木) 21:18:32.64

>>811
いえいえ

**デフォルトの名無しさん** · 2020/02/13(木) 21:37:18.24

>>818
デストラクタ呼ぶ必要ある

**デフォルトの名無しさん** · 2020/02/13(木) 21:39:24.09

デストラクタ呼ぶ必要ない型だと、size情報持ってないと言うことなんだろうね

**デフォルトの名無しさん** · 2020/02/13(木) 21:40:36.17

>>820
デストラクタの実装も、返ってきたアドレスの値でどのサイズの領域か(割り当て要求されたサイズではなく、自分で区切ったブロックのサイズ)が分かるようにしておけば大丈夫でないかな？

**デフォルトの名無しさん** · 2020/02/13(木) 21:41:24.98

>>822
すまん、勘違いでした。全部忘れてください

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

はい忘れました。

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

アドレスだけじゃなくて長さも受け渡しするインターフェースにしましょうとしか。

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

シリアル化の王道ってありますか？

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

オブジェクトならCORBA、データ構造だけでいいならASN.1とか。

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

>>822
TYPEがデストラクタを持つclassの場合に、ptr = new TYPE[n] で確保されたメモリ
を delete[] ptr とすると、正確に n 回デストラクタを呼び出す必要がある。
new が n * sizeof(TYPE) より大きめのブロックを確保した場合でも、
delete[] ptr 時に正確な n の値を割り出す方法が必要となる。
なので、n の値は ptr の値さえあれば知ることが出来ることが必要条件となる。
つまり、少なくともデストラクタを持つ TYPE の場合に TYPE の配列をヒープから
確保した場合には、配列の要素数を必ず配列の先頭のポインタの値から「知る」事が出来る。

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

>>827
もうちょっと簡単なのないですかね。
型情報要らないんで。

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

型情報が無けりゃデシリアライズしても使いようがあるまい。

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

それがあるんですよ兄さん。

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

双方向mapって何使うのがいいですか？boostのbimap？
それともこのくらいは自作してる人のほうが多いですか？

**デフォルトの名無しさん** · 2020/02/14(金) 00:05:24.00

双方向Mapって何に使えるんですか？

**デフォルトの名無しさん** · 2020/02/14(金) 01:54:24.23

型情報ないならそもそもデシリアライズできないし
型情報なしで成り立つ、つまり型情報を事前に知っている前提なら
バイナリでそのまま送ればいいだろ

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

型がわかっててもコンテナはそのままではバイナリで送れない

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

>>834
そのやり方教えて。
あめさんあげるから。

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

ちゃんとやるならPODに詰め替えてからchar配列へreinterpret_cast

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/14(金) 09:19:01.22

>>826
シリアル化ってのにどういう要件を置くかだな。
同じ環境でデシリアライズ出来ればよいのであれば >>837 で十分だろうし、
データ形式が決まってて (あるいはデータ形式の側を中心に策定したくて)
それのシリアライズとデシリアライズを (それぞれ別の環境で (ときには言語も違うかも)) やりたいということなら
protobuf などのツールを使うのはよい案だと思う。

**デフォルトの名無しさん** · 2020/02/14(金) 13:35:07.90

boostにあるじゃないですか
googleのなんか使うんじゃありません

**デフォルトの名無しさん** · 2020/02/14(金) 13:41:23.49

>>791
>>807
実装依存だと思うけど hoge[-1] あたりに格納されてた

**デフォルトの名無しさん** · 2020/02/14(金) 13:49:57.91

>>840
VC++の場合、ptr = new TYPE[n] で確保された場合は、確かに
ptr[0] == n
になっていた気がする。
「確かに」というのは言葉のあやで、厳密には覚えてないが、
VC++の new で使われる組み込み関数のライブラリのソースコードを見ると分かる。

**デフォルトの名無しさん** · 2020/02/14(金) 13:50:28.63

>>841
すまん、
ptr[-1] == n
の間違い。

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

>>807
>>841
OSやコンパイラで違うんでしょ
https://ideone.com/DuTmC5

**デフォルトの名無しさん** · 2020/02/14(金) 15:26:11.39

>>842
あ、すまん、正しくは、大体、
　((DWORD *)ptr)[-1] == n
だ。
ptr[-1] だと、sizeof(TYPE)分、アドレスが戻ってしまうし、
結果の型も DWORD とかではなく、TYPE 型になってしまう。

**デフォルトの名無しさん** · 2020/02/14(金) 15:28:19.59

>>843
言っておくが、new char[n] とかでは、駄目な可能性は有るよ。
話は、「TYPEがデストラクタを持つとき」のnew TYPE[n]に限定。

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

一時オブジェクトの寿命について、ご教示ください。
例えば、以下のようなコードがあった時、

void foo(const char* c); // 外部ライブラリの関数につき変更不可とする
void main()
{
const std::string s = "aaa";
foo((s + "bbb").c_str());
}

一時オブジェクトstring(s + "bbb")の破棄が行われるのは、
関数foo()を呼ぶ前でしょうか、呼んだ後でしょうか。
調べた範囲では、「完全式の終わり」という話が出てきたのですが、
どこまでが完全式なのか判断できませんでした。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/14(金) 17:22:07.67

>>846
この場合はその行の終わり。
セミコロンのところだと思っていい。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/14(金) 17:34:07.49

すごくどうでもいい話なんだけど、
JIS では完結式という用語を使ってるのに完全式って言葉の方がよく使われているよね……。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/14(金) 17:59:01.70

>>846-847
式の一部であるような式が部分式で、
そうでないような式が完結式って言う。

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

>>837-838
ありがとん。

**846** · 2020/02/14(金) 19:44:55.13

>>847-849
ご回答ありがとうございます。
大変勉強になりました。

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

おいCぺろぺろ

**デフォルトの名無しさん** · 2020/02/14(金) 20:58:59.55

>>851
いえいえ

**デフォルトの名無しさん** · 2020/02/15(土) 10:34:21.20

newって意外と速いんだな。
アクセスは不利かもしれないけど。

**デフォルトの名無しさん** · 2020/02/15(土) 12:11:39.70

>>854
速いよ。
高速なゲームでも普通に使える。

**デフォルトの名無しさん** · 2020/02/15(土) 12:12:59.04

でもスタックは常にキャッシュに乗ってるから、そこらへんでどう変わるのかな。

**デフォルトの名無しさん** · 2020/02/15(土) 13:19:54.61

キャッシュに乗るくらいの量だったらそもそもクリティカルな重さにはならんだろ。
newで問題になるのは10万とかそのくらいのオーダーをがっつりfor文で呼ぶとかそれくらいのことする場合。

**デフォルトの名無しさん** · 2020/02/15(土) 13:21:27.11

スタックは常にキャッシュに乗ってる。

**デフォルトの名無しさん** · 2020/02/15(土) 13:23:13.35

>>857
風邪が騙りかけます

**デフォルトの名無しさん** · 2020/02/15(土) 14:11:39.55

>>857
VC++の場合、コンストラクタが無い場合、new が必要とする時間は 170クロック。
3.0GHz の CPUの場合、1.7 * 10^7 回(1,700万回)くらい new してやっと一秒
位。
だから、問題になるのは、1万回ループではなく、100～1000万回くらいのループ。

**デフォルトの名無しさん** · 2020/02/15(土) 14:15:19.79

もちろん、スタック変数で済むならスタック変数の方がいい。
ただ、スタックは容量に限りがあるので全部スタックという訳にもいかない。
ヒープにも限りはあるにはあるが、それは OSやマシンの限界。

**デフォルトの名無しさん** · 2020/02/15(土) 14:25:57.86

そこでgotoなんですよ。

**デフォルトの名無しさん** · 2020/02/15(土) 14:43:25.87

コレクションがソートの有無でだいぶ変わる。
trie_base_benchmark__sorted_words_1
trie assign.
409ms
size : 466551
words : 466551

trie insert.
762ms
size : 466551
words : 466551

std::set insert.
69ms

std::unordered_set insert.
149ms

(assigned) trie find.
24ms

(inserted) trie find.
25ms

std::set find.
194ms

std::unordered_set find.
63ms

**デフォルトの名無しさん** · 2020/02/15(土) 14:44:57.19

trie_base_benchmark__random_words_1

trie assign.
2034ms
size : 466551
words : 466551

trie insert.
2026ms
size : 466551
words : 466551

std::set insert.
490ms

std::unordered_set insert.
146ms

(assigned) trie find.
158ms

(inserted) trie find.
169ms

std::set find.
477ms

std::unordered_set find.
62ms

**デフォルトの名無しさん** · 2020/02/15(土) 14:46:37.02

挿入速度が変わるのは仕方ないとしても、検索速度が変わるのは、キャッシュじゃないかと思うんだけど。

**デフォルトの名無しさん** · 2020/02/15(土) 14:49:41.43

std::sort: 306ms, (466551count).
先にソートしてから挿入したほうが速度的にお得っぽい。

**デフォルトの名無しさん** · 2020/02/15(土) 16:03:09.29

>>854
速いといっても
単純な演算と比べれば劇遅

**デフォルトの名無しさん** · 2020/02/15(土) 16:18:40.81

>>867
とにかく、足し算/引き算が1クロック程度、new が170クロック程度だからね。
使い方を間違えなければ劇遅とはいえまい。

**デフォルトの名無しさん** · 2020/02/15(土) 16:32:01.46

auto hentai = SM(std::move(羞恥心));

**デフォルトの名無しさん** · 2020/02/15(土) 17:12:18.08

newより+のほうが速いってことか。

**デフォルトの名無しさん** · 2020/02/15(土) 17:25:57.34

+と-ならどっちが速いんだろう。

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/15(土) 17:49:06.00

>>871
回路はほぼ共有してるんじゃないの？
2の補数を使うのもそれが理由なんだろうし。
少なくとも Pentium 時代まではクロックは同じだったはず。

近頃の事情は知らんけど
GCC あたりで強い最適化をかけてみても引き算か足し算を特に避ける様子もないので、
まあだいたい同じなんでしょ。

**デフォルトの名無しさん** · 2020/02/15(土) 18:01:50.38

>>870
C++の場合、+ひとつだけでも裏でどんなコードが動くか油断ならない。

**デフォルトの名無しさん** · 2020/02/15(土) 18:13:26.25

>>871
+ と - で速度が違うCPUは見たことがない

- は順番が関係あるので
処理によっては遅い事がある

b = 1 + b
b = 1 - b

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/15(土) 18:14:19.52

整数だけの話じゃなくてってことか。
ある程度の常識的判断が出来る場合もあるけど、
基本的には実装次第だわな。

**デフォルトの名無しさん** · 2020/02/15(土) 18:19:46.61

組み込み型じゃなけりゃそりゃね
+ でミサイル発射とか

**デフォルトの名無しさん** · 2020/02/15(土) 19:02:33.35

>>870
new より + の方が 170 倍速いと言うことだ。

**デフォルトの名無しさん** · 2020/02/15(土) 19:04:43.75

>>874
一度bをnegateしてから足す処理系があるかもな

**デフォルトの名無しさん** · 2020/02/15(土) 19:30:46.15

>>874
確かに引き算には順序があるので、足し算より最適化に不利になることがある。

**デフォルトの名無しさん** · 2020/02/15(土) 19:48:11.00

if(bReaZyuu){

**デフォルトの名無しさん** · 2020/02/16(日) 00:34:55.37

if (false != bReaZyuu) {

**デフォルトの名無しさん** · 2020/02/16(日) 00:35:58.12

newが常に数百クロックで済むと思ったら
間違いかもしれん…

**デフォルトの名無しさん** · 2020/02/16(日) 01:50:35.50

経験的にはnewが遅いと思ったことは無い。
なお、コンストラクタの処理時間以外はnewはmallocと同じ速度。
ゲームメーカーでも必要な場合に malloc を使うことは問題ないとされている。

**デフォルトの名無しさん** · 2020/02/16(日) 02:03:13.40

new からしてmallocを呼んでる実装が多い気がする。

**デフォルトの名無しさん** · 2020/02/16(日) 02:34:52.46

そりゃnew用とmalloc用でヒープ別けたら無駄だし

**はちみつ餃子** ◆8X2XSCHEME · 2020/02/16(日) 02:36:27.06

ヒープからの割り付けをする機会を減らすことで実行速度を上げる工夫はよく聞く話ではあるよな。
ただ、そこまでギリギリのチューニングが必要ってことがあまりないだけで。

**デフォルトの名無しさん** · 2020/02/16(日) 07:37:50.08

newは最悪値が読めないからなぁ
組込とかシビアなゲームでは使い辛い

**デフォルトの名無しさん** · 2020/02/16(日) 08:25:44.50

具体的な数字が出てるとイメージが湧く。

**デフォルトの名無しさん** · 2020/02/16(日) 08:45:53.63

170クロックならあんまり気にする必要ないな。

**デフォルトの名無しさん** · 2020/02/16(日) 10:26:07.87

組み込みでc++がそもそもおかしい

**デフォルトの名無しさん** · 2020/02/16(日) 11:00:34.43

>>887
よっぽどでない限り、AAAゲームでも使われてるよ。

**デフォルトの名無しさん** · 2020/02/16(日) 11:01:02.59

最近では小規模組み込みでもC++を使う事はあります

new / deleteやヒープを無効にしたり
newのみでdelete出来ないようにしたり
なんてこともあります

**デフォルトの名無しさん** · 2020/02/16(日) 11:03:58.49

>>890
視野狭すぎ

**デフォルトの名無しさん** · 2020/02/16(日) 11:12:03.97

また馬鹿が無駄に一般化してできるワイ言ってんのか。。相変わらずだな。

**デフォルトの名無しさん** · 2020/02/16(日) 11:20:41.43

日本語でおｋ

**デフォルトの名無しさん** · 2020/02/16(日) 11:23:16.68

ストリームってなんで遅いんだろね。

**デフォルトの名無しさん** · 2020/02/16(日) 11:39:47.59

>>891
そりゃそういう例もあるわな
だから何？w

**デフォルトの名無しさん** · 2020/02/16(日) 11:42:38.67

スレで、do{}while()はダメっぽいこと書いてあったけど、なんでダメなの？

**デフォルトの名無しさん** · 2020/02/16(日) 12:30:30.11

>>887
でもお前は組み込みにもゲーム開発にも携わってないじゃん