C++相談室 part165

■ このスレッドは過去ログ倉庫に格納されています
2023/10/31(火) 07:37:38.52ID:+ZyYyqMO0
!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
43デフォルトの名無しさん (ﾜｯﾁｮｲ 454e-0SSA)
垢版 |
2023/11/09(木) 18:09:02.18ID:vDu6brxv0
>>42
メンバ関数をポインタ経由で呼び出したいってことならstd::bindでできるはず
2023/11/09(木) 18:24:20.63ID:viBVvDAP0
VC++ のことは知らんけどメンバ関数ポインタは関数ポインタより大きい実装になってる処理系がある。
メンバ関数ポインタを関数ポインタに変換した時点で呼び出すのに必要な情報が失われているかもしれない。
2023/11/09(木) 19:04:30.42ID:YhbH7ApDM
MJD?
2023/11/09(木) 19:13:19.18ID:RZ9WOZDMM
エラーメッセージにヒントはない？
2023/11/09(木) 19:58:26.06ID:u3KRHVuW0
基本的には言語の規定内でやるに越したことはないので無理な型変換をしないで済ませられるように出来るものならそうしたほうがいい。
どうしてもそうできない事情がある(と質問者が認識している)ならもうちょっと詳しい状況をコードで示して欲しい。
2023/11/09(木) 21:12:03.97ID:Op1F6lz40
>>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.67ID:Op1F6lz40
てかググったら簡単なシミュレーション方法載せてるブログあった
_fastcallで宣言して第二引数のedxを捨て駒にする事で疑似_thiscallになる
つまりint(__fastcall * pFunc)(CDate*, void*, int)とすれば一応アセンブラ的な辻褄は合う事になる
2023/11/12(日) 10:07:59.74ID:j2Y95IYf0
質問なのですが型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.63ID:O0gb6uIB0
>>50
A1. 単に auto としたときに参照になることはない。
　　参照として受け取りたい場合は auto& にせねばならないというのは正しい。
A2. 参照かどうかで自動的に場合分けして欲しいなら decltype(auto) とすればいいが……
　　参照で受けるのが正しい状況なのかどうかは状況による。
　　テンプレート内など自動的な場合分けが必要な場合を除いては参照は参照として明示したほうがよくない？
　　(個人的感想です。)
A3. いくつか用意されている operator<< の基本的なオーバーロードの内で bool にマッチするから。
　　void* もあるのだけれど C++ では任意のポインタは void* へは暗黙の型変換されないのでマッチング候補にならない。
　　アドレスとして解釈して欲しいなら void* へ明示的に型変換しないといけない。
2023/11/12(日) 11:38:27.18ID:O0gb6uIB0
ごめん。 間違いがあった。
ポインタは void* へ暗黙に変換できる。
この変換はオーバーロード解決時の候補になりうる。
ただ、 bool への変換とは優先順位に差がある。
2023/11/12(日) 11:42:25.19ID:j2Y95IYf0
>>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.61ID:j2Y95IYf0
>テンプレート内など自動的な場合分けが必要な場合を除いては参照は参照として明示したほうがよくない？
非constなら考えるがこの場合foo()はconstオヌジェクトと参照を返してくるし、
これはもうdecltype(auto)一択で良いような気がが、
2023/11/12(日) 12:07:32.76ID:O0gb6uIB0
volatile を追加する変換は出来るが除く変換は出来ないから
volatile 付きのオーバーロードを用意していない operator<< では候補から消えて
bool だけが候補として残ってしまうってことになるみたいだな。

