C++相談室 part155 - 暇つぶし2ch

C++相談室 part155 ..

542:デフォルトの名無しさん
21/04/28 16:04:05.01 P6pu+tTf.net
>>530
何がまずい？
勝手にnew/deleteとは？

543:デフォルトの名無しさん
21/04/28 16:06:25.57 7RK+jwPd.net
>>530
晒しage

544:デフォルトの名無しさん
21/04/28 16:18:30.85 eLEqCP2l.net
>>530
ダメな例をコードで示してくれ

545:デフォルトの名無しさん
21/04/28 16:28:13.84 c0w2coaF.net
自作クラスや構造体に対して範囲forを使うための条件って、そのクラスや構造体が
・メンバ関数としてbegin()、end()を持つ
・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す
で合ってますか？
cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね？

546:はちみつ餃子
21/04/28 16:35:30.69 cpOEbmvB.net
>>535
前者の条件はコンテナの要件として書かれているが、
後者はイテレータの要件として定義されているはずだぞ。

547:デフォルトの名無しさん
21/04/28 18:23:34.44 c0w2coaF.net
もう一個質問させてください
範囲for文ってfor文スコープ外の変数を使えないんですか？
int i;
vector<int> v;
// v を初期化
for(i: v){
...
}
みたいなことをしたいです

548:デフォルトの名無しさん
21/04/28 18:36:49.45 7AKt1vSf.net
>>535
なぜ不要だと思った？
int begin();
じゃダメだろ？

549:デフォルトの名無しさん
21/04/29 06:49:31.89 1rAkIDNr.net
>>531
ISBN4-7561-1895のP.500 16.1.1 設計上の制約

550:デフォルトの名無しさん
21/04/29 06:50:25.72 +7uc9ATw.net
>>538
最近こういうゴミ返しするバカめっちゃ増えたね、このスレ
「intじゃダメ」は「間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体である必要がある」を全く意味しないだろ……
一方で、ではイテレータを返せば良いのかというとそこまで条件が厳しいわけでもなくて、イテレータ「らしき」性質を持ったクラスを返せば良いということなので、この話はそこまで単純じゃない
そういうこと全く分かってないバカが場当たり的な回答をしてるのは甚だ不快ですね

551:デフォルトの名無しさん
21/04/29 07:36:35.34 fshfa4aU.net
えっっ
Tをイテレータ様のふるまいを示す型として
T begin()だけではダメで
T end()も最低限定義いないといけないんじゃ……

552:デフォルトの名無しさん
21/04/29 07:50:14.64 1rAkIDNr.net
>>537
できない
int i;
vector<decltype(i)> v;
// vを初期化
for (auto&& j : v)
{
i = j;
// iを使用
}
のようなことになる

553:デフォルトの名無しさん
21/04/29 08:34:23.25 3mmNht9g.net
>>540
反例を1個あげれば十分
あとは自分でかんがえろってこと
お前は何か役立つ回答をしたか？

554:デフォルトの名無しさん
21/04/29 08:51:08.82 fshfa4aU.net
質問者がbegin()とend()の定義の必要性を把握しているのに対して
begin()のみではNGだとレスするのがそんなにﾄﾞﾔるほどのことなのかどうか……

555:デフォルトの名無しさん
21/04/29 08:55:45.00 3mmNht9g.net
>>544
前者ってbeginのことだと思っちゃった？
お前日本人じゃないだろ

556:デフォルトの名無しさん
21/04/29 09:04:34.25 6rdxVFZp.net
>>542
ありがとうございます
v は必ずしも vector<int> ではなく vector<vector<int>> とかで、かついっぱい回るループを想定してるのでできるだけ定数倍を軽くしたいのですが、j を右辺値参照にすればコピーは起きないので相当マシと思って良いですかね

557:デフォルトの名無しさん
21/04/29 09:07:08.51 1rAkIDNr.net
右辺値参照つってもauto&&は左辺値参照も兼ねるぞ

558:デフォルトの名無しさん
21/04/29 09:16:30.33 fshfa4aU.net
>>545
ちょっじゃあ >>538のレスのどこが反例だったの？？

559:デフォルトの名無しさん
21/04/29 09:22:13.70 3mmNht9g.net
二個目の条件に反してる

560:デフォルトの名無しさん
21/04/29 09:41:24.58 fshfa4aU.net
>>549
別に
URLﾘﾝｸ(ideone.com)

561:デフォルトの名無しさん
21/04/29 10:20:12.63 gzXxIopT.net
URLﾘﾝｸ(ideone.com)

562:デフォルトの名無しさん
21/04/29 10:26:57.88 6rdxVFZp.net
>>547
for()のカッコの中でiをjの参照として定義できたらそれでも良いんですが、そういうことはできるんでしたっけ？

563:デフォルトの名無しさん
21/04/29 10:28:45.87 6rdxVFZp.net
すみません「定義」というよりは、forのスコープの外にiの宣言はあって、for(ここ)でiがjの参照であることにできたら良いってことです

