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/03/19(日) 15:17:35.62

初期化はしないよりも　しておいたほうがいいわ

2023/03/19(日) 15:18:07.23

必要があれば初期化するし
必要なければ余計なことはしない

判断できましぇ～んなアホにはなりたくない

2023/03/19(日) 15:25:40.86

>>726
初期化は必要だっつの；；；；
で、std::vector<T>を取るのが高速化されたとしても
要素使用時に初期化が必要なのだから時間短縮にならないという

ていうか通常は（大概のクラスは）初期化時間とかstd::vector<T>が運悪くOSにsbrk()してしまうケースに比べればゴミみがいなもんじゃろ……

という辺りの事情を考えたことも無い>>726、、、

2023/03/19(日) 16:19:34.73

いやすまん>>720について：
>>720の処置にすると使うコードの字面上はFoo::AやFoo::Bがそのまま使えるが、中身が古いenumなので
　Foo x;
　x=2;　　　　// 禁止されない
　int y = x;　// キャストを忘れても何も言われない
という問題があったorz
（他にも列挙子の型がint以外にできないとか
やっぱ現状はenum classを活かしつつ>>720にするか、enum classの定義ごとマクロでwrapするしかないのかも|||。n_

2023/03/19(日) 16:35:25.46

>>727
うん、vectorでは必要だね
そんくらい判断してるよ

マウント取りたさに目がくらんで頓珍漢こくな

2023/03/19(日) 16:37:36.01

>>729
別に……
std::vector<T>の要素がC言語レベルの構造体なら初期化は後回し（最初の代入時）でいい……

2023/03/19(日) 16:41:22.65

なんにせよ未初期化（メモリ内容不定）というのはチューリングマシンのプログラミングモデルでは絶対悪
であることは街行く人100人に聞いたら100人全員がそう答えるので
マウントをとろうとして無駄にあがいているかさもなくば無知なのは>>729の方ででｹﾃｰｲ……

2023/03/19(日) 16:47:15.92

捏造データ使うやつの相手はしとれん
俺はどっかの大臣みたいに寛大ではない

2023/03/19(日) 16:51:34.77

どこが捏造データなのかkwsk、
街行く人を引き合いに出したのは統計の結果という誤解を与えたのかもしれんが
チューリングマシンのプログラミングモデルにおいて、初期化を行わないまま次のステップに進めない（やったら動作が不定になる）のは
覆りようが無い真実、、、

2023/03/19(日) 16:55:07.81

循環バッファ作るときの配列なんかいちいちゼロクリアせんだろ
学校で習いたての未消化の知識で思い込んでんなよ

アホくせ
俺は夕飯の買い物に行くぜ

2023/03/19(日) 17:00:25.55

>>734
そりゃーその配列は最初のデータのencueueがあるまで使われないからな
しかし循環バッファを使う前に、encueカウンタとdecueueカウンタの初期化は必須であるから
その例では>>733を覆したことにはならない
物事の道理が徹頭徹尾わかっていないのに突っかかってくる>>734……

2023/03/19(日) 17:05:21.48

ちと訂正orz、
循環バッファに入れるのが、STLのクラスをメンバに持つような高級なクラスだったとしよう、
すると循環バッファ作るときの配列を未初期化のままとすると、最初のencueueでいきなり代入から始まるから
（代入演算子が呼ばれる）から、未初期化オブジェクトに対する代入演算子が機能したとしてもそれはたまたまという話になる……
よって
>循環バッファ作るときの配列なんかいちいちゼロクリアせんだろ
これの主張は偽。ハイ論破、

2023/03/19(日) 17:48:11.34

>>723
メンバを持てない型にメンバっぽいものを結び付けたい場合 (たとえば char_traits や numeric_limits) だとか、
既存の型をいじらずに拡張できる余地を用意したい場合 (allocator_traits) 、
メタプログラミング用のメタ関数 (type_traits) といったものはトレイトの形にすることもそんなに珍しくはない。

ところで Godbolt でリフレクション (N4818) 実装版の clang が使えた。
列挙子の数を数えるメタ関数を簡易的に書いたらこんな感じ。
https://godbolt.org/z/G4jf65j8f

将来的にはこういう機能が C++ に入るかもしれない。

2023/03/19(日) 18:51:39.67