volatile が付いていない場合は
void* への変換のほうが bool への変換より優先順位が高いので
そっちが呼ばれる。
NGNG
あぼーん
2023/11/13(月) 02:33:43.38ID:eLF59GiN0
>>56
案内サンクス
58デフォルトの名無しさん (ﾜｯﾁｮｲ 1f01-XI6K)
垢版 |
2023/11/14(火) 02:19:13.60ID:DkCdWP9x0
CLion使ってる人いますか？
59デフォルトの名無しさん (ﾜｯﾁｮｲ 1fad-XI6K)
垢版 |
2023/11/17(金) 17:16:02.48ID:TT3SJP5h0
日本人の死亡者が増えてるのに、メディアは報道規制
https://kizuna.5ch.net/test/read.cgi/cafe50/1699777256/l50
2023/11/18(土) 16:16:09.27ID:5MckQHFy0
ラムダの参照キャプチャってconst参照に指定できないんだっけ？微妙に不便だな。
2023/11/18(土) 20:47:45.62ID:GRi2RJZB0
>>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デフォルトの名無しさん (ﾜｯﾁｮｲ 4701-1fOb)
垢版 |
2023/11/26(日) 06:27:21.37ID:DSb557XU0
C++20 RangesはMicrosoftの説明がわかりやすかった
2023/12/05(火) 10:33:06.64ID:HLoKrA0o0
ふと今更思ったんだけど
ポインターpに対して演算子*が返す*pは、
値じゃなくて参照？
2023/12/05(火) 11:05:15.15ID:E3GJtsiR0
#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デフォルトの名無しさん (ﾜｯﾁｮｲ edf6-JrwL)
垢版 |
2023/12/05(火) 11:09:19.91ID:IVr4NrBA0
>>63
参照ってのが何を意味しているか分からんが
普通はポインターの示す場所の内容だ
2023/12/05(火) 11:22:18.93ID:z5PiblaY0
>>63
ポインター p に対して *p とした場合の型は参照ではない。
たぶん >>64 は *p が参照と言いたいつもりで書いているんだと思うけど
decltype に与えられる式の型が T 型の lvalue だった場合には T& が返されるルールなので
その式が参照でなくても参照が返されることがある。
2023/12/05(火) 11:24:42.01ID:z5PiblaY0
あ、ごめん。 完全に間違った説明してたわ。 忘れて……。 恥ずかしい。
2023/12/05(火) 11:34:00.06ID:z5PiblaY0
と思ってよく仕様を読んでみたらやっぱりこの (>>66) 考え方で正しいはず。

式が識別子式の時に限っては decltype は参照にならず式の型そのままで返すせいで decltype(value) は参照にならないが、
value と *p は型システム的にも値カテゴリ的にも同じだわ。
2023/12/05(火) 12:43:28.97ID:E3GJtsiR0
>>68
なるほどー! 横からだが勉強になった
2023/12/05(火) 12:48:03.77ID:E3GJtsiR0
巷のスマートポインタはoperator*で参照型を返すので
生ポインタも同じかと思ってたよ
2023/12/05(火) 13:28:25.92ID:z5PiblaY0
互換性の都合とかがあるから仕方ないね。
場合分けが大量にあって単純な一般原則の組み合わせにはなってないから仕様を読み解くのがしんどい……
2023/12/11(月) 15:17:51.77ID:7vxydTfj0
ある構造体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(),?);

できればラムダ式を使わずにできるとありがたいです
2023/12/11(月) 15:22:02.06ID:F1R6HyeLM
>>72
ラムダ式使った方が良いと思うけど本当にラムダ式なしが良い?
2023/12/11(月) 15:29:19.94ID:7vxydTfj0
使われると、ラムダ式の質問をすることになると思います・・・
2023/12/11(月) 15:45:20.57ID:wAhsIAfi0
>>72
もし C++20 を使えるなら (std::sort と違って) std::ranges::sort では比較関数とは別に
比較すべき要素を取り出す操作をプロジェクションとして与えることが出来るから
これ一発でいけてだいぶん楽できる。

