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/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

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

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

やっぱ
void foo() {
　for (int i = 0; i < 100; i++) { .... }
　for (int ii = 0; ii < 100; ii++) { ... }
　...
　for (int iiiiiiiiiiiiiiiiiiii = 0; iiiiiiiiiiiiiiiiiiii < 100; iiiiiiiiiiiiiiiiiiii++) { ... }
}
とかあってどのfor文でもループ変数のｱﾄﾞﾚｽをとるような式が書かれていなかったら
ローカル変数i、ii、...、iiiiiiiiiiiiiiiiiiが違うアドレスでなければならない理由は何も無いから
同じアドレスに割り当てになる可能性は高いと思う
でデータフロー解析するステップではもはやブロックの構造とか渡ってないから
そういう芸当をする同じロジックが>>514のようなことも当然するｷﾓｽ
※ 個人の感想です

2023/07/22(土) 15:31:39.00

ていうか補足、
void bar(int& x);
というのがあって
for (int i = 0; i < 100; i++) { bar(i); }
for (int ii = 0; ii < 100; ii++) { bar(ii); }
for (int iiiiiiiiiiiiiiiiiiii = 0; iiiiiiiiiiiiiiiiiiii < 100; ii++) { bar(iiiiiiiiiiiiiiiiiiii); }
だった場合はこれは明示的にループ変数のアドレスをとっているわけではないが、
ｱﾄﾞﾚｽをとっているのと同じことなので
i、ii、...、iiiiiiiiiiiiiiiiii同じアドレスに割り当てになる可能性は無くなると思う
よかったなあ>>514、

2023/07/22(土) 15:33:20.61

しかしわからんのは
void bar(const int& x); // const !
だった場合は
for (int i = 0; i < 100; i++) { bar(i); }
for (int ii = 0; ii < 100; ii++) { bar(ii); }
for (int iiiiiiiiiiiiiiiiiiii = 0; iiiiiiiiiiiiiiiiiiii < 100; ii++) { bar(iiiiiiiiiiiiiiiiiiii); }
だった場合はi、ii、...、iiiiiiiiiiiiiiiiiiが同じアドレスに割り当てられ得るのかどうかわわからん……

2023/07/22(土) 15:41:23.03

ｺﾞﾒ自己解決しますたorz

2023/07/22(土) 17:02:04.17

スコープを抜けたローカル変数であれば順当な割り当てに思えるのだけど
>>514が差し支えるのはコードインジェクションで引数を使い回すとかの横着
さりとてトップレベルのconstやvolatileは関数シグネチャに現れない訳で
cdeclであろうと引数の寿命は関数を抜けるまでだろうから極めて妥当なのか？

14.27.29110ではやらず、スタック量は逆に増え…増えたから節約してるのか
rbp+なら…いやそれも引数用スタック。C++20でvolatile非推奨化は有ったが
volatile引数への代入も引数スタックへの書き込みと思っちゃならんのかな

2023/07/22(土) 18:07:10.54

>>527
言いたいことがあるなら独り言を書くんじゃなくて説明しろ。

2023/07/22(土) 18:59:44.13

>>528
どの部分ですか？rbp+のくだりならx64であればシャドウストアを呼び出し元が確保する事になっているので
引数へ代入以外でもrbp+に書き込まれるが、それにしたって引数の退避以外で行われるかという意味だけど

またこの最適化が適正だとすれば引数へconstを指定しても
それは引数の格納元が書き換わらない事を意味しない訳で
volatileにしても引数スタックと同一視は出来ないのかなと

2023/07/22(土) 19:01:30.20

>>519
resultは欲しいね。

2023/07/22(土) 19:08:50.81

とりあえずcallee-savedとcaller-savedあたりでググってこい

2023/07/22(土) 19:21:42.17

>>529
技術的な意味合いじゃなくてね、
それをのべてどうしたいのってことだよ。
疑問なのか？主張なのか？感想なのか？

2023/07/22(土) 23:38:20.21

これだけは言っておく
文章が下手糞はプログラミングも下手糞ってことだ

2023/07/22(土) 23:53:10.56

久々にヤバい変数名を見た
>>525
このクソみたいな変数名はおまえが考えたのか

2023/07/23(日) 01:23:57.19

>>533
母語で説明できないようならプログラマには向いてないとかいう意味のことをダイクストラが言ってたな。

普通の人は母語が最も得意なはずだからそれで表現できないのに
プログラミング言語でなら表現できるってことはないのは道理というものだ。

2023/07/23(日) 07:00:15.87

二、三個違えて大域変数切って火に油注ぎたくなるやつ

2023/07/24(月) 22:04:55.27

さんざん言われてるけど質問文きちんと書ける人はChatGPTで自己完結しちゃうんだよな

2023/07/25(火) 00:09:45.61

ｺﾞﾒｽ>>524はリリースビルドしたら全部同じアドレスになったわ；；；
やっぱ握った変数なりオブジェクトなりのｱﾄﾞﾚｽを
その変数なりオブジェクトなりの寿命が尽きた後に
使おうとするのは未定義動作であることだなあ、

**デフォルトの名無しさん** · 2023/07/25(火) 03:57:53.89

