C++相談室 part155

■ このスレッドは過去ログ倉庫に格納されています
2021/03/24(水) 12:07:15.39ID:R+oM8cup
※前スレ
C++相談室 part154
https://mevius.5ch.net/test/read.cgi/tech/1610096040/

テンプレここまで
2021/04/29(木) 08:34:23.25ID:3mmNht9g
>>540
反例を1個あげれば十分
あとは自分でかんがえろってこと

お前は何か役立つ回答をしたか?
2021/04/29(木) 08:51:08.82ID:fshfa4aU
質問者がbegin()とend()の定義の必要性を把握しているのに対して
begin()のみではNGだとレスするのがそんなにドヤるほどのことなのかどうか……
2021/04/29(木) 08:55:45.00ID:3mmNht9g
>>544
前者ってbeginのことだと思っちゃった?
お前日本人じゃないだろ
2021/04/29(木) 09:04:34.25ID:6rdxVFZp
>>542
ありがとうございます
v は必ずしも vector<int> ではなく vector<vector<int>> とかで、かついっぱい回るループを想定してるのでできるだけ定数倍を軽くしたいのですが、j を右辺値参照にすればコピーは起きないので相当マシと思って良いですかね
2021/04/29(木) 09:07:08.51ID:1rAkIDNr
右辺値参照つってもauto&&は左辺値参照も兼ねるぞ
2021/04/29(木) 09:16:30.33ID:fshfa4aU
>>545
ちょっじゃあ>>538のレスのどこが反例だったの??
2021/04/29(木) 09:22:13.70ID:3mmNht9g
二個目の条件に反してる
2021/04/29(木) 09:41:24.58ID:fshfa4aU
>>549
別に
https://ideone.com/VLjCjO
2021/04/29(木) 10:20:12.63ID:gzXxIopT
https://ideone.com/bERbqr
2021/04/29(木) 10:26:57.88ID:6rdxVFZp
>>547
for()のカッコの中でiをjの参照として定義できたらそれでも良いんですが、そういうことはできるんでしたっけ?
2021/04/29(木) 10:28:45.87ID:6rdxVFZp
すみません「定義」というよりは、forのスコープの外にiの宣言はあって、for(ここ)でiがjの参照であることにできたら良いってことです
2021/04/29(木) 10:29:35.81ID:fshfa4aU
>>551
ちょっそのforまで範囲forに含めるんなら>>535に加えてbegin()やend()が返す型がデリファレンス可能という条件が必要なんじゃ……
2021/04/29(木) 10:35:45.46ID:gzXxIopT
は?加えて?
>>535に入ってるだろ
最初からrange-basedの話なのに屁理屈言ってるから突っ込んだだけだよ
2021/04/29(木) 11:07:16.11ID:1rAkIDNr
>>553
i が j の参照ということは
int& i = j;
という宣言が必要で、
int i;
としてしまったものを後で参照に変更ということはできない
2021/04/29(木) 11:10:24.28ID:6rdxVFZp
>>556
reference_wrapper って
i = ref(j);
みたいなことできませんっけ?
2021/04/29(木) 11:52:35.69ID:1rAkIDNr
>>557
無理
実体定義された変数を途中から参照に変更なんて
2021/04/29(木) 12:28:01.48ID:vjsl7cGC
ポインタと参照の決定的な違いはそこだね
2021/04/29(木) 12:46:42.20ID:yUiVUiFp
>>541
begin()とend()の型が一致してる必要はない(C++17〜)
2021/04/29(木) 13:03:31.68ID:K/HFYMcp
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];
みたいな配列なの?
2021/04/29(木) 13:05:10.26ID:K/HFYMcp
>>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);
}
2021/04/29(木) 13:10:29.61ID:yUiVUiFp
>>561
s.list.push_back(n);のところはn(Novel)のBook部分を首チョンパしてコピーしたオブジェクトがpush_backされる
スライシングというよく知られたホラー現象
2021/04/29(木) 13:10:34.24ID:K/HFYMcp
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>());
2021/04/29(木) 13:16:01.96ID:yUiVUiFp
>>564
その認識で合ってる
561のShelfにはNovelやComicじゃなくて、そいつらから刈り取った生首が並んでる
絶対やったらいかんやつ
2021/04/29(木) 13:19:09.72ID:K/HFYMcp
>>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);
}
2021/04/29(木) 18:07:20.75ID:x0Vd7BP9
パブリック継承している型のオブジェクトが基底クラスへ暗黙に型変換されるのは抑止する方法がないんだよな。
2021/04/30(金) 01:30:09.20ID:7VhEvZ/Q
>>567
Dog d;
の時に func( Animal &a )に対して、
func(d);
がエラーにならないということ?
2021/04/30(金) 08:17:30.86ID:tsrXe0Ut
それは別に問題ない
func(Animal a)だとやばい
2021/04/30(金) 09:32:28.19ID:W8up1rh0
funcがAnimalの情報しか使わないんなら別にいいんだけどね
単にポリモーフィズムにはポインタか参照が必要ってだけ
2021/04/30(金) 09:52:57.56ID:dyTEtgxA
shared_ptr<T>もいけるでしょ
スタックを使った60バイト近いメモリーコピーが発生するから最適ではないけど
2021/04/30(金) 10:40:50.56ID:7VhEvZ/Q
>>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;
}
2021/04/30(金) 11:02:34.65ID:Qm/DlA0m
>>572
スライシングが発生してるのは g_list.push_back(a) であって、 func( Animal &a ) は関係ないでしょ。
2021/04/30(金) 11:21:35.01ID:qs5VuYRE
なんで範囲for文ってBOOST_FOREACHを完全に置き換えれるようにしなかったの?
>>537,542はそれで解決するし、逆順のループとかもできるのに
2021/04/30(金) 11:34:29.27ID:vL4rFdIy
ポリモーフィズム前提の時は、コピーコンストラクタはdeleteするのが良いのかね
2021/04/30(金) 11:43:26.05ID:qs5VuYRE
あー範囲forが使える条件とBOOST_FOREACH使える条件って違うのか
後者は自作クラスじゃ使えない?
あるいは使える条件が>>535と違う?
2021/04/30(金) 11:48:46.39ID:7VhEvZ/Q
>>573
この場合、スライシングが発生しても問題ない、という観点もあるかも。
2021/04/30(金) 12:01:43.38ID:W8up1rh0
>>575
そしたら派生クラス同士でコピー出来んやろ、コピー禁止にしたいのでなければ書くべき(で派生のコピーコンストラクタで基底のコピーコンストラクタを初期化リストから呼ぶ

必ず派生させて使うのが前提ならコンストラクタをprotectedにするとかその辺のテクニックは大昔から色々出てる
2021/04/30(金) 12:18:33.85ID:7VhEvZ/Q
スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
操作が危険になる可能性があるが、もし、仮想テーブルへのポインタを
基本クラス用に変えてしてしまえば、コピー後の動作は完全に基本クラス的に
なってしまうけれど、その反面、メンバー関数を呼び出しても特にメモリーの
破壊などは起きないはず。
そのようにしてしまえばスライシングが起きても問題ないような気が。
2021/04/30(金) 12:31:22.41ID:W8up1rh0
>>578て書いたけど実際ポリモーフィズム目的の継承ツリーだとコピー禁止にしてること多いな・・
どうせポインタ(orスマポ)で管理するから確かにコピー禁止のが無難かもね
2021/04/30(金) 12:38:12.34ID:5yvxXz0O
>>570
それぞれのコピコンをプログラマが自由に記述できる以上、例えAnimalの情報しか参照しないとしても問題が起こることはあるんじゃね?
例えば、DogのコピコンはAnimal::cuterThanCat変数を強制的にtrueに書き換えてるかもしれない
2021/04/30(金) 12:51:39.69ID:W8up1rh0
>>581
戦争勃発するぞ

まぁスライシングが常に危険とは限らないと言いたかっただけ
2021/04/30(金) 14:49:19.98ID:qs5VuYRE
誰かBOOST_FOREACHを自作クラスに使う条件教えてください
2021/04/30(金) 16:01:39.38ID:Efpw+/b3
>>583
https://www.boost.org/doc/libs/1_76_0/doc/html/foreach/extensibility.html
2021/04/30(金) 20:24:33.87ID:QZYh0z4M
>>579
>スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
>その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
>操作が危険
そんな恐ろしいことが!
と思って試したが、少なくともデフォルトのコピコンは仮想関数テーブルへのポインタを
コピー先の型に合わせて付け替えてくれるらしい

↓そうでなけれはfunc_with_ref(Animal a)の中でa2.get()がDogの値でなくAnimalの値を返す説明がつかない
https://ideone.com/eJMsYG

規格でどうなっているかは知らん
2021/04/30(金) 20:25:50.19ID:QZYh0z4M
訂正orz、
誤: そうでなけれはfunc_with_ref(Animal a)の中で
正: そうでなけれはfunc_with_copy(Animal a)の中で
2021/05/01(土) 07:00:40.64ID:2eVlBBCY
ていうかよく考えたらAnimalのコピコンは
Animalのコンストラクタでもあるのだから>>585の挙動は当然かorz
2021/05/01(土) 09:21:42.94ID:C4kuj/yW
コピコン
2021/05/01(土) 09:28:33.15ID:18idEqJd
コピコン
たまに見る
頭悪そう
2021/05/01(土) 10:19:04.33ID:tHuso9oJ
でもコピーコンストラクターって長いよね
2021/05/01(土) 10:26:47.50ID:2eVlBBCY
コンストラクタはコンストラ
コピーコンストラクタはコピコン
デストラクタはデストラ
アルゴリズムはアルゴ
と略すのが効率的
2021/05/01(土) 10:31:05.38ID:Jen9oEOj
取引先がそんな言葉を使ってきたら
今後の契約を考え直すかも
少なくとも評価はマイナス

取引先とそんな細かい内容を話す打合せも無いだろうけど
2021/05/01(土) 11:21:44.35ID:fSkONWKY
>>591
気持ち悪い略語だな
2021/05/01(土) 12:04:39.12ID:zZz/KCNF
デストラw
2021/05/01(土) 12:14:30.82ID:yzll/vyD
ctor,dtorは一般的な略語?
2021/05/01(土) 12:14:41.90ID:toT74GP1
機能を引き継ぐために継承して、インスタンス化して使うために移譲もしたい

継承も移譲もするのってありですか?
2021/05/01(土) 12:45:03.96ID:toT74GP1
わかんねえ
継承が相応しくない場合が山程あるのはわかった
継承が相応しくないが一部機能を引き継ぎたいときは、コードのコピペをするべきなのか?
2021/05/01(土) 12:53:12.87ID:C4kuj/yW
独立させる
2021/05/01(土) 13:13:50.17ID:toT74GP1
>>598
より小さいクラスか構造体として切り出すということ?
2021/05/01(土) 13:18:13.99ID:T/ErWrJ0
private継承じゃダメなの?
2021/05/01(土) 13:52:11.96ID:toT74GP1
>>600
ダメってことはもちろんなくて、そう実装することにすればそう実装するだけだが、継承である以上は依存関係が生じるし、相応しくない場合もあるなあと思うだけ
2021/05/01(土) 13:54:03.05ID:TBkH44Fh
intをとるかcharを取るかで振る舞いを変えるオーバーロード関数って作れるんですか?
その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか?
2021/05/01(土) 14:19:20.97ID:I2agxka5
オーバーロードという単語を知っておきながら、何故できないと思ったんだ
2021/05/01(土) 16:00:09.42ID:qPtffzbe
>>602
関数シグネチャってもんがあるわけよ。
リンカは関数名ではなくこのシグネチャでリンクする。
引数の型が変わるとこのシグネチャが変わるので、
プログラムというかコンパイラはそれを間違えることはない。
2021/05/01(土) 16:28:04.60ID:18idEqJd
intとcharは使う側が間違いやすいから
間違えたら問題がある場合は名前を変えよう
2021/05/01(土) 16:37:35.74ID:JkRHvcmQ
>>604
厳密に言えばリンカは関数名しか見ない。
C++はオーバーロードのためにシグネチャの違いを関数名に埋め込むマングリングを行う。
2021/05/01(土) 17:09:26.40ID:1WejqaZh
>>602
C++で関数呼び出しを書いた場合、どの関数が呼び出されるかは
Best Matching Algorithm で選ばれているので実引数が charの場合は、
同じ場所の仮引数がcharである関数を優先的に選ぼうとする。
もし、同じ場所の仮引数がcharであるものが見つからなければ、
同じ場所の仮引数が int であるものを探して、見つかればそれを選択する。
このとき、実引数と仮引数の型の「距離」のような概念があり、
距離が近いものが選ばれる。複数の引数が有る場合で、二つの引数で
距離が近い関数がどっちもどっちになる場合には、「曖昧」であると、
され、エラーになる。

>その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか?
ここであなたの言っている「見分ける」という意味が分かりにくいが、
オーバーロードされた関数は、C++レベルでは同じ名前に見えていてもが
アセンブラレベルでは別の関数名になっていて、別の関数として扱われていて、
別の関数が呼び出されているから「見分ける」以前問題になっている。
2021/05/01(土) 17:16:10.99ID:m+tkSw04
>>591
コピコン以外は使わないです‥‥
2021/05/01(土) 17:24:45.49ID:CnJDnM0a
>>606
「リンカは関数名しか見ない」はおかしい。
リンカが見るのは、関数名を含むシグネチャをマングリングした結果のシンボル名。
2021/05/01(土) 17:29:02.27ID:1WejqaZh
>>605
それは、実際そうだと思う。
char idx = xxx;
func( 'a' + idx );
と書いた場合、func(int)とfunc(char)のどちらが呼び出されるのかを
事前に予想するのは非常に難しい。
なぜなら、伝統的にCでは、char + char は、それぞれが int に昇格
されてから、int + int になって、結果も int になるとされていたから。
2021/05/01(土) 18:00:18.46ID:1WejqaZh
ファイル出力で、1バイト出力と4バイト出力の違いは、単に人間が見るための
stdout出力とは訳が違って、後からファイルを入力する時にその部分のバイト数の違い
が大きな意味を持つので、オーバーロードの仕組みだけでコンパイラに自動振り分け
させるのは、分かりにくいバグを入れてしまう可能性がある。
なので、やはり、出力するのは1バイトなのか4バイトなのかを、明確に関数名で
区別できるようにした方が望ましいと思われる。
2021/05/01(土) 18:45:41.91ID:JkRHvcmQ
>>609
そのマングリングした名前で関数を呼び出すことができるわけだし、関数名以外の何物でもないと思うが。
そもそもリンカはマングリングされているのかされていないのかも関知しないし。
2021/05/01(土) 18:55:40.94ID:u3yKRN8V
> 589 名前:デフォルトの名無しさん[sage] 投稿日:2021/05/01(土) 09:28:33.15 ID:18idEqJd [1/2]
> コピコン
> たまに見る
> 頭悪そう

>>595に何も言えねえ
頭悪そうw
2021/05/01(土) 19:59:37.32ID:tHuso9oJ
マングリング、ってなんかイヤらしいよね
2021/05/01(土) 20:50:21.52ID:TTMGRbh+
>>612
?h@@YAXH@Z みたいなのを関数名って言うのは違和感しかないわ

> そもそもリンカはマングリングされているのかされていないのかも関知しないし。
それを言うならリンカは関数かどうかすら関知してない
2021/05/01(土) 21:00:22.23ID:CnJDnM0a
>>612
むちゃくちゃだなぁ。わざわざ用語をごっちゃにして何がうれしいの?
シンボルが関数を指すのか変数その他を指すのかもリンカは関知しないんじゃないの?
たとえば ld のマニュアルに function name なんて一度も出てこないし。
https://linux.die.net/man/1/ld
> ld combines a number of object and archive files, relocates their data and ties up symbol references. ...
2021/05/01(土) 21:25:44.91ID:18idEqJd
私は「関数名」派
C++のコンパイラは元々はC++からCに翻訳してたわけだし
2021/05/01(土) 21:27:05.03ID:18idEqJd
まあどっちでもいいけど
2021/05/02(日) 00:16:29.81ID:r2Ed4Ypi
>>616
だなあ。
C++のコードにおいて、関数名と呼ぶ場合、それはマングリング込みとかのシグネチャではなく
あくまでもソースコード上にある関数の名前だからなあ。

>>618
これはあんまりどっちでも良くない。
つか、>>612の言い分を認めるとオーバーロード/オーバーライドってもんがなんだか分からなくなるw
同じ関数名で関数の実装を選べるってのがオーバーロード/オーバーライドだから。
2021/05/02(日) 01:13:49.22ID:hoeVnODB
オーバーライドの意味も知らない子は無理して回答しなくていいよ
621デフォルトの名無しさん
垢版 |
2021/05/02(日) 01:21:37.53ID:AyQRjFej
C++初心者はクラス継承の学習にこだわりテンプレートの学習が後回しになるので、テンプレートが最適解になることが多いと悟るのが遅くなる
622デフォルトの名無しさん
垢版 |
2021/05/02(日) 01:23:19.71ID:liMkj8Q9
オーバルライトは新しいからね。
2021/05/02(日) 01:39:37.43ID:uIjrwEP9
>>619
Cに翻訳された段階だと変数名まで含んだ名前が関数名
当然リンカの段階ではC++の関数名は残って無い
C++以外のドメインでどれが関数名かを議論すること自体意味がない
2021/05/02(日) 01:40:39.79ID:uIjrwEP9
>>610
されていたって...
今もそうだよ
2021/05/02(日) 06:37:18.08ID:pZrwNqHn
>>619
overrideキーワードは派生クラスで仮想関数を上書きするときに使う
overloadキーワードはcfront 1.0世代のC++で関数を多重定義する予告として使われていた
2021/05/02(日) 08:57:49.73ID:rpBXKN7W
基底クラス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対応は崩れるのだから
 関数名≠関数のシンボル
を示す例としてオーバーライドはオーバーロードと同じく妥当であることは変わりが無い

、と思うが知らん
2021/05/02(日) 09:20:39.13ID:aspEWHUD
>>621
継承とテンプレートが対立するかのように考えてる時点で
テンプレートどころかクラスや継承もまともに理解できてないやつの発言にしか見えない
2021/05/02(日) 10:53:26.72ID:r2Ed4Ypi
>>626
丁寧な御説明ありがとう。
それで正しいですよ。
2021/05/02(日) 12:10:24.45ID:tUw9C2ed
このクソ議論見ても関数オーバーロードの仕様は失敗してるってのがよくわかる。
2021/05/02(日) 12:12:19.26ID:KNEFHTDE
…などと意味不明の供述をしており、
2021/05/02(日) 12:47:09.45ID:72ULtZJb
悪い子: この仕様はクソだ!
普通の子: この仕様は〇〇だから良くないね
良い子: この仕様は〇〇だから良くないね、△△とすれば良いのに
2021/05/02(日) 13:06:19.55ID:hoeVnODB
>>626
それは単に別のクラスで同じ名前のメンバ関数はシンボルが違うってだけの話だろ
オーバーライドは全く関係ない
そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない
オーバーロードと並べて語る意味が全くわからない
2021/05/02(日) 13:16:03.71ID:B3yuABqk
ダンバインよりビルバインのほうが好き
2021/05/02(日) 13:18:20.36ID:rpBXKN7W
(話に付いてこれてない香具師が居るな
2021/05/02(日) 13:20:32.85ID:rpBXKN7W
>そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない
では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ

ちな1つのクラスのメソッドの定義が必ずしも同一の翻訳単位内とは限らないから、
相対インデックス指定の出番は無い=コンパイル時解決は不可能
2021/05/02(日) 13:26:01.49ID:hoeVnODB
>では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ
実行時に実行バイナリが決めるに決まってるだろ
リンカがリンク時に静的に決めるとでも思ってるの?すげえなそのリンカ
2021/05/02(日) 13:27:21.13ID:anCj3LhS
>>633
それはオーラロード
2021/05/02(日) 13:46:56.51ID:KNEFHTDE
よく知らんけど、多くの場合vtblを作るのはコンパイル時であって、リンク時でも実行時でもないのでは?
2021/05/02(日) 13:50:36.00ID:h6as2k/z
>>635
vtbl内のアドレスを最終的に決めるのはリンカなんだろうけど、それは
「オーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない」と両立するので
反論ぽく挙げてる意味がわからない。
640デフォルトの名無しさん
垢版 |
2021/05/02(日) 13:51:49.77ID:AyQRjFej
ビルバインはもっと禍々しいデザインになる予定だったが、競合アニメだったマクロス・シリーズの影響で変形ギミックが追加され色も派手になった
2021/05/02(日) 13:53:08.50ID:B3yuABqk
>>637
分かってくれてありがとうw
2021/05/02(日) 13:53:56.96ID:01FRJ74M
おまいら中身のある会話しろよ
ひまなの?
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況