std::ranges::sort(bs, compA, &B::a);
2023/12/11(月) 16:01:10.52ID:dil4ai7q0
>>75
すげ! 今そんなのあるんやね
2023/12/11(月) 16:34:20.59ID:dil4ai7q0
>>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;
}
2023/12/11(月) 17:14:54.00ID:cVrrslE50
>>75
>>77
お二方、ありがとうございます
参考にして組んでみます
2023/12/11(月) 17:25:04.51ID:wAhsIAfi0
その場で合成するのはさすがに見通しが悪すぎるので、
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));
2023/12/11(月) 22:08:32.24ID:cVrrslE50
>>79
求めていたものそのものであったため、採用させていただきました
ありがとうございます
2023/12/20(水) 23:47:12.14ID:tqHuIeXr0
int x;
std::cout << x;
でxが正ののときは「+」符号を付けさせるのってどうするんでしたっけ……
cout.form("%+d", x)とか以外で
2023/12/20(水) 23:58:48.32ID:Qfvbx0VO0
cout << showpos
2023/12/21(木) 08:41:44.38ID:6wjPSKlj0
てきました㌧クス、
iosヘッダで探せば良かったのか、、、
2023/12/21(木) 20:01:46.13ID:i16TeC3D0
C++23だとこれ
std::print("{:+}", x);
2023/12/22(金) 13:56:54.85ID:pQLEje080
PythonやC#のようなf"{x}"構文が作られる事はないんだろうか
2023/12/22(金) 14:54:27.15ID:gr/vrzoo0
>>85
リフレクションが充実すればその上に実装できるので
直接的な言語機能として用意すると
辻褄合わせが後で面倒になるだろうし、
現時点で考えるのは時期尚早だと思う。
2023/12/24(日) 17:42:14.24ID:foDTiHm90
質問なのですが自作クラスFooのストリーム出力演算子に引数付きのマニピュレータを追加したいのですが
　　↓こんなやつ
　　Foo obj;
　　cout << custom_setw(10) << obj; // 整数のベクトル的なオブジェクトobjの要素を幅10文字で出力
custom_setw()で与えた10という数値をつつがなくFooのストリーム出力演算子
std::ostream& operator<<(std::ostream& os, const Foo& obj)
に渡すには一体どうすれば……orz
2023/12/24(日) 17:42:52.36ID:foDTiHm90
グローバル変数渡しは最初に思いつくのですが、ostringstream os1, os2とFoo obj1, obj2に対して異なるスレッドで
os1 << custom_setw(30) << obj1;　　// スレッド1
os2 << custom_setw(20) << obj2;　　// スレッド2
とかやったら詰むし
std::setw()とか一体どうやってるんじゃ……
2023/12/24(日) 18:05:55.09ID:SfA3xmSz0
>>87-88
特定の型を出力するときにだけ作用する書式を設定するマニピュレータってこと？

std::setw がやってるのはストリームのメンバ関数 width を呼ぶのと同じ。
ストリームのオブジェクトが幅に関する情報を保存するデータメンバを持っていて、それを変更してる。

もちろんあなたが定義した独自の型 (この例では Foo) に結び付いた書式を保持するところなんて存在しないから単純にはできない。
私が思いつくのは
　・ ストリームのほうも新しいものを定義する、つまり basic_ostream を継承して Foo 用の書式を格納するデータメンバを増やす
　・ ストリームに対応付いたデータを格納するものを std::map かなんかで保持しておいて Foo を出力するときはそれを参照する
ということくらいかな。

スレッドが絡むと面倒くさいけど、しょうがないね。
2023/12/24(日) 19:04:41.48ID:vbUOIudY0
既存のcoutとかstringstreamとかで使いたいなら、グローバルのstd::unordered_map<std::ios_base*, MyManipData>にでも置いとくしかないだろうね
ストリームオブジェクトの状態で持たせるクソ設計が悪いんだ
2023/12/24(日) 19:34:37.93ID:foDTiHm90
レス㌧クス、
>ストリームのオブジェクトが幅に関する情報を保存するデータメンバを持っていて、それを変更してる。
なるほど……
これはユザーの立場からはメンバの追加ができない領域なので、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に描かれている幅で出力する処理)... }
};
2023/12/24(日) 19:35:17.01ID:foDTiHm90
// 使い方
Foo obj;
cout << FooWrp(obj, 10);

ﾀﾞｯｻｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
しかし、「たかが表示の整形」のために排他制御しつつmapを弄ったりTLSの利用を考えるのもアレなのでこれはこれで仕方が無いのか、orz
93デフォルトの名無しさん (ﾜｯﾁｮｲ a31e-H80b)
垢版 |
2023/12/24(日) 19:45:29.51ID:Y8qSN/i/0
ストリーム用の演算子なんか作らずに
オブジェクトの文字列表現を返す関数を用意したほうが汎用性高くない？
2023/12/24(日) 19:50:06.00ID:foDTiHm90
Foo obj;
std::string s = obj.str(10); // 10億ギガ文字
cout << s;
出力を完遂できるんかこれ……
2023/12/24(日) 20:00:55.29ID:SfA3xmSz0
C++20 からは std::formatter を特殊化して書式指定を解釈するコードを入れておけば
std::format で独自の型を表示しようとしたときにその特殊化が使われる仕組みになってる。
96デフォルトの名無しさん (ﾜｯﾁｮｲ a31e-H80b)
垢版 |
2023/12/24(日) 21:41:50.00ID:Y8qSN/i/0
オブジェクトの文字列表現が10億ギガ文字もあるの！？
FooWrpオブジェクトをうっかりログに出力しちゃったら大変だね！！
2023/12/29(金) 19:34:46.18ID:MPSeCS+O0
実験せずに質問するますが、
int a, b;
cin >> &x >> &y;
に対し、
Q1. 「100 a」を入力したら例外もタイムアウト待ちも発生せず、cin.fail()がtrueになるだけ？
Q2. 「100」とだけ入力してそのまんま（リダイレクト元のファイルハンドルか何かが
　　タイムアウトもエラーもクローズもしなければ）ならそれっきり返ってこない？
2023/12/29(金) 19:40:39.84ID:MPSeCS+O0
EOFが抜けてたorz
Q2のケースにおいて「100 [EOF]」なら（多分）cin.fail()でとりあえずすぐ返ってくるのかそうか、
2023/12/29(金) 21:37:06.10ID:0cvltfsQ0
>>97
実にしょうもない確認なんだけど、
言いたいことは

int x, y;
cin >> x >> y;

でよいんだよね？
2023/12/30(土) 05:42:41.89ID:3ksfrMrT0
>>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)の中で入力に失敗した場合
どうやってエラーを呼び出し元に通知したらええんじゃ……
2023/12/30(土) 05:50:37.02ID:3ksfrMrT0
クラス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;
}
2023/12/30(土) 08:47:16.28ID:XV37Te4m0
>>100
ストリームのフラグを立てるメンバ関数は setstate だけど
>>101 の状況ならフラグはもう立ってるから戻るだけで問題ないよ。
2023/12/30(土) 13:48:41.88ID:3ksfrMrT0
わかりた
ていうかエラー判定（eofbit以外のビットのセットを判定）なら!os.good()や!os.goot()ではなくて
os.failed()か!osですたね……orz
これらに関して追加の質問が出たら初心者スレに書くわｻｰｾﾝ；；；
2023/12/31(日) 20:09:05.68ID:tpduSr4A0
class A{

char buf_[size];
}

このbuf_に任意のオブジェクトをplacement newして使用するのだけど
このオブジェクトをコピーしたりムーブする場合、単純にコピー元のbuf_からコピー先のbuf_にmemcopyしてしまって大丈夫ですか？
2023/12/31(日) 20:44:02.18ID:bvEcnWMM0
全く大丈夫じゃない
初心者スレからどうぞ
2023/12/31(日) 20:54:11.90ID:NNsdlVTY0
構造体から派生させれば出来るよ
2023/12/31(日) 21:04:16.47ID:bvEcnWMM0
せめてPODと言おう
初心者スレからどうぞ
2024/01/01(月) 00:18:02.48ID:6hyMwo3D0
POD は削除された。
trivially copyable の要件を満たすならその型は memcpy でコピーしてもよい。
std::is_trivially_copyable で判定できるのでどこかに制約を入れておけば安心かもね。
2024/01/01(月) 00:36:03.09ID:an53Mx2V0
削除されたんですか？（バージョンいくつで？）

