C++相談室 part165

2023/10/31(火) 07:37:38.52

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

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

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

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

2023/10/31(火) 08:59:52.78

>1 乙です

前スレ例外はループ脱出に使うような物じゃない、との意見に賛成です。

自分は、例外は「起こり得るけどいちいちエラー処理を書いたらアホな話を」「処理呼び出し毎ではないレベルで」「エラー対処コーディングするもの」と思ってます。

具体例は、
リンクリストなどコレクション操作でメモリ不足が起きた場合、のエラー処理。
コレクションの追加や削除を頻繁に行うコードって、大体はもっと概念レベルが高い事をやってるので、1件の追加レベルでエラー処理書いてたらアホな感じになる。

しかも、GUI プロセスを作ってて何か上手く動かないから特定のエラーだけを画面に表示したい、など、ことさら明確に対処したい場合です。プロセスが落ちればいいだけなら、main()の外側、の仕様がやってくれる。

古い本の情報だけど、SBリップマンによると、MS VC++と、sun、hp-ux の C++コンパイラで、例外を使う／使わないで速度性能調査したそうで、 4~6% の速度劣化があったとの事です。

2023/10/31(火) 09:37:52.87

スレ終了間際に現れる質問いいですかオジなんなの？w.

2023/10/31(火) 09:38:43.79

Pythonで言うと
forのStopIterationはへっ？だし
int()のValueErrorですら微妙

2023/10/31(火) 11:32:52.74

うるせえstd::stoi()ぶつけんぞ

2023/10/31(火) 16:49:04.12

>>3
ヘッダーの最後の行の #endif みたいなものだよ

2023/10/31(火) 23:53:09.44

>>6
と、言うことは対になる#ifがどこかに？

2023/11/01(水) 10:50:51.42

…（いくら5chとは言え、複数の人が集まる場所で、何かを教えて頂いてもお礼も言えず、面白い返しもできない人がいたとして。その人がプログラムに関してだけは素晴らしいコードを書ける、なんてことはあるのかな？と思う瞬間が人生の中であったり、なかったり）

2023/11/01(水) 12:51:50.53

（礼儀とプログラミングスキルは関係ないと思う）

2023/11/01(水) 12:53:02.45

（俺の昼飯どこ行った？）

2023/11/01(水) 16:02:16.42

(今日の昼飯はセブンのサバ塩焼弁当にしとくか・・・)

2023/11/01(水) 18:24:49.00

コードにはある程度そいつの人間性は反映されるな
スレチな話題ではあるけど

2023/11/01(水) 23:07:31.46

(本物のプログラマはPascalを使わない)

2023/11/01(水) 23:30:59.94

(でもPythonは使ってもいいのかな？って時々思う)

2023/11/02(木) 00:03:32.45

そろそろキャストは止めてスマポ使いましょう

2023/11/02(木) 02:43:15.24

まちゅまちゅの3Dライブみた
前も思ったけどみこちとかなたそのダンス、めっちゃシンクロ率高い
リズムがぴったり一緒なんだよね
ダンスほんとにうまくなったよな

2023/11/02(木) 02:43:45.89

誤爆った(´･ω･｀)

2023/11/02(木) 07:17:03.35

ホロライブか

2023/11/02(木) 10:44:27.02

(まちゅまちゅの3Dライブ?・・・ちょっと気になる)

2023/11/02(木) 23:48:48.29

(((お前ら括弧ばっかり使ってlisperかよ？)))

2023/11/03(金) 10:21:23.72

←vーー( ﾟ∀ﾟ)!ー^ー

2023/11/04(土) 18:56:36.20

コピーとムーブの挙動、というか管理難しい。。難しくない？

2023/11/04(土) 20:24:08.34

コピーやムーブはパターンに沿って管理できるからそんなに難しいとは感じないな。

ワイとしては参照の畳み込み (Reference collapsing) や変換の規則を毎回のように確認するんだけど全然頭に入ってこない。
参照はオブジェクトではないので逆に言えば値に対応する型が参照になることはないのだが、それはそれとして参照を含む型があり得るというのが今でも腑に落ちない。