>>737
get_size_v<get_enumerators_t<reflexpr(Enum)>> でよい。
標準で enum_count みたいなの用意しといて欲しいよね。誰が書いても同じになるんだから。

2023/03/19(日) 20:19:21.80

>>738
おっ、そんな便利なのを見落としておったわ……。

将来的には enum_count みたいなのは入ると思う。
現時点では基礎になるスコープの広い部分を検討中だから
おそらくその上に実装されるであろう部分をどうこういうのは時期尚早ってことなんだろう。

2023/03/19(日) 20:47:43.45

>>735
覆したかどうかジャッジは衆目に任せようや

2023/03/19(日) 23:30:56.76

初期化の必要はないけど、しても負荷はないに等しいという状況もよくあるからなんとも

2023/03/19(日) 23:39:18.94

形式的には初期化をしてても最適化を通ると消えてるってこともあるし……。

2023/03/20(月) 15:45:00.03

必要ないことはしないってだけなのに何か悪いのかよ
見も知らん馬の骨のご機嫌取るのも必要ないかんな

2023/03/20(月) 15:53:20.87

まるでマスク警察だな
初期化警察

2023/03/20(月) 17:50:53.62

>>742
例えばどんな場合？

2023/03/20(月) 18:48:41.76

>>734
未初期化メモリのアクセスが未定義じゃなくてエラーだったら良かったんだけどな。
エラーにするの大変なのかね。

2023/03/20(月) 20:03:19.49

例えばプログラムでアドレスを計算してる場合に、そのアドレスのメモリが
初期化されてるかどうかをコンパイラが判断するのは難しいだろうね
他にもライブラリとか別のプログラムで初期化されてもわからない

2023/03/20(月) 20:14:42.31

>>746
昔はそういうアーキテクチャの計算機もあったらしいよ
今はデバッグツールでそういうことも含めて大抵のことは検出できる

2023/03/20(月) 20:22:11.60

vectorに対してcopyとかtransform使うとき、あらかじめコピー元とコピー先のサイズを揃えますけど
この時ほぼほぼ初期化省かれてるなっての分かるじゃないですか

それなら最初から初期化を省くメソッド用意してくれてもいいんじゃないか？と思うわけです

2023/03/20(月) 20:58:12.86

まあ、要素がPODの場合にvector::resizeで初期化しないでほしいと思うことはあるけど、
それで仕方なく不要な初期化をして遅くなった試しがないからなぁ・・・

2023/03/20(月) 21:35:36.48

>>749
そのためにサイズとは別にキャパシティの概念があるんじゃないの。
書き込む順序が変な場合だったりすると上手くいかんかもしれんが
copy や transform を使う分には事前にキャパシティを調整した上で
値の書き込みは back_inserter を使えば無駄な初期化も再配置も起こらない。

2023/03/20(月) 21:40:04.28

>>749
insert_iterator は嫌なの？

2023/03/20(月) 21:40:53.83

あ、被った。ごめん。

2023/03/20(月) 22:56:55.34

初期化が重いならコンストラクタと初期化を分ければ良いし
微妙なコピーによるパフォーマンスを気にするなら自作すれば良い

無い物ねだりは時間の無駄

**蟻人間** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd33-byLE) · 2023/03/20(月) 23:03:48.48

アロケータ自作もアリ。

2023/03/20(月) 23:17:51.49

>>755
アロケータはメモリアロケーションに関する制御しか出来ない。
std::vector に与えるアロケータをどう実装しても
要素のコンストラクタの起動を制御することは出来ないと思う。

2023/03/21(火) 06:23:01.76

int a = 0; //こうしないとエラーな環境なんてイラネーヨ
if(cin >> a) cout << a;

2023/03/21(火) 07:38:26.62

最速チューンならvectorなんか使うな

2023/03/21(火) 07:39:32.98

sprintfの使用がエラーになる環境もある

2023/03/21(火) 17:14:11.67

>>751
そうすると一々サイズとキャパシティ比較するif文挟むから結局オーバーヘッドあるやん

まあstd::vector使うなというのはもっともでこういうときのためにstd::make_XXX_for_overwriteがある

2023/03/22(水) 07:23:54.33

>>760
vector::reserveをご存知でない？

2023/03/22(水) 09:35:50.58

