C++相談室 part155

1 名前：デフォルトの名無しさん mailto:sage [2021/03/24(水) 12:07:15.39 ID:R+oM8cup.net] ※前スレ C++相談室 part154 https://mevius.5ch.net/test/read.cgi/tech/1610096040/ テンプレここまで 510 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 14:47:15.34 ID:V9b4VlmB.net] >>496 ・定数リテラル、const属性が付くもの、は置けない。 ・関数呼び出しの 関数()は、戻り値は、伝統的に右辺値扱いになるので左辺に置くとエラー 　になる様になっている。 　戻り値は、構造体型(クラス型/union型含む)/整数型/浮動小数点型/ポインタ型/列挙型の場合 　を想定した。 ・*ptr のようなものは左辺値になるので置ける。 ・変数名はconst 修飾されていないなら置ける。 ・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。 ・「関数名」は置けない。これは関数呼び出しの関数()とは別の話。 ・&x は置けない。理由としては右辺値であるから。constでもあるが。 ・x + y は、組み込み演算子の場合でも、関数呼び出しに置き換わった場合でも 置けない。後者の場合は、関数の戻り値が置いてあるということになるが右辺値だから。 　前者の場合は、右辺値だからだと思う。 511 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 14:48:40.00 ID:V9b4VlmB.net] >>500 >・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。 これについては、構造体変数名が、右辺値の場合は、 構造体変数名.データメンバ名も右辺値になるため、置けない。 512 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 15:10:33.44 ID:V9b4VlmB.net] [続き] ・(cast)x は置けない。理由は、右辺値になるから。 なので、int i; (char)i = 5; はエラーになる。 　そうしたい場合は、*(char *)&i = 5; と書く。 513 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 17:53:11.42 ID:x+a+UXmv.net] 配列を要素展開して、可変長引数の関数に渡したいんですけど、どうかけばいいか分かりません template<typename... Ts> void g(Ts... ts){} template<typename T,size_t N> void f(T (&a)[N]) { g(a[0],a[1],a[2]/* なんて書くのか*/); } 514 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 18:30:39.66 ID:z5odOJ3h.net] >>502 (char &)iでええやん... >>503 index_sequence 515 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 19:37:01.40 ID:2o2XkKHN.net] >>504 ありがとう出来ました 516 名前：デフォルトの名無しさん [2021/04/27(火) 19:58:19.96 ID:1Ls3FsW9.net] 通常クラスのコンストラクタにテンプレート引数がある場合ってどう呼び出したらよいでしょう？ class Test{ public: template<class T> Test() {} }; Test test = Test::Test<int>(); で呼び出せるかと思ったのですが出来ず... class Test{ public: template<class T> Test(T dummy) {} }; コンストラクタに引数を持たせると、msvcでは一応できました。 Test test(0); 517 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 20:39:05.42 ID:eX4df2SV.net] 代入演算子ってメンバ関数じゃないとだめなんだな thisを返すから当たり前だが、オーバーロードしたいとき困る a = b を意味する assign(a, b) を作るしかない？ 518 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 21:47:32.08 ID:rFiajegR.net] 別にthisを返す必要もないけど 519 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 00:01:05.47 ID:pTBAhwEs.net] thisがどうのじゃなくてコピー代入演算子とムーブ代入演算子が特別扱いだから 520 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 02:07:16.16 ID:LEZnE3AK.net] >>506 https://timsong-cpp.github.io/cppwp/n4861/temp.arg.explicit#8 > [Note: Because the explicit template argument list follows the function template name, and because constructor templates ([class.ctor]) are named > without using a function name ([class.qual]), there is no way to provide an explicit template argument list for these function templates. - end note] 521 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 03:41:16.44 ID:v8E9sca8.net] unique_ptrって、unique_ptr<T>とuniqu_ptr<T[]>が、1つのテンプレートではなく、 テンプレート自体が別に用意されてるんだよね？ そもそも前者の規則と後者は使う時の記号としても違っていて、前者は、 unique_ptr<int> a = new int; *a = 5; と書くのだから、a は、int*、つまり、intへのポインタのように振舞う。 この規則のままであるなら、 unique_ptr<int[]> b = new int[10]; と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように 振舞わなければならない。 となると、 b[idx] = value; とは書けずに、(*b)[idx] = value; と書かねば成らないが、実際にはそうではない。 522 名前：はちみつ餃子 mailto:sage [2021/04/28(水) 05:20:55.28 ID:cpOEbmvB.net] >>511 > テンプレート自体が別に用意されてるんだよね？ 特殊化で配列の場合は特別に用意されている。 > unique_ptr<int[]> b = new int[10]; > と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように > 振舞わなければならない。 (そのように b を初期化することは出来ない (生ポインタを受け取るコンストラクタには explicit が付いてる) が、意図はわかるのでとりあえずわきに置く。) new int[10]; という式の型は int* なので、この時点で配列の大きさに関する情報は失われている。 (配列の先頭要素を指す生ポインタではなく) 配列を指す生ポインタのようにスマートポインタを抽象化する意味がない。 どうしてもやりたければ std::array と組み合わせればいいし。 523 名前：デフォルトの名無しさん [2021/04/28(水) 12:25:48.23 ID:jQpDsyge.net] >>512 すまん。正しい書き方は： unique_ptr<int[]> b(new int[10]);　//(1) だったようだ。 ちょっと意図が伝わらなかったのか、言いたかったのは、 unique_ptr<T> a;　　//(2) の場合、a の型は、T* のようになるのに、 unique_ptr<U[]> b; の型は、U* のようになるので、数学の様に最初のT=U[] 524 名前：デフォルトの名無しさん [2021/04/28(水) 12:39:35.77 ID:jQpDsyge.net] すまん、まちがって送信してしまった。 >>512 正しい書き方は： unique_ptr<int[]> b(new int[10]);　//(1) だったようだ。それはともかく、ちょっと意図が伝わらなかったのか、言いたかったのは、 unique_ptr<T> a;　　//(2) の場合、a の型は T * であるかのように振舞う(T *a と宣言していたかのように振舞う)のに、 unique_ptr<U[]> b;　　//(3) の場合、b の型は U* のように振舞うが、数学の様に(2)にT=U[]を代入してみると、 b の型は本来、T *b とした場合のように振舞うはずなので、数学的には U (*b) [] とした 場合の型になっていなければならないはずなのに、実際には、U *b のようにした場合 の型になっているということで、(3)は数学的には (2)の特殊形とはみなせないということ。 なので、unique_ptr<U[]>のテンプレートは、unique_ptr<T>のテンプレートとは別に人間が 意図的に専用のコードを書いて「特殊化」していることの証拠となるということ。 もちろんそれが「テンプレート特殊化」という仕組みで行われていることは知っているが、 数学的な意味で(2)を一般形とみなした場合の自動的な特殊形にはなってないということ (だからこそ「テンプレート特殊化」で特殊な場合だけを例外的に特記するのではあるが)。 これは、unique_ptr<T>は、Tが配列型の場合は、Tがその他の場合と比べて 「一般性を失っている」と言える。 一般性を失っていることは、言語として分かりにくくなってしまうと俺は思うんだ。 525 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 12:44:49.64 ID:P6pu+tTf.net] 「数学的に」 数学を知らないヤツがよく使う言葉 類義語 「物理的に」 526 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 12:56:00.95 ID:VWIud7ZL.net] 規格的にってのも仕事ができない言語厨がよく使ってるw 527 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 12:57:27.64 ID:jQpDsyge.net] >>515 「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。 言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。 「代入」の概念というか。 優先順位のために、U (*b)[] のような 記号になっているが、これも数学的に 演算子が演算される順序に従って「平坦」に書くと b --> * --> [] --> U となる。読み方は、一番左の b の部分以外が右から順に bの型は「Uの配列へのポインタ」 となる。ちなみに、 T b の場合は、 b --> T となり、読み方は、 bの型は「T」 となる。 528 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 12:58:27.74 ID:jQpDsyge.net] >>515 ちなみに、俺は数学記号に関するIQは200を越えている。 トータルでも150以上。 529 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 13:01:24.71 ID:jQpDsyge.net] >>517 もう少し噛み砕いて書くと、コンパイラ内部では、 U (*b)[]; という宣言は、優先順位に従って、 b --> * --> [] --> U となり、コンパイラ内部では左から順に 「bは、ポインタ(*)であり、その元の型は、配列([])であり、その元の型は、 　U である」 と理解している。 530 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 13:04:48.90 ID:jQpDsyge.net] >>519 b --> * --> [] --> U は、英語で読むと、左から順に、 「b is a pointer(*) to array([]) to type U.」 と読めて、言葉と記号の順序が一致する。 531 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 14:25:22.22 ID:uUyjbKVX.net] void hoge(){ 　vector<int> a(10); 　vector<int*> p(10); 　for(int i=0; i<10; i++) p[i] = &a[i]; 　// play with a and p } っていう関数で a とか p に対してやったらやばい操作ってどんなんですかね 532 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 14:41:21.61 ID:P6pu+tTf.net] 数学記号に関するIQて何？ 533 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:09:55.27 ID:pxclvZlf.net] >>521 理屈を理解してない状態なら何やったってやばいよ まあ、みんなやらかしながら覚えるもんだから心配せずどんどんコード書いて地雷踏んで地獄に嵌まれ ただしプロダクションのコードだけは書くなよ 534 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:12:59.93 ID:GWxUY3yT.net] すごい クソゲボゴミ老害の意見 頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ 天晴 535 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:14:07.47 ID:UpJQEntB.net] >>510 ありがとうございます！できないんですね… 536 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:21:22.38 ID:aIuZlW8v.net] ああなるほど、最近多い>>521みたいなのは、中で何が起こるか想像できてない(基本すら出来てない)から いちいちこんなこと訊いてるのか・・・ 何度も言ってるけど教える順番おかしいんだよマジで >>524 自己紹介？ 537 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:26:21.46 ID:+7CWSFOZ.net] >>521 pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト 538 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:27:17.73 ID:+7CWSFOZ.net] >>527 おっと、aのサイズが〜の間違い 539 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:51:27.64 ID:P5vpmJVI.net] >>515 そうか、禿Stroustrupは数学を知らないのか 540 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:52:12.82 ID:Kf9DoDRw.net] pのサイズ変わるのもまずいよね？ 勝手に new/delete されて使用不能になりえるので 541 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:03:18.23 ID:P6pu+tTf.net] >>529 どこからそういう結論になった？ 542 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:04:05.01 ID:P6pu+tTf.net] >>530 何がまずい？ 勝手にnew/deleteとは？ 543 名前：デフォルトの名無しさん [2021/04/28(水) 16:06:25.57 ID:7RK+jwPd.net] >>530 晒しage 544 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:18:30.85 ID:eLEqCP2l.net] >>530 ダメな例をコードで示してくれ 545 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:28:13.84 ID:c0w2coaF.net] 自作クラスや構造体に対して範囲forを使うための条件って、そのクラスや構造体が ・メンバ関数としてbegin()、end()を持つ ・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す で合ってますか？ cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね？ 546 名前：はちみつ餃子 mailto:sage [2021/04/28(水) 16:35:30.69 ID:cpOEbmvB.net] >>535 前者の条件はコンテナの要件として書かれているが、 後者はイテレータの要件として定義されているはずだぞ。 547 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:23:34.44 ID:c0w2coaF.net] もう一個質問させてください 範囲for文ってfor文スコープ外の変数を使えないんですか？ int i; vector<int> v; // v を初期化 for(i: v){ ... } みたいなことをしたいです 548 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:36:49.45 ID:7AKt1vSf.net] >>535 なぜ不要だと思った？ int begin(); じゃダメだろ？ 549 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 06:49:31.89 ID:1rAkIDNr.net] >>531 ISBN4-7561-1895のP.500 16.1.1 設計上の制約 550 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 06:50:25.72 ID:+7uc9ATw.net] >>538 最近こういうゴミ返しするバカめっちゃ増えたね、このスレ 「intじゃダメ」は「間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体である必要がある」を全く意味しないだろ…… 一方で、ではイテレータを返せば良いのかというとそこまで条件が厳しいわけでもなくて、イテレータ「らしき」性質を持ったクラスを返せば良いということなので、この話はそこまで単純じゃない そういうこと全く分かってないバカが場当たり的な回答をしてるのは甚だ不快ですね 551 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 07:36:35.34 ID:fshfa4aU.net] えっっ Tをイテレータ様のふるまいを示す型として T begin()だけではダメで T end()も最低限定義いないといけないんじゃ…… 552 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 07:50:14.64 ID:1rAkIDNr.net] >>537 できない int i; vector<decltype(i)> v; // vを初期化 for (auto&& j : v) { i = j; // iを使用 } のようなことになる 553 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:34:23.25 ID:3mmNht9g.net] >>540 反例を1個あげれば十分 あとは自分でかんがえろってこと お前は何か役立つ回答をしたか？ 554 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:51:08.82 ID:fshfa4aU.net] 質問者がbegin()とend()の定義の必要性を把握しているのに対して begin()のみではNGだとレスするのがそんなにﾄﾞﾔるほどのことなのかどうか…… 555 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:55:45.00 ID:3mmNht9g.net] >>544 前者ってbeginのことだと思っちゃった？ お前日本人じゃないだろ 556 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:04:34.25 ID:6rdxVFZp.net] >>542 ありがとうございます v は必ずしも vector<int> ではなく vector<vector<int>> とかで、かついっぱい回るループを想定してるのでできるだけ定数倍を軽くしたいのですが、j を右辺値参照にすればコピーは起きないので相当マシと思って良いですかね 557 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:07:08.51 ID:1rAkIDNr.net] 右辺値参照つってもauto&&は左辺値参照も兼ねるぞ 558 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:16:30.33 ID:fshfa4aU.net] >>545 ちょっじゃあ>>538のレスのどこが反例だったの？？ 559 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:22:13.70 ID:3mmNht9g.net] 二個目の条件に反してる 560 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:41:24.58 ID:fshfa4aU.net] >>549 別に https://ideone.com/VLjCjO 561 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:20:12.63 ID:gzXxIopT.net] https://ideone.com/bERbqr 562 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:26:57.88 ID:6rdxVFZp.net] >>547 for()のカッコの中でiをjの参照として定義できたらそれでも良いんですが、そういうことはできるんでしたっけ？ 563 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:28:45.87 ID:6rdxVFZp.net] すみません「定義」というよりは、forのスコープの外にiの宣言はあって、for(ここ)でiがjの参照であることにできたら良いってことです 564 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:29:35.81 ID:fshfa4aU.net] >>551 ちょっそのforまで範囲forに含めるんなら>>535に加えてbegin()やend()が返す型がデリファレンス可能という条件が必要なんじゃ…… 565 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:35:45.46 ID:gzXxIopT.net] は？加えて？ >>535に入ってるだろ 最初からrange-basedの話なのに屁理屈言ってるから突っ込んだだけだよ 566 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:07:16.11 ID:1rAkIDNr.net] &g 567 名前：t;>553 i が j の参照ということは int& i = j; という宣言が必要で、 int i; としてしまったものを後で参照に変更ということはできない [] [ここ壊れてます] 568 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:10:24.28 ID:6rdxVFZp.net] >>556 reference_wrapper って i = ref(j); みたいなことできませんっけ？ 569 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:52:35.69 ID:1rAkIDNr.net] >>557 無理 実体定義された変数を途中から参照に変更なんて 570 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 12:28:01.48 ID:vjsl7cGC.net] ポインタと参照の決定的な違いはそこだね 571 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 12:46:42.20 ID:yUiVUiFp.net] >>541 begin()とend()の型が一致してる必要はない（C++17〜） 572 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:03:31.68 ID:K/HFYMcp.net] https://negation.hatenadiary.org/entry/20111203/1322876171 ↑で、簡単に書けば、 class Book {・・・}; class Novel : public Book{・・・}; class Comic : public Book{・・・}; class Shelf { public: std::vector<Book> list; ・・・ }; Shelf g_shelf; int main(void) { Novel n = Novel("Hoshio wo tugumono"); Comic c = Comic("Kimetsu no Yaiba"); Shelf s = Shelf(); g_shelft.list.push_back(n); g_shelft.list.push_back(c); } のようになっているところがあるけど、 vector<Book>って、Bookの実体の動的配列で、 Book a[100]; とにら様なものだと思うんだけど、NovelやComicのクラスのバイトサイズが Bookを越えたら、入りきれないと思うんだけど、これで合ってる？ 合ってるとしたら、どういう仕組み？ もしかして、vector<Book>って、 Book *p[100]; みたいな配列なの？ 573 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:05:10.26 ID:K/HFYMcp.net] >>561 すまん。間違った。正しくはこう : int main(void) { Novel n = Novel("Hoshio wo tugumono"); Comic c = Comic("Kimetsu no Yaiba"); Shelf s = Shelf(); s.list.push_back(n); s.list.push_back(c); } 574 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:10:29.61 ID:yUiVUiFp.net] >>561 s.list.push_back(n);のところはn(Novel)のBook部分を首チョンパしてコピーしたオブジェクトがpush_backされる スライシングというよく知ら� 575 名前：黷ｽホラー現象 [] [ここ壊れてます] 576 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:10:34.24 ID:K/HFYMcp.net] https://stackoverflow.com/questions/16126578/vectors-and-polymorphism-in-c ↑によれば、やっぱり、>>561 や >>562 のようなやり方は間違いで、 std::vector<T> の T は、Bookではなく、shared_ptr<Book> のようなものを入れるべきで、 以下の様になっている。だから、>>561 や >>562 は間違いだよね？ class Instruction {・・・}; class Add: public Instruction{・・・}; typedef shared_ptr<Instruction> PInstruction; vector<PInstruction> v; v.emplace_back(make_shared<Add>()); 577 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:16:01.96 ID:yUiVUiFp.net] >>564 その認識で合ってる 561のShelfにはNovelやComicじゃなくて、そいつらから刈り取った生首が並んでる 絶対やったらいかんやつ 578 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:19:09.72 ID:K/HFYMcp.net] >>563 なるほど、では、正しい書き方としては、たとえば、こうかな： class Book {・・・}; class Novel : public Book{・・・}; class Comic : public Book{・・・}; typedef shared_ptr<Book> PBOOK; class Shelf : public std::vector<PBOOK> {・・・}; Shelf g_shelf; int main(void) { std::shared_ptr<Novel> n = make_shared<Novel>("Hoshio wo tugumono"); std::shared_ptr<Comic> c = make_shared<Comic>("Kimetsu no Yaiba"); g_shelf.push_back(n); g_shelf.push_back(c); } 579 名前：はちみつ餃子 mailto:sage [2021/04/29(木) 18:07:20.75 ID:x0Vd7BP9.net] パブリック継承している型のオブジェクトが基底クラスへ暗黙に型変換されるのは抑止する方法がないんだよな。 580 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 01:30:09.20 ID:7VhEvZ/Q.net] >>567 Dog d; の時に func( Animal &a )に対して、 func(d); がエラーにならないということ？ 581 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 08:17:30.86 ID:tsrXe0Ut.net] それは別に問題ない func(Animal a)だとやばい 582 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 09:32:28.19 ID:W8up1rh0.net] funcがAnimalの情報しか使わないんなら別にいいんだけどね 単にポリモーフィズムにはポインタか参照が必要ってだけ 583 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 09:52:57.56 ID:dyTEtgxA.net] shared_ptr<T>もいけるでしょ スタックを使った60バイト近いメモリーコピーが発生するから最適ではないけど 584 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 10:40:50.56 ID:7VhEvZ/Q.net] >>569 class Animal {・・・}; class Dog : publoic Animal {・・・}; std::vector<Animal> g_list; void func( Animal &a ) { 　g_list.push_back(a); } int main() { 　Dog d; 　func(d);　// コンパイルエラーにはならないのに、スライシングが発生。駄目な例。 　return 0; } 585 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:02:34.65 ID:Qm/DlA0m.net] >>572 スライシングが発生してるのは g_list.push_back(a) であって、 func( Animal &a ) は関係ないでしょ。 586 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:21:35.01 ID:qs5VuYRE.net] なんで範囲for文ってBOOST_FOREACHを完全に置き換えれるようにしなかったの？ >>537,542はそれで解決するし、逆順のループとかもできるのに 587 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:34:29.27 ID:vL4rFdIy.net] ポリモーフィズム前提の時は、コピーコンストラクタはdeleteするのが良いのかね 588 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:43:26.05 ID:qs5VuYRE.net] あー範囲forが使える条件とBOOST_FOREACH使える条件って違うのか 後者は自作クラスじゃ使えない？ あるいは使える条件が>>535と違う？ 589 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:48:46.39 ID:7VhEvZ/Q.net] >>573 この場合、スライシングが発生しても問題ない、という観点もあるかも。 590 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:01:43.38 ID:W8up1rh0.net] >>575 そしたら派生クラス同士でコピー出来んやろ、コピー禁止にしたいのでなければ書くべき(で派生のコピーコンストラクタで基底のコピーコンストラクタを初期化リストから呼ぶ 必ず派生させて使うのが前提ならコンストラクタをprotectedにするとかその辺のテクニックは大昔から色々出てる 591 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:18:33.85 ID:7VhEvZ/Q.net] スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、 その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の 操作が危険になる可能性があるが、もし、仮想テーブルへのポインタを 基本クラス用に変えてしてしまえば、コピー後の動作は完全に基本クラス的に なってしまうけれど、その反面、メンバー関数を呼び出しても特にメモリーの 破壊などは起きないはず。 そのようにしてしまえばスライシングが起きても問題ないような気が。 592 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:31:22.41 ID:W8up1rh0.net] >>578て書いたけど実際ポリモーフィズム目的の継承ツリーだとコピー禁止にしてること多いな・・ どうせポインタ(orスマポ)で管理するから確かにコピー禁止のが無難かもね 593 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:38:12.34 ID:5yvxXz0O.net] >>570 それぞれのコピコンをプログラマが自由に記述できる以上、例えAnimalの情報しか参照しないとしても問題が起こることはあるんじゃね？ 例えば、DogのコピコンはAnimal::cuterThanCat変数を強制的にtrueに書き換えてるかもしれない 594 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:51:39.69 ID:W8up1rh0.net] >>581 戦争勃発するぞ まぁスライシングが常に危険とは限らないと言いたかっただけ 595 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 14:49:19.98 ID:qs5VuYRE.net] 誰かBOOST_FOREACHを自作クラスに使う条件教えてください 596 名前：はちみつ餃子 mailto:sage [2021/04/30(金) 16:01:39.38 ID:Efpw+/b3.net] >>583 https://www.boost.org/doc/libs/1_76_0/doc/html/foreach/extensibility.html 597 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 20:24:33.87 ID:QZYh0z4M.net] >>579 >スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、 >その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の >操作が危険 そんな恐ろしいことが！ と思って試したが、少なくともデフォルトのコピコンは仮想関数テーブルへのポインタを コピー先の型に合わせて付け替えてくれるらしい ↓そうでなけれはfunc_with_ref(Animal a)の中でa2.get()がDogの値でなくAnimalの値を返す説明がつかない https://ideone.com/eJMsYG 規格でどうなっているかは知らん 598 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 20:25:50.19 ID:QZYh0z4M.net] 訂正orz、 誤： そうでなけれはfunc_with_ref(Animal a)の中で 正： そうでなけれはfunc_with_copy(Animal a)の中で 599 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 07:00:40.64 ID:2eVlBBCY.net] ていうかよく考えたらAnimalのコピコンは Animalのコンストラクタでもあるのだから>>585の挙動は当然かorz 600 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 09:21:42.94 ID:C4kuj/yW.net] コピコン 601 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 09:28:33.15 ID:18idEqJd.net] コピコン たまに見る 頭悪そう 602 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:19:04.33 ID:tHuso9oJ.net] でもコピーコンストラクターって長いよね 603 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:26:47.50 ID:2eVlBBCY.net] コンストラクタはコンストラ コピーコンストラクタはコピコン デストラクタはデストラ アルゴリズムはアルゴ と略すのが効率的 604 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:31:05.38 ID:Jen9oEOj.net] 取引先がそんな言葉を使ってきたら 今後の契約を考え直すかも 少なくとも評価はマイナス 取引先とそんな細かい内容を話す打合せも無いだろうけど 605 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 11:21:44.35 ID:fSkONWKY.net] >>591 気持ち悪い略語だな 606 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:04:39.12 ID:zZz/KCNF.net] デストラｗ 607 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:14:30.82 ID:yzll/vyD.net] ctor,dtorは一般的な略語？ 608 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:14:41.90 ID:toT74GP1.net] 機能を引き継ぐために継承して、インスタンス化して使うために移譲もしたい 継承も移譲もするのってありですか？ 609 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:45:03.96 ID:toT74GP1.net] わかんねえ 継承が相応しくない場合が山程あるのはわかった 継承が相応しくないが一部機能を引き継ぎたいときは、コードのコピペをするべきなのか？ 610 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:53:12.87 ID:C4kuj/yW.net] 独立させる

---

---

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

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