※前スレ
C++相談室 part154
https://mevius.5ch.net/test/read.cgi/tech/1610096040/
テンプレここまで
C++相談室 part155
■ このスレッドは過去ログ倉庫に格納されています
2021/03/24(水) 12:07:15.39ID:R+oM8cup
511デフォルトの名無しさん
2021/04/28(水) 03:41:16.44ID:v8E9sca8 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; と書かねば成らないが、実際にはそうではない。
テンプレート自体が別に用意されてるんだよね？
そもそも前者の規則と後者は使う時の記号としても違っていて、前者は、
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; と書かねば成らないが、実際にはそうではない。
512はちみつ餃子 ◆8X2XSCHEME
2021/04/28(水) 05:20:55.28ID:cpOEbmvB >>511
> テンプレート自体が別に用意されてるんだよね？
特殊化で配列の場合は特別に用意されている。
> unique_ptr<int[]> b = new int[10];
> と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように
> 振舞わなければならない。
(そのように b を初期化することは出来ない (生ポインタを受け取るコンストラクタには explicit が付いてる) が、意図はわかるのでとりあえずわきに置く。)
new int[10]; という式の型は int* なので、この時点で配列の大きさに関する情報は失われている。
(配列の先頭要素を指す生ポインタではなく) 配列を指す生ポインタのようにスマートポインタを抽象化する意味がない。
どうしてもやりたければ std::array と組み合わせればいいし。
> テンプレート自体が別に用意されてるんだよね？
特殊化で配列の場合は特別に用意されている。
> unique_ptr<int[]> b = new int[10];
> と書いた場合、b は、int[10] へのポインタ、つまり、int (*b)[10] のように
> 振舞わなければならない。
(そのように b を初期化することは出来ない (生ポインタを受け取るコンストラクタには explicit が付いてる) が、意図はわかるのでとりあえずわきに置く。)
new int[10]; という式の型は int* なので、この時点で配列の大きさに関する情報は失われている。
(配列の先頭要素を指す生ポインタではなく) 配列を指す生ポインタのようにスマートポインタを抽象化する意味がない。
どうしてもやりたければ std::array と組み合わせればいいし。
513デフォルトの名無しさん
2021/04/28(水) 12:25:48.23ID:jQpDsyge >>512
すまん。正しい書き方は：
unique_ptr<int[]> b(new int[10]); //(1)
だったようだ。
ちょっと意図が伝わらなかったのか、言いたかったのは、
unique_ptr<T> a; //(2)
の場合、a の型は、T* のようになるのに、
unique_ptr<U[]> b;
の型は、U* のようになるので、数学の様に最初のT=U[]
すまん。正しい書き方は：
unique_ptr<int[]> b(new int[10]); //(1)
だったようだ。
ちょっと意図が伝わらなかったのか、言いたかったのは、
unique_ptr<T> a; //(2)
の場合、a の型は、T* のようになるのに、
unique_ptr<U[]> b;
の型は、U* のようになるので、数学の様に最初のT=U[]
514デフォルトの名無しさん
2021/04/28(水) 12:39:35.77ID:jQpDsyge すまん、まちがって送信してしまった。
>>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がその他の場合と比べて
「一般性を失っている」と言える。
一般性を失っていることは、言語として分かりにくくなってしまうと俺は思うんだ。
>>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がその他の場合と比べて
「一般性を失っている」と言える。
一般性を失っていることは、言語として分かりにくくなってしまうと俺は思うんだ。
515デフォルトの名無しさん
2021/04/28(水) 12:44:49.64ID:P6pu+tTf 「数学的に」
数学を知らないヤツがよく使う言葉
類義語
「物理的に」
数学を知らないヤツがよく使う言葉
類義語
「物理的に」
516デフォルトの名無しさん
2021/04/28(水) 12:56:00.95ID:VWIud7ZL 規格的にってのも仕事ができない言語厨がよく使ってるw
517デフォルトの名無しさん
2021/04/28(水) 12:57:27.64ID:jQpDsyge >>515
「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。
言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。
「代入」の概念というか。
優先順位のために、U (*b)[] のような 記号になっているが、これも数学的に
演算子が演算される順序に従って「平坦」に書くと
b --> * --> [] --> U
となる。読み方は、一番左の b の部分以外が右から順に
bの型は「Uの配列へのポインタ」
となる。ちなみに、
T b の場合は、
b --> T
となり、読み方は、
bの型は「T」
となる。
「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。
言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。
「代入」の概念というか。
優先順位のために、U (*b)[] のような 記号になっているが、これも数学的に
演算子が演算される順序に従って「平坦」に書くと
b --> * --> [] --> U
となる。読み方は、一番左の b の部分以外が右から順に
bの型は「Uの配列へのポインタ」
となる。ちなみに、
T b の場合は、
b --> T
となり、読み方は、
bの型は「T」
となる。
518デフォルトの名無しさん
2021/04/28(水) 12:58:27.74ID:jQpDsyge519デフォルトの名無しさん
2021/04/28(水) 13:01:24.71ID:jQpDsyge >>517
もう少し噛み砕いて書くと、コンパイラ内部では、
U (*b)[];
という宣言は、優先順位に従って、
b --> * --> [] --> U
となり、コンパイラ内部では左から順に
「bは、ポインタ(*)であり、その元の型は、配列([])であり、その元の型は、
U である」
と理解している。
もう少し噛み砕いて書くと、コンパイラ内部では、
U (*b)[];
という宣言は、優先順位に従って、
b --> * --> [] --> U
となり、コンパイラ内部では左から順に
「bは、ポインタ(*)であり、その元の型は、配列([])であり、その元の型は、
U である」
と理解している。
520デフォルトの名無しさん
2021/04/28(水) 13:04:48.90ID:jQpDsyge >>519
b --> * --> [] --> U
は、英語で読むと、左から順に、
「b is a pointer(*) to array([]) to type U.」
と読めて、言葉と記号の順序が一致する。
b --> * --> [] --> U
は、英語で読むと、左から順に、
「b is a pointer(*) to array([]) to type U.」
と読めて、言葉と記号の順序が一致する。
521デフォルトの名無しさん
2021/04/28(水) 14:25:22.22ID:uUyjbKVX 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 に対してやったらやばい操作ってどんなんですかね
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 に対してやったらやばい操作ってどんなんですかね
522デフォルトの名無しさん
2021/04/28(水) 14:41:21.61ID:P6pu+tTf 数学記号に関するIQて何？
523デフォルトの名無しさん
2021/04/28(水) 15:09:55.27ID:pxclvZlf524デフォルトの名無しさん
2021/04/28(水) 15:12:59.93ID:GWxUY3yT すごい
クソゲボゴミ老害の意見
頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ
天晴
クソゲボゴミ老害の意見
頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ
天晴
525デフォルトの名無しさん
2021/04/28(水) 15:14:07.47ID:UpJQEntB >>510
ありがとうございます！できないんですね…
ありがとうございます！できないんですね…
526デフォルトの名無しさん
2021/04/28(水) 15:21:22.38ID:aIuZlW8v527デフォルトの名無しさん
2021/04/28(水) 15:26:21.46ID:+7CWSFOZ >>521
pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト
pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト
528デフォルトの名無しさん
2021/04/28(水) 15:27:17.73ID:+7CWSFOZ >>527
おっと、aのサイズが〜の間違い
おっと、aのサイズが〜の間違い
529デフォルトの名無しさん
2021/04/28(水) 15:51:27.64ID:P5vpmJVI >>515
そうか、禿Stroustrupは数学を知らないのか
そうか、禿Stroustrupは数学を知らないのか
530デフォルトの名無しさん
2021/04/28(水) 15:52:12.82ID:Kf9DoDRw pのサイズ変わるのもまずいよね？
勝手に new/delete されて使用不能になりえるので
勝手に new/delete されて使用不能になりえるので
531デフォルトの名無しさん
2021/04/28(水) 16:03:18.23ID:P6pu+tTf >>529
どこからそういう結論になった？
どこからそういう結論になった？
532デフォルトの名無しさん
2021/04/28(水) 16:04:05.01ID:P6pu+tTf533デフォルトの名無しさん
2021/04/28(水) 16:06:25.57ID:7RK+jwPd >>530
晒しage
晒しage
534デフォルトの名無しさん
2021/04/28(水) 16:18:30.85ID:eLEqCP2l >>530
ダメな例をコードで示してくれ
ダメな例をコードで示してくれ
535デフォルトの名無しさん
2021/04/28(水) 16:28:13.84ID:c0w2coaF 自作クラスや構造体に対して範囲forを使うための条件って、そのクラスや構造体が
・メンバ関数としてbegin()、end()を持つ
・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す
で合ってますか？
cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね？
・メンバ関数としてbegin()、end()を持つ
・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す
で合ってますか？
cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね？
536はちみつ餃子 ◆8X2XSCHEME
2021/04/28(水) 16:35:30.69ID:cpOEbmvB537デフォルトの名無しさん
2021/04/28(水) 18:23:34.44ID:c0w2coaF もう一個質問させてください
範囲for文ってfor文スコープ外の変数を使えないんですか？
int i;
vector<int> v;
// v を初期化
for(i: v){
...
}
みたいなことをしたいです
範囲for文ってfor文スコープ外の変数を使えないんですか？
int i;
vector<int> v;
// v を初期化
for(i: v){
...
}
みたいなことをしたいです
538デフォルトの名無しさん
2021/04/28(水) 18:36:49.45ID:7AKt1vSf539デフォルトの名無しさん
2021/04/29(木) 06:49:31.89ID:1rAkIDNr >>531
ISBN4-7561-1895のP.500 16.1.1 設計上の制約
ISBN4-7561-1895のP.500 16.1.1 設計上の制約
540デフォルトの名無しさん
2021/04/29(木) 06:50:25.72ID:+7uc9ATw >>538
最近こういうゴミ返しするバカめっちゃ増えたね、このスレ
「intじゃダメ」は「間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体である必要がある」を全く意味しないだろ……
一方で、ではイテレータを返せば良いのかというとそこまで条件が厳しいわけでもなくて、イテレータ「らしき」性質を持ったクラスを返せば良いということなので、この話はそこまで単純じゃない
そういうこと全く分かってないバカが場当たり的な回答をしてるのは甚だ不快ですね
最近こういうゴミ返しするバカめっちゃ増えたね、このスレ
「intじゃダメ」は「間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体である必要がある」を全く意味しないだろ……
一方で、ではイテレータを返せば良いのかというとそこまで条件が厳しいわけでもなくて、イテレータ「らしき」性質を持ったクラスを返せば良いということなので、この話はそこまで単純じゃない
そういうこと全く分かってないバカが場当たり的な回答をしてるのは甚だ不快ですね
541デフォルトの名無しさん
2021/04/29(木) 07:36:35.34ID:fshfa4aU えっっ
Tをイテレータ様のふるまいを示す型として
T begin()だけではダメで
T end()も最低限定義いないといけないんじゃ……
Tをイテレータ様のふるまいを示す型として
T begin()だけではダメで
T end()も最低限定義いないといけないんじゃ……
542デフォルトの名無しさん
2021/04/29(木) 07:50:14.64ID:1rAkIDNr543デフォルトの名無しさん
2021/04/29(木) 08:34:23.25ID:3mmNht9g544デフォルトの名無しさん
2021/04/29(木) 08:51:08.82ID:fshfa4aU 質問者がbegin()とend()の定義の必要性を把握しているのに対して
begin()のみではNGだとレスするのがそんなにﾄﾞﾔるほどのことなのかどうか……
begin()のみではNGだとレスするのがそんなにﾄﾞﾔるほどのことなのかどうか……
545デフォルトの名無しさん
2021/04/29(木) 08:55:45.00ID:3mmNht9g546デフォルトの名無しさん
2021/04/29(木) 09:04:34.25ID:6rdxVFZp >>542
ありがとうございます
v は必ずしも vector<int> ではなく vector<vector<int>> とかで、かついっぱい回るループを想定してるのでできるだけ定数倍を軽くしたいのですが、j を右辺値参照にすればコピーは起きないので相当マシと思って良いですかね
ありがとうございます
v は必ずしも vector<int> ではなく vector<vector<int>> とかで、かついっぱい回るループを想定してるのでできるだけ定数倍を軽くしたいのですが、j を右辺値参照にすればコピーは起きないので相当マシと思って良いですかね
547デフォルトの名無しさん
2021/04/29(木) 09:07:08.51ID:1rAkIDNr 右辺値参照つってもauto&&は左辺値参照も兼ねるぞ
548デフォルトの名無しさん
2021/04/29(木) 09:16:30.33ID:fshfa4aU549デフォルトの名無しさん
2021/04/29(木) 09:22:13.70ID:3mmNht9g 二個目の条件に反してる
550デフォルトの名無しさん
2021/04/29(木) 09:41:24.58ID:fshfa4aU551デフォルトの名無しさん
2021/04/29(木) 10:20:12.63ID:gzXxIopT552デフォルトの名無しさん
2021/04/29(木) 10:26:57.88ID:6rdxVFZp >>547
for()のカッコの中でiをjの参照として定義できたらそれでも良いんですが、そういうことはできるんでしたっけ？
for()のカッコの中でiをjの参照として定義できたらそれでも良いんですが、そういうことはできるんでしたっけ？
553デフォルトの名無しさん
2021/04/29(木) 10:28:45.87ID:6rdxVFZp すみません「定義」というよりは、forのスコープの外にiの宣言はあって、for(ここ)でiがjの参照であることにできたら良いってことです
554デフォルトの名無しさん
2021/04/29(木) 10:29:35.81ID:fshfa4aU555デフォルトの名無しさん
2021/04/29(木) 10:35:45.46ID:gzXxIopT556デフォルトの名無しさん
2021/04/29(木) 11:07:16.11ID:1rAkIDNr557デフォルトの名無しさん
2021/04/29(木) 11:10:24.28ID:6rdxVFZp558デフォルトの名無しさん
2021/04/29(木) 11:52:35.69ID:1rAkIDNr559デフォルトの名無しさん
2021/04/29(木) 12:28:01.48ID:vjsl7cGC ポインタと参照の決定的な違いはそこだね
560デフォルトの名無しさん
2021/04/29(木) 12:46:42.20ID:yUiVUiFp >>541
begin()とend()の型が一致してる必要はない（C++17〜）
begin()とend()の型が一致してる必要はない（C++17〜）
561デフォルトの名無しさん
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];
みたいな配列なの？
↑で、簡単に書けば、
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];
みたいな配列なの？
562デフォルトの名無しさん
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);
}
すまん。間違った。正しくはこう :
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);
}
563デフォルトの名無しさん
2021/04/29(木) 13:10:29.61ID:yUiVUiFp564デフォルトの名無しさん
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>());
↑によれば、やっぱり、>>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>());
565デフォルトの名無しさん
2021/04/29(木) 13:16:01.96ID:yUiVUiFp566デフォルトの名無しさん
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);
}
なるほど、では、正しい書き方としては、たとえば、こうかな：
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);
}
567はちみつ餃子 ◆8X2XSCHEME
2021/04/29(木) 18:07:20.75ID:x0Vd7BP9 パブリック継承している型のオブジェクトが基底クラスへ暗黙に型変換されるのは抑止する方法がないんだよな。
568デフォルトの名無しさん
2021/04/30(金) 01:30:09.20ID:7VhEvZ/Q569デフォルトの名無しさん
2021/04/30(金) 08:17:30.86ID:tsrXe0Ut それは別に問題ない
func(Animal a)だとやばい
func(Animal a)だとやばい
570デフォルトの名無しさん
2021/04/30(金) 09:32:28.19ID:W8up1rh0 funcがAnimalの情報しか使わないんなら別にいいんだけどね
単にポリモーフィズムにはポインタか参照が必要ってだけ
単にポリモーフィズムにはポインタか参照が必要ってだけ
571デフォルトの名無しさん
2021/04/30(金) 09:52:57.56ID:dyTEtgxA shared_ptr<T>もいけるでしょ
スタックを使った60バイト近いメモリーコピーが発生するから最適ではないけど
スタックを使った60バイト近いメモリーコピーが発生するから最適ではないけど
572デフォルトの名無しさん
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;
}
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;
}
573デフォルトの名無しさん
2021/04/30(金) 11:02:34.65ID:Qm/DlA0m >>572
スライシングが発生してるのは g_list.push_back(a) であって、 func( Animal &a ) は関係ないでしょ。
スライシングが発生してるのは g_list.push_back(a) であって、 func( Animal &a ) は関係ないでしょ。
574デフォルトの名無しさん
2021/04/30(金) 11:21:35.01ID:qs5VuYRE なんで範囲for文ってBOOST_FOREACHを完全に置き換えれるようにしなかったの？
>>537,542はそれで解決するし、逆順のループとかもできるのに
>>537,542はそれで解決するし、逆順のループとかもできるのに
575デフォルトの名無しさん
2021/04/30(金) 11:34:29.27ID:vL4rFdIy ポリモーフィズム前提の時は、コピーコンストラクタはdeleteするのが良いのかね
576デフォルトの名無しさん
2021/04/30(金) 11:43:26.05ID:qs5VuYRE577デフォルトの名無しさん
2021/04/30(金) 11:48:46.39ID:7VhEvZ/Q >>573
この場合、スライシングが発生しても問題ない、という観点もあるかも。
この場合、スライシングが発生しても問題ない、という観点もあるかも。
578デフォルトの名無しさん
2021/04/30(金) 12:01:43.38ID:W8up1rh0 >>575
そしたら派生クラス同士でコピー出来んやろ、コピー禁止にしたいのでなければ書くべき(で派生のコピーコンストラクタで基底のコピーコンストラクタを初期化リストから呼ぶ
必ず派生させて使うのが前提ならコンストラクタをprotectedにするとかその辺のテクニックは大昔から色々出てる
そしたら派生クラス同士でコピー出来んやろ、コピー禁止にしたいのでなければ書くべき(で派生のコピーコンストラクタで基底のコピーコンストラクタを初期化リストから呼ぶ
必ず派生させて使うのが前提ならコンストラクタをprotectedにするとかその辺のテクニックは大昔から色々出てる
579デフォルトの名無しさん
2021/04/30(金) 12:18:33.85ID:7VhEvZ/Q スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
操作が危険になる可能性があるが、もし、仮想テーブルへのポインタを
基本クラス用に変えてしてしまえば、コピー後の動作は完全に基本クラス的に
なってしまうけれど、その反面、メンバー関数を呼び出しても特にメモリーの
破壊などは起きないはず。
そのようにしてしまえばスライシングが起きても問題ないような気が。
その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
操作が危険になる可能性があるが、もし、仮想テーブルへのポインタを
基本クラス用に変えてしてしまえば、コピー後の動作は完全に基本クラス的に
なってしまうけれど、その反面、メンバー関数を呼び出しても特にメモリーの
破壊などは起きないはず。
そのようにしてしまえばスライシングが起きても問題ないような気が。
580デフォルトの名無しさん
2021/04/30(金) 12:31:22.41ID:W8up1rh0 >>578て書いたけど実際ポリモーフィズム目的の継承ツリーだとコピー禁止にしてること多いな・・
どうせポインタ(orスマポ)で管理するから確かにコピー禁止のが無難かもね
どうせポインタ(orスマポ)で管理するから確かにコピー禁止のが無難かもね
581デフォルトの名無しさん
2021/04/30(金) 12:38:12.34ID:5yvxXz0O >>570
それぞれのコピコンをプログラマが自由に記述できる以上、例えAnimalの情報しか参照しないとしても問題が起こることはあるんじゃね？
例えば、DogのコピコンはAnimal::cuterThanCat変数を強制的にtrueに書き換えてるかもしれない
それぞれのコピコンをプログラマが自由に記述できる以上、例えAnimalの情報しか参照しないとしても問題が起こることはあるんじゃね？
例えば、DogのコピコンはAnimal::cuterThanCat変数を強制的にtrueに書き換えてるかもしれない
582デフォルトの名無しさん
2021/04/30(金) 12:51:39.69ID:W8up1rh0583デフォルトの名無しさん
2021/04/30(金) 14:49:19.98ID:qs5VuYRE 誰かBOOST_FOREACHを自作クラスに使う条件教えてください
584はちみつ餃子 ◆8X2XSCHEME
2021/04/30(金) 16:01:39.38ID:Efpw+/b3585デフォルトの名無しさん
2021/04/30(金) 20:24:33.87ID:QZYh0z4M >>579
>スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
>その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
>操作が危険
そんな恐ろしいことが！
と思って試したが、少なくともデフォルトのコピコンは仮想関数テーブルへのポインタを
コピー先の型に合わせて付け替えてくれるらしい
↓そうでなけれはfunc_with_ref(Animal a)の中でa2.get()がDogの値でなくAnimalの値を返す説明がつかない
https://ideone.com/eJMsYG
規格でどうなっているかは知らん
>スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
>その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
>操作が危険
そんな恐ろしいことが！
と思って試したが、少なくともデフォルトのコピコンは仮想関数テーブルへのポインタを
コピー先の型に合わせて付け替えてくれるらしい
↓そうでなけれはfunc_with_ref(Animal a)の中でa2.get()がDogの値でなくAnimalの値を返す説明がつかない
https://ideone.com/eJMsYG
規格でどうなっているかは知らん
586デフォルトの名無しさん
2021/04/30(金) 20:25:50.19ID:QZYh0z4M 訂正orz、
誤： そうでなけれはfunc_with_ref(Animal a)の中で
正： そうでなけれはfunc_with_copy(Animal a)の中で
誤： そうでなけれはfunc_with_ref(Animal a)の中で
正： そうでなけれはfunc_with_copy(Animal a)の中で
587デフォルトの名無しさん
2021/05/01(土) 07:00:40.64ID:2eVlBBCY ていうかよく考えたらAnimalのコピコンは
Animalのコンストラクタでもあるのだから>>585の挙動は当然かorz
Animalのコンストラクタでもあるのだから>>585の挙動は当然かorz
588デフォルトの名無しさん
2021/05/01(土) 09:21:42.94ID:C4kuj/yW コピコン
589デフォルトの名無しさん
2021/05/01(土) 09:28:33.15ID:18idEqJd コピコン
たまに見る
頭悪そう
たまに見る
頭悪そう
590デフォルトの名無しさん
2021/05/01(土) 10:19:04.33ID:tHuso9oJ でもコピーコンストラクターって長いよね
591デフォルトの名無しさん
2021/05/01(土) 10:26:47.50ID:2eVlBBCY コンストラクタはコンストラ
コピーコンストラクタはコピコン
デストラクタはデストラ
アルゴリズムはアルゴ
と略すのが効率的
コピーコンストラクタはコピコン
デストラクタはデストラ
アルゴリズムはアルゴ
と略すのが効率的
592デフォルトの名無しさん
2021/05/01(土) 10:31:05.38ID:Jen9oEOj 取引先がそんな言葉を使ってきたら
今後の契約を考え直すかも
少なくとも評価はマイナス
取引先とそんな細かい内容を話す打合せも無いだろうけど
今後の契約を考え直すかも
少なくとも評価はマイナス
取引先とそんな細かい内容を話す打合せも無いだろうけど
593デフォルトの名無しさん
2021/05/01(土) 11:21:44.35ID:fSkONWKY >>591
気持ち悪い略語だな
気持ち悪い略語だな
594デフォルトの名無しさん
2021/05/01(土) 12:04:39.12ID:zZz/KCNF デストラｗ
595デフォルトの名無しさん
2021/05/01(土) 12:14:30.82ID:yzll/vyD ctor,dtorは一般的な略語？
596デフォルトの名無しさん
2021/05/01(土) 12:14:41.90ID:toT74GP1 機能を引き継ぐために継承して、インスタンス化して使うために移譲もしたい
継承も移譲もするのってありですか？
継承も移譲もするのってありですか？
597デフォルトの名無しさん
2021/05/01(土) 12:45:03.96ID:toT74GP1 わかんねえ
継承が相応しくない場合が山程あるのはわかった
継承が相応しくないが一部機能を引き継ぎたいときは、コードのコピペをするべきなのか？
継承が相応しくない場合が山程あるのはわかった
継承が相応しくないが一部機能を引き継ぎたいときは、コードのコピペをするべきなのか？
598デフォルトの名無しさん
2021/05/01(土) 12:53:12.87ID:C4kuj/yW 独立させる
599デフォルトの名無しさん
2021/05/01(土) 13:13:50.17ID:toT74GP1 >>598
より小さいクラスか構造体として切り出すということ？
より小さいクラスか構造体として切り出すということ？
600デフォルトの名無しさん
2021/05/01(土) 13:18:13.99ID:T/ErWrJ0 private継承じゃダメなの？
601デフォルトの名無しさん
2021/05/01(土) 13:52:11.96ID:toT74GP1 >>600
ダメってことはもちろんなくて、そう実装することにすればそう実装するだけだが、継承である以上は依存関係が生じるし、相応しくない場合もあるなあと思うだけ
ダメってことはもちろんなくて、そう実装することにすればそう実装するだけだが、継承である以上は依存関係が生じるし、相応しくない場合もあるなあと思うだけ
602デフォルトの名無しさん
2021/05/01(土) 13:54:03.05ID:TBkH44Fh intをとるかcharを取るかで振る舞いを変えるオーバーロード関数って作れるんですか？
その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？
その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？
603デフォルトの名無しさん
2021/05/01(土) 14:19:20.97ID:I2agxka5 オーバーロードという単語を知っておきながら、何故できないと思ったんだ
604デフォルトの名無しさん
2021/05/01(土) 16:00:09.42ID:qPtffzbe >>602
関数シグネチャってもんがあるわけよ。
リンカは関数名ではなくこのシグネチャでリンクする。
引数の型が変わるとこのシグネチャが変わるので、
プログラムというかコンパイラはそれを間違えることはない。
関数シグネチャってもんがあるわけよ。
リンカは関数名ではなくこのシグネチャでリンクする。
引数の型が変わるとこのシグネチャが変わるので、
プログラムというかコンパイラはそれを間違えることはない。
605デフォルトの名無しさん
2021/05/01(土) 16:28:04.60ID:18idEqJd intとcharは使う側が間違いやすいから
間違えたら問題がある場合は名前を変えよう
間違えたら問題がある場合は名前を変えよう
606デフォルトの名無しさん
2021/05/01(土) 16:37:35.74ID:JkRHvcmQ607デフォルトの名無しさん
2021/05/01(土) 17:09:26.40ID:1WejqaZh >>602
C++で関数呼び出しを書いた場合、どの関数が呼び出されるかは
Best Matching Algorithm で選ばれているので実引数が charの場合は、
同じ場所の仮引数がcharである関数を優先的に選ぼうとする。
もし、同じ場所の仮引数がcharであるものが見つからなければ、
同じ場所の仮引数が int であるものを探して、見つかればそれを選択する。
このとき、実引数と仮引数の型の「距離」のような概念があり、
距離が近いものが選ばれる。複数の引数が有る場合で、二つの引数で
距離が近い関数がどっちもどっちになる場合には、「曖昧」であると、
され、エラーになる。
>その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？
ここであなたの言っている「見分ける」という意味が分かりにくいが、
オーバーロードされた関数は、C++レベルでは同じ名前に見えていてもが
アセンブラレベルでは別の関数名になっていて、別の関数として扱われていて、
別の関数が呼び出されているから「見分ける」以前問題になっている。
C++で関数呼び出しを書いた場合、どの関数が呼び出されるかは
Best Matching Algorithm で選ばれているので実引数が charの場合は、
同じ場所の仮引数がcharである関数を優先的に選ぼうとする。
もし、同じ場所の仮引数がcharであるものが見つからなければ、
同じ場所の仮引数が int であるものを探して、見つかればそれを選択する。
このとき、実引数と仮引数の型の「距離」のような概念があり、
距離が近いものが選ばれる。複数の引数が有る場合で、二つの引数で
距離が近い関数がどっちもどっちになる場合には、「曖昧」であると、
され、エラーになる。
>その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？
ここであなたの言っている「見分ける」という意味が分かりにくいが、
オーバーロードされた関数は、C++レベルでは同じ名前に見えていてもが
アセンブラレベルでは別の関数名になっていて、別の関数として扱われていて、
別の関数が呼び出されているから「見分ける」以前問題になっている。
>>591
コピコン以外は使わないです‥‥
コピコン以外は使わないです‥‥
609デフォルトの名無しさん
2021/05/01(土) 17:24:45.49ID:CnJDnM0a610デフォルトの名無しさん
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 になるとされていたから。
それは、実際そうだと思う。
char idx = xxx;
func( 'a' + idx );
と書いた場合、func(int)とfunc(char)のどちらが呼び出されるのかを
事前に予想するのは非常に難しい。
なぜなら、伝統的にCでは、char + char は、それぞれが int に昇格
されてから、int + int になって、結果も int になるとされていたから。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- バリ島で男子生徒ら集団万引きか、防犯カメラ映像が拡散 京都の大谷中学・高校が「窃盗行為」謝罪★5 [七波羅探題★]
- 【速報】 米トランプ政権声明 「中国が台湾を奪おうとする、いかなる試みも阻止する」 中国「レッドラインだ」 ★2 [お断り★]
- 元プロ野球選手・堂上隼人（43）を20代女性2人へのわいせつ未遂容疑で8回目の逮捕…これまでの被害者は10代・20代の女性11人に [Anonymous★]
- 「残業キャンセル界隈」若者が増加？「職務放棄」との批判も…“定時退社の権利”どこまで通用するか [七波羅探題★]
- 【高校野球】なぜ『7回制』は反対多数でも止まらないか… 高野連が「全員の命」守るために貫く伝統より改革の姿勢 [冬月記者★]
- 【苺ましまろ】立民衆院議員、人気漫画の水着少女画像を「醜悪」タイ人少女の性搾取事件と関連付け…党内で反発 [少考さん★]
- ヤフコメ民の8割「お米券とか意味ねえよ」どうして… [402859164]
- 【高市悲報】中国軍「公海で空母の発着訓練するって事前通告したのになんで自衛隊機は急接近してきたんだ…？」中国軍困惑 [931948549]
- 【高市悲報】自衛隊「実は事前に現場海域で中国軍から空母での発着訓練をすると通告がありました」え…？😨😨 [931948549]
- 【速報】中国人の凶悪犯罪が急増！害国人の変遷、韓国→ベトナム→中国へ🏡
- 【高市速報】中国「このままだと日本が先制攻撃してくる」 [583597859]
- ケンモメンが多分一番読んでる小説って普通にこれだよな [126644339]