>>761
back_insert_iterator での値の追加は push_back するのに等しい。
https://timsong-cpp.github.io/cppwp/n3337/back.insert.iter.op=
push_back するときはキャパシティが足りるかどうかで動作が異なる。
https://timsong-cpp.github.io/cppwp/n3337/vector.modifiers
結果的にキャパシティが足りていてもキャパシティが足りているかどうかのチェックはおこなわれる。
そのことを >>760 は言ってる。

2023/03/22(水) 16:48:53.83

STLコンテナのうちvectorだけがC言語やシステムコールで使う配列との互換性を保証するのだから「vector使うな」とか噴飯ものだよ

2023/03/22(水) 16:56:07.11

>>760
いわれてみれば確かにゼロコストというわけではないね。
現代的な CPU だと分岐予測が効く場合だと思うので実行時間的には小さいと思うが……。

スマートポインタに for_overwrite 版が入ったなら vector でもやろうという提案は
絶対に出るだろうと思って検索してみたら vector については見つけられなかったが
basic_string::resize_and_overwrite を足す提案はあったわ。
http://wg21.link/P1072R10

2023/03/22(水) 17:09:49.01

std::vector<bool>さん…

2023/03/22(水) 18:28:48.27

>>765
の何がダメなのかちゃんと言えますか
分かってないくせにstd::vector<bool>貶してる奴見ると腹立つわ

2023/03/22(水) 19:15:35.45

>>766
文脈的に >>765 は >>763 を受けてのものなんだから配列との互換性の話なのは自明やん。

2023/03/22(水) 20:15:46.78

極限チューンしたいならvectorなんか使うな
vector使うなら多少のオーバーヘッドは気にするな

2023/03/22(水) 20:22:41.22

極限チューンしたいならC++なんか使うな
C++使うなら多少のオーバーヘッドは気にするな

とか言っちゃうのかねこういう人は。

2023/03/22(水) 20:30:41.10

C++でダメならアセンブラ

2023/03/22(水) 20:54:34.32

＞最速チューン
＞極限チューン
特にしたくありせん

2023/03/22(水) 21:54:01.77

>>764
だいぶ前に記事そのものがあったわ
リンク先読んでないけど過去に提案されてるっぽい？

https://faithandbrave.hateblo.jp/entry/20131203/1386054567

2023/03/22(水) 22:26:40.76

>>771
じゃあ細かい事は気にするな

2023/03/23(木) 09:55:02.98

極限とか感情的バイアスで話すやつはマトモに相手しとれん

2023/03/23(木) 11:09:09.78

>>768-769
deque

2023/03/23(木) 15:45:01.00

DQN?

2023/03/23(木) 20:01:05.89

昔は煽って情報引き出そうとする輩もおったけど、今はAIに聞けば全部教えてくれるんだよな

2023/03/23(木) 20:36:59.72

AIねえ・・ライダハンて何って聞くとキムチ臭いことを「教えてくれる」けど
おまえはそれを何だ？　神様のお告げとか思ってるの？
アホなの？　それともバカなの？　今すぐ首吊って死ねよ

2023/03/23(木) 20:44:08.19

機械と人間の違いがわからねーやつは人類全ての敵だ
機械は言われたとおりにやってるだけ
そこにポリシーも夢もひとかけもない

呆れ果てたスーパー情弱のために教えておいてやるが
機械にできるのは演繹だけで帰納はできないって根本的な問題があるんだよ
教わったことが絶対でどんなにおかしい答えも平然と言ってのける

日教組に洗脳されたおまえとそっくりだなｗｗｗ

2023/03/23(木) 22:27:29.21

代わりに辞書を引いてくれるだけでも大したもんだよ
引き方によってはちょっとした会話にもなるしな

2023/03/23(木) 22:43:25.00

辞書じゃなくて仕様書な？

2023/03/24(金) 08:04:10.44

根本的な話をすると脳のニューロン組織とAIプログラムのニューラルネットワークは動作原理は同じ
生体細胞の圧倒的物量による並列処理能力の高さと半導体素子の圧倒的記憶演算能力による方向性の違いだけ
いずれ学習が飛躍的に進めば機械が脳を超える時が来る

2023/03/24(金) 10:59:13.15

脳内でバックプロパゲーションとか起こってると思ってるならあまりにももの知らんねキミ

2023/03/24(金) 11:29:29.53

