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

C++相談室 part155 ..

466:デフォルトの名無しさん
21/04/25 17:59:18.91 Nhz8hzcU.net
>>448
生ポインタのvectorってだめなんだ
やってたかも
まあpush_backとかしなければいいんかしらんけど

467:デフォルトの名無しさん
21/04/25 18:15:22.48 S2tV53BX.net
>>454
でも
「numpy with MKL が C++ より速くて」
という言葉からすれば、Pythonの時だけそれを使い、C++の時にはそれを使ってない
としか思えない。
PythonでもC++でも同じMKLを使ってて、Pythonの方がC++より
速いなんて事は有り得ないだろうし。

468:デフォルトの名無しさん
21/04/25 18:56:01.14 jEvf9lKr.net
>>456 だれも生ポインタのvectorがだめなんて言ってないから何か勘違いしてそう。

469:デフォルトの名無しさん
21/04/25 19:04:09.59 /NByfBPS.net
>>456
ん？ダメなのはvector要素へのポインタだぞ？

470:デフォルトの名無しさん
21/04/25 19:17:31.67 2+KF94a+.net
>>459
だめなのであれば、std::vectorの存在意義を否定することになりかねない。
C互換の配列およびポインタを実現するコンテナはstd::vectorだけ。
危険性を分かったうえで使う、というのが正しいかと。

471:デフォルトの名無しさん
21/04/25 19:26:38.89 /NByfBPS.net
>>460
どういう意味で存在意義を否定することになると言っているんだろうか。
必要に応じて再配置してくれるのもvectorの存在意義だと思っているが？

472:デフォルトの名無しさん
21/04/25 20:19:11.49 2+KF94a+.net
昔のstd::vectorは先頭アドレスを取得するメンバ関数data()がなかったのでポインタとして使うことに多少の背徳感があった

473:デフォルトの名無しさん
21/04/25 21:16:54.88 JRQD9I35.net
>>453
そう

474:デフォルトの名無しさん
21/04/25 21:20:17.62 JRQD9I35.net
>>459
ポインタ保持中にvectorがresizeしないなら
ポインタ保持で何の問題もない

475:デフォルトの名無しさん
21/04/25 22:15:04.13 yRd8KdQ6.net
要素の再配置ができない場合や要素のポインタを扱う場合は、多少効率は落ちるがstd::dequeつかえば良いと思う

476:デフォルトの名無しさん
21/04/25 22:40:08.86 2+KF94a+.net
>>465
> vector とは異なる欠点として deque は連続した位置のストレージに全ての要素を持つことを保証していないため、ポインタ演算を介しての安全なアクセスの可能性を排除する。
URLﾘﾝｸ(cpprefjp.github.io)

477:デフォルトの名無しさん
21/04/25 22:44:46.90 yRd8KdQ6.net
>>466
あぁ、連続要素アクセスは確かにだめだなw

478:デフォルトの名無しさん
21/04/25 22:50:09.53 yRd8KdQ6.net
でも、連続要素アクセスならポインタなんか使わずに範囲for分なりiteretor使った方が楽だよね

479:デフォルトの名無しさん
21/04/25 22:51:31.52 9+aEf3uB.net
なるべくキャッシュに入れたいって率でメモリ連続性を求めてる人たちはたぶんそれだとキツい

480:デフォルトの名無しさん
21/04/25 22:54:28.47 2+KF94a+.net
Win32APIなどOS固有のシステムコールはC言語を前提に作られているので、C++でその恩恵を得たいならメモリ連続性が保証されたコンテナが必要不可欠

481:デフォルトの名無しさん
21/04/25 23:17:48.67 yRd8KdQ6.net
APIがらみだとstd::arrayのheap使用版みたいなのが欲しくなることがあるな
vectorだと初期化が若干面倒なんだよね

482:デフォルトの名無しさん
21/04/26 04:02:46.84 BvXVNvk7.net
>>450
ごめんさらっと言ったけど、現在の各次元のインデックスも実行時の数値として渡す必要あるし再帰と相性悪いかも
ただ文法上、次元数に関わらず同じコードで、ってなるとテンプレートと再帰は必須だと思う
けどそこまでしても、君が書いてた一次元で除算と剰余使うのと比べてそんな速くなるとも思えんので無理せず一次元でいいと思うw

483:デフォルトの名無しさん
21/04/26 11:25:57.38 BvXVNvk7.net
URLﾘﾝｸ(wandbox.org)
気になったのでやってみた、実測(一次元、および要素数決め打ちとの)はめんどいので頼む・・