c++20 で非推奨になった、てのはすぐ調べられたんだけどその先が分からんです
2024/01/01(月) 00:46:07.42ID:6hyMwo3D0
>>109
規格の文面としては C++20 で POD はもう削除されていて POD の概念を使わない形で再編されてる。
std::is_pod はまだある (非推奨) からこれが POD の定義だという意味ではまだあるとも言えるけど。
2024/01/01(月) 00:46:34.65ID:l/ylj5kb0
アライメント忘れてるぞ
2024/01/01(月) 03:01:35.02ID:5pNbZa2B0
>>104
まず自分でコード書いてみ
よろしくないところは指摘してやるから
2024/01/01(月) 03:14:22.37ID:8zoq4UeO0
オワコン名称出してマウント。ﾌﾟｰｸｽｸｽ
2024/01/01(月) 03:40:47.98ID:hmX3WjmM0
POD が削除されたかどうかは重要ではなくて、 POD より弱い制約 (trivially copyable) で memcpy が許されるというのが主旨。
その点は C++11 からそうなってる。
2024/01/01(月) 04:06:49.46ID:hmX3WjmM0
「構造体」ってのも C++ 用語的にはイケてないと思うよ。
116デフォルトの名無しさん (ﾜｯﾁｮｲ d24b-WshQ)
垢版 |
2024/01/01(月) 04:55:26.71ID:e5pnn2Xx0
アライメントは基本型のどれかと同じアライメント制約に合わせれば良いいということなら
使おうとしているうちで最も厳しいアライメント制約に一致する基本型を含むunionで解決するというのがC言語における伝統的な手法という印象、
C++でunionにしたら（それが可能なメンバのみなら） memcpyは安全とかにはならない？
2024/01/01(月) 05:30:52.12ID:hmX3WjmM0
>>116
コンストラクタや代入演算子がトリビアルであることなどの制約を守れば共用体も trivially copyable になりうる。
(C++ の共用体はコンストラクタやメンバ関数を定義できるがそこらが制限されることになる。)
118デフォルトの名無しさん (ﾜｯﾁｮｲ 65e8-QK8A)
垢版 |
2024/01/01(月) 14:24:55.17ID:kge3DGj60
char* と long* のコピーは？
2024/01/01(月) 15:31:30.97ID:hmX3WjmM0
ポインタも含めてスカラ型は Trivially copyable
https://timsong-cpp.github.io/cppwp/n4861/basic.types#9
2024/01/03(水) 23:34:38.84ID:w4EAqTeZ0
>>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_); //ここが怪しい
};
};
2024/01/04(木) 00:44:07.87ID:/FDyuY0i0
decltype(src.*p_)ってbase_なのでダメだろう
2024/01/04(木) 00:58:18.81ID:ECF9R1Fj0
ていうか、decltypeで型指定してるだけだからコピーもなにもされてないぞソレ
2024/01/04(木) 02:28:40.49ID:oZapr/U70
std::anyのコードでも読んだほうが早い
2024/01/04(木) 09:11:56.12ID:/FDyuY0i0
A::base_に以下を足してA::derived_で実装し
Aのコピーコンストラクタから呼べば?
virtual base_ *clone (void *p) = 0;
125デフォルトの名無しさん (ﾜｯﾁｮｲ 6564-QK8A)
垢版 |
2024/01/04(木) 13:26:37.40ID:1KQpMTCj0
void*って、ポインターの先のサイズ未知だよなぁ
2024/01/04(木) 17:16:40.43ID:ACseOt7T0
derived_かそのメンバf_の型を知るにはRTTIしかないのですかね？

>>121
decltypeだと派生先の型はわからないのか