2023/11/04(土) 20:28:09.97

参照しか知らんものだけど、ムーブて何か簡単に教えて
参照は実装上ただのポインタじゃん
ムーブはなにがどうなるん？

2023/11/04(土) 20:29:19.85

ムーブコンストラクタが起動する。
それだけ。

2023/11/05(日) 09:49:50.04

>>24
考え方としては、shallow copyを二重開放リスクを避けて行うための仕組み。
右辺値という特別な一時変数のコピーで特別なコピー(ムーブコンストラクタ)を実行するようにして、クラス設計者が必要に応じてshallow copyを実装しやすくしている。

2023/11/05(日) 10:41:04.16

>>24
moveはRustで言う所有権の移動じゃないか

2023/11/05(日) 13:06:56.97

>>24
aに戻り値などの一時オブジェクトbをコピーすると通常は

aでメモリを確保
bからメモリコピー
bのデストラクタでメモリを破棄

という動作になるけど、moveの場合

aにbでメモリをポインタで持ってくる
bのインスタンスでは破棄したことにする

とすれば無駄なメモリ確保とコピーが発生せず効率が良い

2023/11/05(日) 13:39:42.02

標準ライブラリでのムーブは所有権 (ownership) の概念を前提として構築されているし、
慣例としてもそのようにするものではあるんだが
言語としてはムーブコンストラクタ (またはムーブ代入演算子) を呼び出すというだけで
所有権の面倒をみる機能は何もない。
(辻褄が合うようにするのはプログラマの責任。)
何が起きているのかは所有権の概念と実装レベルで分けて考えたほうがいいと思う。

どう説明していいかわからんから関連する要素を箇条書きにしたらこんな感じかな。

・それがコピーの文脈であるかムーブの文脈であるか区別は出来る
・一般的にムーブの文脈であった場合 (寿命が尽きる直前の一時オブジェクトの再利用が出来る場合) にコピーより効率が良い動作が出来る可能性がある
・どのように効率がよくなるのかはそのクラス (のムーブコンストラクタやムーブ代入演算子) の定義次第
・典型的なムーブの実装はリソース本体を指すポインタの交換によって実現される
・ユーザーが定義を与えなかった場合のデフォルトのムーブは全てのサブオブジェクトをムーブすることになっている

2023/11/05(日) 13:42:20.39

で、このmove動作を定義するために、
一時オブジェクト（右辺値）に対する参照動作を関数定義できるようになっている

2023/11/05(日) 14:05:22.83

ムーブされるとそのポインタは変わってしまうと思うけど、そういうケースはないの？

2023/11/05(日) 14:18:09.07

言っている意味がよく分からないが、純粋なポインタにはムーブという概念はないよ
ムーブを定義できるのはクラスに対してだけ
他の人も言っているようにムーブといっても実体は単なる関数呼び出しなので、その中でプログラマが自分の責任で必要なコードを書くことになる

2023/11/05(日) 14:58:05.35

質問した人じゃないけど説明ありがたいです

ムーブ難しいと思ってたけどもっと早く勉強して仕事で使うべきだった

（文法解析した要素をポインタいじって並べ変えるんだけど…
二重所有を防ぐのを手作業コーディングで責任を持たなければならないプログラムを作ってしまった）

2023/11/05(日) 15:15:28.75

ただ、右辺値参照を使うと、通常の参照や代入と使い分けるためにconstやnoexceptを厳密に指定しないといけなくなりがちだから、
その辺の総合的な理解が必要になってくるのは注意点だね
constは一度付け始めるとライブラリ全部に伝染するからな･･･それを嫌って使わない派も結構いる（いた）よね

2023/11/05(日) 15:39:17.77

実際のコードだとポインタのムーブはunique_ptrとかにぶん投げで、自分で移動コード書くことはまずないな
自分でムーブ特殊関数の中身書くのはハンドル的なもののムーブを実現したいときくらい

2023/11/05(日) 16:12:35.07

とにかく unique_ptr が便利すぎるから何でもかんでも全部 unique_ptr 使うようになってしまった
まあそれでいいのかもしれないが

2023/11/05(日) 16:21:29.02