まあ中枢神経でも逆行性の情報伝達は起きてるけどな
そんなことより改行の後スペースは何回打つのがメジャーなんか？
なおタブ派の意見は聞かない

2023/03/24(金) 11:33:31.33

ちなみに俺は7回だ

2023/03/24(金) 15:08:24.40

ChatGPT研究所
@ctgptlb
今回、驚くべき実験結果が得られました。ChatGPTには敬語で接すると、出力が大幅に良くなる可能性が示唆されました！

https://chatgpt-lab.com/n/nd8dde92016ec
https://ul.h3z.jp/FMiV1SBC.png
https://ul.h3z.jp/cA2maV7H.jpeg

AIも雑なヤロウには雑に扱う

2023/03/24(金) 15:19:50.19

なんか上から目線でえばってるくせに帰納の意味がわかってなさそうなのがいるなksks

◆QZaw55cn4c (ﾜｯﾁｮｲ 9bba-ny0K) · 2023/03/24(金) 20:18:38.86

>>777
私？私？
今でも炎上学習法は通用するのかな？

2023/03/24(金) 22:17:35.84

人が作った焼き物に手を合わせて神のご加護をってやつだろｗｗｗ

2023/04/01(土) 01:18:43.60

priority_queueに渡す比較関数って、functionでインライン的に書くより
別途ラムダを書いてそれをdecltype()で渡す方がいいんですかね?
後者と同等なインライン的な書き方はあります?

2023/04/01(土) 06:57:15.82

>>790
ラムダ式は視認性を改善する目的で使うものなので、ラムダ式のせいでかえって視認性が悪くなるようであればあきらめ時

2023/04/01(土) 07:50:02.77

↓のページの「例」みたいなことがやりたいの?
https://cpprefjp.github.io/lang/cpp20/default_constructible_and_assignable_stateless_lambdas.html

2023/04/01(土) 14:13:57.01

>>790
インライン的な書き方ってどんな書き方？

2023/04/01(土) 14:26:59.20

例えばfunctionを使って比較関数をインライン的に書くとこうですよね
priority_queue<int, vector<int>, function<bool(int a, int b)>> pq([](int a, int b){return a > b;});

一方ラムダを使った場合は例えばこんなですよね
auto comp = [](int a, int b) { return a > b; };
priority_queue<int, vector<int>, decltype(comp)> pq(comp);

で疑問に思ったのが
- 上記の例で後者の場合もインライン的に書ける? まソース的には1行目と2行目を改行なしで
書けばいいのかもしれないけどw
- function を使う場合と decltype を使う場合の違いに何が違う?

ということです

2023/04/01(土) 14:29:01.96

う、二番目の質問がおかしい
- function と delctype で単に書き方が違うという以上の違いはありますか?

2023/04/01(土) 14:31:10.70

function と decltype は単にシンタックスが違うだけというなら、これからは一番最初の
function を使った書き方で行こうかなと思います

2023/04/01(土) 15:00:44.48

C++17以降ならdeduction guideが使える
priority_queue pq { [](int a, int b){return a > b;}, vector<int>{} };

2023/04/02(日) 08:51:08.20

メモリ確保と同時に初期化、
これをしないことによる顕著なメリットの説明がそろそろあってしかるべき……
初期化をしないことによってメモリ確保はメモリ確保1回あたり（デフォルトコンストラクタにもよるが）数千～数万クロックサイクルぐらい早くなるかもしれないが
プログラムの実行速度を追求したいならそもそもメモリ確保とかいっぱい回るループの中ですべきではないし、
そもそも領域を確保しておいて初期化を後回しにするとか、プログラミを不必要に複雑なピタゴラスイッチ化するだけ……

もっとも、毎秒1万回std::vector<T>を構築するとか、サイズ3TBのFIFOを作るとかなｱﾌｫ
構想時点で極めて特殊な設計なら話は別やが……

2023/04/02(日) 09:00:08.86

それよか一番危険なのは、
>必要があれば初期化するし
>必要なければ余計なことはしない
>
>判断できましぇ～んなアホにはなりたくない（ｷﾘ
とのたまう人が、encueカウンタやdecueueカウンタが未初期かなFIFO、みたいな
益体も無い例を持ち出してみたり、冒す必要のない危険を冒してまでリリースしてしまうことや……

2023/04/02(日) 09:31:47.33

