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/09(木) 20:35:31.74

for (A; B||D; C,D) { … } じゃダメなの？

2023/03/09(木) 21:57:49.10

>>691
頭悪いって言われない？

2023/03/09(木) 22:20:20.74

アスペのこだわり大会かよ

2023/03/10(金) 23:18:44.72

>>680
なるほどforeachではなくてforなのですね
わかりました

2023/03/11(土) 03:20:25.02

inline 指定子って前方宣言と定義の少なくとも一方に付ければ良いんですかね？
普通は inline 関数を宣言と定義分けて書くことはあまりしないと思いますが

2023/03/11(土) 20:44:27.01

宣言にはつけなくね?

2023/03/12(日) 12:26:00.35

メンバ関数の定義にinlineは普通にやる

2023/03/15(水) 13:16:39.32

inlineの元々の意味はもう存在感なくなってきてるな
今はODRに違反するものを通して貰ったり
namespaceのアレとかで使う

2023/03/15(水) 13:44:43.53

本来の意味では、コンパイラ依存になっちゃうけどalways_inlineとか__forceinlineっていうのがあったりするな
これもちゃんと規格化した方が良いよね

2023/03/15(水) 15:22:25.13

[[force_inline]]か

2023/03/15(水) 20:13:46.16

モジュールだとinlineは元の意味になる、forceではないけど

2023/03/18(土) 00:24:08.81

enum class Fooの項目数を取得するにはどうすれば良いですの？
昔ながらに
enum class Foo { A = 0, B, C, D, E, NELEMS };
みたいに要素数NELEMSを定義しないと駄目？

2023/03/18(土) 00:34:08.94

はい

2023/03/18(土) 08:22:34.90

いいえ
できますし実際にライブラリもあります

https://github.com/Neargye/magic_enum

2023/03/18(土) 09:34:19.12

ﾌｧｯ？！

2023/03/18(土) 09:37:45.79

>>711
現在の言語仕様の範囲内でやるならそれがたぶん一番に簡単な方法。

magic_enum を活用するのもいいけど処理系の拡張を利用しているのでもしもメンテが
滞ることがあったら処理系の変化について行けなくて破綻するかも？ (余計な心配かも？)
要素数を数えるためだけに導入するならちょっと大げさという感じがする。

将来の C++ にリフレクション系の機能を追加しようとする提案はある。
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/n4818.pdf
試験的に GCC に追加したブランチもあって、
オンラインコンパイラで試せるところがあったはずなんだがどこだったか思い出せない。すまぬ……。

2023/03/18(土) 10:54:33.77

どうやってんのかと思ったらゴリ押しで草

2023/03/19(日) 02:53:52.21

std::vectorを初期化せず要素数を変更する方法が存在しないそうですが、どうにかなりませんか？

2023/03/19(日) 07:02:58.28

>>717
初期化しないことを指定するフラグをメンバ変数に追加し、resize(n,c)の二番目の引数でそのフラグを立てたインスタンスcを渡す。
コピーコンストラクタが呼び出されるので、渡されてきたインスタンスcの該当フラグを見て、初期化するかどうか判定して分岐させる。

2023/03/19(日) 09:21:23.84

>>717
vector が要素のデフォルトコンストラクタを呼ぶことは保証されるが
デフォルトコンストラクタが初期化しないようにしておけば初期化されない。
https://wandbox.org/permlink/8SepeggcI18hio7W

2023/03/19(日) 10:57:57.35

>>711
列挙型を定義するときには要素の数は分かっているのだから要素数を書いた定義も書いておけば十分かもしれない。

#include <type_traits>

// プライマリテンプレート (実際にはこれが使われたらエラー)
template <class T>
class enum_count {
template <class U>
class helper : public std::integral_constant<bool, false> {};
static_assert(helper<T>::value, "expected known enum.");
};
// 列挙型を定義
enum class Foo {A, B, C, D, E};
// 列挙型 Foo の要素数が 5 であることは分かっているので 5 で定義しておく
template <> class enum_count<Foo> : public std::integral_constant<std::size_t, 5> {};

int main(void) {
// 列挙型の要素数をカウントしたかのように見える
static_assert(enum_count<Foo>::value == 5);
}

列挙型の定義と要素数の定義を同時にするようなマクロでも作っておけばなおよいと思う。
Boost にそんな感じのライブラリがあった気がするが使ったことが無いのでよく知らない。

2023/03/19(日) 12:15:12.56

>>717
vectorが連続した領域を確保するので仕方ないかと。

vector のreserveで十分な領域を予約する
vectorにインスタンスじゃなくてsmart pointerを格納する
vectorじゃなくてlistかdequeを使う

クラスを弄くれるなら、move constructorでどうにかならんかね？

2023/03/19(日) 14:31:05.87

>>717
どんな要素？クラス？

2023/03/19(日) 15:04:28.20

>>720
レス㌧クスしかし……
enum class FooはFoo::AとかFoo::Bとかいう形でしか使われないのだから個数を返す専用のテンプレートの特ちゅ化を行うよりは
Fooという名前のを何らかの手段でwrapしてやってcountメンバを持たせる方が自然なような、
enum class Foo0 { A = 0, B, C, D, E };
だとして現状class Foo : public Foo0 { ... }みたいなことは書けないから、手段としては次の2つ……
(1) クラスれwrap
struct Foo {
　　enum { A, B, C, D, E }; // 古き良きenum、
　　static size_t count() { return 5; }
};
(2) namespaceでwrap
namespace Foo {
　　enum { A, B, C, D, E }; // 古き良きenum、
　　inline size_t count() { return 5; }
};

規格委員会が斜め上の行動に出なければこういう方向性が自然に感じる……

2023/03/19(日) 15:13:02.52

>>717
std::vector<T>をとったら初期化が来る　ほんとに早いわ
初期化さえ無かったならチューリングマシンは楽しいとこ
初期化はきらいだった　私
夢ばかりみていたのよ　私
でもデフォルトコンストラクタとコピコンと代入演算しだけでも
まじめにしておけば
今頃私はかっこいいC++er
初期化はしないよりも　しておいたほうがいいわ

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
教師信号はどこから来るというんじゃ……