>>33
銀の弾丸ではない
手作業コーディングで責任を持たなければならないのは変わらない

2023/11/05(日) 17:10:59.04

所有権管理も結局はプログラマが書く (間違いを部分的にコンパイルエラーとして検出できることはある)、
所有権って具体的に何なんだってのはクラス定義に押し込めるという風に管理のレイヤを分けることが出来るってわけ。

クラス定義をした後は具体的に何をやってるのかを忘れて
所有権というものだと思い込むことが出来るという抽象化の仕組み。

2023/11/07(火) 10:10:32.04

>>37
アホか
普通に考えて、そのコード(クラス)の利用者が所有権について明示的に何かしなきゃいけなかったということだろ

2023/11/07(火) 19:02:58.77

>>33
エスパーするけど多分その用途だとmoveは使えない。

データを共有している感じなので素直にshared ptrを使うのがいいかと。shared ptrで性能的にキツイならshared ptrを参照渡しするか。

2023/11/07(火) 19:09:56.10

>>40
ちょっと補足すると、戻り値をshared ptrの参照にするのはNGですな。そこは素直にRVOに期待するのが良いか。

2023/11/09(木) 17:23:48.54

VC++なんだけど32bitで_thiscallを関数ポインタ経由で呼ぶことってasm使わないと不可能？
メンバ関数を関数ポインタ変数とすることは出来てもそこから第一引数にインスタンス入れたりしてもコンパイル時エラーになる

2023/11/09(木) 18:09:02.18

>>42
メンバ関数をポインタ経由で呼び出したいってことならstd::bindでできるはず

2023/11/09(木) 18:24:20.63

VC++ のことは知らんけどメンバ関数ポインタは関数ポインタより大きい実装になってる処理系がある。
メンバ関数ポインタを関数ポインタに変換した時点で呼び出すのに必要な情報が失われているかもしれない。

2023/11/09(木) 19:04:30.42

MJD?

2023/11/09(木) 19:13:19.18

エラーメッセージにヒントはない？

2023/11/09(木) 19:58:26.06

基本的には言語の規定内でやるに越したことはないので無理な型変換をしないで済ませられるように出来るものならそうしたほうがいい。
どうしてもそうできない事情がある(と質問者が認識している)ならもうちょっと詳しい状況をコードで示して欲しい。

2023/11/09(木) 21:12:03.97

>>43
ありがとう、逆アセ見たら完璧にthiscallになってた

メンバ関数っていうかthiscall指定したものは32bitだとecxレジスタにthisポインタが隠されていてそれ以外はstdcallと同じ
なので下みたいに第一引数にインスタンスのポインタを入れる事でecxに代入される感じになりそうだなーと思ったら無理だった
ちなみに64bitの場合はどちらもfastcallで同じだから単純に第一引数にthisポインタが隠されてるだけ
auto pFunc = CDate::addDay; // CDate addDay(int value)
CDate tomorrow = pFunc(&instance, 1);

2023/11/09(木) 21:28:58.67

てかググったら簡単なシミュレーション方法載せてるブログあった
_fastcallで宣言して第二引数のedxを捨て駒にする事で疑似_thiscallになる
つまりint(__fastcall * pFunc)(CDate*, void*, int)とすれば一応アセンブラ的な辻褄は合う事になる

2023/11/12(日) 10:07:59.74

質問なのですが型Tの参照を返す関数 const T& foo() の戻り値をautoのいくつかのバリエーションで受けてアドレスを見て見たのですが
　　auto x = foo();
　　auto& y = foo();
　　const auto z = foo();
　　const auto& zz = foo();
　　const volatile auto& zzz = foo();
　　cout << "&original=" << &g_vec << endl;　　 // &original = 00B013D8 (このアドレスは一例)
　　cout << "&x=" << &x << endl;　　　　　　　　// &x = 010FF8AC　// コピー(意図しないかも？)
　　cout << "&y=" << &y << endl;　　　　　　　　// &y = 00B013D8 // 参照(OK)
　　cout << "&z=" << &z << endl;　　　　　　　　// &z = 010FF888 // コピー(意図しないかも？)
　　cout << "&zz=" << &zz << endl;　　　　　　　// &zz = 00B013D8 // 参照(OK)
　　cout << "&zzz=" << &zzz << endl;　　　　　　// &zzz = 1 // !!!!
という行末コメントに記載の結果になったお
Q1. 参照で受けたい場合は auto でなく auto& とせねばならない、で正しい？
Q2. 間違えてauto で受けても動いてしまい発見し難いケースが多いと思うのですが
　　意図しないパフォーマンス低下になるので防ぐ対策とか無い？
Q3. zzzのｱﾄﾞﾚｽが1になるのは一体……
MSVC2019使用、言語の設定はC++14、

