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 56 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 1fcc-mzjy) mailto:sage [2023/11/13(月) 00:27:59.42 ID:G429czY+0.net] Tiktok LiteでPayPayやAmazonギフトなどに交換可能な4000円分のポイントをプレゼント中！ ※既存Tiktokユーザーの方はTiktokアプリからログアウトしてアンインストールすればできる可能性があります。 1.SIMの入ったスマホ・タブレットを用意する 2.以下のTiktok Liteのサイトからアプリをダウンロード（ダウンロードだけでまだ起動しない） https://lite.tiktok.com/t/ZSNfGY43n/ 3.ダウンロード完了後、もう一度上記アドレスのリンクからｱﾌﾟﾘへ 4.アプリ内でTiktokで使用してない電話番号かメールアドレスから登禄 5.10日間連続チェックインで合計で4000円分のﾎﾟｲﾝﾄゲット ポイントはPayPayやAmazonギフト券に交換可能！ 家族・友人に紹介したり通常タスクをこなせば更にポイントを追加でゲットできます。 57 名前：デフォルトの名無しさん mailto:sage [2023/11/13(月) 02:33:43.38 ID:eLF59GiN0.net] >>56 案内サンクス 58 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 1f01-XI6K) [2023/11/14(火) 02:19:13.60 ID:DkCdWP9x0.net] CLion使ってる人いますか？ 59 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 1fad-XI6K) [2023/11/17(金) 17:16:02.48 ID:TT3SJP5h0.net] 日本人の死亡者が増えてるのに、メディアは報道規制 https://kizuna.5ch.net/test/read.cgi/cafe50/1699777256/l50 sssp://o.5ch.net/224t1.png 60 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 6ecf-ekUX) mailto:sage [2023/11/18(土) 16:16:09.27 ID:5MckQHFy0.net] ラムダの参照キャプチャってconst参照に指定できないんだっけ？微妙に不便だな。 61 名前：デフォルトの名無しさん mailto:sage [2023/11/18(土) 20:47:45.62 ID:GRi2RJZB0.net] >>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; } 62 名前：デフォルトの名無しさん [2023/11/26(日) 06:27:21.37 ID:DSb557XU0.net] C++20 RangesはMicrosoftの説明がわかりやすかった 63 名前：デフォルトの名無しさん mailto:sage [2023/12/05(火) 10:33:06.64 ID:HLoKrA0o0.net] ふと今更思ったんだけど ポインターpに対して演算子*が返す*pは、 値じゃなくて参照？ 64 名前：デフォルトの名無しさん mailto:sage [2023/12/05(火) 11:05:15.15 ID:E3GJtsiR0.net] #include <type_traits> #include <iostream> using namespace std; int main () { int value {0}; int *p {&value}; cout << is_reference <int>::value << '\n'; cout << is_reference <int &>::value << '\n'; cout << is_reference <decltype (value)>::value << '\n'; cout << is_reference <decltype (*p)>::value << '\n'; return 0; } 65 名前：デフォルトの名無しさん [2023/12/05(火) 11:09:19.91 ID:IVr4NrBA0.net] >>63 参照ってのが何を意味しているか分からんが 普通はポインターの示す場所の内容だ 66 名前：はちみつ餃子 mailto:sage [2023/12/05(火) 11:22:18.93 ID:z5PiblaY0.net] >>63 ポインター p に対して *p とした場合の型は参照ではない。 たぶん >>64 は *p が参照と言いたいつもりで書いているんだと思うけど decltype に与えられる式の型が T 型の lvalue だった場合には T& が返されるルールなので その式が参照でなくても参照が返されることがある。 67 名前：はちみつ餃子 mailto:sage [2023/12/05(火) 11:24:42.01 ID:z5PiblaY0.net] あ、ごめん。 完全に間違った説明してたわ。 忘れて……。 恥ずかしい。 68 名前：はちみつ餃子 mailto:sage [2023/12/05(火) 11:34:00.06 ID:z5PiblaY0.net] と思ってよく仕様を読んでみたらやっぱりこの (>>66) 考え方で正しいはず。 式が識別子式の時に限っては decltype は参照にならず式の型そのままで返すせいで decltype(value) は参照にならないが、 value と *p は型システム的にも値カテゴリ的にも同じだわ。 69 名前：デフォルトの名無しさん mailto:sage [2023/12/05(火) 12:43:28.97 ID:E3GJtsiR0.net] >>68 なるほどー! 横からだが勉強になった 70 名前：デフォルトの名無しさん mailto:sage [2023/12/05(火) 12:48:03.77 ID:E3GJtsiR0.net] 巷のスマートポインタはoperator*で参照型を返すので 生ポインタも同じかと思ってたよ 71 名前：はちみつ餃子 mailto:sage [2023/12/05(火) 13:28:25.92 ID:z5PiblaY0.net] 互換性の都合とかがあるから仕方ないね。 場合分けが大量にあって単純な一般原則の組み合わせにはなってないから仕様を読み解くのがしんどい…… 72 名前：デフォルトの名無しさん mailto:sage [2023/12/11(月) 15:17:51.77 ID:7vxydTfj0.net] ある構造体Aがあります Aの比較関数が複数ありますcompA0,compA1,compA2,... 比較関数の関数ポインタがありますcompA compA = &compA2; 別の構造体Bがあります BはAを内包しています struct B{ A a; ... }; この構造体Bを、Aの比較関数ポインタcompAで比較してソートするにはどう記述すればよいですか？ std::vector<B> bs; bs.push_back(...);... std::sort(bs.begin(),bs.end(),?); できればラムダ式を使わずにできるとありがたいです 73 名前：デフォルトの名無しさん mailto:sage [2023/12/11(月) 15:22:02.06 ID:F1R6HyeLM.net] >>72 ラムダ式使った方が良いと思うけど本当にラムダ式なしが良い? 74 名前：デフォルトの名無しさん mailto:sage [2023/12/11(月) 15:29:19.94 ID:7vxydTfj0.net] 使われると、ラムダ式の質問をすることになると思います・・・ 75 名前：はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 9f3e-pD6R) mailto:sage [2023/12/11(月) 15:45:20.57 ID:wAhsIAfi0.net] >>72 もし C++20 を使えるなら (std::sort と違って) std::ranges::sort では比較関数とは別に 比較すべき要素を取り出す操作をプロジェクションとして与えることが出来るから これ一発でいけてだいぶん楽できる。 std::ranges::sort(bs, compA, &B::a); 76 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ d701-Qbcu) mailto:sage [2023/12/11(月) 16:01:10.52 ID:dil4ai7q0.net] >>75 すげ! 今そんなのあるんやね 77 名前：デフォルトの名無しさん mailto:sage [2023/12/11(月) 16:34:20.59 ID:dil4ai7q0.net] >>74 思い出すのがしんどくなってきた #include <iostream> #include <vector> #include <algorithm> #include <functional> using namespace std; struct A {int value_;}; bool compA2 (const A &lhs, const A &rhs) { return lhs.value_ < rhs.value_; } struct B {A a;}; int main () { vector <B> bs; bool (*compA) (const A &, const A &) {compA2}; sort (bs.begin(), bs.end(), bind (compA, bind (mem_fn (&B::a), placeholders::_1), bind (mem_fn (&B::a), placeholders::_2))); sort (bs.begin(), bs.end(), [compA] (const auto &lhs, const auto &rhs) {return (*compA) (lhs.a, rhs.a);}); return 0; } 78 名前：デフォルトの名無しさん mailto:sage [2023/12/11(月) 17:14:54.00 ID:cVrrslE50.net] >>75 >>77 お二方、ありがとうございます 参考にして組んでみます 79 名前：はちみつ餃子 mailto:sage [2023/12/11(月) 17:25:04.51 ID:wAhsIAfi0.net] その場で合成するのはさすがに見通しが悪すぎるので、 C++11 頃の C++ を仮定して私がやるならまずアダプタを作ると思う。 ちょっと雑ですまんがとりあえずこんな感じ。 class compB_adaptor { private: using comparator = std::function<bool(const A&, const A&)>; comparator compA; public: compB_adaptor(comparator comp) : compA(comp) {} bool operator()(const B& x, const B& y) { return compA(x.a, y.a); } }; 使うときには間にひとつ挟むだけで済む。 std::sort(bs.begin(), bs.end(), compB_adaptor(compA)); 80 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 771f-oseA) mailto:sage [2023/12/11(月) 22:08:32.24 ID:cVrrslE50.net] >>79 求めていたものそのものであったため、採用させていただきました ありがとうございます 81 名前：デフォルトの名無しさん mailto:sage [2023/12/20(水) 23:47:12.14 ID:tqHuIeXr0.net] int x; std::cout << x; でxが正ののときは「+」符号を付けさせるのってどうするんでしたっけ…… cout.form("%+d", x)とか以外で 82 名前：デフォルトの名無しさん mailto:sage [2023/12/20(水) 23:58:48.32 ID:Qfvbx0VO0.net] cout << showpos 83 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 1663-4if3) mailto:sage [2023/12/21(木) 08:41:44.38 ID:6wjPSKlj0.net] てきました㌧クス、 iosヘッダで探せば良かったのか、、、 84 名前：デフォルトの名無しさん mailto:sage [2023/12/21(木) 20:01:46.13 ID:i16TeC3D0.net] C++23だとこれ std::print("{:+}", x); 85 名前：デフォルトの名無しさん mailto:sage [2023/12/22(金) 13:56:54.85 ID:pQLEje080.net] PythonやC#のようなf"{x}"構文が作られる事はないんだろうか 86 名前：はちみつ餃子 mailto:sage [2023/12/22(金) 14:54:27.15 ID:gr/vrzoo0.net] >>85 リフレクションが充実すればその上に実装できるので 直接的な言語機能として用意すると 辻褄合わせが後で面倒になるだろうし、 現時点で考えるのは時期尚早だと思う。 87 名前：デフォルトの名無しさん mailto:sage [2023/12/24(日) 17:42:14.24 ID:foDTiHm90.net] 質問なのですが自作クラスFooのストリーム出力演算子に引数付きのマニピュレータを追加したいのですが 　　↓こんなやつ 　　Foo obj; 　　cout << custom_setw(10) << obj; // 整数のベクトル的なオブジェクトobjの要素を幅10文字で出力 custom_setw()で与えた10という数値をつつがなくFooのストリーム出力演算子 std::ostream& operator<<(std::ostream& os, const Foo& obj) に渡すには一体どうすれば……orz 88 名前：デフォルトの名無しさん mailto:sage [2023/12/24(日) 17:42:52.36 ID:foDTiHm90.net] グローバル変数渡しは最初に思いつくのですが、ostringstream os1, os2とFoo obj1, obj2に対して異なるスレッドで os1 << custom_setw(30) << obj1;　　// スレッド1 os2 << custom_setw(20) << obj2;　　// スレッド2 とかやったら詰むし std::setw()とか一体どうやってるんじゃ…… 89 名前：はちみつ餃子 mailto:sage [2023/12/24(日) 18:05:55.09 ID:SfA3xmSz0.net] >>87-88 特定の型を出力するときにだけ作用する書式を設定するマニピュレータってこと？ std::setw がやってるのはストリームのメンバ関数 width を呼ぶのと同じ。 ストリームのオブジェクトが幅に関する情報を保存するデータメンバを持っていて、それを変更してる。 もちろんあなたが定義した独自の型 (この例では Foo) に結び付いた書式を保持するところなんて存在しないから単純にはできない。 私が思いつくのは 　・ ストリームのほうも新しいものを定義する、つまり basic_ostream を継承して Foo 用の書式を格納するデータメンバを増やす 　・ ストリームに対応付いたデータを格納するものを std::map かなんかで保持しておいて Foo を出力するときはそれを参照する ということくらいかな。 スレッドが絡むと面倒くさいけど、しょうがないね。 90 名前：デフォルトの名無しさん mailto:sage [2023/12/24(日) 19:04:41.48 ID:vbUOIudY0.net] 既存のcoutとかstringstreamとかで使いたいなら、グローバルのstd::unordered_map<std::ios_base*, MyManipData>にでも置いとくしかないだろうね ストリームオブジェクトの状態で持たせるクソ設計が悪いんだ 91 名前：デフォルトの名無しさん mailto:sage [2023/12/24(日) 19:34:37.93 ID:foDTiHm90.net] レス㌧クス、 >ストリームのオブジェクトが幅に関する情報を保存するデータメンバを持っていて、それを変更してる。 なるほど…… これはユザーの立場からはメンバの追加ができない領域なので、Fooの側にメンバを持たせることにしますか…… class FooWrp { 　　const Foo& m_objRef; 　　int m_nWidth; public: 　　FooWrp(const Foo& obj, int width) : m_objRef(obj), m_nWidh(width) { } 　　friend std::ostream& operator<<(std::ostream& os, const FooWrp& wrp) { ...(wrp.m_objRefの要素をwrp.m_nWidthに描かれている幅で出力する処理)... } }; 92 名前：デフォルトの名無しさん mailto:sage [2023/12/24(日) 19:35:17.01 ID:foDTiHm90.net] // 使い方 Foo obj; cout << FooWrp(obj, 10); ﾀﾞｯｻｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ しかし、「たかが表示の整形」のために排他制御しつつmapを弄ったりTLSの利用を考えるのもアレなのでこれはこれで仕方が無いのか、orz 93 名前：デフォルトの名無しさん [2023/12/24(日) 19:45:29.51 ID:Y8qSN/i/0.net] ストリーム用の演算子なんか作らずに オブジェクトの文字列表現を返す関数を用意したほうが汎用性高くない？ 94 名前：デフォルトの名無しさん mailto:sage [2023/12/24(日) 19:50:06.00 ID:foDTiHm90.net] Foo obj; std::string s = obj.str(10); // 10億ギガ文字 cout << s; 出力を完遂できるんかこれ…… 95 名前：はちみつ餃子 mailto:sage [2023/12/24(日) 20:00:55.29 ID:SfA3xmSz0.net] C++20 からは std::formatter を特殊化して書式指定を解釈するコードを入れておけば std::format で独自の型を表示しようとしたときにその特殊化が使われる仕組みになってる。 96 名前：デフォルトの名無しさん [2023/12/24(日) 21:41:50.00 ID:Y8qSN/i/0.net] オブジェクトの文字列表現が10億ギガ文字もあるの！？ FooWrpオブジェクトをうっかりログに出力しちゃったら大変だね！！ 97 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ cf63-nyJS) mailto:sage [2023/12/29(金) 19:34:46.18 ID:MPSeCS+O0.net] 実験せずに質問するますが、 int a, b; cin >> &x >> &y; に対し、 Q1. 「100 a」を入力したら例外もタイムアウト待ちも発生せず、cin.fail()がtrueになるだけ？ Q2. 「100」とだけ入力してそのまんま（リダイレクト元のファイルハンドルか何かが 　　タイムアウトもエラーもクローズもしなければ）ならそれっきり返ってこない？ 98 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ cf63-nyJS) mailto:sage [2023/12/29(金) 19:40:39.84 ID:MPSeCS+O0.net] EOFが抜けてたorz Q2のケースにおいて「100 [EOF]」なら（多分）cin.fail()でとりあえずすぐ返ってくるのかそうか、 99 名前：はちみつ餃子 mailto:sage [2023/12/29(金) 21:37:06.10 ID:0cvltfsQ0.net] >>97 実にしょうもない確認なんだけど、 言いたいことは int x, y; cin >> x >> y; でよいんだよね？ 100 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ de63-J7+h) mailto:sage [2023/12/30(土) 05:42:41.89 ID:3ksfrMrT0.net] >>99 >int x, y; >cin >> x >> y; おk ｽﾏﾝｶｯﾀorz エラーとEOFのどちらかを検知したかったら!cin.good()が正しいっぽい？ https://blog.emattsan.org/entry/20110819/1313743195 ここまでは分かった気がするが、 ストリーム入力演算子std::istream& operator>>(std::istream& os, Foo& obj)の中で入力に失敗した場合 どうやってエラーを呼び出し元に通知したらええんじゃ…… 101 名前：デフォルトの名無しさん mailto:sage [2023/12/30(土) 05:50:37.02 ID:3ksfrMrT0.net] クラスFooの入力ストリーム演算子の中で整数を2個読むとして、 std::istream& operator>>(std::istream& os, Foo& obj) { 　int x, y; 　os >> x >> y; 　if (!os.goot()) { 　　return os; // エラー発生時は単純にreturn os; でおk？ 　} 　obj.m_x = x; 　obj.m_y = y; 　return os; } 102 名前：はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 43c3-KM86) mailto:sage [2023/12/30(土) 08:47:16.28 ID:XV37Te4m0.net] >>100 ストリームのフラグを立てるメンバ関数は setstate だけど >>101 の状況ならフラグはもう立ってるから戻るだけで問題ないよ。 103 名前：デフォルトの名無しさん mailto:sage [2023/12/30(土) 13:48:41.88 ID:3ksfrMrT0.net] わかりた ていうかエラー判定（eofbit以外のビットのセットを判定）なら!os.good()や!os.goot()ではなくて os.failed()か!osですたね……orz これらに関して追加の質問が出たら初心者スレに書くわｻｰｾﾝ；；； 104 名前：デフォルトの名無しさん mailto:sage [2023/12/31(日) 20:09:05.68 ID:tpduSr4A0.net] class A{ char buf_[size]; } このbuf_に任意のオブジェクトをplacement newして使用するのだけど このオブジェクトをコピーしたりムーブする場合、単純にコピー元のbuf_からコピー先のbuf_にmemcopyしてしまって大丈夫ですか？ 105 名前：デフォルトの名無しさん mailto:sage [2023/12/31(日) 20:44:02.18 ID:bvEcnWMM0.net] 全く大丈夫じゃない 初心者スレからどうぞ 106 名前：デフォルトの名無しさん mailto:sage [2023/12/31(日) 20:54:11.90 ID:NNsdlVTY0.net] 構造体から派生させれば出来るよ 107 名前：デフォルトの名無しさん mailto:sage [2023/12/31(日) 21:04:16.47 ID:bvEcnWMM0.net] せめてPODと言おう 初心者スレからどうぞ 108 名前：はちみつ餃子 mailto:sage [2024/01/01(月) 00:18:02.48 ID:6hyMwo3D0.net] POD は削除された。 trivially copyable の要件を満たすならその型は memcpy でコピーしてもよい。 std::is_trivially_copyable で判定できるのでどこかに制約を入れておけば安心かもね。 109 名前：デフォルトの名無しさん mailto:sage [2024/01/01(月) 00:36:03.09 ID:an53Mx2V0.net] 削除されたんですか？（バージョンいくつで？） c++20 で非推奨になった、てのはすぐ調べられたんだけどその先が分からんです 110 名前：はちみつ餃子 mailto:sage [2024/01/01(月) 00:46:07.42 ID:6hyMwo3D0.net] >>109 規格の文面としては C++20 で POD はもう削除されていて POD の概念を使わない形で再編されてる。 std::is_pod はまだある (非推奨) からこれが POD の定義だという意味ではまだあるとも言えるけど。 111 名前：デフォルトの名無しさん mailto:sage [2024/01/01(月) 00:46:34.65 ID:l/ylj5kb0.net] アライメント忘れてるぞ 112 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ e1f0-JZT3) mailto:sage [2024/01/01(月) 03:01:35.02 ID:5pNbZa2B0.net] >>104 まず自分でコード書いてみ よろしくないところは指摘してやるから 113 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 8101-KEYj) mailto:sage [2024/01/01(月) 03:14:22.37 ID:8zoq4UeO0.net] オワコン名称出してマウント。ﾌﾟｰｸｽｸｽ 114 名前：はちみつ餃子 mailto:sage [2024/01/01(月) 03:40:47.98 ID:hmX3WjmM0.net] POD が削除されたかどうかは重要ではなくて、 POD より弱い制約 (trivially copyable) で memcpy が許されるというのが主旨。 その点は C++11 からそうなってる。 115 名前：はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 823e-OTTg) mailto:sage [2024/01/01(月) 04:06:49.46 ID:hmX3WjmM0.net] 「構造体」ってのも C++ 用語的にはイケてないと思うよ。 116 名前：デフォルトの名無しさん [2024/01/01(月) 04:55:26.71 ID:e5pnn2Xx0.net] アライメントは基本型のどれかと同じアライメント制約に合わせれば良いいということなら 使おうとしているうちで最も厳しいアライメント制約に一致する基本型を含むunionで解決するというのがC言語における伝統的な手法という印象、 C++でunionにしたら（それが可能なメンバのみなら） memcpyは安全とかにはならない？ 117 名前：はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 823e-OTTg) mailto:sage [2024/01/01(月) 05:30:52.12 ID:hmX3WjmM0.net] >>116 コンストラクタや代入演算子がトリビアルであることなどの制約を守れば共用体も trivially copyable になりうる。 (C++ の共用体はコンストラクタやメンバ関数を定義できるがそこらが制限されることになる。) 118 名前：デフォルトの名無しさん [2024/01/01(月) 14:24:55.17 ID:kge3DGj60.net] char* と long* のコピーは？ 119 名前：はちみつ餃子 mailto:sage [2024/01/01(月) 15:31:30.97 ID:hmX3WjmM0.net] ポインタも含めてスカラ型は Trivially copyable https://timsong-cpp.github.io/cppwp/n4861/basic.types#9 120 名前：デフォルトの名無しさん mailto:sage [2024/01/03(水) 23:34:38.84 ID:w4EAqTeZ0.net] >>112 とりあえず書いてみたけどどうですかね？ template<std::size_t buf_size> struct A { private: struct base_ { virtual ~base_() {}; }; template <typename F> struct derived_ : base_ { F f_; derived_(F f) : f_{ std::move(f) } {} }; base_* p_; alignas(alignof(std::max_align_t)) uint8_t buf[buf_size]={0}; public: A() :p_(nullptr) {}; template <typename F> void assign(F f) { if (p_ == nullptr) { p_ = ::new (buf) derived_<F>{std::move(f)}; } } //ｺﾋﾟｰｺﾝｽﾄﾗｸﾀ A(A& src) { p_ = ::new (buf) decltype(src.*p_); //ここが怪しい }; }; 121 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 00:44:07.87 ID:/FDyuY0i0.net] decltype(src.*p_)ってbase_なのでダメだろう 122 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 00:58:18.81 ID:ECF9R1Fj0.net] ていうか、decltypeで型指定してるだけだからコピーもなにもされてないぞソレ 123 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 02:28:40.49 ID:oZapr/U70.net] std::anyのコードでも読んだほうが早い 124 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 09:11:56.12 ID:/FDyuY0i0.net] A::base_に以下を足してA::derived_で実装し Aのコピーコンストラクタから呼べば? virtual base_ *clone (void *p) = 0; 125 名前：デフォルトの名無しさん [2024/01/04(木) 13:26:37.40 ID:1KQpMTCj0.net] void*って、ポインターの先のサイズ未知だよなぁ 126 名前：デフォルトの名無しさん mailto:sage [2024/01/04(木) 17:16:40.43 ID:ACseOt7T0.net] derived_かそのメンバf_の型を知るにはRTTIしかないのですかね？ >>121 decltypeだと派生先の型はわからないのか >>122 実体のコピーの処理が抜けてました… 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++の例外は例外オブジェクトが持ち出した情報が全て…… という印象……

---

---

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

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