564:デフォルトの名無しさん
21/04/29 10:29:35.81 fshfa4aU.net
>>551
ちょっそのforまで範囲forに含めるんなら >>535に加えてbegin()やend()が返す型がデリファレンス可能という条件が必要なんじゃ……

565:デフォルトの名無しさん
21/04/29 10:35:45.46 gzXxIopT.net
は？加えて？
>>535に入ってるだろ
最初からrange-basedの話なのに屁理屈言ってるから突っ込んだだけだよ

566:デフォルトの名無しさん
21/04/29 11:07:16.11 1rAkIDNr.net
&g

567:t;>553 i が j の参照ということは int& i = j; という宣言が必要で、 int i; としてしまったものを後で参照に変更ということはできない

568:デフォルトの名無しさん
21/04/29 11:10:24.28 6rdxVFZp.net
>>556
reference_wrapper って
i = ref(j);
みたいなことできませんっけ？

569:デフォルトの名無しさん
21/04/29 11:52:35.69 1rAkIDNr.net
>>557
無理
実体定義された変数を途中から参照に変更なんて

570:デフォルトの名無しさん
21/04/29 12:28:01.48 vjsl7cGC.net
ポインタと参照の決定的な違いはそこだね

571:デフォルトの名無しさん
21/04/29 12:46:42.20 yUiVUiFp.net
>>541
begin()とend()の型が一致してる必要はない（C++17～）

572:デフォルトの名無しさん
21/04/29 13:03:31.68 K/HFYMcp.net
URLﾘﾝｸ(negation.hatenadiary.org)
↑で、簡単に書けば、
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:デフォルトの名無しさん
21/04/29 13:05:10.26 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:デフォルトの名無しさん
21/04/29 13:10:29.61 yUiVUiFp.net
>>561
s.list.push_back(n);のところはn(Novel)のBook部分を首チョンパしてコピーしたオブジェクトがpush_backされる
スライシングというよく知ら�

575:黷ｽホラー現象

576:デフォルトの名無しさん
21/04/29 13:10:34.24 K/HFYMcp.net
URLﾘﾝｸ(stackoverflow.com)
↑によれば、やっぱり、>>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:デフォルトの名無しさん
21/04/29 13:16:01.96 yUiVUiFp.net
>>564
その認識で合ってる
561のShelfにはNovelやComicじゃなくて、そいつらから刈り取った生首が並んでる
絶対やったらいかんやつ

578:デフォルトの名無しさん
21/04/29 13:19:09.72 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:はちみつ餃子
21/04/29 18:07:20.75 x0Vd7BP9.net
パブリック継承している型のオブジェクトが基底クラスへ暗黙に型変換されるのは抑止する方法がないんだよな。

580:デフォルトの名無しさん
21/04/30 01:30:09.20 7VhEvZ/Q.net
>>567
Dog d;
の時に func( Animal &a )に対して、
func(d);
がエラーにならないということ？

581:デフォルトの名無しさん
21/04/30 08:17:30.86 tsrXe0Ut.net
それは別に問題ない
func(Animal a)だとやばい

582:デフォルトの名無しさん
21/04/30 09:32:28.19 W8up1rh0.net
funcがAnimalの情報しか使わないんなら別にいいんだけどね
単にポリモーフィズムにはポインタか参照が必要ってだけ

583:デフォルトの名無しさん
21/04/30 09:52:57.56 dyTEtgxA.net
shared_ptr<T>もいけるでしょ
スタックを使った60バイト近いメモリーコピーが発生するから最適ではないけど

584:デフォルトの名無しさん
21/04/30 10:40:50.56 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:デフォルトの名無しさん
21/04/30 11:02:34.65 Qm/DlA0m.net
>>572
スライシングが発生してるのは g_list.push_back(a) であって、 func( Animal &a ) は関係ないでしょ。

586:デフォルトの名無しさん
21/04/30 11:21:35.01 qs5VuYRE.net
なんで範囲for文ってBOOST_FOREACHを完全に置き換えれるようにしなかったの？
>>537,542はそれで解決するし、逆順のループとかもできるのに

587:デフォルトの名無しさん
21/04/30 11:34:29.27 vL4rFdIy.net
ポリモーフィズム前提の時は、コピーコンストラクタはdeleteするのが良いのかね

588:デフォルトの名無しさん
21/04/30 11:43:26.05 qs5VuYRE.net
あー範囲forが使える条件とBOOST_FOREACH使える条件って違うのか
後者は自作クラスじゃ使えない？
あるいは使える条件が >>535と違う？

589:デフォルトの名無しさん
21/04/30 11:48:46.39 7VhEvZ/Q.net
>>573
この場合、スライシングが発生しても問題ない、という観点もあるかも。

590:デフォルトの名無しさん
21/04/30 12:01:43.38 W8up1rh0.net
>>575
そしたら派生クラス同士でコピー出来んやろ、コピー禁止にしたいのでなければ書くべき(で派生のコピーコンストラクタで基底のコピーコンストラクタを初期化リストから呼ぶ
必ず派生させて使うのが前提ならコンストラクタをprotectedにするとかその辺のテクニックは大昔から色々出てる

591:デフォルトの名無しさん
21/04/30 12:18:33.85 7VhEvZ/Q.net
スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
操作が危険になる可能性があるが、もし、仮想テーブルへのポインタを
基本クラス用に変えてしてしまえば、コピー後の動作は完全に基本クラス的に
なってしまうけれど、その反面、メンバー関数を呼び出しても特にメモリーの
破壊などは起きないはず。
そのようにしてしまえばスライシングが起きても問題ないような気が。

592:デフォルトの名無しさん
21/04/30 12:31:22.41 W8up1rh0.net
>>578て書いたけど実際ポリモーフィズム目的の継承ツリーだとコピー禁止にしてること多いな・・
どうせポインタ(orスマポ)で管理するから確かにコピー禁止のが無難かもね

593:デフォルトの名無しさん
21/04/30 12:38:12.34 5yvxXz0O.net
>>570
それぞれのコピコンをプログラマが自由に記述できる以上、例えAnimalの情報しか参照しないとしても問題が起こることはあるんじゃね？
例えば、DogのコピコンはAnimal::cuterThanCat変数を強制的にtrueに書き換えてるかもしれない

594:デフォルトの名無しさん
21/04/30 12:51:39.69 W8up1rh0.net
>>581
戦争勃発するぞ
まぁスライシングが常に危険とは限らないと言いたかっただけ

595:デフォルトの名無しさん
21/04/30 14:49:19.98 qs5VuYRE.net
誰かBOOST_FOREACHを自作クラスに使う条件教えてください

596:はちみつ餃子
21/04/30 16:01:39.38 Efpw+/b3.net
>>583
URLﾘﾝｸ(www.boost.org)

597:デフォルトの名無しさん
21/04/30 20:24:33.87 QZYh0z4M.net
>>579
>スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
>その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
>操作が危険
そんな恐ろしいことが！
と思って試したが、少なくともデフォルトのコピコンは仮想関数テーブルへのポインタを
コピー先の型に合わせて付け替えてくれるらしい
↓そうでなけれはfunc_with_ref(Animal a)の中でa2.get()がDogの値でなくAnimalの値を返す説明がつかない
URLﾘﾝｸ(ideone.com)
規格でどうなっているかは知らん

598:デフォルトの名無しさん
21/04/30 20:25:50.19 QZYh0z4M.net
訂正orz、
誤：そうでなけれはfunc_with_ref(Animal a)の中で
正：そうでなけれはfunc_with_copy(Animal a)の中で

599:デフォルトの名無しさん
21/05/01 07:00:40.64 2eVlBBCY.net
ていうかよく考えたらAnimalのコピコンは
Animalのコンストラクタでもあるのだから >>585の挙動は当然かorz

600:デフォルトの名無しさん
21/05/01 09:21:42.94 C4kuj/yW.net
コピコン

601:デフォルトの名無しさん
21/05/01 09:28:33.15 18idEqJd.net
コピコン
たまに見る
頭悪そう

602:デフォルトの名無しさん
21/05/01 10:19:04.33 tHuso9oJ.net
でもコピーコンストラクターって長いよね

603:デフォルトの名無しさん
21/05/01 10:26:47.50 2eVlBBCY.net
コンストラクタはコンストラ
コピーコンストラクタはコピコン
デストラクタはデストラ
アルゴリズムはアルゴ
と略すのが効率的

604:デフォルトの名無しさん
21/05/01 10:31:05.38 Jen9oEOj.net
取引先がそんな言葉を使ってきたら
今後の契約を考え直すかも
少なくとも評価はマイナス
取引先とそんな細かい内容を話す打合せも無いだろうけど

605:デフォルトの名無しさん
21/05/01 11:21:44.35 fSkONWKY.net
>>591
気持ち悪い略語だな

606:デフォルトの名無しさん
21/05/01 12:04:39.12 zZz/KCNF.net
デストラｗ

607:デフォルトの名無しさん
21/05/01 12:14:30.82 yzll/vyD.net
ctor,dtorは一般的な略語？

608:デフォルトの名無しさん
21/05/01 12:14:41.90 toT74GP1.net
機能を引き継ぐために継承して、インスタンス化して使うために移譲もしたい
継承も移譲もするのってありですか？

609:デフォルトの名無しさん
21/05/01 12:45:03.96 toT74GP1.net
わかんねえ
継承が相応しくない場合が山程あるのはわかった
継承が相応しくないが一部機能を引き継ぎたいときは、コードのコピペをするべきなのか？

610:デフォルトの名無しさん
21/05/01 12:53:12.87 C4kuj/yW.net
独立させる

611:デフォルトの名無しさん
21/05/01 13:13:50.17 toT74GP1.net
>>598
より小さいクラスか構造体として切り出すということ？

612:デフォルトの名無しさん
21/05/01 13:18:13.99 T/ErWrJ0.net
private継承じゃダメなの？

613:デフォルトの名無しさん
21/05/01 13:52:11.96 toT74GP1.net
>>600
ダメってことはもちろんなくて、そう実装することにすればそう実装するだけだが、継承である以上は依存関係が生じるし、相応しくない場合もあるなあと思うだけ

614:デフォルトの名無しさん
21/05/01 13:54:03.05 TBkH44Fh.net
intをとるかcharを取るかで振る舞いを変えるオーバーロード関数って作れるんですか？
その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？

615:デフォルトの名無しさん
21/05/01 14:19:20.97 I2agxka5.net
オーバーロードという単語を知っておきながら、何故できないと思ったんだ

616:デフォルトの名無しさん
21/05/01 16:00:09.42 qPtffzbe.net
>>602
関数シグネチャってもんがあるわけよ。
リンカは関数名ではなくこのシグネチャでリンクする。
引数の型が変わるとこのシグネチャが変わるので、
プログラムというかコンパイラはそれを間違えることはない。

617:デフォルトの名無しさん
21/05/01 16:28:04.60 18idEqJd.net
intとcharは使う側が間違いやすいから
間違えたら問題がある場合は名前を変えよう

618:デフォルトの名無しさん
21/05/01 16:37:35.74 JkRHvcmQ.net
>>604
厳密に言えばリンカは関数名しか見ない。
C++はオーバーロードのためにシグネチャの違いを関数名に埋め込むマングリングを行う。

619:デフォルトの名無しさん
21/05/01 17:09:26.40 1WejqaZh.net
>>602
C++で関数呼び出しを書いた場合、どの関数が呼び出されるかは
Best Matching Algorithm で選ばれているので実引数が charの場合は、
同じ場所の仮引数がcharである関数を優先的に選ぼうとする。
もし、同じ場所の仮引数がcharであるものが見つからなければ、
同じ場所の仮引数が int であるものを探して、見つかればそれを選択する。
このとき、実引数と仮引数の型の「距離」のような概念があり、
距離が近いものが選ばれる。複数の引数が有る場合で、二つの引数で
距離が近い関数がどっちもどっちになる場合には、「曖昧」であると、
され、エラーになる。
>その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？
ここであなたの言っている「見分ける」という意味が分かりにくいが、
オーバーロードされた関数は、C++レベルでは同じ名前に見えていてもが
アセンブラレベルでは別の関数名になっていて、別の関数として扱われていて、
別の関数が呼び出されているから「見分ける」以前問題になっている。

620:
21/05/01 17:16:10.99 m+tkSw04.net
>>591
コピコン以外は使わないです‥‥

621:デフォルトの名無しさん
21/05/01 17:24:45.49 CnJDnM0a.net
>>606
「リンカは関数名しか見ない」はおかしい。
リンカが見るのは、関数名を含むシグネチャをマングリングした結果のシンボル名。

622:デフォルトの名無しさん
21/05/01 17:29:02.27 1WejqaZh.net
>>605
それは、実際そうだと思う。
char idx = xxx;
func( 'a' + idx );
と書いた場合、func(int)とfunc(char)のどちらが呼び出されるのかを
事前に予想するのは非常に難しい。
なぜなら、伝統的にCでは、char + char は、それぞれが int に昇格
されてから、int + int になって、結果も int になるとされていたから。

623:デフォルトの名無しさん
21/05/01 18:00:18.46 1WejqaZh.net
ファイル出力で、1バイト出力と4バイト出力の違いは、単に人間が見るための
stdout出力とは訳が違って、後からファイルを入力する時にその部分のバイト数の違い
が大きな意味を持つので、オーバーロードの仕組みだけでコンパイラに自動振り分け
させるのは、分かりにくいバグを入れてしまう可能性がある。
なので、やはり、出力するのは1バイトなのか4バイトなのかを、明確に関数名で
区別できるようにした方が望ましいと思われる。

624:デフォルトの名無しさん
21/05/01 18:45:41.91 JkRHvcmQ.net
>>609
そのマングリングした名前で関数を呼び出すことができるわけだし、関数名以外の何物でもないと思うが。
そもそもリンカはマングリングされているのかされていないのかも関知しないし。

625:デフォルトの名無しさん
21/05/01 18:55:40.94 u3yKRN8V.net
> 589 名前：デフォルトの名無しさん[sage] 投稿日：2021/05/01(土) 09:28:33.15 ID:18idEqJd [1/2]
> コピコン
> たまに見る
> 頭悪そう
 >>595に何も言えねえ
頭悪そうｗ

626:デフォルトの名無しさん
21/05/01 19:59:37.32 tHuso9oJ.net
マングリング、ってなんかイヤらしいよね

627:デフォルトの名無しさん
21/05/01 20:50:21.52 TTMGRbh+.net
>>612
?h@@YAXH@Z みたいなのを関数名って言うのは違和感しかないわ
> そもそもリンカはマングリングされているのかされていないのかも関知しないし。
それを言うならリンカは関数かどうかすら関知してない

628:デフォルトの名無しさん
21/05/01 21:00:22.23 CnJDnM0a.net
>>612
むちゃくちゃだなぁ。わざわざ用語をごっちゃにして何がうれしいの？
シンボルが関数を指すのか変数その他を指すのかもリンカは関知しないんじゃないの？
たとえば ld のマニュアルに function name なんて一度も出てこないし。
URLﾘﾝｸ(linux.die.net)
> ld combines a number of object and archive files, relocates their data and ties up symbol references. ...

629:デフォルトの名無しさん
21/05/01 21:25:44.91 18idEqJd.net
私は「関数名」派
C++のコンパイラは元々はC++からCに翻訳してたわけだし

630:デフォルトの名無しさん
21/05/01 21:27:05.03 18idEqJd.net
まあどっちでもいいけど

631:デフォルトの名無しさん
21/05/02 00:16:29.81 r2Ed4Ypi.net
>>616
だなあ。
C++のコードにおいて、関数名と呼ぶ場合、それはマングリング込みとかのシグネチャではなく
あくまでもソースコード上にある関数の名前だからなあ。
>>618
これはあんまりどっちでも良くない。
つか、>>612の言い分を認めるとオーバーロード/オーバーライドってもんがなんだか分からなくなるｗ
同じ関数名で関数の実装を選べるってのがオーバーロード/オーバーライドだから。

632:デフォルトの名無しさん
21/05/02 01:13:49.22 hoeVnODB.net
オーバーライドの意味も知らない子は無理して回答しなくていいよ

633:デフォルトの名無しさん
21/05/02 01:21:37.53 AyQRjFej.net
C++初心者はクラス継承の学習にこだわりテンプレートの学習が後回しになるので、テンプレートが最適解になることが多いと悟るのが遅くなる

634:デフォルトの名無しさん
21/05/02 01:23:19.71 liMkj8Q9.net
オーバルライトは新しいからね。

635:デフォルトの名無しさん
21/05/02 01:39:37.43 uIjrwEP9.net
>>619
Cに翻訳された段階だと変数名まで含んだ名前が関数名
当然リンカの段階ではC++の関数名は残って無い
C++以外のドメインでどれが関数名かを議論すること自体意味がない

636:デフォルトの名無しさん
21/05/02 01:40:39.79 uIjrwEP9.net
>>610
されていたって...
今もそうだよ

637:デフォルトの名無しさん
21/05/02 06:37:18.08 pZrwNqHn.net
>>619
overrideキーワードは派生クラスで仮想関数を上書きするときに使う
overloadキーワードはcfront 1.0世代のC++で関数を多重定義する予告として使われていた

638:デフォルトの名無しさん
21/05/02 08:57:49.73 rpBXKN7W.net
基底クラスBで定義された int foo(double x) が派生クラスD1、D2でオーバーライドされた場合、
同じ「foo」という関数名に対して
　Bのクラス名が入ったマングルされたシンボル _$F_B__foo_INT_1_DBL
　D1のクラス名が入ったマングルされたシンボル _$F_D1_foo_INT_1_DBL
　D2のクラス名が入ったマングルされたシンボル _$F_D2__foo_INT_1_DBL
みたいな3種類のシンボルがリンカに渡されることになり（マングリング規則は適当
、{ オーバーライドされた関数名 }と{ オーバーライドされたシンボル }の
1対1対応は崩れるのだから
　関数名≠関数のシンボル
を示す例としてオーバーライドはオーバーロードと同じく妥当であることは変わりが無い
、と思うが知らん

639:デフォルトの名無しさん
21/05/02 09:20:39.13 aspEWHUD.net
>>621
継承とテンプレートが対立するかのように考えてる時点で
テンプレートどころかクラスや継承もまともに理解できてないやつの発言にしか見えない

640:デフォルトの名無しさん
21/05/02 10:53:26.72 r2Ed4Ypi.net
>>626
丁寧な御説明ありがとう。
それで正しいですよ。

641:デフォルトの名無しさん
21/05/02 12:10:24.45 tUw9C2ed.net
このクソ議論見ても関数オーバーロードの仕様は失敗してるってのがよくわかる。

642:デフォルトの名無しさん
21/05/02 12:12:19.26 KNEFHTDE.net
…などと意味不明の供述をしており、

643:デフォルトの名無しさん
21/05/02 12:47:09.45 72ULtZJb.net
悪い子: この仕様はクソだ！
普通の子: この仕様は〇〇だから良くないね
良い子: この仕様は〇〇だから良くないね、△△とすれば良いのに

644:デフォルトの名無しさん
21/05/02 13:06:19.55 hoeVnODB.net
>>626
それは単に別のクラスで同じ名前のメンバ関数はシンボルが違うってだけの話だろ
オーバーライドは全く関係ない
そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない
オーバーロードと並べて語る意味が全くわからない

645:デフォルトの名無しさん
21/05/02 13:16:03.71 B3yuABqk.net
ダンバインよりビルバインのほうが好き

646:デフォルトの名無しさん
21/05/02 13:18:20.36 rpBXKN7W.net
（話に付いてこれてない香具師が居るな

647:デフォルトの名無しさん
21/05/02 13:20:32.85 rpBXKN7W.net
>そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない
では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ
ちな1つのクラスのメソッドの定義が必ずしも同一の翻訳単位内とは限らないから、
相対インデックス指定の出番は無い＝コンパイル時解決は不可能

648:デフォルトの名無しさん
21/05/02 13:26:01.49 hoeVnODB.net
＞では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ
実行時に実行バイナリが決めるに決まってるだろ
リンカがリンク時に静的に決めるとでも思ってるの？すげえなそのリンカ

649:デフォルトの名無しさん
21/05/02 13:27:21.13 anCj3LhS.net
>>633
それはオーラロード

650:デフォルトの名無しさん
21/05/02 13:46:56.51 KNEFHTDE.net
よく知らんけど、多くの場合vtblを作るのはコンパイル時であって、リンク時でも実行時でもないのでは？

651:デフォルトの名無しさん
21/05/02 13:50:36.00 h6as2k/z.net
>>635
vtbl内のアドレスを最終的に決めるのはリンカなんだろうけど、それは
「オーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない」と両立するので
反論ぽく挙げてる意味がわからない。

652:デフォルトの名無しさん
21/05/02 13:51:49.77 AyQRjFej.net
ビルバインはもっと禍々しいデザインになる予定だったが、競合アニメだったマクロス・シリーズの影響で変形ギミックが追加され色も派手になった

653:デフォルトの名無しさん
21/05/02 13:53:08.50 B3yuABqk.net
>>637
分かってくれてありがとうw

654:デフォルトの名無しさん
21/05/02 13:53:56.96 01FRJ74M.net
おまいら中身のある会話しろよ
ひまなの？

655:はちみつ餃子
21/05/02 15:30:38.46 VAfyzxcR.net
せやで。

656:デフォルトの名無しさん
21/05/02 18:29:19.65 r2Ed4Ypi.net
>>627
実際にプログラムを改修したりする場面では継承とテンプレートどちらでやるか
悩むってのはよくある話。
テンプレートだと元のクラスをいじらなくちゃならないからためらいがち。
その点継承だと元のコードいじらなくて(あるいは最小限の修正で)済むからな。
継承してテンプレートってのもなしじゃないがｗ継承するくらいなら、テンプレートまで
やんないｗ

657:デフォルトの名無しさん
21/05/02 18:44:15.42 01FRJ74M.net
継承とテンプレートって全然違うけど
悩む場面が想定出来ない

658:デフォルトの名無しさん
21/05/02 19:07:17.74 ZwmHpnzp.net
もう継承はしなければしないだけ偉いっていう気持ちになって久しい
つーかOOPに飽きてるというか見限ってる
C++を使ってるのは単に自由度が高くてパフォーマンスが良いから

659:デフォルトの名無しさん
21/05/02 19:55:42.70 BSsO48AF.net
OOPに飽きてる俺すげー
ってかw

660:デフォルトの名無しさん
21/05/02 20:02:15.30 aspEWHUD.net
普段どの程度の規模のどういうコード書いててその結論に至ったかで評価が変わるな

661:デフォルトの名無しさん
21/05/02 20:06:12.37 aspEWHUD.net
>>644
改修にテンプレートがどう役立つのか想像つきにくいけど
そのコードが前提としてる特定の型以外でも受け入れられるようにするとか？
(それで継承とテンプレートどっちが優れてるという話にはならない気がするが

662:デフォルトの名無しさん
21/05/02 22:27:50.57 r2Ed4Ypi.net
>>649
> そのコードが前提としてる特定の型以外でも受け入れられるようにするとか？
まあ、一番単純なパターンだとそれだね。
まあ、自分は >>621ではないので、
> (それで継承とテンプレートどっちが優れてるという話にはならない気がするが
その真意はわからんけど、自分の経験でも対処療法的に継承でやっつけちゃうより
やっぱりテンプレート化しときゃ良かった、と思ったときは多々あったｗ
(「神は細部に宿る」んだわ、ほんとｗ)

663:デフォルトの名無しさん
21/05/02 22:42:08.00 Uu9e0iPh.net
低レイヤーコードの置き換えを前提にモデル化できるってのがオブジェクト指向の一つの売りだが
まああんまりそこの置き換えってしないわけだわな。
言うほど有効な場面は多くないってのはそれはそう。
素直に関数かけやって場面のが圧倒的に多い。

664:デフォルトの名無しさん
21/05/03 03:06:36.21 cgOLnSCp.net
>>651
オブジェクト指向や継承の概念を使いまくっても、メンバ関数の形で
関数は書きまくるよ。

665:デフォルトの名無しさん
21/05/03 03:09:53.91 cgOLnSCp.net
>>651
>低レイヤーコードの置き換えを前提にモデル化できるってのがオブジェクト指向の一つの売りだが
>まああんまりそこの置き換えってしないわけだわな。
>言うほど有効な場面は多くないってのはそれはそう。
めちゃくちゃ低レイヤーな部分の書き換えは余り起こらないけれど、
クラスは階層的に継承して行くから、中間的な部分は結構修正が入る。
また、やはり仮想関数(ポリモーフィズム)の作法は便利。

666:デフォルトの名無しさん
21/05/03 03:15:32.93 cgOLnSCp.net
>>653
というか、基本クラスの Animal 的なクラスの修正はそんなに頻繁には入らなくて、
Dog, Cat, Lion, Bird, Fish みたいな部分の修正がプログラミングの主戦場になる。
例えばゲーム作りの場合、Animalクラスの中にwalk(), eat(), battle(), sleep(),
jump(), set_velocity(), set_position() などを仮想関数で用意しておいて、
Animalを継承したDog, Cat, Lion, Bird, fishみたいなクラスがそれぞれ
どのように歩いて、どのように食べて、どのように戦って、どのように寝て、
どのようにジャンプするかをプログラムするというのはとても便利。
クラスや継承、仮想関数の概念が無ければその様に便利にプログラムする
ことは簡単にはいかない。

667:デフォルトの名無しさん
21/05/03 03:37:22.90 ndSqMpB2.net
シンプルにポリモをやるための継承はいいんだけど
それ以外をやるための道具として流用し始めると途端におかしくなるって経験上思ってる

668:デフォルトの名無しさん
21/05/03 06:47:59.32 J4qyGfu1.net
>>654
そういうゲームみたいなシチュエーションがそんなにあるわけじゃないって話だよ。
よっぽどプログラマ間で共有できる抽象概念がない限り逆にわかりにくくなることのが多い。

669:デフォルトの名無しさん
21/05/03 06:56:42.03 O7+GYvY4.net
派生関係がなくても関数名を一致(つまりオーバーロード)させるだけで動いてくれるテンプレートのほうが楽なことが多い。
実際、最近C++に追加されている機能は大部分が派生関係のないテンプレートクラス。
一方、派生して使うiostream系クラスは機能追加される気配がまるでない。

670:デフォルトの名無しさん
21/05/03 09:29:12.51 1Xubdwf1.net
というか、単に間違ったクラス化や間違った継承してた奴が多かったんじゃないの
 >>657
クラステンプレートでも結構継承使ってるぞ

671:デフォルトの名無しさん
21/05/03 10:18:11.42 /gB1psu8.net
皆様おはようございます
ちょっと質問させてください
テンプレートクラスを宣言定義する時に、ヘッダーに定義を書かないとエラーを吐いてしまいます
テンプレートクラスのヘッダーファイルを、他のヘッダーファイルにインクルードして使う場合、なるべくテンプレートクラスのヘッダーに必要なファイルをインクルードをしたくないので、テンプレートクラスをヘッダーソースに分けて記述できれば嬉しいのですが……
//テンプレートのヘッダー
template<class T>
class Hoge{
public:
Hoge();
};
//テンプレートのソース
template<class T>
Hoge<class T>::Hoge(){
cout<<“hego !”<<endl;
}
//テンプレートを使うクラス(別なヘッダーファイル)
class UseHoge{
public:
UseHoge(){
Hoge hoge;
}
};
これをメインで記述すると未解決の外部エラーになってしまいます
テンプレートをUseHogeのヘッダーソースに分けて記述すればエラーは出ないのですが出来るなら独立させたいです……
何かいい方法がありますでしょうか？

672:デフォルトの名無しさん
21/05/03 10:27:08.26 jyja/vBX.net
Hogeを使う型で具体化する話？

673:デフォルトの名無しさん
21/05/03 10:32:39.67 1Xubdwf1.net
基本的にテンプレートの実装をソースに書くことは出来ないよ
与える型を決め打ち(明示的実体化)すれば出来るけど、当然汎用性は大幅に下がる

674:デフォルトの名無しさん
21/05/03 11:41:17.40 /gB1psu8.net
Hogeをvectorやunique_ptrの様に、インクルードすればどこでも使えるようなテンプレートクラスにしたいのですが、そういう場合はHogeの定義もヘッダーに記述して、そのヘッダーを適宜インクルードするような形になるんでしょうか？

675:デフォルトの名無しさん
21/05/03 11:46:53.45 ndSqMpB2.net
それを出来るようにするためのexportという機能が昔の標準規格に定義されてたんだが
難しすぎてほとんどのコンパイラが実装できなかったので消えた

676:デフォルトの名無しさん
21/05/03 11:56:42.04 1Xubdwf1.net
>>662
vectorやunique_ptrも全部ヘッダに実装書いてるんだよ
見た目の問題だけなら、宣言と実装を分けることはできるけど(実装もヘッダのどこかに書けば

677:デフォルトの名無しさん
21/05/03 11:59:02.11 /gB1psu8.net
>>663
ありがとうございます
難しい感じなんですね
インクルードでコンパイル時間が余分にかかるかも……と思っていたのですがそれが一番近い方法なのでしょうね
コンパイル時点でTの大きさがわからないから明

678:治化しない限りはリンカ？でのエラーになるのでしょうか？

679:デフォルトの名無しさん
21/05/03 12:02:09.68 /gB1psu8.net
>>664
すれ違いになりました
ありがとうございます
ベクター等もそうなっているんですね
一度覗いてみたときにマクロの大文字が並んでて頭痛がして以来じっくりみたことが無かったので……(大汗)

680:デフォルトの名無しさん
21/05/03 13:46:09.28 aV7aDLTY.net
>>656
ただ、MFCを見ても分かるように、例えば、左ボタンをクリックした時には、
が OnLButtonDown()というメンバー関数が呼び出される様になっていて、
それは、CWndで基礎が定義されていて、CWndを継承したクラスも同じ関数名で
同じイベントを処理する様になっている。
これを純粋なCだけで書くのは分かりにくいだろう。

681:デフォルトの名無しさん
21/05/03 14:09:33.89 aV7aDLTY.net
>>667
ちなみに、MFCはちょっと複雑になっていて、C++本来のポリモーフィズムは、
設計上は virtual 属性をつけた仮想関数で実装するようになっているのだが、
CWnd::OnLButtonDown()CWnd::OnChar()やCWnd::OnKeyDown()などに
関しては、非仮想関数で実装されていて、メッセージマップなる独自の仕組みで
MFCのフレームワークが独自に継承クラスのものを呼び出すような仕組みに
なっていて、「Message Routing」などと呼ばれている。
MFCでC++本来の仮想関数で実装されているものとしては、CWnd::PreTranslateMessage()
がある。
なお、C++を使っていて便利なところは、
void CMyWnd::OnLButtonDown()
{
　if (条件) {　　
　　(処理);　// CMyWnd の独自の処理
　}
　else {
　　CWnd::OnLButtonDown();　// 継承する前のデフォルトの処理
　}
}
のように、条件によって継承する前のデフォルトの処理も分かり易く呼び出せるところ。
これをplain な Cで統一した書き方で分かり易く書くのは不可能。

682:デフォルトの名無しさん
21/05/03 14:22:00.89 O7+GYvY4.net
WTLって知ってる？
MFCとほぼ同じ機能を派生クラスではなくテンプレートクラスで実現しているんだが、ソースが綺麗

683:デフォルトの名無しさん
21/05/03 14:28:53.28 1Xubdwf1.net
何言ってんだWTLも継承使ってるしユーザーもWTLから継承するだろうがアホか
典型的なポリモーフィズムではないけど、それがそのままデメリットにもなってる(ウインドウのインスタンス管理をまとめられない

684:デフォルトの名無しさん
21/05/03 14:39:14.18 O7+GYvY4.net
継承といっても1世代だけじゃん
多重継承も使ってるから感じにくいけど

685:デフォルトの名無しさん
21/05/03 15:08:41.96 1Xubdwf1.net
本気で言ってんのか？

686:デフォルトの名無しさん
21/05/03 15:17:14.89 O7+GYvY4.net
テンプレートは実体化された時に存在の有無を判定されるので、最低限のオーバーロードで済ませる

687:はちみつ餃子
21/05/03 16:27:31.54 9b5rlct5.net
そういえばどこかの超人プログラマ集団がいる組織では必要になったら設計を気にせずどんどん
機能を増やしていって、どうにもならなくなったらさっさと捨てて作り直す文化があるというのを聞いたことが有る。
剛腕があれば綺麗な設計なんて必要がないし、無能ならば綺麗な設計は出来ない。
つまり大体の場合にあんまり綺麗な設計にならないってことになる。
それでもなんとかするしか仕方ない。

688:デフォルトの名無しさん
21/05/03 17:27:36.73 aV7aDLTY.net
>>674
完全に捨てるというのは、多分、大きなプロジェクトでは無理で
リファクタリングするんだと思われるが、その際に基本クラスの
設計や継承の仕方が変わる、ということなんだと思われる。
例えば Windowsエミュレータの Wineや、clangのソースなどを
いくらソースが汚くなったからといって完全に書き換えるというのは
どんなに超人豪腕プログラマ集団でも効率が良い方法とは
思えない。なぜなら、例えばWineのソースは150MB位あるから。

次ページ