2023/11/12(日) 11:02:37.63

>>50
A1. 単に auto としたときに参照になることはない。
　　参照として受け取りたい場合は auto& にせねばならないというのは正しい。
A2. 参照かどうかで自動的に場合分けして欲しいなら decltype(auto) とすればいいが……
　　参照で受けるのが正しい状況なのかどうかは状況による。
　　テンプレート内など自動的な場合分けが必要な場合を除いては参照は参照として明示したほうがよくない？
　　(個人的感想です。)
A3. いくつか用意されている operator<< の基本的なオーバーロードの内で bool にマッチするから。
　　void* もあるのだけれど C++ では任意のポインタは void* へは暗黙の型変換されないのでマッチング候補にならない。
　　アドレスとして解釈して欲しいなら void* へ明示的に型変換しないといけない。

2023/11/12(日) 11:38:27.18

ごめん。間違いがあった。
ポインタは void* へ暗黙に変換できる。
この変換はオーバーロード解決時の候補になりうる。
ただ、 bool への変換とは優先順位に差がある。

2023/11/12(日) 11:42:25.19

>>51>>52
㌧クス、
なるほど
わかりた
↓こうなったわ
　　decltype(auto) z = foo();
　　const auto& zz = foo();
　　const volatile auto& zzz = foo();
　　cout << "&original=" << (void*)&g_vec << endl;　　　// &original=010213D8 (このアドレスは一例)
　　cout << "&z=" << (void*)&z << endl;　　　　　　　　 // &z=010213D8　　　// 参照(OK)
　　cout << "&zz=" << (void*)&zz << endl;　　　　　　　 // &zz=010213D8　　 // 参照(OK)
　　cout << "&zzz=" << (void*)&zzz << endl;　　　　　　 // &zzz=010213D8　　// 参照(OK)
　　cout << std::boolalpha << "&zzz=" << &zzz << endl; // &zzz=true　　　　// boolean
boolへの変換は使うことは無いと思うが正体は調べてみるわ

2023/11/12(日) 11:46:29.61

>テンプレート内など自動的な場合分けが必要な場合を除いては参照は参照として明示したほうがよくない？
非constなら考えるがこの場合foo()はconstオヌジェクトと参照を返してくるし、
これはもうdecltype(auto)一択で良いような気がが、

2023/11/12(日) 12:07:32.76

volatile を追加する変換は出来るが除く変換は出来ないから
volatile 付きのオーバーロードを用意していない operator<< では候補から消えて
bool だけが候補として残ってしまうってことになるみたいだな。

volatile が付いていない場合は
void* への変換のほうが bool への変換より優先順位が高いので
そっちが呼ばれる。

**あぼーん** · NG

あぼーん

2023/11/13(月) 02:33:43.38

>>56
案内サンクス

2023/11/14(火) 02:19:13.60

CLion使ってる人いますか？

2023/11/17(金) 17:16:02.48

日本人の死亡者が増えてるのに、メディアは報道規制
https://kizuna.5ch.net/test/read.cgi/cafe50/1699777256/l50

2023/11/18(土) 16:16:09.27

ラムダの参照キャプチャってconst参照に指定できないんだっけ？微妙に不便だな。

2023/11/18(土) 20:47:45.62

>>60
これじゃだめ?
#include <iostream>
using namespace std;
int main () {
const int a {0};
int b {0};
[&a, &b = const_cast <const int &> (b)] () {
++ a; // X
++ b; // X
} ();
return 0;
}