C++相談室 part164

2023/05/09(火) 11:50:52.06

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

※前スレ
C++相談室 part163
https://mevius.5ch.net/test/read.cgi/tech/1672409791/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2023/07/06(木) 21:51:28.48

>>420
ああ質問者と勘違いしてた
ただ魔術書とか痛いし不正確な表現はよろしくない(実際Qiitaとかで価値の無い出典も示さないクソ記事書いてる奴がよく使ってる)と言いたいだけ
あと>>409が初心者かどうかはわからんぞ

2023/07/06(木) 21:53:09.37

もちろん組み込み学ぶのに適した本だとは思わんけど

2023/07/06(木) 23:37:01.42

>>422
新装開店と言いつつ中身は実質閉店詐欺sale

2023/07/07(金) 00:10:58.87

>>412
ほんそれ
積読のままになってる……

2023/07/07(金) 00:21:21.09

C++なんてもう20年くらいまともに使ってないんだけど大きく変わってるの？
普段使いするような部分で変わったのってどんなのあるの？

2023/07/07(金) 00:32:21.86

new deleteしない
生のポインタを使わない
moveの意識

2023/07/07(金) 00:36:54.14

>>427
moveが一番大きいかな?
生ポインタは20年前でも使わない人は使わなかった

2023/07/07(金) 01:56:31.07

俺もムーブ (というかその前提である右辺値参照も) の存在が大きな差だと思う。
今となっては C++03 では右辺値参照なしでやってたってのが信じられんくらいだ。

2023/07/07(金) 13:56:40.22

右辺値参照とmoveでパラメータや戻り値などにclassのインスタンスを直接使いやすくなって、設計の自由度と安全性が格段に向上したとは思うけど、
その代わり、演算子のオーバーロード時のconstやexplicitの有無など、型推論の仕組みをきちんと理解して適切に記述しないとtemplateで訳わかんないエラーが出て、
初心者殺し度も格段に向上したよねw

2023/07/07(金) 14:27:35.57

まさに今20年前のコードメンテしてるからnew delete使ってるよ
C++のランタイムすらリンクしてないからこれnewした時Win32APIの何が呼ばれてるんだろう？HeapAllocだったかな？

2023/07/07(金) 14:38:08.14

スタティックライブラリがリンクされてるんでしょ
ランダム使用時と完全に同じとは行かないけどほぼ同等の処理のはずだけど

2023/07/07(金) 14:38:34.18

ランダムじゃなくてランタイム

2023/07/08(土) 09:03:38.78

g++でVLAを使ってるんですが、宣言時に初期化リスト使うのって未定義ですか？
公式のドキュメントを漁ってるんですが見当たらないので（英語苦手なので見落としてたらすみません）

2023/07/08(土) 09:37:22.13

C++にはそもそもVLAないぞ
非標準で実装されるケースはありうるけどね

2023/07/08(土) 09:56:47.19

>>435-436
C と同等の VLA を使えるように拡張されている旨はちゃんとドキュメントに書かれてる。
しかし C の VLA では初期化子を書けないことになってる。

2023/07/08(土) 10:03:16.21

GCC の具体的なドキュメントとしてはここ。
https://gcc.gnu.org/onlinedocs/gcc/Variable-Length.html

> Variable-length automatic arrays are allowed in ISO C99, and as an extension GCC accepts them in C90 mode and in C++.

2023/07/08(土) 10:10:11.44

>>436
はい、処理系依存ということは認識してます
>>437,438
ありがとうございます！

2023/07/08(土) 11:40:41.01

コンテナ使えばVLAって最早必要ないような...

2023/07/08(土) 12:00:36.50

数年前にc++でありながらvectorすらない実装はあったけど

2023/07/08(土) 13:06:37.75

>>440
禿同

2023/07/08(土) 15:36:54.89

CのVLAってスタック使われることもあるんじゃなかったっけか

2023/07/08(土) 15:51:02.79

コンパイラによる

2023/07/08(土) 18:03:19.11

どうしても VLA が必要だとしたら
そもそもヒープアロケーションのコードを書いてるときとか、
変則的なアーキテクチャで仕方がないとか、
C++ の言語機能が完全には使えない状況かな。

あるいはヒープアロケーションのコストを許容できないほど速度的に厳しいとか。

2023/07/08(土) 20:31:31.43

話をぶった切る上に去年の話でアレなんだがこの件。
https://mevius.5ch.net/test/read.cgi/tech/1653135809/734
なんの気なしにログを見返してて思い出した。
unexec だ。