>>122
実体のコピーの処理が抜けてました…
2024/01/04(木) 21:53:05.60ID:ACseOt7T0
>>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);
};
2024/01/04(木) 22:19:16.70ID:ECF9R1Fj0
derived_(F f) ←この時点でムダなコピーが１度発生していることには気付いてる？
2024/01/04(木) 22:21:15.81ID:/FDyuY0i0
>>127
書き込む前にコンパイルしなよ
2024/01/04(木) 22:41:26.61ID:Dv09vJ7A0
バッファの中にオブジェクトを作れたら、それで何をしたいのかが気になる
2024/01/04(木) 23:21:36.86ID:oZapr/U70
>>127
cloneの中ってplacement newでcopy constructorを呼ぼうとしてるんだよな？
いちおうあってるけどundefined behaviorまみれ
2024/01/04(木) 23:35:27.70ID:td6kYpbC0
たぶんやりたいことは std::allocator_traits::construct なのかな
133デフォルトの名無しさん (ﾜｯﾁｮｲ 7f7c-JApz)
垢版 |
2024/01/11(木) 04:45:44.72ID:wlSOhq+Y0
例外って全部mainで捕捉すべきかな？

調べてみたら例外が捕捉されずにプログラムが終了する場合スタックアンワインドが起こるかは実装定義みたいなんだけど、それじゃグローバルなオブジェクトのデストラクタが呼ばれないんじゃないかって思って試してみたのよ。
https://ideone.com/wSLZfL
やっぱりデストラクタは呼ばれなかったからリソースリークが起こりうるんじゃないかと思うんだけど、例外に対してはどういう態度でいるべきかな？

A. リソースリークはまずい。だから例外は全部捕捉するべき。
B. 例外はロジック上捕捉する必要があるものだけ捕捉して、それ以外はほっといていい。
C. 例外が捕捉されなければstd::abortが呼ばれるので、コアダンプなりで色々調べることもできる。だからmainで例外を全部握りつぶすようなことはすべきではない。
D. 時と場合による。

例外時の挙動とか仕様とか調べてるうちに頭ぐるぐるしてわけわかんなくなってきた
134デフォルトの名無しさん (ﾜｯﾁｮｲ dff7-1VUN)
垢版 |
2024/01/11(木) 08:40:16.50ID:8oRrkiTZ0
そもそもプログラムが終了してリソースリークするのかな？
メモリー、ファイルハンドル、ソケット、ミューテックスなどのリソースはOSが責任持って解放するよね
どのようなリソースがリークしますか？
2024/01/11(木) 08:45:02.51ID:ETJgFBFV0
すべてじゃね？
2024/01/11(木) 08:46:53.81ID:ETJgFBFV0
>>133
すべてじゃね？
それらの選択肢は別に排他的な選択肢じゃないかと
137デフォルトの名無しさん (ﾜｯﾁｮｲ 7f3a-NF1f)
垢版 |
2024/01/11(木) 09:02:22.25ID:dA95iQ6m0
OS管理なリソースはアプリの終了なんか知らないってのもあるからなぁ
得にドライバ関連とかな
2024/01/11(木) 15:30:41.76ID:hAXa3uBd0
>>136
あれ、少なくともAとCは排他的だと思うんだけど
全部の選択肢を選ぶとすると具体的にはどうなるのかな
2024/01/11(木) 20:09:25.46ID:AWAYnmwT0
今どきのOS使ってたらOSリソースはリークしない
まぁプロセスがゾンビになるのはよくあるが
2024/01/11(木) 20:09:51.72ID:AWAYnmwT0
>>137
しったかすんな
2024/01/11(木) 20:12:29.21ID:h5T3Zf1WM
そもそもアプリ的にデータの不整合とか出るから論外だろう
ファイルやなんかの外部データ使わないなら関係ないだろうけど
2024/01/11(木) 20:12:30.15ID:AWAYnmwT0
よくあるのは異常終了時にファイルをフラッシュしておきたいとかだろ
汎用的にこれを実現するのは結構むずい
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況