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/ テンプレここまで 429 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:33:18.27 ID:5mKZGvgg.net] boost の多次元配列ライブラリ multi_array を使ってるんだが、両辺の shape が違うときに = で代入できないのがストレスなので、引数の shape が違うときには左辺を右辺と同じようにリサイズしてから代入するように = の定義を変えたい 演算子のオーバーロードってテクを使えば良いらしいが、これは諸刃の剣で注意が必要みたいな記事を見て戦々恐々としてる、、、 代入演算子のオーバーロードで最低限気をつけるべきことってどういうものですかね 430 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 14:01:29.71 ID:F03PJ4BE.net] 気をつけるべきこと 代入演算子を一時的なストレスでオーバーロードしない 431 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 14:04:54.62 ID:xdmXCppW.net] 代入はグローバルに書けないはず メンバとして書くしかない->multi_arrayのヘッダを書き換えるしかない 432 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 14:18:13.19 ID:jLd1Bq7I.net] new して確保するわけじゃない、既存の変数のアドレスを格納するだけのポインタって別にスマートポインタじゃなくて生ポで持てば十分だよね？ 433 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 14:33:50.86 ID:RMr7e0df.net] 生ポでいい用途を自信を持って判断できず「念のため」スマポ使うやつでも見かけた？ 434 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 14:39:12.20 ID:jLd1Bq7I.net] いや自分が不安なだけ 435 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 15:34:17.33 ID:fCIZIfYl.net] 用途次第だけどnullにならない分参照の方がいいかもしれない もしくはshared_ptrと一緒に使うならweak_ptr 436 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 15:39:23.77 ID:jLd1Bq7I.net] >>426 後出しですみませんが、vector の各要素へのポインタを vector で持つ事も考えてます 参照の vector は普通には持てないので、その意味でももう生ポインタの vector で良いかって気になっていました 437 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 15:46:35.43 ID:fCIZIfYl.net] reference_wrapperなら参照vector作れるけど、そこまでしたくないってことならポインタでいいんじゃない 気をつけてな 438 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 17:56:54.49 ID:F03PJ4BE.net] 考えるべき所がズレてる 既存の変数はポインタを保持してる期間に必ず存在しているか 別スレッドから既存の変数へのアクセスが発生するか 表記方法を考えるのはその後 439 名前：はちみつ餃子 mailto:sage [2021/04/24(土) 18:25:12.58 ID:ubeHrzBk.net] >>423 こういう場面では生ポインタでいいよね？ っていう意味？ #include <memory> int main(void) { int a; std::unique_ptr<int> b(&a); } むしろ不必要に解放しようとしてワヤになるんで、生ポインタである必要がある。 デリータが何もしないようにすればスマートポインタでも大丈夫ではあるけど、 あえてそうする必要もないし。 >>427 std::vector は要素を追加するなどしたときに再配置が起こる可能性があるから 要素へのポインタ (または参照) を持つのはあまりオススメできない。 (インデックスで持ったほうがいい。) 適切に管理できるならポインタでもそれほど問題でもないんだけど、 質問の雰囲気を見る限り十分な理解があるような感じでもないので……。 440 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 18:40:32.67 ID:F03PJ4BE.net] vectorの中身なら 要素の参照やポインタ vectorの参照やポインタと要素のインデックス イテレター 色々と持ち方があるから 場面場面において適切なのを選ぶ メモリ管理をしてないのにスマポで保持は無い 441 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 22:02:18.72 ID:aNHhbYgZ.net] >>234 あ った >3-5-1. 逆数を精度よく求めれば割り算できる https://qiita.com/square1001/items/1aa12e04934b6e749962 442 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 01:50:20.57 ID:Y3JQTvld.net] >>430 > std::vector は要素を追加するなどしたときに再配置が起こる可能性があるから > 要素へのポインタ (または参照) を持つのはあまりオススメできない。 > (インデックスで持ったほうがいい。) 再配置が起きたとして、ポインタが指してる先が危険にさらされることなんてあるんですか？ 443 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 02:05:45.03 ID:NKfmb8Oe.net] newした新しいメモリにコピーして古いのをdeleteしたら古いのを指してるポインタはもう使えんだろ ほら最近初心者への教え方がおかしい&最初からスマポ押し付けるからこういうのが出てくる・・ 444 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 02:18:07.61 ID:qqNNQCrU.net] いや new や delete はしないって書いてあるよ よく読んでおじいちゃん 445 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 02:22:40.39 ID:NKfmb8Oe.net] >>435 本気で言ってんのか？ 446 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 03:15:48.16 ID:vJWG11Gh.net] 最近のC++が難しく感じる原因は、cppreferenceに頼ってる人が多いから ではないか。あそこはドキュメントの品質が悪くて混乱の原因になる。 447 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 04:11:52.10 ID:vJWG11Gh.net] C++は、代入/コンストラクタがmove系とcopy系で原理的には好き勝手にプログラム できるので、バグが出た時にプログラムの流れを追うためにはmoveとcopyのどちらが 呼び出されているかプログラマがコードから明確に区別ができないと困るね。 その点、デフォルトmoveで、xxx.clone()としない限りは複製されないRustの 設計思想はそれはそれで便利と言えるかな。 どちらが優れているかは一概には分からないかも知れないけれども、デバッグ 時の追いやすさの観点からすればRust流の方が良いかな。 448 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 04:21:43.82 ID:vJWG11Gh.net] >>438 C++の場合は、x=std::move(y);と書けば明示的にmove系が呼び出されるので その場合、混乱は生じないが、右辺が関数の戻り値が構造体型/クラス型の場合、 RVO(Return Value Optimization)が働いたり、右辺が「クラス名(引数列)」 のようなテンポラリオブジェクト作成の場合にはmove系が選択される という「自動振り分け機能」があり、自分が知らないだけでそれ以外にも 特殊なパターンがまだあるかもしれないことが、不安や予想しづらい 原因になっていると思う。 Rustの場合は、自動化されているかと思いきや、実際には、代入などが move/copyのどちらになるかに関しては、自動ではなく、 デフォルトmoveで、x.clone()とした場合にのみcopyという明示的に 区別する方式なんだと思う。 449 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 04:31:24.47 ID:C7wl+mxO.net] std::vector<int> v((size_t)3); printf("&(v[2])=0x%p\n", &(v[2])); v.resize((size_t)5000); printf("&(v[2])=0x%p\n", &(v[2])); ↓実行結果（例） &(v[2])=0x000002376EF91658 &(v[2])=0x000002376EF93A08 450 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 04:50:08.06 ID:2+KF94a+.net] new,deleteが起きないとかいうトンデモ理論はshared_ptr<T>のstd::vectorと混同した感じ？ 451 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 05:28:38.68 ID:oSZrNkR7.net] 数値計算畑の人間だけど、numpy with MKL が C++ より速くてワロス もうホントにニッチな領域でしか使わなくなっていくな C++ 452 名前： mailto:sage [2021/04/25(日) 05:44:12.98 ID:vI2EHMtp.net] >>442 それはシングルユーザーライセンスであっても 500千円からという価格のインテル製コンパイラやライブラリを使うからなのでは？ 453 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 07:18:12.21 ID:U1znDmKO.net] 多次元配列の添字を入れ替える関数を実装したいのですが、任意の次元に対応するものをどう作れば良いのかわかりません。 たとえば v[a][b][c] を v[c][b][a] と入れ替えるのを全ての a, b, c について行ないたいです。 次元が 3 と決まっていれば、整数 a, b, c についてループを回して v_[c][b][a] = v[a][b][c] のようにコピーすれば良いのですが、次元が任意だと鉤括弧 [][][] を用いた要素アクセスをどうすれば良いのか分かりません。 不可能ですかね？ その場合、多次元配列を 1 次元で持つことにして、各次元の長さを la, lb, lc,... として、整数 x を 0 から la*lb*lc... -1 まで回して、その都度 x の各桁を取り出して要素をコピーする、みたいなことしかやりようがないですか？ そうなると各桁を取り出すのに割り算とか剰余演算を駆使しないと駄目なのでパフォーマンスが落ちるのが懸念です。 あるいは、3 次元に対応した関数、4 次元に対応した関数、…… といった感じで各次元に特殊化した関数を実装するべきでしょうか？ できれば一般的というか汎用の関数を作りたいのですが。。。 454 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 07:43:25.17 ID:C7wl+mxO.net] シングルユーザーライセンスであっても 500千円からという価格のインテル製コンパイラやライブラリ を使ってもnumpy with MKL が C++ より速いとかこの世は暗黒だな 455 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 07:46:35.71 ID:NKfmb8Oe.net] v[0]やv[i][0]が配列なのか単一の型なのかは判定できるから enable_ifで分けてオーバーロード(再帰するかしないか)とか出来るはず 456 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 08:25:03.80 ID:1HSCMwQ7.net] >>435 >>435 457 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 09:11:43.96 ID:/NByfBPS.net] >>433 >>427で「vector の各要素へのポインタ」って書いてるからそっちの話だろう 458 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 10:57:33.64 ID:vJWG11Gh.net] >>445 MKLがIntel製で、 「Intel Math Kernel Library (MKL) というのは, Intel 製の高速な数値計算ライブラリ」 だよ。 つまり、Pythonでは、Intel製の高速なライブラリを使っているが、C++では 使って無い場合の速度比較。 459 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 15:10:42.39 ID:U1znDmKO.net] >>446 なるほど…… 勉強してみますが大変そうですね 外部ライブラリに頼るか迷いますが、多次元配列は非常に基本的な機能だと思ってるので最低限度で取り回しの良いものを自分で持っておきたいという思いがあります…… 460 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 15:24:49.11 ID:o+U9INbB.net] 自分で作った方が融通がきく 461 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 15:28 ] [ここ壊れてます] 462 名前：:33.67 ID:o+U9INbB.net mailto: 作るなら[x] [y] [z]の形にしない方が良い []の中にベクトルを入れる方が融通がきく [] [ここ壊れてます] 463 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 16:15:38.64 ID:r+TKoBrZ.net] >>452 v[ {x, y, z} ] みたいに要素アクセスするってことですか？ 464 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:26:07.51 ID:Ef2Yns/P.net] MKLが元々c/c++のライブラリってことも知らん輩がおるのか。。 まあ確かにnumpyやってりゃ問題はないが。 465 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:43:00.50 ID:C7wl+mxO.net] MKLが元々c/c++のライブラリってことは知ってたが Pythonでシングルユーザーライセンスであっても 500千円からという価格とは思わなかった 、 466 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:59:18.91 ID:Nhz8hzcU.net] >>448 生ポインタのvectorってだめなんだ やってたかも まあpush_backとかしなければいいんかしらんけど 467 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 18:15:22.48 ID:S2tV53BX.net] >>454 でも 「numpy with MKL が C++ より速くて」 という言葉からすれば、Pythonの時だけそれを使い、C++の時にはそれを使ってない としか思えない。 PythonでもC++でも同じMKLを使ってて、Pythonの方がC++より 速いなんて事は有り得ないだろうし。 468 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 18:56:01.14 ID:jEvf9lKr.net] >>456 だれも生ポインタのvectorがだめなんて言ってないから何か勘違いしてそう。 469 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 19:04:09.59 ID:/NByfBPS.net] >>456 ん？ダメなのはvector要素へのポインタだぞ？ 470 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 19:17:31.67 ID:2+KF94a+.net] >>459 だめなのであれば、std::vectorの存在意義を否定することになりかねない。 C互換の配列およびポインタを実現するコンテナはstd::vectorだけ。 危険性を分かったうえで使う、というのが正しいかと。 471 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 19:26:38.89 ID:/NByfBPS.net] >>460 どういう意味で存在意義を否定することになると言っているんだろうか。 必要に応じて再配置してくれるのもvectorの存在意義だと思っているが？ 472 名前：デフォルトの名無しさん [2021/04/25(日) 20:19:11.49 ID:2+KF94a+.net] 昔のstd::vectorは先頭アドレスを取得するメンバ関数data()がなかったのでポインタとして使うことに多少の背徳感があった 473 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 21:16:54.88 ID:JRQD9I35.net] >>453 そう 474 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 21:20:17.62 ID:JRQD9I35.net] >>459 ポインタ保持中にvectorがresizeしないなら ポインタ保持で何の問題もない 475 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 22:15:04.13 ID:yRd8KdQ6.net] 要素の再配置ができない場合や要素のポインタを扱う場合は、多少効率は落ちるがstd::dequeつかえば良いと思う 476 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 22:40:08.86 ID:2+KF94a+.net] >>465 > vector とは異なる欠点として deque は連続した位置のストレージに全ての要素を持つことを保証していないため、ポインタ演算を介しての安全なアクセスの可能性を排除する。 https://cpprefjp.github.io/reference/deque/deque.html 477 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 22:44:46.90 ID:yRd8KdQ6.net] >>466 あぁ、連続要素アクセスは確かにだめだなw 478 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 22:50:09.53 ID:yRd8KdQ6.net] でも、連続要素アクセスならポインタなんか使わずに範囲for分なりiteretor使った方が楽だよね 479 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 22:51:31.52 ID:9+aEf3uB.net] なるべくキャッシュに入れたいって率でメモリ連続性を求めてる人たちはたぶんそれだとキツい 480 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 22:54:28.47 ID:2+KF94a+.net] Win32APIなどOS固有のシステムコールはC言語を前提に作られているので、C++でその恩恵を得たいならメモリ連続性が保証されたコンテナが必要不可欠 481 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 23:17:48.67 ID:yRd8KdQ6.net] APIがらみだとstd::arrayのheap使用版みたいなのが欲しくなることがあるな vectorだと初期化が若干面倒なんだよね 482 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 04:02:46.84 ID:BvXVNvk7.net] >>450 ごめんさらっと言ったけど、現在の各次元のインデックスも実行時の数値として渡す必要あるし再帰と相性悪いかも ただ文法上、次元数に関わらず同じコードで、ってなるとテンプレートと再帰は必須だと思う けどそこまでしても、君が書いてた一次元で除算と剰余使うのと比べてそんな速くなるとも思えんので無理せず一次元でいいと思うw 483 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 11:25:57.38 ID:BvXVNvk7.net] https://wandbox.org/permlink/XpJkS3veZNwNOlaQ 気になったのでやってみた、実測(一次元、および要素数決め打ちとの)はめんどいので頼む・・ 484 名前：デフォルトの名無しさん [2021/04/26(月) 14:15:12.52 ID:REE9nEfp.net] numpy のAPIを C/C++ から使うのがお薦め 485 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 14:59:17.98 ID:S9wNYjN0.net] >>473 ありがとうございます 正直 beyond me って感じですが、勉強になります こういう再帰的な定義って STL の [] も同じなんですかね？ 486 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 15:04:19.62 ID:S9wNYjN0.net] >>474 これって、numpy の記法で C++ の配列を操るというわけではなく、Python (numpy) を C++ から操るということですよね？ 全ての処理を numpy の機能で行なうことにすれば、全ての計算が事実上 C++ で動くことになるから速いって感じなんですかね 487 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 16:39:19.86 ID:BvXVNvk7.net] >>475 いや再帰してるのは単にint[I][J][K]をint[J][K]のループ、さらにint[K]のループに(配列の参照で)分解するためにやってるだけ (そうすればどの階層でもt[i]で書けるから ただこれ、コンパイル時に要素数も次元数もわかってる固定長の配列でしか使えないんだよね ポインタを要素数決め打ちで多次元配列の参照にキャストして渡すのは出来るかもしれんけど・・ まぁ要素数が実行時にしか分からなくても使える一次元での計算のが汎用性高いと思う 488 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 17:57:15.41 ID:NyQKOVd9.net] C++なんだし 多次元コンテナ使おうよ 489 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 18:43:48.56 ID:G51Jv2BH.net] 皆さまコロナ禍いかがお過ごしでしょうか ちょっと質問させてください 特定のクラス内部で自身の型を格納するコンテナを実体として確保し、そのコンテナから入れ子状？のような形で使用しています 私の環境では動くのですが、これを動かしても安全なのでしょうか？ クラス内部には自身の型を確保できないと聞いたことがあります…… 問題が起きそうな気配がしなくもない感じがしますが 当方素人です class hoge{ Int a; bool b; vector<hoge> hoge_vec; }; このクラスを hoge Tochigi; Tochigi.hoge_vec[0].a=315; というように使っているのですが…… 490 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 19:13:39.09 ID:yzDyA3P+.net] ビルド通る？ 491 名前：はちみつ餃子 mailto:sage [2021/04/26(月) 19:25:06.15 ID:AdDHfoXQ.net] >>479 問題ない。 クラスは自分自身を内包できないが、 それは自分を内包した自分というものが可能だとすると 大きさが無限になってしまって確定できないからで、 参照やポインタとして持つ分にはそういった問題にならない。 std::vector の実体としてはヒープに確保した配列に要素を入れていく形になるので、 この場合に hoge が hoge を内包しているわけではない。 492 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 19:35:48.39 ID:G51Jv2BH.net] >>481 ありがとうございます アロケーターがコンテナ用の領域を確保してくれるので確保可能と言うことでしょうか？ クラス内部で要素数ゼロのvector領域を確保してメモリを予約してるのかな？ vectorの型がvector分の領域を計算できないから見た感じ不可能だと思って どういう処理してるのか 493 名前：はちみつ餃子 mailto:sage [2021/04/26(月) 19:37:27.97 ID:AdDHfoXQ.net] >>482 std::vector が適当な大きさの配列へのポインタを持つ構造だと思ったらだいたい正しい。 494 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 19:57:41.54 ID:G51Jv2BH.net] >>483 その言い方でなんとなくわかった気分になりました 連続で確保できる適当な長さの配列の先頭へのアドレスを確保してるってこと？ 自身の大きさは除外してほかのメンバ変数の大きさだけを配列0番目に確保すればいいのかな 495 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 19:58:27.26 ID:G51Jv2BH.net] 前回も餃子さんに答えていただいた記憶 どうもありがとうございました 496 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 20:26:32.67 ID:ckbrupKp.net] いずれ共有ポインタのvectorを使いたくなるはず GW期間中に循環参照の罠を思う存分楽しむといい 497 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 20:32:09.29 ID:1d/LxAg8.net] やはりノードシステムこそ至高 498 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 20:51:21.16 ID:G51Jv2BH.net] 共有ポインタのvectorって何だろう？ sheared_ptrの事ですか？ 499 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 00:45:26.56 ID:XHlpaM1W.net] >>478 標準ライブラリは遅いから、使いたくないです 500 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 01:07:31.65 ID:rFiajegR.net] 別に標準ライブラリじゃなくて良いんだよ 501 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 03:14:22.91 ID:/IsfP16Y.net] >>478 mdspan？ 502 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 08:10:53.39 ID:eX4df2SV.net] 多次元コンテナってもう標準ライブラリ入ってるんですか？ 503 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 08:23:06.09 ID:rYx8lJmb.net] なきゃ作れ 504 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 08:28:06.32 ID:jjM1CAyW.net] >>493 や、>>478さんはどういう意味で仰ってるのかなと思った次第です 505 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 08:34:35.77 ID:rYx8lJmb.net] 良いのがあったら使えば良いし 無きゃ作れば良い っていう感じ 多次元コンテナなんて 使い方によって最適な実装はいくらでも変わるんで 汎用性を追及するのは時間の無駄 506 名前：デフォルトの名無しさん [2021/04/27(火) 10:24:53.85 ID:9qe4V1bo.net] 左辺には置けないものがある、その一覧とか例とかありますかね・・・ 507 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 10:39:34.03 ID:zzzFrqtR.net] 例？ 整数リテラル 508 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 12:29:20.94 ID:ul4gccCl.net] 関数 509 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 12:34:12.25 ID:rYx8lJmb.net] const 510 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 14:47:15.34 ID:V9b4VlmB.net] >>496 ・定数リテラル、const属性が付くもの、は置けない。 ・関数呼び出しの 関数()は、戻り値は、伝統的に右辺値扱いになるので左辺に置くとエラー 　になる様になっている。 　戻り値は、構造体型(クラス型/union型含む)/整数型/浮動小数点型/ポインタ型/列挙型の場合 　を想定した。 ・*ptr のようなものは左辺値になるので置ける。 ・変数名はconst 修飾されていないなら置ける。 ・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。 ・「関数名」は置けない。これは関数呼び出しの関数()とは別の話。 ・&x は置けない。理由としては右辺値であるから。constでもあるが。 ・x + y は、組み込み演算子の場合でも、関数呼び出しに置き換わった場合でも 置けない。後者の場合は、関数の戻り値が置いてあるということになるが右辺値だから。 　前者の場合は、右辺値だからだと思う。 511 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 14:48:40.00 ID:V9b4VlmB.net] >>500 >・構造体変数名.データメンバ名 は const 修飾されていないなら置ける。 これについては、構造体変数名が、右辺値の場合は、 構造体変数名.データメンバ名も右辺値になるため、置けない。 512 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 15:10:33.44 ID:V9b4VlmB.net] [続き] ・(cast)x は置けない。理由は、右辺値になるから。 なので、int i; (char)i = 5; はエラーになる。 　そうしたい場合は、*(char *)&i = 5; と書く。 513 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 17:53:11.42 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 18:30:39.66 ID:z5odOJ3h.net] >>502 (char &)iでええやん... >>503 index_sequence 515 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 19:37:01.40 ID:2o2XkKHN.net] >>504 ありがとう出来ました 516 名前：デフォルトの名無しさん [2021/04/27(火) 19:58:19.96 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 20:39:05.42 ID:eX4df2SV.net] 代入演算子ってメンバ関数じゃないとだめなんだな thisを返すから当たり前だが、オーバーロードしたいとき困る a = b を意味する assign(a, b) を作るしかない？ 518 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 21:47:32.08 ID:rFiajegR.net] 別にthisを返す必要もないけど 519 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 00:01:05.47 ID:pTBAhwEs.net] thisがどうのじゃなくてコピー代入演算子とムーブ代入演算子が特別扱いだから 520 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 02:07:16.16 ID:LEZnE3AK.net] >>506 https://timsong-cpp.github.io/cppwp/n4861/temp.arg.explicit#8 > [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 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 03:41:16.44 ID: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 名前：はちみつ餃子 mailto:sage [2021/04/28(水) 05:20:55.28 ID: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 名前：デフォルトの名無しさん [2021/04/28(水) 12:25:48.23 ID: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 名前：デフォルトの名無しさん [2021/04/28(水) 12:39:35.77 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 12:44:49.64 ID:P6pu+tTf.net] 「数学的に」 数学を知らないヤツがよく使う言葉 類義語 「物理的に」 526 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 12:56:00.95 ID:VWIud7ZL.net] 規格的にってのも仕事ができない言語厨がよく使ってるw 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 である」 と理解している。

---

---

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

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