>>784
教師信号はどこから来るというんじゃ……

2023/04/02(日) 10:42:08.81

まず、えんきゅーできゅーのスペル確認ぐらいしてくれ。

2023/04/02(日) 10:44:15.18

まともな回答を寄越してくれたら直してしんぜよう、

2023/04/02(日) 10:52:59.44

>>801
>>800はアホなんから構うなよ
>>23とか>>674とか見りゃやべーヤツって分かんだろ

2023/04/02(日) 11:02:53.69

char fifo[256] = 俺はここのことを言った
char* enq = ここの話に逸らした時点でアホの相手はやめた

2023/04/02(日) 16:04:22.42

CUE！難民発見

2023/04/02(日) 16:50:57.97

>>796
std::function は実行時に型を切り替える機能をもったクラスで、
後から切り替える可能性が無い場面では無駄になるから避けるのが普通だと思う。

#include <functional>

int foo(void) { return 1; }

int main() {
// 関数ポインタとクロージャは異なる型だが
// std::function は呼出しの形式が同じならどちらでも扱える
std::function<int(void)> bar = foo; // 関数ポインタを格納できる
bar = [](void) -> int { return 1; }; // クロージャも格納できる
}

2023/04/02(日) 17:17:55.77

コンパイラと標準ライブラリによるんだろうけど、
std::functionはラップしてるぶんラムダに比べて遅いだろうね
でもラップしてるおかげで柔軟だから用途次第で使い分けるのがいいね

2023/04/02(日) 17:20:28.25

anyみたいにRTTIを使っているわけじゃないけどね

2023/04/08(土) 06:18:03.35

bool型を整数に変換した時、false -> 0, true -> 1 は保証される?

2023/04/08(土) 06:19:18.69

される

2023/04/08(土) 06:40:35.49

ですか
何個条件が成り立っているかを数えるときに上記を使ってるっぽいコードがあったので

2023/04/08(土) 08:36:57.00

WindowsのBOOLは保障されない点だけ気を付けよう
==TRUEとかやっちゃダメだからね

2023/04/08(土) 09:17:21.57

>>809
https://timsong-cpp.github.io/cppwp/n3337/conv.integral#4

2023/04/08(土) 10:10:31.03

TRUE==1 FALSE==0 は仕様で明確に保証されていたかは知らんが事実上変えようがないから実害はないな。
注意するのは「FALSEでない値」とTRUEは違うってことで。

2023/04/08(土) 11:19:32.51

>>814
ドキュメントに書いてあるから仕様と言ってよさそう。
https://learn.microsoft.com/en-us/windows/win32/learnwin32/windows-coding-conventions#boolean-type

2023/04/08(土) 11:52:43.24

#define True !Fales はもう昔の話か

2023/04/08(土) 16:50:36.81

GetMessage() < 0 とかもうアボカド

2023/04/09(日) 09:19:40.13

#define True !False
printf("%d", True);

# 1

2023/04/09(日) 09:20:16.12

>>817
ほんそれ++

2023/04/09(日) 23:45:39.86

c++の入門書のサンプルでは、整数を 42で初期化するケースが多い気がします
この 42(fooやbarを使うように)には意味があるのでしょうか

2023/04/09(日) 23:49:54.13

>>820
https://ja.wikipedia.org/wiki/%E7%94%9F%E5%91%BD%E3%80%81%E5%AE%87%E5%AE%99%E3%80%81%E3%81%9D%E3%81%97%E3%81%A6%E4%B8%87%E7%89%A9%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6%E3%81%AE%E7%A9%B6%E6%A5%B5%E3%81%AE%E7%96%91%E5%95%8F%E3%81%AE%E7%AD%94%E3%81%88

2023/04/10(月) 00:03:58.95

>>821
thx!

2023/04/10(月) 10:38:06.12

constevalな関数の中でchar配列中からintを読み取る場合ってポインタ使えないから下記のようにするしかない？
arr[index] | ((int)arr[index + 1] << 8) | ((int)arr[index + 2] << 16) | ((int)arr[index + 3] << 24);

2023/04/10(月) 13:13:53.16

>>823
constevalじゃなくても環境依存せずにその手の数値取り出しをしたければそうする他無い。
あと(int)は意味ないと思う。

2023/04/10(月) 13:14:40.33

>>823
共用体は使えないの？