C++相談室 part165

1 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ efda-9b8G) mailto:sage [2023/10/31(火) 07:37:38.52 ID:+ZyYyqMO0.net] !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 127 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 21:53:05.60 ID:ACseOt7T0.net] >>124 こんな感じです？ struct base_ { virtual base_* clone (void *p) = 0; virtual ~base_() {}; }; template <typename F> struct derived_ : base_ { F f_; derived_(F f) : f_{ std::move(f) } {} base_* clone (void *p_buf){ return new(reinterpret_cast<derived_<F>*>(p_buf))(f_); } }; A(A& src) { p_ = src.clone((void*)buf); }; 128 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 22:19:16.70 ID:ECF9R1Fj0.net] derived_(F f) ←この時点でムダなコピーが１度発生していることには気付いてる？ 129 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 22:21:15.81 ID:/FDyuY0i0.net] >>127 書き込む前にコンパイルしなよ 130 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 22:41:26.61 ID:Dv09vJ7A0.net] バッファの中にオブジェクトを作れたら、それで何をしたいのかが気になる 131 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 23:21:36.86 ID:oZapr/U70.net] >>127 cloneの中ってplacement newでcopy constructorを呼ぼうとしてるんだよな？ いちおうあってるけどundefined behaviorまみれ 132 名前：はちみつ餃子 mailto:sage [2024/01/04(木) 23:35:27.70 ID:td6kYpbC0.net] たぶんやりたいことは std::allocator_traits::construct なのかな 133 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 7f7c-JApz) [2024/01/11(木) 04:45:44.72 ID:wlSOhq+Y0.net] 例外って全部mainで捕捉すべきかな？ 調べてみたら例外が捕捉されずにプログラムが終了する場合スタックアンワインドが起こるかは実装定義みたいなんだけど、それじゃグローバルなオブジェクトのデストラクタが呼ばれないんじゃないかって思って試してみたのよ。 https://ideone.com/wSLZfL やっぱりデストラクタは呼ばれなかったからリソースリークが起こりうるんじゃないかと思うんだけど、例外に対してはどういう態度でいるべきかな？ A. リソースリークはまずい。だから例外は全部捕捉するべき。 B. 例外はロジック上捕捉する必要があるものだけ捕捉して、それ以外はほっといていい。 C. 例外が捕捉されなければstd::abortが呼ばれるので、コアダンプなりで色々調べることもできる。だからmainで例外を全部握りつぶすようなことはすべきではない。 D. 時と場合による。 例外時の挙動とか仕様とか調べてるうちに頭ぐるぐるしてわけわかんなくなってきた 134 名前：デフォルトの名無しさん [2024/01/11(木) 08:40:16.50 ID:8oRrkiTZ0.net] そもそもプログラムが終了してリソースリークするのかな？ メモリー、ファイルハンドル、ソケット、ミューテックスなどのリソースはOSが責任持って解放するよね どのようなリソースがリークしますか？ 135 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 08:45:02.51 ID:ETJgFBFV0.net] すべてじゃね？ 136 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 08:46:53.81 ID:ETJgFBFV0.net] >>133 すべてじゃね？ それらの選択肢は別に排他的な選択肢じゃないかと 137 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 7f3a-NF1f) [2024/01/11(木) 09:02:22.25 ID:dA95iQ6m0.net] OS管理なリソースはアプリの終了なんか知らないってのもあるからなぁ 得にドライバ関連とかな 138 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 15:30:41.76 ID:hAXa3uBd0.net] >>136 あれ、少なくともAとCは排他的だと思うんだけど 全部の選択肢を選ぶとすると具体的にはどうなるのかな 139 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 20:09:25.46 ID:AWAYnmwT0.net] 今どきのOS使ってたらOSリソースはリークしない まぁプロセスがゾンビになるのはよくあるが 140 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 20:09:51.72 ID:AWAYnmwT0.net] >>137 しったかすんな 141 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 20:12:29.21 ID:h5T3Zf1WM.net] そもそもアプリ的にデータの不整合とか出るから論外だろう ファイルやなんかの外部データ使わないなら関係ないだろうけど 142 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 20:12:30.15 ID:AWAYnmwT0.net] よくあるのは異常終了時にファイルをフラッシュしておきたいとかだろ 汎用的にこれを実現するのは結構むずい 143 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 20:14:10.04 ID:AWAYnmwT0.net] あとコアダンプの観点では例外飛ばさずに即死したほうがいい 144 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 21:36:53.22 ID:40hQdtQK0.net] エラーだからって一時ファイル山盛り残して放置しないでください 145 名前：デフォルトの名無しさん mailto:sage [2024/01/11(木) 22:44:37.94 ID:wlSOhq+Y0.net] 質問した者だけど 確かに近代的なOSであればリソースの始末はよしなにやってくれるだろうし、「絶対にデストラクタが呼ばれなきゃ困る」って状況でもなければいちいちすべての例外を捕捉する必要はないのかな（毎回ボイラープレートコードみたいに書くのもやだし） 146 名前：デフォルトの名無しさん mailto:sage [2024/01/12(金) 01:18:38.26 ID:P05ikaaEd.net] 例外処理って、メモリ破壊やファイルシステム破壊みたいな絶望的な状況を想定しなきゃいけないんだよ。 ファイルに何か書き込んだら他のファイルを壊しちゃうかもしれない、みたいな。 だからファイル関連の操作をしていいのは、ファイルシステム周りの無事を確信できるときだけ。 データを上書き保存とかしていいのは、データとファイルシステム両方の無事を確信できるときだけ。 何も確信できないときは、何もせずに墜ちなきゃいけない。 ってことで例外機構はデフォルトで何もせずに異常終了するようになってるんだよ。 147 名前：はちみつ餃子 mailto:sage [2024/01/12(金) 02:09:19.72 ID:Z8/dVhwe0.net] 理想的には全ての例外はキャッチされるべき。 ただ、現実は理想的ではない。 キャッチするのは対処するためなので想定漏れで思ってもなかったような例外が上がってきた (対処が出来てない) ならそれはバグなんだから検証して修正する必要があるわけだし、検証しやすい形で止まったほうがいい。 C++ ではスタックの巻き戻しの途中で例外を送出したときの挙動は未定義なので通例ではデストラクタから例外を投げないように設計される。 つまりデストラクタでの後始末に失敗したらもうそれを (例外機構の仕組みでは) フォローできない。 想定されてない例外が上がってるときに後始末がちゃんとできずにわけのわからない動作を引き起こしたら検証にも支障がある。 148 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 7f7c-acFs) mailto:sage [2024/01/12(金) 09:48:31.22 ID:1nCpSyqU0.net] じゃあ「投げられうるすべての例外に適切な対処ができるのが理想的だが、対処しきれない例外は投げられっぱなしにする（そしてプログラムを即座に異常終了させる）方が、思考停止でとりあえず捕捉しておくよりはまだマシ」ってことになるのかな みんなありがとう 149 名前：デフォルトの名無しさん (ﾜﾝﾄﾝｷﾝ MMdf-7Pe6) mailto:sage [2024/01/12(金) 09:51:15.81 ID:Vmsz+UsIM.net] いやいや、ちゃんとデバッグしろよ こんなやつとは絶対一緒に仕事したくない 150 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 5f4e-1VUN) [2024/01/12(金) 09:58:11.40 ID:yLdIK4jH0.net] ライブラリ書くときはライブラリで対処できない例外は握り潰さずに上位で伝搬させろ！と言われてるよね アプリも同じだと思う 明確に対処すべきことがあるなら例外をキャッチすればいいし ないならそのままプロセス落としてOSに任せればいいんでない？ 151 名前：デフォルトの名無しさん mailto:sage [2024/01/12(金) 10:01:16.79 ID:1nCpSyqU0.net] 投げられっぱなしにするって言い方が不適切だったかな、別に例外のせいでプログラムが実際に異常終了するのを見ても知らんぷりするって意味じゃないよ 実際にプログラムが異常終了したんだったらその都度原因は突き止めて修正するし、そもそもすべての例外に網羅的に対処するのが現実的なときは最初からそうするよ 152 名前：デフォルトの名無しさん mailto:sage [2024/01/12(金) 10:06:03.47 ID:Umd8uX9b0.net] try {} catch {} 153 名前：はちみつ餃子 mailto:sage [2024/01/12(金) 17:12:14.63 ID:Z8/dVhwe0.net] 想定される状況には対処しているならどこで想定漏れがあるかはやってみないとわからない。 経験を蓄積し続けるしかしょうがないんだよな。 蓄積がテストケースの形などになっているとより良いと思う。 154 名前：デフォルトの名無しさん mailto:sage [2024/01/12(金) 17:26:50.90 ID:059LeD4FM.net] 自分の知らないライブラリの奥底からいつ投げられるかわからない例外なんて対処しようがない かつスタックアンワインドしたらデバッグの手がかり消えるだけ 155 名前：デフォルトの名無しさん (ﾌﾞｰｲﾓ MM9f-2j6O) mailto:sage [2024/01/12(金) 17:44:35.30 ID:bUlwQWI8M.net] setjump()/longjump() 156 名前：デフォルトの名無しさん mailto:sage [2024/01/13(土) 13:54:58.62 ID:rNqWj2dY0.net] やっぱC++の例外は悪…… 構造化例外ならwindbgでコアダンプを開いて!analyze -vで発生源を調べられる（仕組みは知らん がC++の例外は例外オブジェクトが持ち出した情報が全て…… という印象…… 157 名前：デフォルトの名無しさん mailto:sage [2024/01/13(土) 14:10:21.49 ID:rNqWj2dY0.net] やっぱ例外というﾌﾞﾂは、 アプリケーション領域においてプログラミがいろんなリソースを取り扱うようになった結果、 C言語流に関数の戻り値で起こり得る全てのエラーを網羅してチェックする方法が 現実的でなくなってきたから設けられたﾌﾞﾂなので >自分の知らないライブラリの奥底からいつ投げられるかわからない例外(>>154 すなわち設計に対して想定外の事象が起きた知らせとしてが飛んでくるというのが基本的かつ本来的な姿 起こりえる全ての例外の処置を書かなければ設計とは言えない主義の人(>>149)は 寧ろ例外の使用をやめてC言語的な書き方で全てのエラーをチェックすべき （他人様が作ったライブラリが例外を飛ばしてくるのは仕方が無いから全てcatchする 158 名前：デフォルトの名無しさん mailto:sage [2024/01/13(土) 14:15:12.02 ID:rNqWj2dY0.net] つなみにOSの内部ではすべてのリソースをOSが管理する前提なので例外の出る幕は無い OSの設計に対して想定外の事象がOS内部で起きるとかあり得ないじゃない レトロな（しかしメジャーな）OSがC++ではなくC言語で書かれ続けるのはそういう理由 159 名前：はちみつ餃子 mailto:sage [2024/01/13(土) 14:21:37.75 ID:3bve4IFf0.net] 何が返ってくるかわからん (ドキュメント化されていない) なら返却値の形になっていても正しく対処できないのは同じだろ。 160 名前：デフォルトの名無しさん mailto:sage [2024/01/13(土) 14:37:35.65 ID:b/trpwza0.net] 例外だとテストしないドキュメントにも書かないというモラルハザードがおきやすいとは言えるだろう 返り値はエラー体系を自分で定義しないといかんからそうはなりにくい まぁそれでも失敗を安易にfalseに丸めるどアホは多いけど 161 名前：デフォルトの名無しさん mailto:sage [2024/01/13(土) 15:22:27.34 ID:o+zGF69d0.net] >>157 >すなわち設計に対して想定外の事象が起きた知らせとしてが飛んでくるというのが基本的かつ本来的な姿 それ一般にはリリース後に起きちゃいけないことでは。プロダクトにもよるが防ぐ努力は必要だと思うがね。 162 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 7291-Qz6p) mailto:sage [2024/01/14(日) 13:01:30.73 ID:H7tsxQrq0.net] >>138 全選択肢を同時に選ぶって意味に捉えられちゃったかな？ そうじゃなくて、その選択肢自体が同時に適用すべきレベルのものじゃないと思うの 例外をキャッチするって決めたなら、そこには目的があるよね？ 設計手順としては目的を決めてから例外を使おうって判断になるわけ その目的次第だよね？っていうのがD 目的がリソースリーク防止ならA Aのような目的を達成するために、目的範囲内でB デバッグ目的ならC 製品等で客の目に見せたくないなどの営業目的があるならCはダメで、のべつまくなしBというのもあるかもしれない 163 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 7291-Qz6p) mailto:sage [2024/01/14(日) 13:06:09.91 ID:H7tsxQrq0.net] 大きな目で全工程トータルを考えると全部の選択肢を適用する必要があるし、適用のしどころが違うと思うってのが>>136の真意でした 164 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 7291-Qz6p) mailto:sage [2024/01/14(日) 13:12:37.16 ID:H7tsxQrq0.net] >>148 これが正しいかどうかはおいといて、人命に関わらないなら、自分はその考え方に賛成！ 完璧にデバッグしろというのは自動車と医療機器など人命にかかわるものだね 重要度に応じて工数のかけ方が変わってくるので、すべてのソフトウエアで一概にこうしなさいとは言えないかな そういう意味ではD 165 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 4d34-7Ntv) mailto:sage [2024/01/14(日) 15:16:56.65 ID:by9QQMRz0.net] >>162 ああ、なるほどね 分かりやすくありがとう、助かりました 166 名前：デフォルトの名無しさん mailto:sage [2024/01/15(月) 08:10:14.00 ID:Y8oMeLNI0.net] 人命にかかわらない場合であっても、末端の関数が投げる例外の種類を見落としただけでプログラム全体が いきなり落ちるのは勘弁してほしいし、それを防ぐために全部の関数が投げる例外の種類を全部把握するというのも 無理ゲーに近い。 なので適当なレイヤーごとにざっくり std::exception をキャッチする造りにしてるな。例外の種類で選択したりはしない。 167 名前：デフォルトの名無しさん (ﾌﾞｰｲﾓ MM22-7+/r) mailto:sage [2024/01/15(月) 11:54:06.38 ID:0QYW1wwzM.net] キャッチしてその後どうすんの？ 168 名前：デフォルトの名無しさん mailto:sage [2024/01/15(月) 18:12:26.71 ID:FtZTeDOW0.net] 何するか思い付かないならPG辞めろ 貴様には向いてない 169 名前：デフォルトの名無しさん mailto:sage [2024/01/15(月) 18:20:04.00 ID:Y8oMeLNI0.net] >>167 そのtryブロックの処理が失敗したものとして処理を続ける。 170 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 46ea-7+/r) mailto:sage [2024/01/15(月) 18:42:14.36 ID:Lgn9c/GO0.net] テストケース爆増じゃん 171 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 6ecf-CdjJ) mailto:sage [2024/01/15(月) 19:20:39.72 ID:Y8oMeLNI0.net] なんで爆増？ 172 名前：デフォルトの名無しさん mailto:sage [2024/01/15(月) 20:40:13.04 ID:Lgn9c/GO0.net] その失敗する処理の具体例言ってみて 173 名前：デフォルトの名無しさん mailto:sage [2024/01/15(月) 22:10:56.13 ID:Y8oMeLNI0.net] んでテストケース爆増の話は？処理の具体例次第で話が変わったりするとか？ 174 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 46ea-7+/r) mailto:sage [2024/01/15(月) 22:45:20.95 ID:Lgn9c/GO0.net] 依存関係のあるものに影響あるのは当たり前 原因不明の例外起こっても突き進むんだったら擬似的にそのケース作ってテストするわな普通は 出し渋るなら別にださなくていいよ 参考にならなさそうだし 175 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 6ecf-CdjJ) mailto:sage [2024/01/15(月) 23:24:57.00 ID:Y8oMeLNI0.net] それはいったい何のテストなんだろう。原因不明の例外を首尾よくキャッチできるかどうかテストしろと言っているんだろうか。 そもそもそういう例外を想定するなら、スルーして影響範囲が広がる方がテストは厄介になると思うがなあ。 176 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 11fb-5Qxc) [2024/01/15(月) 23:36:35.23 ID:rchiNbsm0.net] たとえば業務用のラベルプリンターでAPIが提供されてるとか とりあえず try ～ catch して「印刷中に不明なエラーが発生しました」みたいなまとめかたはあるかなー 177 名前：デフォルトの名無しさん [2024/01/23(火) 17:00:13.54 ID:kD0da0AW0.net] すみません。質問させて下さい。次のコードがMinGW-w64 g++ v13.2では --itrでエラーになります。わからないのはVisual studio 2022およびVisual StudioがサポートするClang LLVMでは通って正しく 実行しているように見えます。--itrの仕様がないのはMinGW-w64 g++v13.2が正しいのでしょうか？それともVisual Studioが正しいのでしょうか？ #include <iostream> #include <unordered_set> using namespace std; int main() { unordered_set<int> us = { 1,2,3,4,5,6 }; for(auto itr = begin(us); itr != end(us); ++itr) cout << *itr << endl; auto itr = us.begin(); ++itr; ++itr; cout << *itr << endl; --itr; cout << *itr << endl; cin.get(); return 0; } MinGW-w64 g++ v13.2のエラー // error: no match for 'operator--' (operand type is 'std::__detail::_Node_iterator<int, true, false>') 178 名前：はちみつ餃子 mailto:sage [2024/01/23(火) 17:23:45.88 ID:MIeJSKFF0.net] >>177 unordered_set は forward iterator をサポートしているという規定がある。 https://timsong-cpp.github.io/cppwp/n3337/unord.set.overview#1 forward iterator は進めることは出来ても戻ることはできない。 この場合は operator-- がないのが正しい。 拡張してより高機能なライブラリを提供しても仕様に反するってわけではないけど マイクロソフトのドキュメントでも特に拡張しているという文面は見当たらないから あんまりあてにしないほうが良さそうには思う。 https://learn.microsoft.com/en-us/cpp/standard-library/unordered-set-class?view=msvc-170#iterator 179 名前：デフォルトの名無しさん [2024/01/23(火) 17:34:44.31 ID:kD0da0AW0.net] おお、ありがとうございます。 180 名前：デフォルトの名無しさん mailto:sage [2024/01/28(日) 11:36:45.25 ID:W0uCnQb30.net] >>173 横やが関数foo()で1つの例外が発生したらその時点のfoo()呼び出しに至る10個かそこらの関数が中断されるわけや すなわち関数bar()が 　　処理A→B→C→D→return の順で処理が進むことを気体しているところに、Bで呼び出している関数baz()がfoo()を呼び出している結果、foo()で例外を生じると 　　処理A→B→return という処理順に変更になる。こうなっても大丈夫なようにtry { 処理B } catch ((fooが投げる例外)& e) { (eに対する適切な処置) } を書かねばならず、 これが実は潜在的には処理A、B、C、Dのどこでも起き得るから厳密なことを言えば全てについて書かねばならず、 それがfoo()呼び出しに至る10個かそこらの関数それぞれについて行われねばならない。 検証もそんだけ組み合わせが増える。 181 名前：デフォルトの名無しさん mailto:sage [2024/01/28(日) 11:40:58.52 ID:W0uCnQb30.net] というわけでそんなの現実には不可能なので、現実的な処置としては ・ライブラリ製作者はなんか都合が悪い事が起きたら何でも呼び出し元に返す。 　第1選択としてはエラーステータスを返すことを検討し、それではコードが煩雑になりすぎる場合は例外を投げて異常を知らせる ・ライブラリを使う人はライブラリが例外を投げない条件で使うことを心掛け、自前のコード内でtry { } catch() { }を極力しない という処置になるわ けや 182 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 66cf-5eDQ) mailto:sage [2024/01/28(日) 12:02:32.93 ID:Gsm093HM0.net] catchしようがしまいが、例外が起きて 処理A→B→return となるのは同じだと思うが。 その場合の検証が必要だというならどっちも必要だろ。 183 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 6d63-H5uA) mailto:sage [2024/01/28(日) 12:13:11.85 ID:W0uCnQb30.net] >>182 >catchしようがしまいが、例外が起きて 処理A→B→return となるのは同じだと思うが。 それは問題の認識がおかいし 例えば以下のコードにおいて、スレッドのゾンビを生じさせないためにはfuncB()をtry { } catch () { } は必須になる。 　void bar() { 　　funcA();　　// スレッドxを起動 　　funcB();　　// 中でbaz() → foo()の呼び出し 　　funcC();　　// スレッドxに停止シグナル発酵 　　funcD();　　// スレッドxの終了待ち 　　return; } このように一般に例外が飛んでくる関数にはcatchするかしないかの選択権など無い 例外安全なオブジェクト「だけ」で事が済んでいない限り、例外を受けると決めた時点でcatchせねばならない 一方、例外を生じないライブラリの使い方（関数の呼び出し方）を心掛けるかどうか。これなら選択肢がある 184 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 6d63-H5uA) mailto:sage [2024/01/28(日) 12:14:54.75 ID:W0uCnQb30.net] 訂正orz 誤：例外安全なオブジェクト「だけ」で事が済んでいない限り、例外を受けると決めた時点でcatchせねばならない 正：例外安全なオブジェクト「だけ」で事が済んでいない限り、例外が飛んでくる想定であるならばcatchせねばならない 185 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 797c-+np5) mailto:sage [2024/01/28(日) 12:19:26.10 ID:/bXkl1Cz0.net] >>183 それはfuncB()に失敗の可能性がある時に必ず必要な話だろ？例外どうこうじゃないじゃん funcB()が例外を投げずに古き良きintのエラーコードを戻り値で返す場合は何かが変わるの？ まさか「funcBの戻り値をガン無視すればfuncCもfuncDも実行されてくれるから完璧！だから例外はクソ！」っていうゴミカスみたいな主張をしたいわけじゃないよね？ 186 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 66cf-5eDQ) mailto:sage [2024/01/28(日) 12:28:00.13 ID:Gsm093HM0.net] >>183 それはcatchが必要かどうかの話だろ。 catchしたらテストケースが増えるかどうかという話とはなんも関係がない。 187 名前：デフォルトの名無しさん mailto:sage [2024/01/28(日) 15:40:48.23 ID:JnoCOYDS0.net] そもそも未知の例外飛んできた時点でそれを通したライブラリの例外安全性が守られてるか怪しいと考えるべき 188 名前：デフォルトの名無しさん mailto:sage [2024/01/28(日) 17:01:39.99 ID:Gsm093HM0.net] 例外安全性を守るのに例外の種類やそれが既知か未知かは関係ないだろうが、 仕様に明記した例外以外は堰き止めるのが正解だろうなあ。 189 名前：◆QZaw55cn4c (ﾜｯﾁｮｲ 3583-LgJ8) [2024/01/28(日) 20:27:29.75 ID:0TnCAHFI0.net] 思い立って結城さんのデザパタ(古いjava で記述）を総称型（テンプレート）もちゃんと使ってC++ に書き直しているけれども、 new/delete からptr::shared_ptr に書きなおすと、もう構造がわかりにくくなってしまってどうしようもない デザパタ＝抽象クラスプログラミングは C++ ではオワコンなの？ Visitor パターン new/delete: https://ideone.com/6d43LO スッキリ書けてきもちいい std::shared_ptr: https://ideone.com/oYzkxh 恐ろしい宣言の連発 >std::shared_ptr<Iterator<std::shared_ptr<Entry>>> iterator() { return std::make_shared<VectorIterator<std::shared_ptr<Entry>>>(v); } なんかもう書いてても意味不明 CONSTRUCTOR(CONSTRUCTOR *p) とかコピコン以外にもみたことのないコンストラクタが要求されるし 190 名前：はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 2a3e-vdg+) mailto:sage [2024/01/28(日) 20:53:25.29 ID:hRRbWEE/0.net] >>189 スマートポインタを使わないバージョンも C++ 的にはすっきりしてない。 動的多態の必要が必要ないのに持つべきメンバ関数を強制するためだけに抽象クラスを使っていて不恰好に見える。 コンセプトの導入がだいぶん後回しになった C++ の問題でもあるんだが……。 設計理念が妥当かどうかはともかくとして、元が Java なら直訳めいた C++ への置き換えがすっきりと書けるはずがない。 191 名前：はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 2a3e-vdg+) mailto:sage [2024/01/28(日) 21:08:52.58 ID:hRRbWEE/0.net] ざっと見た感じだと抽象クラスとして必要なのは Entry だけかな。 ジェネリックラムダが visitor パターンで使いやすいのでそういうのが使いやすいように配慮するといいかも。 std::visit が C++ での visitor パターンのお手本だよ。 192 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ b501-PlwZ) mailto:sage [2024/01/28(日) 22:46:18.85 ID:VLKT1lFt0.net] >>189 usingなりtypedefでエイリアス作れば? using Entry_Ptr = std::shared_ptr<Entry>; 193 名前：デフォルトの名無しさん (JP 0Hbd-DQL8) [2024/01/28(日) 23:17:29.01 ID:wkb3ctO/H.net] 面白そうだからちょっと書いてみた。大きな変更点はこんな感じ。 ・accept が受け取るのは単に Visitor の参照でいい。ここで shared_ptr を使う必要はない。 ・Visitor が受け取るのも File や Directory の参照でいい。 ・SizeVisitor もいらない。File と Directory はともに Entry の子クラスとして getSize() を実装してるんだから、無理に visitor パターンを使わなくても単に getSize() を呼べばいいだけ。 ・iterator() が返すのも VectorIterator の shared_ptr ではなく、単に VectorIterator を返せばいい。 全体的に使う必要がない場面で shared_ptr を使ってるのが目立ったと思う。 https://wandbox.org/permlink/ZBKbF5iMVpb7Looi だいぶすっきりしたんじゃない？ 194 名前：はちみつ餃子 mailto:sage [2024/01/28(日) 23:52:27.85 ID:hRRbWEE/0.net] なんかもうポインタをいじるのが面倒になったので値としてやりとりしていいやという気持ちと 標準ライブラリを積極的に活用することにしたらこうなった。 https://wandbox.org/permlink/BQCNjfdJRKWAR3dg 195 名前： [2024/01/29(月) 04:35:04.36 ID:M6sadnnj0.net] >>193 拝読させていただきました。なるほど、関係性を示すポインタ＝参照なら std::shared_ptr でくるむ必要ガない、というわけですか。 >>194 拝読させていただきました。Entry を値で持つのはいやだなあ。　dectype の使い方を学ばせていただきました。 196 名前： [2024/01/29(月) 05:00:34.95 ID:M6sadnnj0.net] >>194 std::size_t() あたりから読めていません。operator() をどう使っているのでしょうか？ 197 名前：はちみつ餃子 mailto:sage [2024/01/29(月) 12:08:36.13 ID:WXyC0nMC0.net] スマートポインタを使うにしても std::shared_ptr って必要？ この場合は std::unique_ptr でよくない？ https://wandbox.org/permlink/dMolraFpQHKzYtF3 設計思想によるけどファイルシステムを表現するという前提だと ひとつのルートディレクトリに連なる全てのエントリは実質的に一体のデータ構造なので ルートディレクトリエントリの寿命が尽きれば全て解体ってことにしたほうが簡単でいいと思う。 ハードリンクの表現とかも考えるなら事情が変わってくることもあるだろうけど……。 198 名前：デフォルトの名無しさん mailto:sage [2024/01/29(月) 21:21:12.23 ID:eAAuxXw40.net] >>189 c++ https://ideone.com/p3li2Y ・https://ideone.com/oYzkxh を元に若干の整理を行った ・他の人と同様shared_ptrを削除 　値で持てるところは単に値で持つほうがC++っぽいと思う 　ただ「Entry を値で持つのはいやだなあ」とのことなので部分的に残してる 　Javaの参照型変数をshared_ptrに置き換えようとして困るのは 　size_t File::accept(std::shared_ptr<Visitor> v) { return v->visit(std::make_shared<File>(this)); } 　ここがJavaだと単にvisit(this)で済むからスッキリするんだけど 　しかもこれmake_shared(this)だと多重開放するよね？？ >>189 c++ https://ideone.com/2uUpwH ・https://ideone.com/p3li2Y を元に若干の整理を行った ・make_shared<File>(this)の多重開放？を修正 　std::enable_shared_from_thisを使ってJavaの参照型変数っぽい使用感を得た。 ・struct this_is_private {}; 　これは単にコンストラクタを実質的にprivateにするためだけに使ってる 　https://en.cppreference.com/w/cpp/memory/enable_shared_from_this 　https://stackoverflow.com/questions/8147027/how-do-i-call-stdmake-shared-on-a-class-with-only-protected-or-private-const 　このへん参照されたし 199 名前：デフォルトの名無しさん (JP 0Hbd-IHfd) [2024/02/03(土) 04:38:02.47 ID:bq1KvR69H.net] https://wandbox.org/permlink/LEl2MT7OdGIlVKC4 なんか「子クラスのコンストラクタに親クラスのオブジェクトを渡して子クラスのメンバを初期化する」（？）みたいなことができちゃってるんだけど、これってどういう仕様でこうなってんの？ Wandbox上だとC++2aではコンパイルできてC++17ではコンパイルできなかったからcpprefjpのC++20の機能の一覧も見てみたけどそれらしいものはなかったし 200 名前：はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-MxBP) mailto:sage [2024/02/03(土) 09:26:19.03 ID:Sz70frqK0.net] >>199 designated initializer も C++20 からの機能なんだけど……それは脇に置く。 この場合は集成体初期化に該当する。 C++17 から基底の初期化も集成体初期化で扱えるので child c{p}; というように初期化出来ていた。 更に C++20 では集成体初期化を丸括弧で書いても良いことになったので child c(p); とすることが許されるようになった。 201 名前：◆QZaw55cn4c (ﾜｯﾁｮｲ 3555-LgJ8) mailto:nb3f-ktu@asahi-net.or.jp [2024/02/03(土) 09:46:38.23 ID:21sfApha0.net] >>198 >size_t File::accept(std::shared_ptr<Visitor> v) { return v->visit(std::make_shared<File>(this)); } >　ここがJavaだと単にvisit(this)で済むからスッキリするんだけど >　しかもこれmake_shared(this)だと多重開放するよね？？ 多重解放（二重解放）しないことはラッパをかませて確認済みです。そう簡単に std::shared_ptr は破綻しないと信じています https://ideone.com/GUPcSu それはともかく、皆様のご意見には感謝しております。これからもお伺いさせていただいた際にはよろしくお願いいたします。 202 名前：デフォルトの名無しさん (JP 0Hbd-IHfd) [2024/02/03(土) 09:48:07.39 ID:bq1KvR69H.net] >>200 https://cpprefjp.github.io/lang/cpp17/extension_to_aggregate_initialization.html これかあ 実は「childにコンストラクタがある場合」とか「childにprivateメンバがある場合」とか「childがparentをprivate継承している場合」とかはコンパイルが通らなくてもう意味が解らなかったんだけど、それもchildが集成体じゃなくなってたからだったんだね ありがとう、勉強になった 203 名前：◆QZaw55cn4c (ﾜｯﾁｮｲ 3555-LgJ8) [2024/02/03(土) 10:15:36.86 ID:21sfApha0.net] >>198 ＞値で持てるところは単に値で持つほうがC++っぽいと思う 時代の流れを感じさせるお言葉です。なにせ K&R1 で育った世代なので（K&R1 では構造体の実体渡しはできず、かならずポインタで渡さなければならなかった）。 C++ においても、コピコンを働かせないために const & を多用する毎日です 204 名前：はちみつ餃子 mailto:sage [2024/02/03(土) 14:49:57.28 ID:Sz70frqK0.net] >>203 内部的に値で持つのでもポインタで持つのでもいいけど 「簡単に値として取り出せる」のはあまりよろしくないと思う。 これ (>>189) がおそらくファイルシステムを表現しようとするもの だという前提を考えたらオブジェクトの構造も ファイルシステムのモデルを抽象するものであるべきだと思うから。 ファイルはそれがある場所にも意味があるからファイルを象徴するオブジェクトが 場所から離れてやりとりされるのは違和感がある。 まあファイルシステムのモデルをどう捉えるかは私の感想でしかないから 何が妥当とは強くは主張しないけど、 いずれにしても実装上の都合じゃなくて使う側の感覚でどうなってて欲しいかという視点が要ると思う。 205 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ f7da-tydm) mailto:sage [2024/02/04(日) 11:53:17.97 ID:nmDLw2WS0.net] はちみつさん頭いいね アドバイスが丁寧かつ的確でいつも感心する 206 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 5702-VoFb) [2024/02/05(月) 20:47:16.57 ID:dvRwXcQL0.net] ある構造体(集成体)Aについてconstexprでa1, a2, a3・・・といくつか作りました 別のクラスBのメンバ変数にconst A* m_ptrAがあってconstexprで作ったインスタンスのどれかを指すことにします この時Bのメンバ関数などで、 if(m_ptrA== &a1) という比較・条件分岐を行うのは意味のある比較になっているのでしょうか？ 207 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ bfe1-tai3) mailto:sage [2024/02/05(月) 21:20:14.92 ID:crhbGtf+0.net] 意味はある でもなるべくそういう判定は無しでいけるように設計したいところだよな Aクラスを作ってる意義が薄れる あと細かいこと言えばaddressofを使ったほうが汎用的というのはある c++のクソっぷりが如実に表れている関数 208 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 5702-VoFb) mailto:sage [2024/02/06(火) 11:08:08.32 ID:KJUqS3Ww0.net] ありがとうございました 本当に列挙型代わりに使えるのなら面白いとも思いましたが まあ変なコードには間違いないですね 209 名前：はちみつ餃子 mailto:sage [2024/02/06(火) 12:11:55.01 ID:gR/xoQQt0.net] 分岐の内容次第ではあるけど……Bが指しているAのオブジェクトごとに処理を切り替えるってのなら a1, a2, a3 …… がそれぞれ関数 (関数オブジェクト) を指す (所有する) ようにするのが常道ではあるね。 Bのメンバ関数の中では呼び出しを一文書くだけでいい。 分岐条件を網羅しそこなうしょうもないミスはよくあることだから 手作業での網羅を避けられるならそのほうがいい。 210 名前：デフォルトの名無しさん mailto:sage [2024/02/06(火) 20:42:09.19 ID:WnlTLfV5M.net] 「The C Standard says that array indexes are (signed) integers. The reason behind that is that pointers and arrays are close in C. For example, tab[index] is strictly equivalent to *(tab + index). You can use pointer arithmetic with negative values, hence an array index can be negative」 とあるので、C 言語での配列添え字は符号付き整数 ですね。 しかし、C++ では、size_t とされ、符合なし整数 のようですが、矛盾しませんか？ VC++の以下のマクロでは、 #define C_ASSERT(e) typedef char __C_ASSERT__[(e)?1:-1] eが偽の時にエラーになるようになっているようです。 これはつまり、 typedef char aaa[-1]; がエラーになる事を前提にしているようです。 しかし、もし、配列の最大要素数が、符合なし整数 であるならば、32BIT 環境の場合、 -1 は、0xffff_ffff と同じと言えば同じであるはずで、 コンパイラ内部で効率よく区別するのは難しいはずです。 どうしてるんでしょう。 211 名前：デフォルトの名無しさん mailto:sage [2024/02/06(火) 20:47:53.26 ID:WnlTLfV5M.net] 何がいいたいかと言えば、32BIT環境だと 符号付き整数の最大値は、 0x7fff_ffff ですから、 char a[0x7fff_ffff]; は合法ですが、 char a[0xffff_ffff]; はエラーです。よって、 char a[-1]; はコンパイラは難しい処理をしなくても、 -1 は内部表現が 0xffff_ffff ですので そもそも範囲外の数値と見なせます。 ところが、もし、配列最大数が unsigned の領域まで許されるならば、要素数が 0xffff_ffff の配列も合法だということに なります。 ならば、要素数の[] の中に-1 を指定した 場合の処理は難しくなりそうだ、ということです。 なおそもそも、32BIT の Windows 環境 だと、ユーザーが使えるアドレス空間は 最大で 0x7fff_ffff 程度までですから、 バイト数的に確保は出来ませんが。 ならば、そもそも、C++がunsigned 型 であるところの、size_t を採用しているもの なかなか不可思議であります。 212 名前：デフォルトの名無しさん mailto:sage [2024/02/06(火) 21:10:01.10 ID:cxCkHHUF0.net] 長いからよく読んでないけどコンパイラは型を認識をしてんだから-1と0xFFFFFFFFは区別してるだろ 213 名前：デフォルトの名無しさん mailto:sage [2024/02/06(火) 21:25:24.39 ID:82wR+tAN0.net] call -151 214 名前：デフォルトの名無しさん mailto:sage [2024/02/06(火) 22:29:48.57 ID:SZ6XHr3I0.net] C++の配列添字はstd::ptrdiff_t（符号付き）です 215 名前：デフォルトの名無しさん [2024/02/06(火) 22:36:10.13 ID:pbGHBGq1H.net] 配列を宣言するときの構文と添字演算子を使うときの構文を混同してない？前者はブラケットの中身が正じゃなきゃだめで後者は負でもいいってだけの話だと思うんだけど int main() { int hoge[-1]; // ここで負の値を指定することはできない hoge[-1]; // でもこれはいい (*((hoge)+(-1)) と解釈される) } せっかくだからC++23の仕様書も見てみたけど、§9.3.4.5の1には「配列のサイズはstd::size_t型（に変換された）定数式で、その値は0より大きくなければならない」って書いてあって、§7.6.1.2の2には添字は「スコープ無し列挙型か整数型」て書いてあったよ（該当箇所だけつまみ読みしたから正しく読めてる保証はできないけど） 216 名前：はちみつ餃子 mailto:sage [2024/02/07(水) 01:09:12.04 ID:kuiQPbhX0.net] >>210 C の配列宣言子の角括弧内に書ける数値は 0 より大きい値に評価される整数定数式であることが条件で、具体的な型に規定はない。 式の型がなんらかの具体的な型に強制 (型変換) されたりはしないので signed int なら signed int だし、 unsigned int なら unsigned int のままだ。 VLA のときは定数式という条件は外れるけどそれ以外の制限はだいたい同じ。 C の添字演算子の場合もそう。 型は整数であればよい。 (値は制限の範囲内である必要はある。) どこで見た説明を根拠にしているのか知らんけど、その signed が括弧書きなのは signed 「でもよい」という意味だと思うよ。 217 名前：デフォルトの名無しさん mailto:sage [2024/02/07(水) 12:42:17.44 ID:7NJYw5ei0.net] std::functionって、有効な関数がセットがされているかどうかでブール値を返しますが、 一旦有効化した後にこれを無効化したい場合って、nullptrを代入したりしていいんでしょうか そしてその場合std::functionの中身はうまいこと解放されたりするんでしょうか 場合によってはラムダ式を使ってオブジェクトをキャプチャしていたりして あまりその辺りの説明が見当たらない感じがしました 218 名前：デフォルトの名無しさん mailto:sage [2024/02/07(水) 12:56:29.41 ID:0txhPX/d0.net] それでいいよ 219 名前：はちみつ餃子 mailto:sage [2024/02/07(水) 13:12:18.32 ID:kuiQPbhX0.net] >>217 https://timsong-cpp.github.io/cppwp/n3337/func.wrap.func.con#15 220 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ bf9a-Ehcu) mailto:sage [2024/02/07(水) 14:19:19.97 ID:7NJYw5ei0.net] >>218 ありがとうございます! 221 名前：デフォルトの名無しさん mailto:sage [2024/02/07(水) 18:20:13.87 ID:aGYGzZDDM.net] >>212 >長いからよく読んでないけどコンパイラは型 >を認識をしてんだから-1と0xFFFFFFFFは >区別してるだろ char a[100-101]; みたいに結果的に -1 になった場合は、 32BITコンパイラの場合、果たして内部で 0xffff_ffff と区別をつけているかどうか。 unsigned型と考えれば0xffff_ffffであり、 signed型と考えれば -1 です。 ターゲットが 32BIT Windows どちらもエラー になる可能性は高いですが、理由は結構異なる と言えば異なると思います。 222 名前：デフォルトの名無しさん mailto:sage [2024/02/07(水) 18:25:16.10 ID:aGYGzZDDM.net] もっと言えば、32BIT ターゲットで、 char a[0x80000000 | 1]; みたいな場合、中味は signed と 捉えれば「負数」ですが、unisgned と 捉えれば、0x80000001 という大きな値 に過ぎません。 どちらもエラーになる可能性が高いですが。 223 名前：デフォルトの名無しさん mailto:sage [2024/02/07(水) 18:40:38.44 ID:0txhPX/d0.net] リテラルにも型がある 1はint 0x80000000はunsigned int 演算結果はunsigned int ルール決まってるから 224 名前：デフォルトの名無しさん mailto:sage [2024/02/07(水) 18:55:38.23 ID:V2I2BIn30.net] x86のアセンブラのディスプレースメントは符号付いてるけどな 他のマシン系はワカランけど 225 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ bfa4-syIJ) mailto:sage [2024/02/07(水) 20:52:20.31 ID:L6yrYnPT0.net] >>222 32bit環境には64bit整数はないと思ってるの？？ 226 名前：デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMeb-tjaG) mailto:sage [2024/02/08(木) 18:55:38.81 ID:DVUqgRU9M.net] >>223 なるほど。そうなるわけですね。 本当に書いた人の意図がどうかに関わらず、 規則で決まっていると。 1UL のように書いてあれば unsigned。 そして、UL のようなものを書いてない場合、 1 のように小さな値は、signed ですが、signed の 範囲を越えるようなものは、unsigned になる、 などの規則があるわけですね。 227 名前：デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MMeb-tjaG) mailto:sage [2024/02/08(木) 18:56:00.93 ID:DVUqgRU9M.net] >>225 そういう問題ではないようですが。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef