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/ テンプレここまで 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] 独立させる 611 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:13:50.17 ID:toT74GP1.net] >>598 より小さいクラスか構造体として切り出すということ？ 612 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:18:13.99 ID:T/ErWrJ0.net] private継承じゃダメなの？ 613 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:52:11.96 ID:toT74GP1.net] >>600 ダメってことはもちろんなくて、そう実装することにすればそう実装するだけだが、継承である以上は依存関係が生じるし、相応しくない場合もあるなあと思うだけ 614 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:54:03.05 ID:TBkH44Fh.net] intをとるかcharを取るかで振る舞いを変えるオーバーロード関数って作れるんですか？ その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？ 615 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 14:19:20.97 ID:I2agxka5.net] オーバーロードという単語を知っておきながら、何故できないと思ったんだ 616 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:00:09.42 ID:qPtffzbe.net] >>602 関数シグネチャってもんがあるわけよ。 リンカは関数名ではなくこのシグネチャでリンクする。 引数の型が変わるとこのシグネチャが変わるので、 プログラムというかコンパイラはそれを間違えることはない。 617 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:28:04.60 ID:18idEqJd.net] intとcharは使う側が間違いやすいから 間違えたら問題がある場合は名前を変えよう 618 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:37:35.74 ID:JkRHvcmQ.net] >>604 厳密に言えばリンカは関数名しか見ない。 C++はオーバーロードのためにシグネチャの違いを関数名に埋め込むマングリングを行う。 619 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:09:26.40 ID:1WejqaZh.net] >>602 C++で関数呼び出しを書いた場合、どの関数が呼び出されるかは Best Matching Algorithm で選ばれているので実引数が charの場合は、 同じ場所の仮引数がcharである関数を優先的に選ぼうとする。 もし、同じ場所の仮引数がcharであるものが見つからなければ、 同じ場所の仮引数が int であるものを探して、見つかればそれを選択する。 このとき、実引数と仮引数の型の「距離」のような概念があり、 距離が近いものが選ばれる。複数の引数が有る場合で、二つの引数で 距離が近い関数がどっちもどっちになる場合には、「曖昧」であると、 され、エラーになる。 >その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？ ここであなたの言っている「見分ける」という意味が分かりにくいが、 オーバーロードされた関数は、C++レベルでは同じ名前に見えていてもが アセンブラレベルでは別の関数名になっていて、別の関数として扱われていて、 別の関数が呼び出されているから「見分ける」以前問題になっている。 620 名前： mailto:sage [2021/05/01(土) 17:16:10.99 ID:m+tkSw04.net] >>591 コピコン以外は使わないです‥‥ 621 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:24:45.49 ID:CnJDnM0a.net] >>606 「リンカは関数名しか見ない」はおかしい。 リンカが見るのは、関数名を含むシグネチャをマングリングした結果のシンボル名。 622 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:29:02.27 ID:1WejqaZh.net] >>605 それは、実際そうだと思う。 char idx = xxx; func( 'a' + idx ); と書いた場合、func(int)とfunc(char)のどちらが呼び出されるのかを 事前に予想するのは非常に難しい。 なぜなら、伝統的にCでは、char + char は、それぞれが int に昇格 されてから、int + int になって、結果も int になるとされていたから。 623 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:00:18.46 ID:1WejqaZh.net] ファイル出力で、1バイト出力と4バイト出力の違いは、単に人間が見るための stdout出力とは訳が違って、後からファイルを入力する時にその部分のバイト数の違い が大きな意味を持つので、オーバーロードの仕組みだけでコンパイラに自動振り分け させるのは、分かりにくいバグを入れてしまう可能性がある。 なので、やはり、出力するのは1バイトなのか4バイトなのかを、明確に関数名で 区別できるようにした方が望ましいと思われる。 624 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:45:41.91 ID:JkRHvcmQ.net] >>609 そのマングリングした名前で関数を呼び出すことができるわけだし、関数名以外の何物でもないと思うが。 そもそもリンカはマングリングされているのかされていないのかも関知しないし。 625 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:55:40.94 ID:u3yKRN8V.net] > 589 名前：デフォルトの名無しさん[sage] 投稿日：2021/05/01(土) 09:28:33.15 ID:18idEqJd [1/2] > コピコン > たまに見る > 頭悪そう >>595に何も言えねえ 頭悪そうｗ 626 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 19:59:37.32 ID:tHuso9oJ.net] マングリング、ってなんかイヤらしいよね 627 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 20:50:21.52 ID:TTMGRbh+.net] >>612 ?h@@YAXH@Z みたいなのを関数名って言うのは違和感しかないわ > そもそもリンカはマングリングされているのかされていないのかも関知しないし。 それを言うならリンカは関数かどうかすら関知してない

---

---

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

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