2023/07/08(土) 20:45:51.68

もうアセンブラかVerilog使えって感じだな

2023/07/08(土) 21:25:24.78

世の中には動的確保のコスト計算できない人が多すぎるんだ

2023/07/08(土) 22:15:45.40

>>433
ちゃうちゃう、 new deleteのソースアセンブラに吐かせたの見たらGlobalAlloc GlobalFree使ってるわ
さすがにGMEM_FIXEDだったけど

2023/07/09(日) 04:19:53.74

Windowsのメモリアロケータってクソだよな

2023/07/09(日) 05:38:04.63

せやろか

2023/07/09(日) 05:40:32.30

Win16からの色々を引きずってるってこと？

2023/07/09(日) 05:53:12.10

引きずっているのはLocalAlloc

2023/07/09(日) 07:55:31.77

なんとなくメジャーなものをけなして気持ちがよくなってるんだろ
楽だよなそういうので気持ちよくなれる人は

2023/07/09(日) 09:27:34.88

メジャーだからって完璧に出来ているとは思わない方がいい

2023/07/09(日) 09:33:30.46

反体制派な俺すげーだろって痛すぎる厨二病は昔からいるよね

2023/07/09(日) 09:36:52.25

具体的にどういう場面で問題があるのか、可能ならサンプルコードなどを添えて指摘してくれないと、同意しようがないよね

2023/07/09(日) 10:14:00.41

そりゃ様々な用途や優先すべき軸がある中で汎用的にあらゆる用途に高性能であれと言われたら
中庸にするか尖らせて特定用途で使い物にならなくなるかの二択になるよね

2023/07/09(日) 10:40:38.50

EXEで確保したしたメモリーブロックをdllで解放するときに（そんなことをするなというのはさておき
むしろmalloc()だとリンクするCRTのバージョン相違でトラブルになりかねないから
OSがmalloc()的なことまでしてくれるのは良い事な希ガス知らんけど

2023/07/09(日) 10:57:36.03

C++ なら operator new のオーバーロードなんかも出来るわけだし
コンテナ類もアロケータを差し込むことが出来るわけで
メモリアロケーションに関して過剰なほどのカスタマイズ性がある。

もちろん提供されるアロケータで性能が足りるならそれに越したことは無いが、
足りないときでもなんとかできる可能性があるってのは C++ のいいところだよ。

2023/07/09(日) 11:09:45.90

前なんかstd::vector<T>をdllに渡したら（コピー渡ししたら）クラッシュするトラブルに遭遇して
原因はC++のランタイムのバージョン相違やったorz

2023/07/09(日) 11:44:01.32

DLL を跨ぐときは生配列が結局は楽かなぁ。
他環境に移植する予定がないなら COM の流儀に従って SAFEARRAY とか。

2023/07/09(日) 21:30:46.83

アロケータを指定するときってのは性能どうこうではなく環境や設計上の理由が主だよ
それよりpolymorphic_allocatorはなんでコンテナのコピー時にget_default_resourceを返すんだマジで

2023/07/09(日) 21:44:31.99

10年くらい前だけど6コア（12スレッド） x 双頭のマシンで
Debianのlibcのmallocをjemallocに置き換えたら
かなり速くなって感動したなぁ
いまのglibcのmallocはどうなんだろ?

2023/07/15(土) 10:34:20.34

最近クラス作るのが面倒な時thread_localのstd::vectorよく使うんだけど
何か問題起きたりする？

2023/07/15(土) 11:05:18.52

問題を検証するコードを書いて実験してみれよ
一日で組めるだろ

2023/07/15(土) 12:21:20.90

>>466
それ悪魔の証明

2023/07/15(土) 14:11:00.47

1日で組んだコードも合わせて技術ブログに記事を書くところまでがセット

2023/07/15(土) 14:24:56.68

よく使う割に問題が起きてないならそれは問題ないのでは
証明終わり

2023/07/15(土) 14:38:32.48

>>465
std::vector 型の変数がスレッドローカルとして定義されること自体は問題を引き起こさない。
スレッドローカルな変数はスレッドの生成・解放と同じタイミングで生成・解放される普通の変数。
それで問題が起こるなら単にプログラムのロジックに誤りがあるってだけ。

2023/07/15(土) 15:24:04.02

「クラス作るのが面倒な時」と「thread_localのstd::vector」の関連が見えないな。

2023/07/15(土) 16:45:55.27