484:デフォルトの名無しさん
21/04/26 14:15:12.52 REE9nEfp.net
numpy のAPIを C/C++ から使うのがお薦め

485:デフォルトの名無しさん
21/04/26 14:59:17.98 S9wNYjN0.net
>>473
ありがとうございます
正直 beyond me って感じですが、勉強になります
こういう再帰的な定義って STL の [] も同じなんですかね？

486:デフォルトの名無しさん
21/04/26 15:04:19.62 S9wNYjN0.net
>>474
これって、numpy の記法で C++ の配列を操るというわけではなく、Python (numpy) を C++ から操るということですよね？
全ての処理を numpy の機能で行なうことにすれば、全ての計算が事実上 C++ で動くことになるから速いって感じなんですかね

487:デフォルトの名無しさん
21/04/26 16:39:19.86 BvXVNvk7.net
>>475
いや再帰してるのは単にint[I][J][K]をint[J][K]のループ、さらにint[K]のループに(配列の参照で)分解するためにやってるだけ
(そうすればどの階層でもt[i]で書けるから
ただこれ、コンパイル時に要素数も次元数もわかってる固定長の配列でしか使えないんだよね
ポインタを要素数決め打ちで多次元配列の参照にキャストして渡すのは出来るかもしれんけど・・
まぁ要素数が実行時にしか分からなくても使える一次元での計算のが汎用性高いと思う

488:デフォルトの名無しさん
21/04/26 17:57:15.41 NyQKOVd9.net
C++なんだし
多次元コンテナ使おうよ

489:デフォルトの名無しさん
21/04/26 18:43:48.56 G51Jv2BH.net
皆さまコロナ禍いかがお過ごしでしょうか
ちょっと質問させてください
特定のクラス内部で自身の型を格納するコンテナを実体として確保し、そのコンテナから入れ子状？のような形で使用しています
私の環境では動くのですが、これを動かしても安全なのでしょうか？
クラス内部には自身の型を確保できないと聞いたことがあります……
問題が起きそうな気配がしなくもない感じがしますが
当方素人です
class hoge{
Int a;
bool b;
vector<hoge> hoge_vec;
};
このクラスを
hoge Tochigi;
Tochigi.hoge_vec[0].a=315;
というように使っているのですが……

490:デフォルトの名無しさん
21/04/26 19:13:39.09 yzDyA3P+.net
ビルド通る？

491:はちみつ餃子
21/04/26 19:25:06.15 AdDHfoXQ.net
>>479
問題ない。クラスは自分自身を内包できないが、
それは自分を内包した自分というものが可能だとすると
大きさが無限になってしまって確定できないからで、
参照やポインタとして持つ分にはそういった問題にならない。
std::vector の実体としてはヒープに確保した配列に要素を入れていく形になるので、
この場合に hoge が hoge を内包しているわけではない。

492:デフォルトの名無しさん
21/04/26 19:35:48.39 G51Jv2BH.net
>>481
ありがとうございます
アロケーターがコンテナ用の領域を確保してくれるので確保可能と言うことでしょうか？
クラス内部で要素数ゼロのvector領域を確保してメモリを予約してるのかな？
vectorの型がvector分の領域を計算できないから見た感じ不可能だと思って
どういう処理してるのか

493:はちみつ餃子
21/04/26 19:37:27.97 AdDHfoXQ.net
>>482
std::vector が適当な大きさの配列へのポインタを持つ構造だと思ったらだいたい正しい。

494:デフォルトの名無しさん
21/04/26 19:57:41.54 G51Jv2BH.net
>>483
その言い方でなんとなくわかった気分になりました
連続で確保できる適当な長さの配列の先頭へのアドレスを確保してるってこと？
自身の大きさは除外してほかのメンバ変数の大きさだけを配列0番目に確保すればいいのかな

495:デフォルトの名無しさん
21/04/26 19:58:27.26 G51Jv2BH.net
前回も餃子さんに答えていただいた記憶
どうもありがとうございました

496:デフォルトの名無しさん
21/04/26 20:26:32.67 ckbrupKp.net
いずれ共有ポインタのvectorを使いたくなるはず
GW期間中に循環参照の罠を思う存分楽しむといい

497:デフォルトの名無しさん
21/04/26 20:32:09.29 1d/LxAg8.net
やはりノードシステムこそ至高

498:デフォルトの名無しさん
21/04/26 20:51:21.16 G51Jv2BH.net
共有ポインタのvectorって何だろう？
sheared_ptrの事ですか？

499:デフォルトの名無しさん
21/04/27 00:45:26.56 XHlpaM1W.net
>>478
標準ライブラリは遅いから、使いたくないです

500:デフォルトの名無しさん
21/04/27 01:07:31.65 rFiajegR.net
別に標準ライブラリじゃなくて良いんだよ

501:デフォルトの名無しさん
21/04/27 03:14:22.91 /IsfP16Y.net
>>478
mdspan？

502:デフォルトの名無しさん
21/04/27 08:10:53.39 eX4df2SV.net
多次元コンテナってもう標準ライブラリ入ってるんですか？

503:デフォルトの名無しさん
21/04/27 08:23:06.09 rYx8lJmb.net
なきゃ作れ

504:デフォルトの名無しさん
21/04/27 08:28:06.32 jjM1CAyW.net
>>493
や、>>478さんはどういう意味で仰ってるのかなと思った次第です

505:デフォルトの名無しさん
21/04/27 08:34:35.77 rYx8lJmb.net
良いのがあったら使えば良いし
無きゃ作れば良い
っていう感じ
多次元コンテナなんて
使い方によって最適な実装はいくらでも変わるんで
汎用性を追及するのは時間の無駄

506:デフォルトの名無しさん
21/04/27 10:24:53.85 9qe4V1bo.net
左辺には置けないものがある、その一覧とか例とかありますかね・・・

507:デフォルトの名無しさん
21/04/27 10:39:34.03 zzzFrqtR.net
例？
整数リテラル

508:デフォルトの名無しさん
21/04/27 12:29:20.94 ul4gccCl.net
関数

509:デフォルトの名無しさん
21/04/27 12:34:12.25 rYx8lJmb.net
const

510:デフォルトの名無しさん
21/04/27 14:47:15.34 V9b4VlmB.net
>>496
・定数リテラル、const属性が付くもの、は置けない。
・関数呼び出しの関数()は、戻り値は、伝統的に右辺値扱いになるので左辺に置くとエラー
　になる様になっている。
　戻り値は、構造体型(クラス型/union型含む)/整数型/浮動小数点型/ポインタ型/列挙型の場合
　を想定した。
・*ptr のようなものは左辺値になるので置ける。
・変数名はconst 修飾されていないなら置ける。
・構造体変数名.データメンバ名は const 修飾されていないなら置ける。
・「関数名」は置けない。これは関数呼び出しの関数()とは別の話。
・&x は置けない。理由としては右辺値であるから。constでもあるが。
・x + y は、組み込み演算子の場合でも、関数呼び出しに置き換わった場合でも
置けない。後者の場合は、関数の戻り値が置いてあるということになるが右辺値だから。
　前者の場合は、右辺値だからだと思う。

511:デフォルトの名無しさん
21/04/27 14:48:40.00 V9b4VlmB.net
>>500
>・構造体変数名.データメンバ名は const 修飾されていないなら置ける。
これについては、構造体変数名が、右辺値の場合は、
構造体変数名.データメンバ名も右辺値になるため、置けない。

512:デフォルトの名無しさん
21/04/27 15:10:33.44 V9b4VlmB.net
[続き]
・(cast)x は置けない。理由は、右辺値になるから。
なので、int i; (char)i = 5; はエラーになる。
　そうしたい場合は、*(char *)&i = 5; と書く。

513:デフォルトの名無しさん
21/04/27 17:53:11.42 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:デフォルトの名無しさん
21/04/27 18:30:39.66 z5odOJ3h.net
>>502
(char &)iでええやん...
>>503
index_sequence

515:デフォルトの名無しさん
21/04/27 19:37:01.40 2o2XkKHN.net
>>504
ありがとう出来ました

516:デフォルトの名無しさん
21/04/27 19:58:19.96 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:デフォルトの名無しさん
21/04/27 20:39:05.42 eX4df2SV.net
代入演算子ってメンバ関数じゃないとだめなんだな
thisを返すから当たり前だが、オーバーロードしたいとき困る
a = b を意味する assign(a, b) を作るしかない？

518:デフォルトの名無しさん
21/04/27 21:47:32.08 rFiajegR.net
別にthisを返す必要もないけど

519:デフォルトの名無しさん
21/04/28 00:01:05.47 pTBAhwEs.net
thisがどうのじゃなくてコピー代入演算子とムーブ代入演算子が特別扱いだから

520:デフォルトの名無しさん
21/04/28 02:07:16.16 LEZnE3AK.net
>>506 URLﾘﾝｸ(timsong-cpp.github.io)
> [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:デフォルトの名無しさん
21/04/28 03:41:16.44 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:はちみつ餃子
21/04/28 05:20:55.28 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:デフォルトの名無しさん
21/04/28 12:25:48.23 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:デフォルトの名無しさん
21/04/28 12:39:35.77 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:デフォルトの名無しさん
21/04/28 12:44:49.64 P6pu+tTf.net
「数学的に」
数学を知らないヤツがよく使う言葉
類義語
「物理的に」

526:デフォルトの名無しさん
21/04/28 12:56:00.95 VWIud7ZL.net
規格的にってのも仕事ができない言語厨がよく使ってるw

527:デフォルトの名無しさん
21/04/28 12:57:27.64 jQpDsyge.net
>>515
「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。
言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。
「代入」の概念というか。
優先順位のために、U (*b)[] のような記号になっているが、これも数学的に
演算子が演算される順序に従って「平坦」に書くと
b --> * --> [] --> U
となる。読み方は、一番左の b の部分以外が右から順に
bの型は「Uの配列へのポインタ」
となる。ちなみに、
T b の場合は、
b --> T
となり、読み方は、
bの型は「T」
となる。

528:デフォルトの名無しさん
21/04/28 12:58:27.74 jQpDsyge.net
>>515
ちなみに、俺は数学記号に関するIQは200を越えている。
トータルでも150以上。

529:デフォルトの名無しさん
21/04/28 13:01:24.71 jQpDsyge.net
>>517
もう少し噛み砕いて書くと、コンパイラ内部では、
U (*b)[];
という宣言は、優先順位に従って、
b --> * --> [] --> U
となり、コンパイラ内部では左から順に
「bは、ポインタ(*)であり、その元の型は、配列([])であり、その元の型は、
　U である」
と理解している。

530:デフォルトの名無しさん
21/04/28 13:04:48.90 jQpDsyge.net
>>519
b --> * --> [] --> U
は、英語で読むと、左から順に、
「b is a pointer(*) to array([]) to type U.」
と読めて、言葉と記号の順序が一致する。

531:デフォルトの名無しさん
21/04/28 14:25:22.22 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:デフォルトの名無しさん
21/04/28 14:41:21.61 P6pu+tTf.net
数学記号に関するIQて何？

533:デフォルトの名無しさん
21/04/28 15:09:55.27 pxclvZlf.net
>>521
理屈を理解してない状態なら何やったってやばいよ
まあ、みんなやらかしながら覚えるもんだから心配せずどんどんコード書いて地雷踏んで地獄に嵌まれ
ただしプロダクションのコードだけは書くなよ

534:デフォルトの名無しさん
21/04/28 15:12:59.93 GWxUY3yT.net
すごい
クソゲボゴミ老害の意見
頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ
天晴

535:デフォルトの名無しさん
21/04/28 15:14:07.47 UpJQEntB.net
>>510
ありがとうございます！できないんですね…

536:デフォルトの名無しさん
21/04/28 15:21:22.38 aIuZlW8v.net
ああなるほど、最近多い >>521みたいなのは、中で何が起こるか想像できてない(基本すら出来てない)から
いちいちこんなこと訊いてるのか・・・
何度も言ってるけど教える順番おかしいんだよマジで
 >>524
自己紹介？

537:デフォルトの名無しさん
21/04/28 15:26:21.46 +7CWSFOZ.net
>>521
pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト

538:デフォルトの名無しさん
21/04/28 15:27:17.73 +7CWSFOZ.net
>>527
おっと、aのサイズが～の間違い

539:デフォルトの名無しさん
21/04/28 15:51:27.64 P5vpmJVI.net
>>515
そうか、禿Stroustrupは数学を知らないのか

540:デフォルトの名無しさん
21/04/28 15:52:12.82 Kf9DoDRw.net
pのサイズ変わるのもまずいよね？
勝手に new/delete されて使用不能になりえるので

541:デフォルトの名無しさん
21/04/28 16:03:18.23 P6pu+tTf.net
>>529
どこからそういう結論になった？

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かプログラムはどうやって見分けるのですか？

次ページ