俺には>>524がなんでそんな結論になるのか分からんのだが
for内で i を宣言してるんだからfor のスコープを持つローカル変数だろ？
int が４バイトの前提で言えば for 突入時に int i をスタック上に確保（スタックポインタを4バイトマイナス)して for 離脱時に int i の領域を解放(スタックポインタを4バイトプラス）する
この繰り返しなんだから int i や int ii のアドレスが同じになることに疑問を挟む余地がないと思うんだけど
何がおかしいのか俺にはさっぱり分からん

2023/07/25(火) 09:19:21.66

for の i がローカルになったのは最近
グローバルに盛れるコンパイラ環境は巷に溢れていた

2023/07/25(火) 09:19:57.50

盛れるじゃなかった
漏れる

2023/07/25(火) 11:10:04.37

>>540
最近っていつ頃のことだ？

2023/07/25(火) 11:32:44.39

#define for if(0) else for

2023/07/25(火) 11:34:38.41

間違えた
#define for if(0) {} else for
これでゾンビiよく消してた

2023/07/25(火) 12:01:03.86

>>544
ごめん、まじめに教えて
これ何の意図？

これに意味がある具体的なコンパイラって何の何version？

2023/07/25(火) 12:08:13.03

VC++6.0という大昔にデファクトスタンダードだったコンパイラだ

2023/07/25(火) 12:10:00.81

>>546
ほんとにごめん、何の意味があるの？

2023/07/25(火) 12:12:51.37

例外飛ばすと自動変数の破棄全部ふっ飛ばして戻ってくる酷いポンコツだったな
よくこんなの皆つかってたなというかコレしかなかったからな

2023/07/25(火) 12:13:49.52

>>545
for の初期化節で変数宣言した場合にその外側のブロックがスコープになるコンパイラが存在し、
その対抗策としてこういうマクロを導入するという方法があったという話だろ。

2023/07/25(火) 12:14:32.19

>>547
意味がわからないなら知らなくていい
当時を知らないなら理解しようとするだけ無駄というもの

2023/07/25(火) 12:24:31.68

>>549
ありがとう、そしてありがとう

>>548
VC6がポンコツは同意。
あのころMSはディンカムウェアからstd c,c++ ライブラリを買って導入してたけど、そもそもc++の仕様準拠がメチャクチャだったと認識してます
もうVC使わなくなって長いので気にしなくなった

2023/07/25(火) 12:39:41.95

『for内スコープ』の仕様にvc6は未対応だ、という事実を認識し
責任者がvc6を選択した案件で納品する

なら、その条件に従って書く（つまらないつまづきに繋がる書き方を避ける）のが他者に対して親切な技術者だと思うが

「そういう話はマ板で」か

2023/07/25(火) 12:56:14.20

>>551
言語仕様が改訂されたんだよ。
C++98 が成立するちょっと前まで for 文の外側のブロックをスコープとするルールで正しかった。
ARM (The Annotated C++ Reference Manual) でも旧ルールで説明されている。

VC の出来が悪かったのは事実だと思うが
スコープルールに関しては互換性を是とするウィンドウズの価値観に合わせて
意図的に変更を遅らせたのだと思う。

2023/07/25(火) 14:00:38.34

いと懐かしき

2023/07/25(火) 14:23:07.06

Visual C++ 6.0がリリースされたのが1998年じゃん
25年前じゃん。全然最近じゃないじゃん
遠い過去のことをつい最近って話すのはやめてほしいね

2023/07/25(火) 14:31:50.00

>>555
だまれ小僧! 最近じゃよ

2023/07/25(火) 14:44:27.15

20年くらいまえのソースコードだったら
読む機会がないわけでもないからなぁ。
最近と言えるかどうかはともかくとして
経緯を知っておくに越したことはない

2023/07/25(火) 14:44:43.95

25年前に30代だった人の多いスレ

2023/07/25(火) 14:54:13.97

現役世代なら25年前なら20代

2023/07/25(火) 14:55:29.80

だまれ小僧ども!

2023/07/25(火) 16:16:06.83

おじいちゃんかな入力使ってそう

2023/07/25(火) 16:50:53.20

リアルでﾄﾝﾄｶｲﾓをやったことある世代だわ……

2023/07/25(火) 20:33:32.87

>>560
そこは
黙れ小僧、お前にSUNが救えるか！
じゃないの？

sunのccって何だっけ

でも個人的にはc++ユーザなら2014年以降の話をして欲しい

2023/07/25(火) 21:15:39.67

(昔話うぜー)

2023/07/25(火) 21:54:33.88

>>563
古い規格に基づいたコードが消滅しているならそれでもいいけどさ。

2023/07/25(火) 22:52:02.65

>>539
アドレスをとったらメモリエリアシング除けで最適化が抑止される
そう思っていた時期が僕にもありました先週

2023/07/25(火) 23:10:43.20

アドレスとエイリアスは別枠なんだわ。
ポインタを数値として表示させると同じなのに == で比較すると偽値 (エイリアスではない) ということがあり得る。
pointer provenance の概念について調べてみると面白いかもね。

2023/07/26(水) 07:52:30.48

古いコードに執着しはじめるならもういい加減引退した方がいい

2023/07/26(水) 13:05:53.40

>>568
誰かが書き換えなきゃ新しくはならんのだぞ。

2023/07/26(水) 14:04:23.46

まったく無いとは言わないが20年以上も昔のコードを弄る機会って実際どれくらいあるのか
あまりに不毛な主張だろう

2023/07/26(水) 14:22:14.82

>>129
これが実現出来ればそういう心配事も無くなるんだがな

2023/07/26(水) 14:24:26.98

ちなみに俺は少なくとも C++11 以降だろ (C++20 は時期尚早かもしれない) 派だし
趣味でプログラミングしているから実務現場はわからない。
でも確実に 20 年前くらいのコードは生きてるよ。
質問サイトで (古いコードの意味について尋ねる質問に対して) 歴史的な事情を説明したことは何度もあるから。
それが割合としてどんくらいかというと確かに少なくはあると思うが……。