>>741
std::thread は関数オブジェクトを受け取ることが出来る。
スレッドに固有、かつそのスレッド全体で使うようなデータは
その関数オブジェクトが所有するのが常道のひとつ。
しかしスレッドローカル変数もスレッドの寿命と一致する形でのデータ置き場になる。
そういう意味で代替品であると見做すことができる。

という話だと私は解釈したが、 std::vector がどこから出てきたかはわからん。

2023/07/15(土) 19:51:59.74

コードで言うなら
https://wandbox.org/permlink/oZ8EAGChqPtobFuY
みたいにするのは面倒だから
https://wandbox.org/permlink/90mvVtrKUca4Iyic
でいいよね？

みたいな話だと思った。

2023/07/15(土) 20:03:36.74

そもそもの知識がないからpythonみたいにリストにぶち込んで
インデックスですべてやろうとかそんな話かとｵﾓﾀ

python界はすごいぞ
クラスに変数など作らずすべて辞書にぶち込んで使ってたりする

2023/07/15(土) 20:19:33.71

a = {}
a['taro'] = {"name":"太郎","age":25, "sex":"男"}
a['hanako'] = {"name":"花子","age":18 ,six":"六"}

2023/07/15(土) 20:24:16.88

変数がすべてバリアントだからなw

2023/07/15(土) 20:27:48.20

if a['taro']["age"] ==a['hanako']["age"]:

これって全然コード補完効かないから脳が死にかける

2023/07/15(土) 20:32:21.17

name="name"
age="age"
sex="sex"
six="six"

とかしたらいいんか
if a['taro'][age] ==a['hanako'][age]:
嫌すぎる

2023/07/15(土) 20:42:45.70

プログラマではない人間もユーザー層として存在するし
Python はそういう人間にもリーチしてしまったから
割合としてワヤなものもできやすいというのは理解できる。

2023/07/15(土) 20:45:00.27

a['taro'] = {"name":"太郎","age":25, "sex":"男"}
だけ見るとjsonなのかとも思える

**デフォルトの名無しさん** (JP 0H8a-PPvg) · 2023/07/15(土) 21:13:09.66

あるクラスにあるクラスのコレクションを抱かさせてるなんて良くあると思うけど
その際に外部からそのコレクションを参照したい場合、どうするのが定石なの？
class Datas
{private:std::vector<Data> _datas;};

publicにするとか、std::vector<Data>::iteratorをpublicにするとか
const Data& operator[](int index)をpublicにするとかいろいろあると思うけど

2023/07/15(土) 21:18:25.83

ファーストクラスコレクションの話？

2023/07/15(土) 21:22:12.84

単数: datum
複数: data

2023/07/15(土) 21:24:39.81

今日本屋で○○データムと言う本があった
DATAの単数形がdatumと言うことにこだわる大人って理系だけなんだろうなと感じたらこれだよ
即出て来た

2023/07/15(土) 21:35:08.39

datumに拘ってるのではなくdatasなんて言葉はない

**デフォルトの名無しさん** (JP 0H8a-PPvg) · 2023/07/15(土) 21:43:33.89

そこか、英単語をぐぐったら解決しました。
ありがとうございました

2023/07/15(土) 21:58:55.40

>>481
場合による。

見せる相手が最初から限定的であるような場合はフレンドを宣言すればいい。
コンテナ系クラスとかは内部的にはたぶんノードを表すクラスとか
も使ってると思うけどそういう感じで密接に関連がありつつ
他では使う可能性がないような強い関係性がある場合はフレンドにする。

データを保持するためだけの汎用クラスとして定義するならデータメンバは public にしてもかまわない。
std::pair とかはそうなってる。

もうちょっと疎結合にしたいときなら許したい操作だけをpublic なメンバ関数として公開すると思う。

既存のクラスを使いつつ外部に公開するのはサブセットにしたいという場合なら
プライベート継承した上で公開したいメンバだけ using するという方法も取れる。

#include <iostream>
#include <vector>

struct Data : private std::vector<int> {
using std::vector<int>::vector;
using std::vector<int>::operator[];
using std::vector<int>::begin;
using std::vector<int>::end;
};

int main(void) {
Data foo = {1, 2, 3};
for (int x : foo) {
std::cout << x << std::endl;
}
}

2023/07/15(土) 22:04:51.15

>>481
privateメンバなのだから
できるだけ外部からそのコレクションを参照しないように設計するべきだと思うよ
どうしてもってならiteratorではなくconst_iteratorにするとか
あなたが書いてるようにconst Data&を返すaccessorを実装するとか

2023/07/15(土) 22:07:48.52

"HogehogeData"という名前で定義されたプログラム上の存在があったら
その複数形はHogehogeDatasと呼ぶしかない
気持ち悪くてもしょうがないんだよ

2023/07/15(土) 22:15:14.37

ファーストクラスコレクションにしないならその実装は不要だ
基本的に存在意味がない

2023/07/15(土) 22:20:38.51

ワイはプログラミング言語 Scheme を使ってるんやが Scheme の仕様には datum という語が出てくる。
シリアライズの単位に関する概念なのでリストひとつも datum と (つまり単数形で) 呼ばれるのが
ちょっとモニョッとする。

**デフォルトの名無しさん** (JP 0H8a-PPvg) · 2023/07/16(日) 08:28:58.24

どうでもいいことを突っ込んでる人いますけど
Datas=>aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
Data=>aaaaaaaaaaaaaaaa
と置換してください

2023/07/16(日) 09:51:34.88

hogehogetoyukainanakamatati
で解決

2023/07/16(日) 16:16:15.89

powershellはJSONやxmlをその構造のまま扱えたりオブジェクト(PSCustomObject)にも変換できてpythonなんかより小奇麗に書けますよっと
>>478だとif ($a.tsaro.age -eq $a.hanako.age) { ... という具合

2023/07/16(日) 16:20:50.17

powershellはC#とシームレスに連携する手段もあってpowershellで苦手な再帰処理とかをC#コードに逃がしてpowershell機能を使いたい部分はActionやFuncから呼び出す事もできますよっと

2023/07/16(日) 16:21:58.50

よく見たらここC++スレだね
俺の事は忘れてください

2023/07/17(月) 18:33:54.32

質問なのですがclass Datasというクラスがあってstd:::vector<Datas>　vec((size_t)100); であるときに
vec[k]の場所にn個の場所を空けたい（値は初期化済Datasオブジェクトなら何でも良い）場合どう書くべき？
やっぱ手動でsz = vec.size(); vec.resize(sz + n);して既存要素vec[k..sz-1]を後ろ（vec[k+n..]）にコピーする　--- (1)
のが最速？

仮にstd::vector<T>::insertを使うと
　Datas x;　　　// (A)
　vec.insert(std::next(vec.begin(), k), n, x); // (B)
になると思うのですが、なんか(A)で不必要にオブジェクトを1個構築せねばならないのと
(B)で多分デフォルトコンストラクタではなくコピコンがn回呼ばれるのちょっち嫌
（なぜなら(1)のコピーとn個分の場所の確保に加えて、xをn回コピーするという余デフォルト構築よりも遅そうな処理をするから

2023/07/17(月) 20:23:35.30

>>497
resize だって再配置 (に付随するコピー) の可能性はあるんで
どっちでも大差ないんじゃないかな。
楽だと思うほうで書けばいいと思うよ。

2023/07/17(月) 21:47:09.31

>>497
無駄なデフォルトコンストラクタやコピーを削って極力ムーブで済ませようと思ったら
sz, k, n の大小関係ごとに場合分けして move_iterator 経由の insert とか使い分ければ
いけそうだけど、面倒なわりに見合うほど効率改善しそうな気はしない。

2023/07/17(月) 22:08:16.87

書き込みはそこまで遅くないから労力に見合わないだろうね

2023/07/17(月) 22:54:28.45

速度を気にするなら実測しないと始まらないよ。

2023/07/17(月) 23:18:54.88

リアルタイムOSのタスクのように無限ループが前提のとき

TASK Task1() {
while(1) {
Obj1 obj = Device::GetObj();
:
:
}
のようにobjを使う場合に、GetObjが内部でnewされていると、この作りではいつかメモリ不足になってしまいます。

そうなると自作でないクラスのメソッドは使う前にnewの有無をすべて調べなければならなくなるように思います。
実際はそんな不条理はないはずで、このような問題はどう対処するのがいいですか。

2023/07/17(月) 23:25:49.78

>>502
自作でないクラスのメソッドは使う前には
メソッドが消費するメモリを見積もらなければなりません
不条理でも何でも無い

2023/07/17(月) 23:34:05.22

わかりました

2023/07/17(月) 23:42:05.60

自作でないクラスでも使う関数がメモリ動的確保するかどうか普通は確認するぞ

2023/07/17(月) 23:46:35.71

>>502
>GetObjが内部でnewされていると、この作りではいつかメモリ不足になってしまいます。
この懸念は普通の作りなら基本的に無用。基本的に問題無い

(1) Obj1という型がポインタやハンドルではなくクラスの場合：
objはwhile(1) { }のブロックの中で構築されるので
ループの終わりでデストラクタが呼ばれる（破棄される）から、
Device::GetObj()が真っ当な作りならnewしたポインタをObj1のインスタンスobjに引き渡し、
Obj1クラスが真っ当な作りならobjが破棄されるときに引き渡されたポインタをdeleteする（ように作る
からダングリングポインタは生じない（ようにできる

(2) Obj1という型がポインタやハンドルの場合
確保したポインタやハンドルはいずれクローズせねばならない。
ループが次の繰り返しに入る前に確実にクローズすればよい

2023/07/17(月) 23:47:03.13

基本的に、というのは(2)のケースで例外が生じたときクローズされずに抜けてしまう危険性があるのと、
(1)のケースにおいてもobj1の構築中に例外が生じた場合はきちんとデストラクトされない危険性がある。
Obj1のメンバがnewされるべき生ポインタの場合はこれは対処不能。生ポはやめてスマポにすればおk

詳しい話ははちみつ餃子氏に聞くと良い（ﾏﾃ

2023/07/17(月) 23:58:52.90

訂正orz、
誤: ループの終わりでデストラクタが呼ばれる（破棄される）から、(>>506
正: ループが次の繰り返しに入る前かループを抜ける際にデストラクタが呼ばれる（破棄される）から

2023/07/18(火) 00:04:09.43

>>502
必要ならそのGetObj()とやらのドキュメントにDevice::ReleaseXyz()とかDevice::ReleaseObj(obj1)とかobj1.release()とかを後で呼ぶように指示されてるはず
それを怠ってリークさせたならお前がタコ
そういう指示がないくせに勝手にリークするならそのライブラリがタコ
そんだけの話

2023/07/18(火) 00:16:34.06

そして使い方がドキュメント化されてないなら組織として問題がある。
が、そういう話はマ板で。

**502** (ﾜｯﾁｮｲ ae7a-CYkg) · 2023/07/18(火) 00:38:24.79

皆さんありがとう。
>>506
ブロックスコープは知りつつも、ループのブロックの場合はループ中は寿命が継続すると思っていました。
ループ時に毎度後始末されるなら安心です。

2023/07/18(火) 01:05:37.37

>>511
根拠。
https://timsong-cpp.github.io/cppwp/n3337/basic.stc.auto

2023/07/18(火) 02:17:55.25

組み込み用途のライブラリで毎回ループ終端でデストラクタが呼ばれるように普通は設計しないから大丈夫
疑わしいならベンダーに問い合わせるかライブラリのソースを読めば解決

2023/07/21(金) 16:52:12.91

ちょいとコイツを見て欲しい。MSVC 14.36.32532でC++17かつセキュリティチェック無効（/GS-）

https://i.imgur.com/XGfeBgH.png

最小コードで再現するために、コマンドライン文字列を変な形式として扱ってるのは置いといて
変数rSizeが、引数argcのスタック領域（ebp+8）に割り当てられるんだけど、こんな最適化ある？
確かにargcは用済みだが、レジスタやローカルスタックではなくcdeclのconst引数にストアする？

2023/07/21(金) 16:56:19.42

そんなことよりbooost向けの技術書について教えてくれ

**蟻人間** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd94-5KMR) · 2023/07/21(金) 18:04:39.14

そんな最適化あるよ。長期に渡って解析やってたらときどき出くわすよ。

2023/07/21(金) 18:26:11.73

ADLについて初めて知ったのがboost::mathだった懐かしい

2023/07/21(金) 20:33:22.11

観測可能な範囲で規格通りの挙動をする限りは、コンパイラ様はどんなバイナリを吐こうとどんな風にメモリやレジスタを扱おうと自由なのだ

2023/07/22(土) 11:54:04.91

if文の条件式のところにがっつり文が書かれてゐる
最後の式の値が結果、とかますますPerl的世界に……
そのうち値を返す関数もreturn書かなくて良くなったりして……

2023/07/22(土) 12:15:40.55

>>519
任意の文を書けるわけではなく単純宣言に限られる。

2023/07/22(土) 13:25:58.60

うん。なんか「見てくれ」とか言うから見たけどサンプルとしてもしょーもないコードだなと思って
一度コメントしかけてやめた
windowsのxx仕様独自mainとか

2023/07/22(土) 13:27:45.64

自分が本当に答えを知りたいんじゃなくて、フレームというか、言い争いを起こして面白がりたいのかな、とか