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/ テンプレここまで 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 である」 と理解している。 530 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 13:04:48.90 ID:jQpDsyge.net] >>519 b --> * --> [] --> U は、英語で読むと、左から順に、 「b is a pointer(*) to array([]) to type U.」 と読めて、言葉と記号の順序が一致する。 531 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 14:25:22.22 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 14:41:21.61 ID:P6pu+tTf.net] 数学記号に関するIQて何？ 533 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:09:55.27 ID:pxclvZlf.net] >>521 理屈を理解してない状態なら何やったってやばいよ まあ、みんなやらかしながら覚えるもんだから心配せずどんどんコード書いて地雷踏んで地獄に嵌まれ ただしプロダクションのコードだけは書くなよ 534 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:12:59.93 ID:GWxUY3yT.net] すごい クソゲボゴミ老害の意見 頼まれたことはできない、自分なりに行動しても何も産まない、家族と職場の全員から疎まれてるバカ 天晴 535 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:14:07.47 ID:UpJQEntB.net] >>510 ありがとうございます！できないんですね… 536 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:21:22.38 ID:aIuZlW8v.net] ああなるほど、最近多い>>521みたいなのは、中で何が起こるか想像できてない(基本すら出来てない)から いちいちこんなこと訊いてるのか・・・ 何度も言ってるけど教える順番おかしいんだよマジで >>524 自己紹介？ 537 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:26:21.46 ID:+7CWSFOZ.net] >>521 pのサイズが変わるような操作はアドレスが変わる可能性があるので全てアウト 538 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:27:17.73 ID:+7CWSFOZ.net] >>527 おっと、aのサイズが〜の間違い 539 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:51:27.64 ID:P5vpmJVI.net] >>515 そうか、禿Stroustrupは数学を知らないのか 540 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:52:12.82 ID:Kf9DoDRw.net] pのサイズ変わるのもまずいよね？ 勝手に new/delete されて使用不能になりえるので 541 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:03:18.23 ID:P6pu+tTf.net] >>529 どこからそういう結論になった？ 542 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:04:05.01 ID:P6pu+tTf.net] >>530 何がまずい？ 勝手にnew/deleteとは？ 543 名前：デフォルトの名無しさん [2021/04/28(水) 16:06:25.57 ID:7RK+jwPd.net] >>530 晒しage 544 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:18:30.85 ID:eLEqCP2l.net] >>530 ダメな例をコードで示してくれ 545 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:28:13.84 ID:c0w2coaF.net] 自作クラスや構造体に対して範囲forを使うための条件って、そのクラスや構造体が ・メンバ関数としてbegin()、end()を持つ ・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す で合ってますか？ cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね？ 546 名前：はちみつ餃子 mailto:sage [2021/04/28(水) 16:35:30.69 ID:cpOEbmvB.net] >>535 前者の条件はコンテナの要件として書かれているが、 後者はイテレータの要件として定義されているはずだぞ。 547 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:23:34.44 ID:c0w2coaF.net] もう一個質問させてください 範囲for文ってfor文スコープ外の変数を使えないんですか？ int i; vector<int> v; // v を初期化 for(i: v){ ... } みたいなことをしたいです 548 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:36:49.45 ID:7AKt1vSf.net] >>535 なぜ不要だと思った？ int begin(); じゃダメだろ？ 549 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 06:49:31.89 ID:1rAkIDNr.net] >>531 ISBN4-7561-1895のP.500 16.1.1 設計上の制約 550 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 06:50:25.72 ID:+7uc9ATw.net] >>538 最近こういうゴミ返しするバカめっちゃ増えたね、このスレ 「intじゃダメ」は「間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体である必要がある」を全く意味しないだろ…… 一方で、ではイテレータを返せば良いのかというとそこまで条件が厳しいわけでもなくて、イテレータ「らしき」性質を持ったクラスを返せば良いということなので、この話はそこまで単純じゃない そういうこと全く分かってないバカが場当たり的な回答をしてるのは甚だ不快ですね 551 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 07:36:35.34 ID:fshfa4aU.net] えっっ Tをイテレータ様のふるまいを示す型として T begin()だけではダメで T end()も最低限定義いないといけないんじゃ…… 552 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 07:50:14.64 ID:1rAkIDNr.net] >>537 できない int i; vector<decltype(i)> v; // vを初期化 for (auto&& j : v) { i = j; // iを使用 } のようなことになる 553 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:34:23.25 ID:3mmNht9g.net] >>540 反例を1個あげれば十分 あとは自分でかんがえろってこと お前は何か役立つ回答をしたか？ 554 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:51:08.82 ID:fshfa4aU.net] 質問者がbegin()とend()の定義の必要性を把握しているのに対して begin()のみではNGだとレスするのがそんなにﾄﾞﾔるほどのことなのかどうか…… 555 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:55:45.00 ID:3mmNht9g.net] >>544 前者ってbeginのことだと思っちゃった？ お前日本人じゃないだろ 556 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:04:34.25 ID:6rdxVFZp.net] >>542 ありがとうございます v は必ずしも vector<int> ではなく vector<vector<int>> とかで、かついっぱい回るループを想定してるのでできるだけ定数倍を軽くしたいのですが、j を右辺値参照にすればコピーは起きないので相当マシと思って良いですかね 557 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:07:08.51 ID:1rAkIDNr.net] 右辺値参照つってもauto&&は左辺値参照も兼ねるぞ 558 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:16:30.33 ID:fshfa4aU.net] >>545 ちょっじゃあ>>538のレスのどこが反例だったの？？ 559 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:22:13.70 ID:3mmNht9g.net] 二個目の条件に反してる 560 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:41:24.58 ID:fshfa4aU.net] >>549 別に https://ideone.com/VLjCjO 561 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:20:12.63 ID:gzXxIopT.net] https://ideone.com/bERbqr 562 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:26:57.88 ID:6rdxVFZp.net] >>547 for()のカッコの中でiをjの参照として定義できたらそれでも良いんですが、そういうことはできるんでしたっけ？ 563 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:28:45.87 ID:6rdxVFZp.net] すみません「定義」というよりは、forのスコープの外にiの宣言はあって、for(ここ)でiがjの参照であることにできたら良いってことです 564 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:29:35.81 ID:fshfa4aU.net] >>551 ちょっそのforまで範囲forに含めるんなら>>535に加えてbegin()やend()が返す型がデリファレンス可能という条件が必要なんじゃ…… 565 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:35:45.46 ID:gzXxIopT.net] は？加えて？ >>535に入ってるだろ 最初からrange-basedの話なのに屁理屈言ってるから突っ込んだだけだよ 566 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:07:16.11 ID:1rAkIDNr.net] &g 567 名前：t;>553 i が j の参照ということは int& i = j; という宣言が必要で、 int i; としてしまったものを後で参照に変更ということはできない [] [ここ壊れてます] 568 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:10:24.28 ID:6rdxVFZp.net] >>556 reference_wrapper って i = ref(j); みたいなことできませんっけ？ 569 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:52:35.69 ID:1rAkIDNr.net] >>557 無理 実体定義された変数を途中から参照に変更なんて 570 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 12:28:01.48 ID:vjsl7cGC.net] ポインタと参照の決定的な違いはそこだね 571 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 12:46:42.20 ID:yUiVUiFp.net] >>541 begin()とend()の型が一致してる必要はない（C++17〜） 572 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:03:31.68 ID:K/HFYMcp.net] 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]; みたいな配列なの？ 573 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:05:10.26 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:10:29.61 ID:yUiVUiFp.net] >>561 s.list.push_back(n);のところはn(Novel)のBook部分を首チョンパしてコピーしたオブジェクトがpush_backされる スライシングというよく知ら� 575 名前：黷ｽホラー現象 [] [ここ壊れてます] 576 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:10:34.24 ID:K/HFYMcp.net] 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>()); 577 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:16:01.96 ID:yUiVUiFp.net] >>564 その認識で合ってる 561のShelfにはNovelやComicじゃなくて、そいつらから刈り取った生首が並んでる 絶対やったらいかんやつ 578 名前：デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:19:09.72 ID: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 名前：はちみつ餃子 mailto:sage [2021/04/29(木) 18:07:20.75 ID:x0Vd7BP9.net] パブリック継承している型のオブジェクトが基底クラスへ暗黙に型変換されるのは抑止する方法がないんだよな。 580 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 01:30:09.20 ID:7VhEvZ/Q.net] >>567 Dog d; の時に func( Animal &a )に対して、 func(d); がエラーにならないということ？ 581 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 08:17:30.86 ID:tsrXe0Ut.net] それは別に問題ない func(Animal a)だとやばい 582 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 09:32:28.19 ID:W8up1rh0.net] funcがAnimalの情報しか使わないんなら別にいいんだけどね 単にポリモーフィズムにはポインタか参照が必要ってだけ 583 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 09:52:57.56 ID:dyTEtgxA.net] shared_ptr<T>もいけるでしょ スタックを使った60バイト近いメモリーコピーが発生するから最適ではないけど 584 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 10:40:50.56 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:02:34.65 ID:Qm/DlA0m.net] >>572 スライシングが発生してるのは g_list.push_back(a) であって、 func( Animal &a ) は関係ないでしょ。 586 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:21:35.01 ID:qs5VuYRE.net] なんで範囲for文ってBOOST_FOREACHを完全に置き換えれるようにしなかったの？ >>537,542はそれで解決するし、逆順のループとかもできるのに 587 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:34:29.27 ID:vL4rFdIy.net] ポリモーフィズム前提の時は、コピーコンストラクタはdeleteするのが良いのかね 588 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:43:26.05 ID:qs5VuYRE.net] あー範囲forが使える条件とBOOST_FOREACH使える条件って違うのか 後者は自作クラスじゃ使えない？ あるいは使える条件が>>535と違う？ 589 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:48:46.39 ID:7VhEvZ/Q.net] >>573 この場合、スライシングが発生しても問題ない、という観点もあるかも。 590 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:01:43.38 ID:W8up1rh0.net] >>575 そしたら派生クラス同士でコピー出来んやろ、コピー禁止にしたいのでなければ書くべき(で派生のコピーコンストラクタで基底のコピーコンストラクタを初期化リストから呼ぶ 必ず派生させて使うのが前提ならコンストラクタをprotectedにするとかその辺のテクニックは大昔から色々出てる 591 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:18:33.85 ID:7VhEvZ/Q.net] スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、 その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の 操作が危険になる可能性があるが、もし、仮想テーブルへのポインタを 基本クラス用に変えてしてしまえば、コピー後の動作は完全に基本クラス的に なってしまうけれど、その反面、メンバー関数を呼び出しても特にメモリーの 破壊などは起きないはず。 そのようにしてしまえばスライシングが起きても問題ないような気が。 592 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:31:22.41 ID:W8up1rh0.net] >>578て書いたけど実際ポリモーフィズム目的の継承ツリーだとコピー禁止にしてること多いな・・ どうせポインタ(orスマポ)で管理するから確かにコピー禁止のが無難かもね 593 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:38:12.34 ID:5yvxXz0O.net] >>570 それぞれのコピコンをプログラマが自由に記述できる以上、例えAnimalの情報しか参照しないとしても問題が起こることはあるんじゃね？ 例えば、DogのコピコンはAnimal::cuterThanCat変数を強制的にtrueに書き換えてるかもしれない 594 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:51:39.69 ID:W8up1rh0.net] >>581 戦争勃発するぞ まぁスライシングが常に危険とは限らないと言いたかっただけ 595 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 14:49:19.98 ID:qs5VuYRE.net] 誰かBOOST_FOREACHを自作クラスに使う条件教えてください 596 名前：はちみつ餃子 mailto:sage [2021/04/30(金) 16:01:39.38 ID:Efpw+/b3.net] >>583 https://www.boost.org/doc/libs/1_76_0/doc/html/foreach/extensibility.html 597 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 20:24:33.87 ID:QZYh0z4M.net] >>579 >スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、 >その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の >操作が危険 そんな恐ろしいことが！ と思って試したが、少なくともデフォルトのコピコンは仮想関数テーブルへのポインタを コピー先の型に合わせて付け替えてくれるらしい ↓そうでなけれはfunc_with_ref(Animal a)の中でa2.get()がDogの値でなくAnimalの値を返す説明がつかない https://ideone.com/eJMsYG 規格でどうなっているかは知らん 598 名前：デフォルトの名無しさん mailto:sage [2021/04/30(金) 20:25:50.19 ID:QZYh0z4M.net] 訂正orz、 誤： そうでなけれはfunc_with_ref(Animal a)の中で 正： そうでなけれはfunc_with_copy(Animal a)の中で 599 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 07:00:40.64 ID:2eVlBBCY.net] ていうかよく考えたらAnimalのコピコンは Animalのコンストラクタでもあるのだから>>585の挙動は当然かorz 600 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 09:21:42.94 ID:C4kuj/yW.net] コピコン 601 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 09:28:33.15 ID:18idEqJd.net] コピコン たまに見る 頭悪そう 602 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:19:04.33 ID:tHuso9oJ.net] でもコピーコンストラクターって長いよね 603 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:26:47.50 ID:2eVlBBCY.net] コンストラクタはコンストラ コピーコンストラクタはコピコン デストラクタはデストラ アルゴリズムはアルゴ と略すのが効率的 604 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:31:05.38 ID:Jen9oEOj.net] 取引先がそんな言葉を使ってきたら 今後の契約を考え直すかも 少なくとも評価はマイナス 取引先とそんな細かい内容を話す打合せも無いだろうけど 605 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 11:21:44.35 ID:fSkONWKY.net] >>591 気持ち悪い略語だな 606 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:04:39.12 ID:zZz/KCNF.net] デストラｗ 607 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:14:30.82 ID:yzll/vyD.net] ctor,dtorは一般的な略語？ 608 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:14:41.90 ID:toT74GP1.net] 機能を引き継ぐために継承して、インスタンス化して使うために移譲もしたい 継承も移譲もするのってありですか？ 609 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:45:03.96 ID:toT74GP1.net] わかんねえ 継承が相応しくない場合が山程あるのはわかった 継承が相応しくないが一部機能を引き継ぎたいときは、コードのコピペをするべきなのか？ 610 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:53:12.87 ID:C4kuj/yW.net] 独立させる 611 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:13:50.17 ID:toT74GP1.net] >>598 より小さいクラスか構造体として切り出すということ？ 612 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:18:13.99 ID:T/ErWrJ0.net] private継承じゃダメなの？ 613 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:52:11.96 ID:toT74GP1.net] >>600 ダメってことはもちろんなくて、そう実装することにすればそう実装するだけだが、継承である以上は依存関係が生じるし、相応しくない場合もあるなあと思うだけ 614 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:54:03.05 ID:TBkH44Fh.net] intをとるかcharを取るかで振る舞いを変えるオーバーロード関数って作れるんですか？ その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？ 615 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 14:19:20.97 ID:I2agxka5.net] オーバーロードという単語を知っておきながら、何故できないと思ったんだ 616 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:00:09.42 ID:qPtffzbe.net] >>602 関数シグネチャってもんがあるわけよ。 リンカは関数名ではなくこのシグネチャでリンクする。 引数の型が変わるとこのシグネチャが変わるので、 プログラムというかコンパイラはそれを間違えることはない。 617 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:28:04.60 ID:18idEqJd.net] intとcharは使う側が間違いやすいから 間違えたら問題がある場合は名前を変えよう 618 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:37:35.74 ID:JkRHvcmQ.net] >>604 厳密に言えばリンカは関数名しか見ない。 C++はオーバーロードのためにシグネチャの違いを関数名に埋め込むマングリングを行う。 619 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:09:26.40 ID:1WejqaZh.net] >>602 C++で関数呼び出しを書いた場合、どの関数が呼び出されるかは Best Matching Algorithm で選ばれているので実引数が charの場合は、 同じ場所の仮引数がcharである関数を優先的に選ぼうとする。 もし、同じ場所の仮引数がcharであるものが見つからなければ、 同じ場所の仮引数が int であるものを探して、見つかればそれを選択する。 このとき、実引数と仮引数の型の「距離」のような概念があり、 距離が近いものが選ばれる。複数の引数が有る場合で、二つの引数で 距離が近い関数がどっちもどっちになる場合には、「曖昧」であると、 され、エラーになる。 >その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか？ ここであなたの言っている「見分ける」という意味が分かりにくいが、 オーバーロードされた関数は、C++レベルでは同じ名前に見えていてもが アセンブラレベルでは別の関数名になっていて、別の関数として扱われていて、 別の関数が呼び出されているから「見分ける」以前問題になっている。 620 名前： mailto:sage [2021/05/01(土) 17:16:10.99 ID:m+tkSw04.net] >>591 コピコン以外は使わないです‥‥ 621 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:24:45.49 ID:CnJDnM0a.net] >>606 「リンカは関数名しか見ない」はおかしい。 リンカが見るのは、関数名を含むシグネチャをマングリングした結果のシンボル名。 622 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:29:02.27 ID:1WejqaZh.net] >>605 それは、実際そうだと思う。 char idx = xxx; func( 'a' + idx ); と書いた場合、func(int)とfunc(char)のどちらが呼び出されるのかを 事前に予想するのは非常に難しい。 なぜなら、伝統的にCでは、char + char は、それぞれが int に昇格 されてから、int + int になって、結果も int になるとされていたから。 623 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:00:18.46 ID:1WejqaZh.net] ファイル出力で、1バイト出力と4バイト出力の違いは、単に人間が見るための stdout出力とは訳が違って、後からファイルを入力する時にその部分のバイト数の違い が大きな意味を持つので、オーバーロードの仕組みだけでコンパイラに自動振り分け させるのは、分かりにくいバグを入れてしまう可能性がある。 なので、やはり、出力するのは1バイトなのか4バイトなのかを、明確に関数名で 区別できるようにした方が望ましいと思われる。 624 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:45:41.91 ID:JkRHvcmQ.net] >>609 そのマングリングした名前で関数を呼び出すことができるわけだし、関数名以外の何物でもないと思うが。 そもそもリンカはマングリングされているのかされていないのかも関知しないし。 625 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:55:40.94 ID:u3yKRN8V.net] > 589 名前：デフォルトの名無しさん[sage] 投稿日：2021/05/01(土) 09:28:33.15 ID:18idEqJd [1/2] > コピコン > たまに見る > 頭悪そう >>595に何も言えねえ 頭悪そうｗ 626 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 19:59:37.32 ID:tHuso9oJ.net] マングリング、ってなんかイヤらしいよね 627 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 20:50:21.52 ID:TTMGRbh+.net] >>612 ?h@@YAXH@Z みたいなのを関数名って言うのは違和感しかないわ > そもそもリンカはマングリングされているのかされていないのかも関知しないし。 それを言うならリンカは関数かどうかすら関知してない 628 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 21:00:22.23 ID:CnJDnM0a.net] >>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. ... 629 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 21:25:44.91 ID:18idEqJd.net] 私は「関数名」派 C++のコンパイラは元々はC++からCに翻訳してたわけだし 630 名前：デフォルトの名無しさん mailto:sage [2021/05/01(土) 21:27:05.03 ID:18idEqJd.net] まあどっちでもいいけど 631 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 00:16:29.81 ID:r2Ed4Ypi.net] >>616 だなあ。 C++のコードにおいて、関数名と呼ぶ場合、それはマングリング込みとかのシグネチャではなく あくまでもソースコード上にある関数の名前だからなあ。 >>618 これはあんまりどっちでも良くない。 つか、>>612の言い分を認めるとオーバーロード/オーバーライドってもんがなんだか分からなくなるｗ 同じ関数名で関数の実装を選べるってのがオーバーロード/オーバーライドだから。 632 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 01:13:49.22 ID:hoeVnODB.net] オーバーライドの意味も知らない子は無理して回答しなくていいよ 633 名前：デフォルトの名無しさん [2021/05/02(日) 01:21:37.53 ID:AyQRjFej.net] C++初心者はクラス継承の学習にこだわりテンプレートの学習が後回しになるので、テンプレートが最適解になることが多いと悟るのが遅くなる 634 名前：デフォルトの名無しさん [2021/05/02(日) 01:23:19.71 ID:liMkj8Q9.net] オーバルライトは新しいからね。 635 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 01:39:37.43 ID:uIjrwEP9.net] >>619 Cに翻訳された段階だと変数名まで含んだ名前が関数名 当然リンカの段階ではC++の関数名は残って無い C++以外のドメインでどれが関数名かを議論すること自体意味がない 636 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 01:40:39.79 ID:uIjrwEP9.net] >>610 されていたって... 今もそうだよ 637 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 06:37:18.08 ID:pZrwNqHn.net] >>619 overrideキーワードは派生クラスで仮想関数を上書きするときに使う overloadキーワードはcfront 1.0世代のC++で関数を多重定義する予告として使われていた 638 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 08:57:49.73 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 09:20:39.13 ID:aspEWHUD.net] >>621 継承とテンプレートが対立するかのように考えてる時点で テンプレートどころかクラスや継承もまともに理解できてないやつの発言にしか見えない 640 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 10:53:26.72 ID:r2Ed4Ypi.net] >>626 丁寧な御説明ありがとう。 それで正しいですよ。 641 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 12:10:24.45 ID:tUw9C2ed.net] このクソ議論見ても関数オーバーロードの仕様は失敗してるってのがよくわかる。 642 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 12:12:19.26 ID:KNEFHTDE.net] …などと意味不明の供述をしており、 643 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 12:47:09.45 ID:72ULtZJb.net] 悪い子: この仕様はクソだ！ 普通の子: この仕様は〇〇だから良くないね 良い子: この仕様は〇〇だから良くないね、△△とすれば良いのに 644 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:06:19.55 ID:hoeVnODB.net] >>626 それは単に別のクラスで同じ名前のメンバ関数はシンボルが違うってだけの話だろ オーバーライドは全く関係ない そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない オーバーロードと並べて語る意味が全くわからない 645 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:16:03.71 ID:B3yuABqk.net] ダンバインよりビルバインのほうが好き 646 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:18:20.36 ID:rpBXKN7W.net] （話に付いてこれてない香具師が居るな 647 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:20:32.85 ID:rpBXKN7W.net] >そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ ちな1つのクラスのメソッドの定義が必ずしも同一の翻訳単位内とは限らないから、 相対インデックス指定の出番は無い＝コンパイル時解決は不可能 648 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:26:01.49 ID:hoeVnODB.net] ＞では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ 実行時に実行バイナリが決めるに決まってるだろ リンカがリンク時に静的に決めるとでも思ってるの？すげえなそのリンカ 649 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:27:21.13 ID:anCj3LhS.net] >>633 それはオーラロード 650 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:46:56.51 ID:KNEFHTDE.net] よく知らんけど、多くの場合vtblを作るのはコンパイル時であって、リンク時でも実行時でもないのでは？ 651 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:50:36.00 ID:h6as2k/z.net] >>635 vtbl内のアドレスを最終的に決めるのはリンカなんだろうけど、それは 「オーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない」と両立するので 反論ぽく挙げてる意味がわからない。 652 名前：デフォルトの名無しさん [2021/05/02(日) 13:51:49.77 ID:AyQRjFej.net] ビルバインはもっと禍々しいデザインになる予定だったが、競合アニメだったマクロス・シリーズの影響で変形ギミックが追加され色も派手になった 653 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:53:08.50 ID:B3yuABqk.net] >>637 分かってくれてありがとうw 654 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:53:56.96 ID:01FRJ74M.net] おまいら中身のある会話しろよ ひまなの？ 655 名前：はちみつ餃子 mailto:sage [2021/05/02(日) 15:30:38.46 ID:VAfyzxcR.net] せやで。 656 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 18:29:19.65 ID:r2Ed4Ypi.net] >>627 実際にプログラムを改修したりする場面では継承とテンプレートどちらでやるか 悩むってのはよくある話。 テンプレートだと元のクラスをいじらなくちゃならないからためらいがち。 その点継承だと元のコードいじらなくて(あるいは最小限の修正で)済むからな。 継承してテンプレートってのもなしじゃないがｗ継承するくらいなら、テンプレートまで やんないｗ 657 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 18:44:15.42 ID:01FRJ74M.net] 継承とテンプレートって全然違うけど 悩む場面が想定出来ない 658 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 19:07:17.74 ID:ZwmHpnzp.net] もう継承はしなければしないだけ偉いっていう気持ちになって久しい つーかOOPに飽きてるというか見限ってる C++を使ってるのは単に自由度が高くてパフォーマンスが良いから 659 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 19:55:42.70 ID:BSsO48AF.net] OOPに飽きてる俺すげー ってかw 660 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 20:02:15.30 ID:aspEWHUD.net] 普段どの程度の規模のどういうコード書いててその結論に至ったかで評価が変わるな 661 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 20:06:12.37 ID:aspEWHUD.net] >>644 改修にテンプレートがどう役立つのか想像つきにくいけど そのコードが前提としてる特定の型以外でも受け入れられるようにするとか？ (それで継承とテンプレートどっちが優れてるという話にはならない気がするが 662 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 22:27:50.57 ID:r2Ed4Ypi.net] >>649 > そのコードが前提としてる特定の型以外でも受け入れられるようにするとか？ まあ、一番単純なパターンだとそれだね。 まあ、自分は>>621ではないので、 > (それで継承とテンプレートどっちが優れてるという話にはならない気がするが その真意はわからんけど、自分の経験でも対処療法的に継承でやっつけちゃうより やっぱりテンプレート化しときゃ良かった、と思ったときは多々あったｗ (「神は細部に宿る」んだわ、ほんとｗ) 663 名前：デフォルトの名無しさん mailto:sage [2021/05/02(日) 22:42:08.00 ID:Uu9e0iPh.net] 低レイヤーコードの置き換えを前提にモデル化できるってのがオブジェクト指向の一つの売りだが まああんまりそこの置き換えってしないわけだわな。 言うほど有効な場面は多くないってのはそれはそう。 素直に関数かけやって場面のが圧倒的に多い。 664 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:06:36.21 ID:cgOLnSCp.net] >>651 オブジェクト指向や継承の概念を使いまくっても、メンバ関数の形で 関数は書きまくるよ。 665 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:09:53.91 ID:cgOLnSCp.net] >>651 >低レイヤーコードの置き換えを前提にモデル化できるってのがオブジェクト指向の一つの売りだが >まああんまりそこの置き換えってしないわけだわな。 >言うほど有効な場面は多くないってのはそれはそう。 めちゃくちゃ低レイヤーな部分の書き換えは余り起こらないけれど、 クラスは階層的に継承して行くから、中間的な部分は結構修正が入る。 また、やはり仮想関数(ポリモーフィズム)の作法は便利。 666 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:15:32.93 ID: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 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:37:22.90 ID:ndSqMpB2.net] シンプルにポリモをやるための継承はいいんだけど それ以外をやるための道具として流用し始めると途端におかしくなるって経験上思ってる 668 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 06:47:59.32 ID:J4qyGfu1.net] >>654 そういうゲームみたいなシチュエーションがそんなにあるわけじゃないって話だよ。 よっぽどプログラマ間で共有できる抽象概念がない限り逆にわかりにくくなることのが多い。 669 名前：デフォルトの名無しさん [2021/05/03(月) 06:56:42.03 ID:O7+GYvY4.net] 派生関係がなくても関数名を一致(つまりオーバーロード)させるだけで動いてくれるテンプレートのほうが楽なことが多い。 実際、最近C++に追加されている機能は大部分が派生関係のないテンプレートクラス。 一方、派生して使うiostream系クラスは機能追加される気配がまるでない。 670 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 09:29:12.51 ID:1Xubdwf1.net] というか、単に間違ったクラス化や間違った継承してた奴が多かったんじゃないの >>657 クラステンプレートでも結構継承使ってるぞ 671 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 10:18:11.42 ID:/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 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 10:27:08.26 ID:jyja/vBX.net] Hogeを使う型で具体化する話？ 673 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 10:32:39.67 ID:1Xubdwf1.net] 基本的にテンプレートの実装をソースに書くことは出来ないよ 与える型を決め打ち(明示的実体化)すれば出来るけど、当然汎用性は大幅に下がる 674 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:41:17.40 ID:/gB1psu8.net] Hogeをvectorやunique_ptrの様に、インクルードすればどこでも使えるようなテンプレートクラスにしたいのですが、そういう場合はHogeの定義もヘッダーに記述して、そのヘッダーを適宜インクルードするような形になるんでしょうか？ 675 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:46:53.45 ID:ndSqMpB2.net] それを出来るようにするためのexportという機能が昔の標準規格に定義されてたんだが 難しすぎてほとんどのコンパイラが実装できなかったので消えた 676 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:56:42.04 ID:1Xubdwf1.net] >>662 vectorやunique_ptrも全部ヘッダに実装書いてるんだよ 見た目の問題だけなら、宣言と実装を分けることはできるけど(実装もヘッダのどこかに書けば 677 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:59:02.11 ID:/gB1psu8.net] >>663 ありがとうございます 難しい感じなんですね インクルードでコンパイル時間が余分にかかるかも……と思っていたのですがそれが一番近い方法なのでしょうね コンパイル時点でTの大きさがわからないから明 678 名前：治化しない限りはリンカ？でのエラーになるのでしょうか？ [] [ここ壊れてます] 679 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 12:02:09.68 ID:/gB1psu8.net] >>664 すれ違いになりました ありがとうございます ベクター等もそうなっているんですね 一度覗いてみたときにマクロの大文字が並んでて頭痛がして以来じっくりみたことが無かったので……(大汗) 680 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 13:46:09.28 ID:aV7aDLTY.net] >>656 ただ、MFCを見ても分かるように、例えば、左ボタンをクリックした時には、 が OnLButtonDown()というメンバー関数が呼び出される様になっていて、 それは、CWndで基礎が定義されていて、CWndを継承したクラスも同じ関数名で 同じイベントを処理する様になっている。 これを純粋なCだけで書くのは分かりにくいだろう。 681 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 14:09:33.89 ID: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 名前：デフォルトの名無しさん [2021/05/03(月) 14:22:00.89 ID:O7+GYvY4.net] WTLって知ってる？ MFCとほぼ同じ機能を派生クラスではなくテンプレートクラスで実現しているんだが、ソースが綺麗 683 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 14:28:53.28 ID:1Xubdwf1.net] 何言ってんだWTLも継承使ってるしユーザーもWTLから継承するだろうがアホか 典型的なポリモーフィズムではないけど、それがそのままデメリットにもなってる(ウインドウのインスタンス管理をまとめられない 684 名前：デフォルトの名無しさん [2021/05/03(月) 14:39:14.18 ID:O7+GYvY4.net] 継承といっても1世代だけじゃん 多重継承も使ってるから感じにくいけど 685 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 15:08:41.96 ID:1Xubdwf1.net] 本気で言ってんのか？ 686 名前：デフォルトの名無しさん [2021/05/03(月) 15:17:14.89 ID:O7+GYvY4.net] テンプレートは実体化された時に存在の有無を判定されるので、最低限のオーバーロードで済ませる 687 名前：はちみつ餃子 mailto:sage [2021/05/03(月) 16:27:31.54 ID:9b5rlct5.net] そういえばどこかの超人プログラマ集団がいる組織では必要になったら設計を気にせずどんどん 機能を増やしていって、どうにもならなくなったらさっさと捨てて作り直す文化があるというのを聞いたことが有る。 剛腕があれば綺麗な設計なんて必要がないし、無能ならば綺麗な設計は出来ない。 つまり大体の場合にあんまり綺麗な設計にならないってことになる。 それでもなんとかするしか仕方ない。 688 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 17:27:36.73 ID:aV7aDLTY.net] >>674 完全に捨てるというのは、多分、大きなプロジェクトでは無理で リファクタリングするんだと思われるが、その際に基本クラスの 設計や継承の仕方が変わる、ということなんだと思われる。 例えば Windowsエミュレータの Wineや、clangのソースなどを いくらソースが汚くなったからといって完全に書き換えるというのは どんなに超人豪腕プログラマ集団でも効率が良い方法とは 思えない。なぜなら、例えばWineのソースは150MB位あるから。 689 名前：デフォルトの名無しさん [2021/05/03(月) 17:32:03.66 ID:aV7aDLTY.net] >>674 アジャイル開発の説明によれば、ソースがきれいかどうかについては、 そのコードに機能追加や改良を続けられているのであれば、それで良し、 と考えるとあった。本当に問題が有るのは改良を続けられなくなってきた 時で、その時はその時で、リファクタリングしてソースを整理すると良いと。 常に綺麗にし続けるというのは努力はしても良いが、基本的には不可能に 近くて、むしろ、ソースを綺麗にすることが目的になってしまっては、 無駄に時間が掛かりすぎてかえって時間のロスになってしまうことがあるから。 690 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 18:09:40.04 ID:5dhwfeG+.net] ソースコードからひたすらcall treeを書きまくって独立した関数やクラスに切り分けていって 依存関係を整理していく仕事が今日もまたはじまるお、 691 名前：デフォルトの名無しさん mailto:sage [2021/05/03(月) 19:25:57.69 ID:prCdHQql.net] >>674 将来の破棄を前提とするなら、そのための準備が必要でしょうな。エージェントとかを使ってモジュール間の結合度を落とすとか、モジュール間で公開するIFを限定的にしてモジュール単体を捨てやすくするとか。 そのへんの話題はなかったのかしらん？ 692 名前：デフォルトの名無しさん mailto:sage [2021/05/04(火) 12:15:45.91 ID:PD6eTj67.net] >>675 でも、そのポリシーは「完全に捨てる」ことを しないと機能しないよ。 結局、前に書いてある「あの関数」とか「例のクラス」とかが 縛ってしまうからね。 リファクタリングするだけじゃ、結局程度の問題でしかない 693 名前：デフォルトの名無しさん mailto:sage [2021/05/04(火) 13:02:15.57 ID:KyGD7Tmh.net] >>679 どれは違う。 数学で代入したり、共通部分を括りだして M という変数に代入して 分かり易くしたり、展開したり、足し算して一つにまとめたり、 同類項をまとめたり、因数分解したりするなどして、式を簡単化 するのと同じようなことをプログラミングに置いて行えば、 前のソースを残しつつ、コードをわかり易くできる。 694 名前：デフォルトの名無しさん mailto:sage [2021/05/04(火) 23:38:27.82 ID:x3ry5l87N] 日本・ドイツ・中国・韓国・香港・台湾はナチだ。 今すぐ中国死ね。今すぐ中国は崩壊しろ。これで最大14億人の難民が発生し、日本も韓国も台湾も香港も滅びる。 今すぐ日本死ね。今すぐ、日本、中国、韓国、台湾、香港は死ね。 これで地球は平和になる。 今すぐ中国国内の原発が全て事故で爆発すれば、地球が平和になる。今すぐ台湾にある原発が全て事故で爆発すれば、地球が平和になる。 695 名前：デフォルトの名無しさん mailto:sage [2021/05/05(水) 00:03:02.26 ID:E1emjEBd.net] export機能は確かに立ち消えになったが、現状のC++において テンプレートの定義をcppに書くことは、明示的実体化をしたら一応はできる どうするのかと制限事項とかはここを見たらﾜｶﾙ↓ ■ テンプレート関数の宣言と実装を分離する方法 ( 補足 ) https://qiita.com/MasayaMizuhara/items/b1e3a53f62df88205eb7 一方、>>664で言っている >見た目の問題だけなら、宣言と実装を分けることはできる というのは（多分）こっち↓ ■ テンプレート関数の宣言と実装を分離する方法 https://qiita.com/MasayaMizuhara/items/37f8c2a5462a4f7f8ea0 696 名前：デフォルトの名無しさん mailto:sage [2021/05/05(水) 00:14:15.46 ID:E1emjEBd.net] >>680 言うは易しの典型例ktkr、 実際には依存しなくていいものが依存しまくりで 同値類が何かとか読むだけでばさっぱりわからなくなっている状況が多く、 >>677のような汗みどろ血みどろの作業になるんである すんなり逝くのはGUIの場合みたいな切り分けのゴールが意味的に明白なケースぐらい これはフォームの絵面を見てUI要素の塊別にinner classにでもしてやっていけば ソースコードの行数Nに対してO(N*log(N))ぐらいで何とか整理がつく、 697 名前：デフォルトの名無しさん mailto:sage [2021/05/05(水) 12:46:37.29 ID:9b321bHU.net] ネットつうのはド素人が平気でシッタカかますとこだから いちいち釣られててもしゃーない ここ最近の流れだと>>677さんだけガチ勢だと思う doxygenはワイらのお友達 698 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 11:30:21.66 ID:y+mCHZ2t.net] C++で3値ブールってどうやって表現してますか char？ 699 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 11:36:37.33 ID:ttDpb9zS.net] 3値ブールをenum型で定義すればintサイズ 700 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 12:00:53.01 ID:li0qewo8.net] >>685 // #include <compare> class strong_ordering; class partial_ordering; class weak_ordering; および、これらのクラスの随伴関数operator<=> 701 名前：デフォルトの名無しさん [2021/05/06(木) 13:22:29.39 ID:QuOqilO4.net] >>685 unsined char 702 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 13:52:22.50 ID:li0qewo8.net] スペルマ違い 703 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 17:31:19.46 ID:XU+FtvdI.net] BOOST_FOREACHで自作クラスをイテレートするのダル なぜC++11の範囲for文で完全にカバーする努力をしなかったのかますます謎だ 704 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 18:32:04.97 ID:q/dBsf9f.net] vector<int> v; vを初期化 for(int& x: v){ 　int y = move(x); } これって文法的には問題ないっていうかコンパイルエラーなりませんよね？ 参照をmoveするってどういう意味なんですか？ 705 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 19:58:59.64 ID:V23aVuxi.net] 引数の型から返り値の型が明らかに決まるとき、返り値の型をわざわざテンプレート引数として書くのがめんどいんですが、省略するテクありますか 706 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 20:33:45.29 ID:2fdHoq/h.net] >>692 引数の型で明らかに決まるんなら、戻り値の型を引数の型引数から導出される型として表現できるはずでしょ 707 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 21:37:43.27 ID:sft9s3lg.net] >>690 boost foreachができたのは15年以上前だから仕方ない。今更使う必要もないと思うぞ 708 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 21:50:31.70 ID:li0qewo8.net] >>691 xを、このあと殺すだけだから ぶっちょんぶっちょんに犯しまくっていいよってこと それがconstのない右辺値参照にキャストするってこと 709 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 22:05:14.28 ID:R9i/0zUR.net] >>692 autoとか？ 710 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:11:22.73 ID:yKiPUGCL.net] >>693 どうやって書くの？ template<class T1, class T2, class T3> T3 func(T1 a, T2 b){ T3 c; return c; } みたいなやつのT3をテンプレート引数じゃなくしたいってことなんですが 711 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:21:31.82 ID:ttDpb9zS.net] >>697 int64_t ret = func<int, size_t, int64_t>(100, 200); 712 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:22:49.21 ID:KJjM6itp.net] >>695 v とか x は y = move(x) の後で使い回しても良いんですよね？ つまり、vector v の要素の参照 x を move しても、v の要素も x も影響を受けなくて、y の構築のされ方が違うだけということで良いんですかね？ 超初歩的なこと聞いてすみません 713 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:28:09.10 ID:yKiPUGCL.net] >>698 ？？？ > func<int, size_t, int64_t> の int64_t をテンプレート引数じゃなくしたいってことです 実行時に返り値の型が分かるような関数を作るテクはあるかと言い換えても良いです 無理なら無理で良いです 714 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:29:49.59 ID:RPQ+IjqH.net] >>694 >>537,542みたいなときはある 715 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:31:52.81 ID:qYpUBK3o.net] >>699 右辺値参照はあくまで、一時オブジェクトですよと示すだけなのでそのコードでは問題ない けどyがint yじゃなくてvectorなどの、 「一時オブジェクトを受け取った場合、メモリ確保やコピーのコストを減らすために中身のポインタだけすげ替える」 クラスだった場合、その後のvの中身は使えなくなる moveはただのT &&へのキャストだよ 716 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:33:25.48 ID:sft9s3lg.net] >>701 うーん、そのためだけに使うってのはちょっとなあ 717 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:33:54.75 ID:qYpUBK3o.net] >>700 >>696に出てるじゃん T3無しで自分で書いてみた？ 718 名前：デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:44:41.27 ID:XU+FtvdI.net] >>693,696,698,704 返り値の型がautoな関数って普通に作れるんですね すみませんでした ありがとうございました 719 名前：デフォルトの名無しさん [2021/05/07(金) 04:09:07.13 ID:CpHYc6qO.net] 初歩的な質問かつスレチ気味ですみません vscodeを用いて簡単なコードを書きました ビルドとデバッグを試みました ビルドは出来ましたかデバッグにエラーが出て、No such file or directryとあります パスを指定する際に日本語が含まれていることでエラーが出たのかと思うのですが正しいですか？ 720 名前：デフォルトの名無しさん [2021/05/07(金) 04:11:25.73 ID:CpHYc6qO.net] >>706すみません VScodeスレがあるのに間違えてこちらで質問してしまいました スルーしてください 大変失礼しました 721 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 05:39:45.41 ID:zt0L6rVc.net] std::stringとstd::string_viewって何が違うんすか？ 722 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:15:48.18 ID:5qs1Tt49.net] >>708 動的メモリを使うのがstring 使わないのがstring_view 大昔からあるのがstring C++17で新設されたのがstring_view 723 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:37:17.09 ID:zt0L6rVc.net] >>709 なるほど 最近の開発ではstring_view使うほうが主流ですかね 724 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:38:54.78 ID:p617inns.net] >>710 string_viewを使う機会はほとんどない 725 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:58:15.44 ID:zt0L6rVc.net] >>711 string_viewのほうが軽いのではないのですか？ 726 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 07:49:58.08 ID:HoYTY9P4.net] その違いがわかるほどのシステムなんてあるのか? 727 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 08:46:52.79 ID:p617inns.net] バッファを操作するライブラリはC以来の蓄積があり、string_viewに移行する利点があまりない これから新しく作るならstring_view特化でもいいかもしれないけど 728 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 10:52:52.13 ID:tUbn1npH.net] テンプレート引数にstring::size()みたいな非定数を渡す方法教えてくんろ 729 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:14:48.37 ID:MIeBw/jN.net] 部分文字列の抜き出し繰り返す構文解析的なプログラムをstringをつかって自前でゴリゴリ１から書くなら、string_viewでかなり速度上がりそうではあるね 730 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:25:05.02 ID:xRxKqUtn.net] >>715 渡せるわけないだろ constexpr付いててコンパイル時評価になるならともかく 731 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:31:31.31 ID:tUbn1npH.net] >>717 なんかテクねーの 例えばarrayの長さをどうしても実行時に決める技みたいの 732 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:37:35.53 ID:xRxKqUtn.net] 原理的に不可能だよ 定数値が必要ですとか言われるやろ 実行時分岐でテンプレート引数を決めるとかは出来るだろうけど 733 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:39:55.84 ID:MIeBw/jN.net] >>718 使う全ての長さの分のstd::arrayのパターンをマクロか何かで生成して、入り口で分岐させればいけるんじゃない？w 734 名前：デフォルトの名無しさん [2021/05/07(金) 11:45:23.03 ID:fHTm+yKw.net] >>718 裏テクはある 当然糞コードになる 後で観る気が起きなくなる やめとけ 735 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:47:37.42 ID:xRxKqUtn.net] size_t n = str.size(); switch (n) { 　　case:1 　　　　return array<int, 1>; 　　case 2: 　　　　... こんなん？(でも戻り値の型の違いもテンプレートに出来ないのでanyとかで吸収しないといけない 736 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:51:06.04 ID:tUbn1npH.net] ありがとうございます 上の方で関数の返り値用のテンプレート引数をautoで省略したいとか言ってた者なんですが、大人しくテンプレート引数一個追加します 737 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 12:26:02.94 ID:5qs1Tt49.net] >>718 system()でコンパイラを呼び出してDLLをビルドしてLoadLibrary() 738 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 12:43:40.65 ID:xRxKqUtn.net] あーarrayの必要サイズがわからん状態で型決めようとしてたのか それはユーザーが指定しないとしょうがないね 739 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 12:55:13.65 ID:tUbn1npH.net] >>725 arrayは例えですが、それに近いことです 実行時に計算した値を変数テンプレートに入れたかったです 740 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 14:05:11.82 ID:2HL1lUWO.net] pow(int, int) の型って int なん？ Promoted pow(Arithmetic1, Arithmetic2) とあるが、int と int が promote されたら何になるの？ 741 名前：はちみつ餃子 mailto:sage [2021/05/07(金) 14:39:02.01 ID:xLSEaA6V.net] >>708 std::string はそれ自体が文字列のデータを所有している。 std::string_view は他の文字列の一部 (または全部) の範囲を表現しているだけで、文字列の本体は所有していない。 (なので参照先の寿命が先に尽きたらダングリングになることに注意。) 文字列全体の参照は単に 742 名前： std::string& で良いのだが、 一部の範囲だけを表す型が従来は無かったので std::string_view が新設された。 std::string_view は Go や Rust で言うところのスライスのような概念に近い。 [] [ここ壊れてます] 743 名前：デフォルトの名無しさん [2021/05/07(金) 21:40:55.35 ID:e3vaIAON.net] std::ifstream ifstream; ifstream.open(filePath); std::stringstream stream; stream << ifstream.rdbuf(); とやったとします…この場合…flushって必要なんでしょうか？… stream << ifstream1.rdbuf() << std::flushやstream.flush()…そもそもifstream.rdbuf()を使っているのが… なんか…怪しくて…全て書き込まれていない事って…起きるんでしょうか？ ofstreamだと…flushがいるのは解るんですが…この場合って…どうなん？ stream << ifstream.rdbuf()の振る舞いが解らなくて…本当にいつも…全部…読めているんでしょうか？ ifstream.rdbuf()って…怪しいじゃないですか…悩みます…。誰か…詳しい人…います？ 744 名前：デフォルトの名無しさん [2021/05/07(金) 22:47:52.85 ID:e3vaIAON.net] ostreamを継承してるので…一応…儀式として… << std::flush を付けておきます… 745 名前：デフォルトの名無しさん mailto:sage [2021/05/07(金) 22:47:55.63 ID:2z/2Kbob.net] ﾋｴｯ…、、、く、車輪のx発明の人……！ 746 名前：はちみつ餃子 mailto:sage [2021/05/07(金) 23:09:25.10 ID:xLSEaA6V.net] >>729 operator<< を呼んだ直後の時点では完全に書き込まれていない可能性は有る。 ただ、色んな場面で pubsync が呼ばれて辻褄合わせをすることになってるんで、 その時点で完全でなくても大抵の場合に問題にならない。 ストリームがキャラクタデバイスに接続されている場合のような 書き出しのタイミングが意味を持つような状況でなければ明示的に flush が 必要な場面はあまりない。 747 名前：デフォルトの名無しさん [2021/05/07(金) 23:41:24.93 ID:e3vaIAON.net] stream << ifstream.rdbuf() の振る舞いが解らなくて…怪しいと思っていたけど…大丈夫らしい… https://stackoverflow.com/questions/49546569/how-does-this-one-stream-command-read-in-an-entire-file-in-c 748 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 00:06:58.58 ID:e+sagIsH.net] coutとcerrでコンソールに出すときcoutを適宜flushしないとcoutとcerrで表示が同期しないという印象、 749 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 01:11:26.04 ID:04d5KsyW.net] coutのようにバッファリングしながらもstderrに出力するclog 750 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 07:59:26.09 ID:St3wXYGV.net] >>727 promoteはintよりサイズの小さい整数がintになることだぞ 浮動小数点の場合はdoubleになること powは<cmath>で次のように宣言されていて float pow(float x, float y); double pow(double x, double y); long double pow(long double x, long double y); pow(int, int)の返却値はdoubleとなる 751 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 14:22:53.92 ID:iyfickIa.net] hoge() という関数の意味で hoge_() という書き方を使いたいとき、using hoge_ = hoge ってできますか 752 名前：蟻人間 mailto:sage [2021/05/08(土) 14:50:03.11 ID:tI5Uqx1l.net] >>737 usingの代わりにauto 753 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:15:44.69 ID:iyfickIa.net] >>738 ？ auto hoge_ = hoge？ 754 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:21:51.05 ID:IOJOTrlX.net] C++にmemcpyの代替ってあるんですか？ メモリが連続でコピーする区間が重複してないときに型 T のものを x 個分コピーするときは、2021年現在も memcpy(destのアドレス, srcのアドレス, sizeof(T)*x); で良いんですかね？ 755 名前：デフォルトの名無しさん [2021/05/08(土) 15:24:23.88 ID:Jy6pPGdO.net] >>726 tuple使え 756 名前：デフォルトの名無しさん [2021/05/08(土) 15:27:28.70 ID:Jy6pPGdO.net] >>729 stream << ifstream1.rdbuf() << std::flushやstream.flush() ifstream1.rdbuf() を実行する前に fush しないと意味無いと思わないか？ 757 名前：はちみつ餃子 mailto:sage [2021/05/08(土) 15:31:41.86 ID://zoyCL6.net] >>737-739 関数の別名を作るなら constexpr を付けておいたほうがいいかもね。 758 名前：はちみつ餃子 mailto:sage [2021/05/08(土) 15:42:46.92 ID://zoyCL6.net] >>740 C++ 的には std::copy を使うんでないかな。 memcpy はメモリが連続していることを利用した最適化をしている可能性が高くて効率的だけど、 T が trivially copyable でないときに memcpy で正しく複製できるかは未定義なので、 汎用的な部品として構築するには memcpy は向いてない。 低レイヤでビットパターンのコピーで良いことがわかっているなら memcpy でも良いだろうし、場面による。 759 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:43:03.39 ID:09/9BleE.net] テンプレート引数の部分指定みたいのってないんですかね template<class T, int x, int y> auto hoge(array<T, x> fuga){ 、、、 } って関数を array<int, 5> aaa; hoge<int, 5, 8>(aaa); みたいに呼び出すときってintと5はaaaを渡した時点で分かりきってますよね？ だから hoge<8>(aaa); みたいに呼べたら良いなと思ったんですが 760 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:57:41.09 ID:+il+Qk57.net] int yをテンプレート引数の最初に持ってきてみ 761 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:58:45.38 ID:+il+Qk57.net] >>741 見当違い 762 名前：はちみつ餃子 mailto:sage [2021/05/08(土) 15:59:25.53 ID://zoyCL6.net] >>745 後ろのほうのパラメータは省略できるが、頭のほうのパラメータは省略できない。 順序を変えれば OK #include <array> template<int y, std::size_t x, class T> auto hoge(std::array<T, x> fuga){ } int main(void) { std::array<int, 5> aaa; hoge<8>(aaa); } 763 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 16:48:31.28 ID:09/9BleE.net] >>746 あざ！ 764 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 20:11:34.06 ID:IOJOTrlX.net] ある条件でvectorを返してある条件でintを返す関数って作れないんですよね？ 765 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 20:16:14.63 ID:grHx02fv.net] >>750 「条件」がコンパイル時に決まるものなら作れるよ。 実行時に決まる条件でも variant<vector, int> を返す関数なら作れるよ。 766 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 20:47:53.13 ID:coBHIhPM.net] >>750 そんなふうに実装する必要ある？ 767 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 21:04:51.07 ID:IOJOTrlX.net] >>751 ないんでやめます あるいはオーバーロードで作ります 768 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 22:02:29.92 ID:04d5KsyW.net] overlord 769 名前：デフォルトの名無しさん mailto:sage [2021/05/08(土) 23:21:52.15 ID:55qg1DzP.net] std::anyつかえば実行時でも出来るよ 770 名前：デフォルトの名無しさん mailto:sage [2021/05/09(日) 12:35:35.77 ID:Ys9Xflyj.net] あるオブジェクトの参照を受けたときはそのオブジェクトを変更する void 関数で、一時オブジェクトを受けたときはそれを変更したものを返す関数 を作りたいとき、後者ってどう表現したら良いんですかね？ 771 名前：デフォルトの名無しさん [2021/05/09(日) 13:27:45.76 ID:WMytKT+1.net] move 772 名前：デフォルトの名無しさん mailto:sage [2021/05/09(日) 13:56:14.42 ID:Ys9Xflyj.net] >>757 右辺値を受け取った場合をオーバーロードするってことですか？ 773 名前：デフォルトの名無しさん mailto:sage [2021/05/09(日) 15:01:51.23 ID:RwrAFKze.net] つ右辺値参照 void func(Hoge& h) { ... } Hoge func(Hoge&& h) { ... return h; } 774 名前：はちみつ餃子 mailto:sage [2021/05/10(月) 14:33:11.74 ID:iq5b2KkV.net] そういう形でオーバーロードするのはお勧めできないな。 ムーブできるところでは知らんうちにムーブになって効率的に動作してたってのが理想的で、 右辺値か左辺値かによって使い方も異なるってのはやめたほうがいい。 別の名前を付けたほうが良さそうに思う。 775 名前：デフォルトの名無しさん [2021/05/10(月) 15:14:27.70 ID:lCZGOQhN.net] stringstream hoge を seekp するとき hoge.seekp(a, ios::cur); と hoge.seekp(a, ios_base::cur); のどちらが正しいですか？ 776 名前：はちみつ餃子 mailto:sage [2021/05/10(月) 16:48:01.25 ID:iq5b2KkV.net] >>761 どちらでも問題ない。 ios::cur は ios_base から継承したもので、同一の存在。 しかし習慣的には ios_base を直接使うべきではない (ios::cur を使うべき) と思う。 777 名前：デフォルトの名無しさん mailto:sage [2021/05/10(月) 18:22:42.09 ID:bdG5L98z.net] 右辺値参照って、扱ってるクラスがムーブコンストラクタを持ってない限りは、「これは右辺値参照です」 778 名前：という意思を表示することにしかならんのですよね？ [] [ここ壊れてます] 779 名前：デフォルトの名無しさん mailto:sage [2021/05/10(月) 20:56:06.60 ID:CKsNew1t.net] 非const&はともかく const&と&&の多重定義は普通だろ 780 名前：デフォルトの名無しさん mailto:sage [2021/05/11(火) 03:49:55.52 ID:NBkGK4p/.net] template<class T> void hoge(pair< vector<T>, vector<T> >); を、vector<int> A, B として hoge({A, B}) って呼ぶのは T の deduction/substitution に失敗するからダメで hoge(make_pair(A, B)) って呼ぶのはオッケーだったんだがホワイ？ そんくらいできろやって思うんだが 781 名前：はちみつ餃子 mailto:sage [2021/05/11(火) 04:17:34.41 ID:sf6ddr3r.net] >>765 推論できないわけではなくて std::initializer_list に推論されるというルール。 そのルールが結果的に妥当かどうかはともかく今更変えるわけにもいかんし、 仕方がないんだわ。 782 名前：デフォルトの名無しさん [2021/05/11(火) 11:21:06.99 ID:FWZS8iTB.net] tuple 783 名前：デフォルトの名無しさん mailto:sage [2021/05/12(水) 00:29:14.70 ID:nKEkaipq.net] >>591 シープラプラも混ぜて 784 名前：デフォルトの名無しさん mailto:sage [2021/05/12(水) 22:39:19.73 ID:LXLc2NzC.net] 可変個の参照をとる関数の一番簡潔な書き方って何ですかね？ 呼び出すときは hoge(a, b, c, d) あるいは hoge({a, b, c, d}) みたいにしたいです 785 名前：蟻人間 mailto:sage [2021/05/13(木) 00:03:41.49 ID:/FXyk3Zs.net] いくつか方法がある: va_list std::initializer_list variadic template 786 名前：はちみつ餃子 mailto:sage [2021/05/13(木) 00:25:58.06 ID:WYE+obYa.net] 要素の型が全て同じなら std::initializer_list が比較的扱いやすいとは思うが、 それだけでまかなえないからこそ選択肢があるのでもう少し条件を提示して欲しいね。 787 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 14:22:44.17 ID:rT5yynw0.net] 防衛省が中国のハッカーとやり合える人材を募集中 年収最高２０００万円 https://leia.5ch.net/test/read.cgi/poverty/1620874048/ 788 名前：デフォルトの名無しさん [2021/05/13(木) 14:25:28.62 ID:gQUYeg5t.net] vector array tuple 789 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 15:33:03.69 ID:VhoQaRqh.net] 上限2000万じゃ安すぎ 790 名前：デフォルトの名無しさん [2021/05/13(木) 15:38:49.41 ID:tJiNVUVY.net] 武器禁輸措置に抵触する認定プログラマのお値段がたったの2000万円？ 安すぎだろ 791 名前：はちみつ餃子 mailto:sage [2021/05/13(木) 15:57:38.17 ID:WYE+obYa.net] そういう額って「保証する額」なので上限が保証されてても意味ないんだよな。 792 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 16:06:58.80 ID:ItPDnKAp.net] ベストエフォートが 1Gbpsでも現実は 10Mbpsみたいな話だな。 793 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 16:08:53.03 ID:ItPDnKAp.net] 最近知ったことだけど回線品質が悪いからではなく沢山の人に共有利用させすぎているせいで速度が出ないだけらしい。 実際、ダウンロードは遅いのにアップロードは速いのはそれで説明できるそうだ。 794 名前：はちみつ餃子 mailto:sage [2021/05/13(木) 16:33:36.23 ID:WYE+obYa.net] >>778 割り当てを失敗してるんだからそれは「回線の品質が悪い」んだよ。 運用も回線の一部。 795 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 16:35:51.69 ID:VhoQaRqh.net] ダウンロードが遅い原因は経路の他にサーバーという場合もあるね 796 名前：デフォルトの名無しさん [2021/05/13(木) 16:55:36.92 ID:0opMfQ+n.net] 人混みではWiFiも奪い合いでブツブツ切れまくる 保証するのは普通「下限」だよな 797 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 17:54:36.06 ID:ItPDnKAp.net] >>779 ADSLとかで遅いのも回線がズタボロに品質が悪いからではなく 多くの人で分けすぎていることが原因の場合があるらしい。 798 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 20:55:57.03 ID:NATYYilK.net] 給料でも、100万円みたいに上限を書いているものは、無意味。 嘘広告と同じで、絶対にもらえない 給料で大切なのは、15万円みたいな下限。 最低保証額 799 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 20:59:43.10 ID:bYaECMnR.net] 何のスレだよ 800 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 00:45:53.77 ID:2w1FBHD8.net] 最低時給みたいなもんか 801 名前：はちみつ餃子 mailto:sage [2021/05/14(金) 02:31:20.51 ID:Ezk9shwq.net] 直接的に関係ない話になってはいるが、 保証の内容の違いはプログラミング的にも割と重要な話。 十秒で十の仕事をするという保証と 一秒で一の仕事をするという保証は異なる。 802 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 02:47:39.90 ID:YIIiTt5H.net] アホみたいな質問というか雑談なんですが、皆さんは同じ型のものを2つまとめるのにpairって使いますか？ 2要素vectorの方が要素アクセスのしやすさ等の観点から自分にとっても他人にとっても親切な気がしてきました 803 名前：はちみつ餃子 mailto:sage [2021/05/14(金) 02:57:56.08 ID:Ezk9shwq.net] >>787 同じ型かつ二要素という保証が重要な場面なら std::pair より std::array を使う。 804 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 03:23:37.52 ID:yHal4m5W.net] std::pairは機能拡張に弱いので自発的には使わない方がいい 805 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 05:56:11.89 ID:RnSHWQNF.net] IntelコンパイラはParallel Studioが終了してoneAPIになったけど、 これ無料なん?Intelからは無料ダウソできるけど、 エクセルソフトは有料販売続けてるのはどこが違うの? 806 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:01:58.07 ID:UqkRQTKM.net] ダウソってなんスか? 807 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:20:13.81 ID:7h2AIEzB.net] >>787 POINTやSIZEは普通に構造体宣言だね complex<T>も明らかにTとTだね こんなもんpairで作るやついたら全力で逃げる 808 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:21:57.15 ID:RnSHWQNF.net] カワウソの一種です 809 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:23:51.18 ID:7h2AIEzB.net] template <class T> struct point : private std::pair<T, T> { T& x; T& y; point() : x(std::pair<T>::first), y(std::pair<T>::second) { } }; ・・・アホくせｗ 810 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 07:22:41.27 ID:+gtYWEA4.net] pairてmap以外で使った記憶ないな 811 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 07:25:10.38 ID:yHal4m5W.net] std::equal_range() の戻り値がstd::pairだよ 812 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 10:51:44.98 ID:R2Ezzb7N.net] std::pair を使うかという問いに対して std::pair をなんと継承している例を持ち出してアホくさいとはね アホくさいんじゃなくアホなんだよ 813 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 12:30:32.58 ID:7h2AIEzB.net] >>797 あ？　自分は答えないくせに他人のコメントにいちゃもんつけるやつにだけは言われたかねえぜ 814 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 12:31:39.95 ID:7h2AIEzB.net] どーせ継承いらん厨とかそういう手合いのゴミだろてめえ 815 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 12:47:38.30 ID:678S/iU6.net] twitterでC++というキーワードがどうやっても検索できないのは独占禁止法に抵触するよね？ 816 名前： mailto:sage [2021/05/14(金) 21:28:42.13 ID:JoUb9lLr.net] >>772 0 の数が二つ足りない 817 名前： mailto:sage [2021/05/14(金) 21:29:55.39 ID:JoUb9lLr.net] >>799 継承……… いらないと思います、最近の私は全部委譲で書いていて、その方がまともだとおもっていますね 818 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 21:31:11.99 ID:72ZodHJE.net] こういうのは技術だけじゃダメだからなあ 相手の心理を読み解く嫌らしいまでの知略がないと 819 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 23:11:38.64 ID:R2Ezzb7N.net] 継承は多用こそしないが要る std::pairの継承はもちろんしない std::pairは使う 終わり 同じ型で2要素のものをpairにするかvectorにするかarray<T, 2>にするかは好みとしか言いようがない どれにしたから怒られるということもなかろう 820 名前：デフォルトの名無しさん [2021/05/15(土) 00:42:32.70 ID:JNomAybm.net] でもそれが可能だということはやってはダメと言われてるわけでは無く許可されてることだろ 本当にダメならそもそも出来ないハズだ やれることをやってなんでダメと言われるのか全く理解出来ない 出来ないのであれば不可能にすべきだがそうなってない、 ならばやっていいことに決まってる 821 名前：はちみつ餃子 mailto:sage [2021/05/15(土) 00:48:41.02 ID:pVi51x8H.net] やればいいよ。 その結果がどうなるか知らんけど。 822 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 01:23:50.42 ID:ACVNfbfy.net] >>794は無理してpair使うとアホなことになると言いたいのかと思ってたんだが違うのか 823 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 01:23:56.78 ID:GOJIKllV.net] 乗用車は余裕で時速150km出せる 824 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 06:16:06.77 ID:ASJTiJTT.net] >>802 インターフェイスも否定する？ 825 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 06:35:29.42 ID:ASJTiJTT.net] 自分は使わない、以上だってpgr コードを常に1人で書く人ってことだね チームでやってるときに異端な主張で クセ強すぎるコード書くやついたら叩き出す 826 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 06:43:05.27 ID:tihXB0Cj.net] 大昔全部ヘッダファイルにコード書いてやった俺は正しかった 今になって大流行 自分の先見の明が恐ろしい 827 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 07:20:42.20 ID:yI+HbYJi.net] XXという機能は要らないという奴はたいてい 自分の特定ジャンルのコーディングしかしたことない奴が多い 828 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 07:51:13.54 ID:tihXB0Cj.net] ほんとうにいらないものもある 829 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 07:57:34.33 ID:MVemCiVF.net] 本当にいらないものは大体ここ10年の規格改訂で削除かdeprecated行きになってる まだそうなってないものは多分必要なんだよ 830 名前： mailto:sage [2021/05/15(土) 09:26:33.74 ID:JZCPEXPS.net] >>809 否定しません 831 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 09:35:04.56 ID:WhAcSt6Q.net] ヘッダファイル内で定数使いたいときって結局どうしたら良いんですか ネームスペース作るほどじゃないが、スコープはそのファイル内だけで良いって状況です 832 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 10:12:39.02 ID:GOJIKllV.net] 32bit整数なら列挙型 それ以外なら定数をあきらめて定数を返す関数にする 833 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 10:30:59.22 ID:WhAcSt6Q.net] >>817 あざす！ 834 名前：デフォルトの名無しさん [2021/05/15(土) 12:13:25.04 ID:eYtIld1h.net] >>794 blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-list/44431 https://www.akiradeveloper.com/post/programmer-life-10-years/ 835 名前：デフォルトの名無しさん [2021/05/15(土) 12:19:34.55 ID:eYtIld1h.net] >>811 流行っていうか仕様上仕方なくってことなら判る template とか obj にコンパイルしても 必要な時に見つからないって言われるの 回避する方法あったら教えて 836 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:36:48.16 ID:DTE+piln.net] >>802 悪いが、やっぱQZは、頭の働きが余り良くないと思う。 継承はオブジェクト指向ではなくてはならないものだし。 837 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:46:36.24 ID:DTE+piln.net] >>821 ただし、個人的には委譲についてはそんなに詳しくは無く、#include程度のものだという理解しかない。 しかし、C++のクラスには元々継承の機能が付いているのだから敢えて委譲方式を使う必要は無いと思う。 また、委譲にしたときのデメリットは分かるが、メリットは分からないし。 838 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:53:37.11 ID:ACVNfbfy.net] C++において委譲てメンバ変数に持つだけやろ vectorにデータ保持するクラスがvector継承とかおかしなことになる 昔から言われてるis-aとhas-aで考えるのが自然じゃないの 839 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:59:47.23 ID:l/htYdSr.net] 継承は今となっては注意して使うべきものって評価が定着したものと思ってた リスコフ置換原理とか、差分プログラミングとか、composition over inheritanceとか 840 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 13:08:50.36 ID:DTE+piln.net] >>824 そんな高度なことをUQが知ってるのか？ 841 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 13:18:14.47 ID:ZTZob1AZ.net] >>821 確かにいちいち相手を口撃しないと議論もできないのは頭が悪いね 842 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 13:58:00.84 ID:tE3nOT6E.net] > 個人的には委譲についてはそんなに詳しくは無く、#include程度のものだという理解しかない。 > vector継承 えっちょっとレベル低過ぎて驚愕してるんだが、休日プログラマたちが張り切って変なこと言ってるだけだよね？ 「委譲は#include程度のもの」は意味不明としか言いようがないし、STLコンテナの継承って典型的なアンチパターンなんだがなんでそんなもの引き合いに出してくるのか分からんし 843 名前：デフォルトの名無しさん [2021/05/15(土) 15:34:06.78 ID:eYtIld1h.net] >>823 ほぼその通りだが メソッドとか共通のときって 全部のメソッド描くか？ template <R, P> R *(P a){return ($1)(a);} 観たいに描けたら良いのに 844 名前：デフォルトの名無しさん [2021/05/15(土) 15:35:17.73 ID:eYtIld1h.net] ああ違う R *(P a){return (m->($1))(a);} 観たいな感じ 845 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 15:57:12.68 ID:mF3YDsn5.net] >>827 安心せい ド素人がシッタカかますスレへようこそ 釣り、知ったか、荒らしは単にスルーされます 846 名前： mailto:sage [2021/05/15(土) 16:47:33.61 ID:JZCPEXPS.net] >>821 ＞継承はオブジェクト指向ではなくてはならないもの 私も昔からそう習ってきてはいましたが、さて、いろいろ書いてみたものの「継承で書いた方がスマート」という経験が皆無なのです、「委譲で書いた方がスマート」ならば沢山あるのですが あえて継承が有用な場面といえば、エラー等の例外関係の個々のクラスを大雑把にカテゴライズするための基底型、くらいのものでしょうか… なにかお題を定めて「�@：継承だけを使って書け、�A：委譲だけを使って書け、�B：�@�Aを評価せよ」という例をいただけないでしょうか。 847 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:50:08.18 ID:DTE+piln.net] >>831 「委譲」って具体的にどういう書き方のことなの。 848 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:55:09.56 ID:vSRH6pvU.net] >>832 ええ、頭の働きが悪いと煽りつつそれ聞いちゃうの？ 849 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:56:27.49 ID:DTE+piln.net] >>827 Rubyでの委譲は #includeのようなものの様に見えたんだよ。 さっき検索してみたら、一般的にはそういうことではないらしいが。 850 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:57:27.50 ID:DTE+piln.net] >>833 委譲という言葉はC++では余り耳慣れなかったので本人がどういう意味で使ってるか聞いて見たい。 851 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:59:33.89 ID:DTE+piln.net] C#でのdelegate、Rubyの委譲(#includeみたいに見える)、Wikipediaに載っている委譲、それぞれかなり違うことを言っているように思える。 記憶だと、C#のdelegateって他の言語でClosureと呼ばれているもののように思えた。 FunctorとClosureの違いはちゃんと分かってないが。 852 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 18:02:34.95 ID:DTE+piln.net] >>836 あ、Rubyは、Mix-inの方だったわ、スマン。 853 名前：はちみつ餃子 mailto:sage [2021/05/15(土) 18:05:50.33 ID:pVi51x8H.net] 別のところに処理を丸投げするような仕組み (ただし丸投げする先をディスパッチする仕組みには色々とある) が委譲なので、 基底クラスのメンバ関数が呼ばれるのも広義には委譲の一種なんじゃないかなぁ……。 854 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 18:35:44.23 ID:eIL06kE0.net] C#のdelegateって、クロージャとかオブジェクトのメソッドをレシーバごと格納できるコレクションだよね 同じ引数と返り値を持っている関数みたいななものならば、なんでも追加できる そいでその引数と返り値の関数として呼び出すことができる 移譲先を格納しておくのに便利な機能 855 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 19:12:47.49 ID:ASJTiJTT.net] >>835 そうかあ・・・耳慣れないのか 耳が悪いんだね コンストラクタの委譲もピンプルも知らないのに キリッちゃってる人って・・・(自粛) 856 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 19:25:28.14 ID:51m73G+d.net] 委譲とコンポジションってのはオブジェクトの合成方法だ 具体的にはオブジェクトAにオブジェクトBを持たせる そしてAのメソッドを定義してBのメソッドを呼び出す 857 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 20:45:42.10 ID:I9hvCSGp.net] 継承先でoverrideした関数があって、継承元の関数使いたくなった場合、何か手段ある？ 858 名前： mailto:sage [2021/05/15(土) 20:57:32.98 ID:JZCPEXPS.net] >>832 しばしお待ちを 859 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 20:59:13.89 ID:l/htYdSr.net] >>842 Base::method() 860 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 21:02:37.21 ID:I9hvCSGp.net] >>844 ありがとう！ 861 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 21:33:36.92 ID:ROEIM7pX.net] 継承は、is-a 委譲は、has-a 内部に部品を持って、その部品にやらせる 最近の言語は、Go, Elixir みたいに継承がない 一方、Ruby on Rails では、継承がめちゃめちゃ便利。 継承して、カスタマイズするだけ 862 名前： mailto:sage [2021/05/15(土) 22:02:21.21 ID:JZCPEXPS.net] >>846 そのリスコフ置換原則＝ is-a が必ずしもいつも使えるとは限らないのですよ 例えば、数の体系は例えば 複素数⊃実数⊃有理数⊃整数⊃自然数 ですが、じゃあ、「複素数」からインプリメントするか？というと、私はそうは思えません 863 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 22:02:48.30 ID:ROEIM7pX.net] Ruby の委譲は、Forwardable を使う 例えば、自分でスタッククラスを作る場合、 Array 型のインスタンス変数に丸投げして、push/pop を使う ただし、他のメソッドを呼ばれても困るので、使えるメソッドを限定する 文字列・配列などは継承用のクラスじゃないから、 継承するのはアンチパターンなので、委譲を使う ただし例外的に、Ruby on Rails など、有名なフレームワークでは、 標準クラスを継承して、カスタマイズする事も認められる require 'forwardable' class Stack extend Forwardable def initialize( ) @ary = [ ] end def_delegators( :@ary, :push, :pop ) end stack = Stack.new stack.push 1 stack.push 2 stack.pop p stack #=> @ary=[1] 864 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 22:42:05.60 ID:ACVNfbfy.net] >>827 ＞STLコンテナの継承って典型的なアンチパターンなんだが だからおかしなことになると言ってるだろ何をドヤってんだアホかお前は >レベル低すぎて驚愕 してんのはこっちだ is-aなら継承、has-aなら委譲(この場合メンバで持つ)が自然だと言ったんだよ 865 名前： mailto:sage [2021/05/15(土) 23:03:15.95 ID:JZCPEXPS.net] >>849 その is-a, has-a は、実際の設計作業にはあまり役にたたない気がします 私がやっている小規模／個人コーディングでは、差分プログラミングを取るしかない（まずプロトタイプを書いてから継承または委譲を使ってテストコードと併用して膨らませていく）わけですが、その記述としては最初に委譲を考えます 実際のところ継承と委譲の使い分けは何でしょうかね、少なくともリスコフ置換原則ではカバーできないという気がしますね 866 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 23:15:31.28 ID:ACVNfbfy.net] >>850 ＞私がやっている小規模／個人コーディングでは、 >継承または委譲を使ってテストコードと併用して膨らませていく いつもその条件で部品テストしてるだけならそうだろうなー すでに言われてるけど違うことやり始めたら考え変わるんじゃね 867 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 23:21:48.14 ID:ACVNfbfy.net] 個人的には、やっぱり自然かどうか、とか書きやすいかを考えた方が正解だと思うよ(その方が後で破綻しない そのリスコフ置換原則？も上にあったように数学関係のクラスだと微妙だろうし 868 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 23:47:22.72 ID:cVKO4d9w.net] >>850 QZは日常的に「実際の設計作業」をやってるの？ 無職じゃないの？ 869 名前： mailto:sage [2021/05/15(土) 23:49:02.10 ID:JZCPEXPS.net] >>851 なるほど、それはそうかもしれませんね java のクラスライブラリは、かなりなじみがあるので、ああいうものを白紙から書くのならば継承抜きでやれといわれても困ると思いますし …… (10分程度思考後） ……うーん、実は継承抜きでもやれそうな気もしていたりして >>831 で希望しているとおり、簡単な例で委譲よりも継承の方が（すべての点でなくてもいいから、何か一つか二つの観点から）優れているという好例はないものでしょうか？ 870 名前：デフォルトの名無しさん [2021/05/16(日) 11:33:38.38 ID:VxksG9ZS.net] C++ で ifstream で開くファイルが存在するかどうかチェックしたいのですが ファイル名が utf-8 だと string hoge = "utf-8のファイル名"; ifstream fuga(hoge); if(fuga.is_open()) で存在しないと看做されます(全部ASCIIのときとか存在するときもある) どう対処するのが良いですか？ 出来れば Win32API は使いたくありません 871 名前：デフォルトの名無しさん [2021/05/16(日) 11:36:10.62 ID:pdS2eoPi.net] 使いたくない理由の99%は霧散解消する 胸に手を当てて考えてみればわかる 872 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 11:42:34.85 ID:g64uh5fx.net] >>855 #include <filesystem> if(std::filesystem::exists("utf-8のファイル名")) goto hell; でもダメ？ 873 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 11:42:43.55 ID:SJMOKydl.net] filesystem::path ならUTF16のファイル名で渡せる UTF8をUTF16にする標準機能が非推奨になっているので注意 874 名前：デフォルトの名無しさん [2021/05/16(日) 12:03:52.09 ID:VxksG9ZS.net] >>856 そうですね >>857 ありがとうございますやってみます >>858 codecvt ですね判ります 875 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:16:34.49 ID:P/WMWyL3.net] 移譲は…… クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがﾒﾄﾞｲ public継承なら継承させるだけで済む タイピング量の削減は継承で解決すべき問題か、というのはあるが現状はそう 876 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:17:19.51 ID:P/WMWyL3.net] 訂正orz、 誤： クラスAをクラスBに所有させたとき 正： クラスBをクラスAに所有させたとき 877 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:21:21.06 ID:mPzmTHCd.net] no_such_method() が C++ にあれば・・・ 878 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:41:06.00 ID:P/WMWyL3.net] あとクラスDがクラスBとほぼ共通でBが公開隅でB::foo()を金輪際他の実装を許したくないという3点揃ったケースでは DをBから継承する他無い BのインターフェースIBを設けようものならIBを継承してB::foo()の別バージョンを実装してしまうことを阻止できない 879 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 14:03:39.16 ID:SPtqbmz9.net] そもそも複素数と実数の例がよくない。 確かに要素としては複素数は実数を含むが演算(特に比較演算)は実数のが広い。 そういう意味で例として間違ってる。 880 名前： mailto:sage [2021/05/16(日) 14:18:12.81 ID:Hgwjinll.net] >>864 ＞複素数は実数を含むが演算(特に比較演算)は実数のが広い。 詳しくお願いいたします 複素数よりも実数の方が「演算が広い」とはどういう意味ですか？ 確かに現状は複素数の順序関係はデフォルトで定めていませんが、用途に応じて複素数の順序関係を別途定義すればいいのでは？ 例えば複素数の順序関係を複素数の絶対値の大小で定義したっていいのですよ、複素数の範囲での収束を論ずるときにはこれはよくやる手だと私は考えています 881 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 14:35:50.91 ID:i0aHhWnL.net] >>865 でも、ちゃんとした数学では、それは複素数の絶対値の大小比較に過ぎなくて 複素数自体の大小比較は出来ないということになってる。 882 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 15:48:44.79 ID:i0aHhWnL.net] >>847 >例えば、数の体系は例えば >複素数⊃実数⊃有理数⊃整数⊃自然数 >ですが、じゃあ、「複素数」からインプリメントするか？というと、私はそうは思えません なるほどな。 これは初めて聞いた観点。 言われてみればそうかも。 883 名前：デフォルトの名無しさん [2021/05/16(日) 15:53:27.30 ID:i0aHhWnL.net] >>867 動物⊃哺乳類⊃犬 動物⊃哺乳類⊃猫 動物⊃哺乳類⊃馬 ・・・ だから、 class 動物 {・・・}; class 犬 : public 動物 {・・・}; class 猫 : public 動物 {・・・}; という例は割りと適切だとされているが、 「複素数⊃実数⊃有理数⊃整数⊃自然数」 であるからといって、 class 複素数 { double m_re; double m_im; ・・・}; class 実数 : public 複素数 {・・・}; class 有理数 : public 実数 {・・・}; とは確かに書きにくそうだな。 オブジェクトのサイズから言っても、実数の場合、複素数よりメンバ変数が減らせるわけだし。 884 名前： mailto:sage [2021/05/16(日) 15:56:55.37 ID:Hgwjinll.net] >>866 ＞複素数自体の大小比較は出来ないということになってる。 出来ないのではなく、決めていないだけでは？ 885 名前： mailto:sage [2021/05/16(日) 15:59:49.48 ID:Hgwjinll.net] >>868 その例を使って私が主張したいことは 「リスコフの置換原則は参考にする価値があることは認めるが、リスコフだけが基準ではない」 です、どのような時に型の継承を行うのが適切か、という問いの別の基準を探しています 886 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:04:14.28 ID:i0aHhWnL.net] >>869 x1 < x2 ⇔ x1 - x2 < 0 は一般的に言えるけれど、複素数の場合にこれと同じ法則を成り立つような比較が定義しにくい。 たとえば、あなたが定義したがっているような複素数での比較は、絶対値を採った後の値での比較にするという発想では、 |z1| < |z2| と、|z1 - z2| < 0 が同値ではないから上手く行かない。 887 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:08:32.11 ID:z+wHX2Px.net] >>847 リスコフの置換原則は基底と派生型の間に成り立つ規則を定めているだけで順序は関係ないのでは？ あらかじめ実数を基底として実装した型階層に後から新たな基底として複素数を導入する形でも 規則が成り立つならそれでいい気がする。 もちろんリビルドが必要になる場合もあるだろうけどそれは別の話。 888 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:08:45.37 ID:i0aHhWnL.net] >>871 [追加] あなたが考えたような複素数における大小比較の定義が、もし数学的に適切ならば、 複素数の1つである実数に対しては、通常の実数の大小比較に戻らなくてはならない。 ところが、2つの実数 x1, x2 に置いては、 |x1| < |x2| と x1 < x2 は同値ではない。だから戻らない。 なので残念ながら不適切と言える。 889 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:13:05.98 ID:P/WMWyL3.net] 別に aとbの大小比較は、 a+0iとb+0iの大小比較としてそのまま複素数でも通用する 890 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:14:49.17 ID:P/WMWyL3.net] ちゅか実数クラスRealから複素数クラスComplexを派生させるという話なのに Realが複素数の比較演算を備えて居なければならないとする前提がおかいし 891 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:15:39.79 ID:6wJymXVG.net] おかいし 892 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:23:25.63 ID:ot3D5jQX.net] 一般的に特殊化すると出来ることは増えるんだから別に何もおかしくないだろ 実数は複素数で出来ない大小比較ができる 有理数は実数で出来ない既約分数を求めることができる 自然数は有理数が出来ない素数判定が出来る それぞれ子クラスにメンバ関数を付け加える事に相当する 893 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:26:30.31 ID:ot3D5jQX.net] 書き方まずったけど874の言う通りで 子クラスでしかできない比較のインターフェースを複素数に持たせることがおかしい 抽象ストリームクラスにファイル名を取得するインターフェースを持たせるのと同じようにおかしい 894 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:40:43.08 ID:i0aHhWnL.net] >>875 しかし、メモリー効率まで考えれば sizeof(複素数)=sizeof(double) * 2 sizeof(実数)=sizeof(double) なので、 sizeof(実数) < sizeof(複素数) なのに、 class 実数 : public 複素数 {・・・} とすると sizeof(実数) >= sizeof(複素数) に必ずなってしまうという問題が出てくる。 895 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:47:30.51 ID:P/WMWyL3.net] Realクラスは実数としての単項演算および実数同士の算術演算と比較演� 896 名前：Zを備えるものとして、 ComplexクラスはRealからComplexへの暗黙の変換（つか単純にコンストラComplex(const Real& src)）を備えた上で 複素数の単項演算および複素数同士の算術演算（と必要なら比較演算）を備えたらよろし まあ特段継承関係にするまでもないかなあという気がしてきたorz 厳密に言ったら虚数単位iを使った実数から複素数への構成的定義はis-a関係ではなくhas-a関係なのでむしろ所有の出番、という見方もできるし、 一方数のクラス、としてみたらReal⊂Complex、なのでRealの方が特殊化という見方もできうる ぶちゃけ継承するかどうかとは独立に、RealクラスとComplexクラスの自然な共存は上記のように事が済んでしまうということや [] [ここ壊れてます] 897 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:48:49.37 ID:P/WMWyL3.net] これが有理数クラスとかだったら普通の人は整数クラス2つを所有するクラスとして設計するであろう、 898 名前：デフォルトの名無しさん mailto:さげ [2021/05/16(日) 16:52:20.99 ID:i0aHhWnL.net] >>875 読み違えていた。 >ちゅか実数クラスRealから複素数クラスComplexを派生させるという話なのに is_a の関係から考えた OOP の哲学から言えば、逆さまになってしまうということ議論している。 899 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:53:00.26 ID:i0aHhWnL.net] >>881 なるほどな。 900 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:04:19.10 ID:i0aHhWnL.net] >>874 通常の数学ではそんな定義されてない。 複素数 z の次数部分を Re[z] で表した時、2つの複素数 z1, z2 に 対する比較 z1 > z2 を Re[z1] > Re[z2] と定義する方法は可能と言えば可能ではあるが。 しかし、複素数は複素平面上で原点の中心とした回転対象の性質を大体 持っているから、実数だけを特別扱いすることは、余りよくは無い。 (いくつかの一般的性質で破綻が起きる可能性が高い)。 901 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:04:53.66 ID:i0aHhWnL.net] >>884 誤: 次数部分 正: 実数部分 902 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:05:51.62 ID:i0aHhWnL.net] 回転対象 ---> 回転対称 すまん、リアルではややこしいプログラムを考え中だから。 903 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:24:06.95 ID:zQRyfSSF.net] 連投やめーや 904 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:29:06.20 ID:Ot9k7H7E.net] 学部数学の話をｇｄｇｄ続けてる奴らは順序体でググってくれ 複素数体に勝手な比較関係はいくらでも入れられるけど（辞書式順序も含めて）、どう入れても算術と両立しないから役に立たないんだよ プログラム的にはソートのために便宜的な物を入れることはあるだろうが、数学的には無意味 905 名前： mailto:sage [2021/05/16(日) 18:41:17.24 ID:Hgwjinll.net] >>884 まあ複素数体上でノルムを考えることはあっても広く「使える」全順序を定義するのはむずかしいでしょうね… ノルムと順序関係を混同していてミスリードを引き起こしていたことは私のせいです、ごめんなさい 906 名前： mailto:sage [2021/05/16(日) 18:42:18.41 ID:Hgwjinll.net] >>888 数学的に無意味、とか言い切られちゃうとかえって反発したくなりますね… 907 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:54:33.03 ID:eRJ7ea1d.net] >>890 いや、数学では、対称性や破綻の無さ、一般性などを考慮するので その意味での「大小関係」は「入れることが不可能」ということを これまた数学的に証明できる、と彼は言っているのだと思われる。 だから、個人的に意味があると考えても、数学体系としてはダメ ということ。 908 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:54:54.54 ID:Ot9k7H7E.net] >>890 反発するのは勝手だけど、何をどう入れたってただのR^2の順序にしかならないんだよ、これは数学的に証明された事実 実数ペアと見なした順序でしかないものを無理矢理「Cの順序」と言い張ってどうすんのさ Cの構造と両立しないのに 909 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:57:23.87 ID:eRJ7ea1d.net] そういえば、二次元の実数を一次元の実数と対応させる事は不可能という証明 があって、順序集合であるためには一次元の実数と対応できないといけない ことも証明できる、というようなことも関係あるのかな。 910 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:02:48.71 ID:Ot9k7H7E.net] だから順序体でググれよ 全然関係ないし、そもそもRとR^2の全単射はあるし（無限集合論の有名な話） 911 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:30:05.59 ID:eRJ7ea1d.net] >>894 濃度論で |(0,1]|=|R| |R|=|R x R| や |R|=|R^n| というやつですか。 912 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:38:32.84 ID:eRJ7ea1d.net] 自然数の集合と実数の集合の間には全単写が無く、前者がアレフ_0、 後者がアレフ_1でしたかな。 それと記憶違いしてたかも。 913 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:51:17.83 ID:Is982dSx.net] >>890 アホすｗｗ やっぱりQZは頭悪いなあｗｗｗ 複素数のハウスホルダー法によるQR分解のプログラム書いてみろよ できねーからｗ 914 名前： mailto:sage [2021/05/16(日) 19:57:33.82 ID:Hgwjinll.net] >>893 ＞順序集合であるためには一次元の実数と対応 それは順序関係のなかでも一番強い全順序（反射律・推移律・反対称律・全律）についてならば理解できますが、よくある普通の順序＝半順序（反射律・推移律・反対称律）の場合はどうでしょうか >>894 連続体の濃度ですね 915 名前： mailto:sage [2021/05/16(日) 20:00:22.86 ID:Hgwjinll.net] >>897 そんな急に難しいこと言われても高卒には無理ですよぅ 今はカラツバ法に御執心なんです、でもキーワードありがとう 916 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 03:11:31.73 ID:Q7Ttd8P9.net] 余り難しい順序集合とかの事を知らなくても複素数に大小関係が入れられないと数学者が主張していること自体は信じていい。 数学者が「できない」と言った場合、(絶対に)出来無い事が証明された上で言っていることが多く、この場合もそうだから。 917 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 03:24:50.61 ID:+0j9FXFm.net] しかし実際に証明を確認したわけではない。 でも直感的にわかる。 そもそも上記の議論において、「大小関係が入れられない」として設計の話を続けても全く問題ない。 普通に考えればこうなると思うが。 918 名前： mailto:sage [2021/05/17(月) 08:01:59.17 ID:pZGof8k7.net] >>900 まあ妥当だとは思いますが、しかし、この場合であってももっとも数学的な態度とは「権威のいうことを疑って証明を調べること」でしょうね、権威のいうことを鵜呑みにすることは数学的ではないと私は思います 919 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:13:28.70 ID:p0CmvUql.net] >>891 数学体系と言うから混乱する。 ちゃんと数学の体とか代数系と言わないと。 920 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:17:32.13 ID:/XJ4GxVV.net] >>902 まだ権威とか言ってる・・・ 数学的に無理というのは権威関係なしに「無理」なんですよ 921 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:27:27.80 ID:xbubPeOw.net] なんかごちゃごちゃしているけど…… ・複素数の体における比較は未定義 ・複素数体に距離の位相を入れて比較を定義することは可能（複素平面など） と言うことだろ。 まあ、直接比較するのは使い勝手が悪いので、距離の位相には適当な写像を使うのが普通だけど（絶対値とか）。 922 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:31:17.55 ID:rt013aFx.net] 複素数は自然な全順序にはならない 特定の条件を満たす順序は存在しない ってだけで 順序を定義することは可能だし実際定義して使うこともある 923 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:31:35.85 ID:pyZ7P5gV.net] 証明にだって厳密さが欠けていることが後からわかった（適用条件が誤っていた）り超ごくまれにだが結論自体誤っていたりしたことが…… ケンペ鎖とか、 あとABC予想の証明ぐらい高度なやつになったら職業数学者であっても査読者の質で 是非を判断せざるおえないﾊｽﾞ もちろん直接関連論文を書く人は自分が納得するところまできちんと追うだろうがPGがなんでそこまでせねばならんのやヽ(#`Д´)ﾉ 924 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:32:19.32 ID:pyZ7P5gV.net] >>906 |z|とかarg(z)とかな 925 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:34:34.87 ID:pyZ7P5gV.net] やっぱ自然演繹は良くない あらゆる証明は最初から形式証明にかけるべきや 926 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:38:28.10 ID:3ODjt5IZ.net] >>905 それやっても大小関係を使ったアルゴリズムは実数では正しく動くけど 複素数ではことごとく破綻するけどな 数値計算でなければ独自の大小関係を定義したら動くかも知れないが それはオナニーと同じだ >>901 そういうことだよな 927 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:38:29.82 ID:xbubPeOw.net] >>909 そんなにプリンキピア・マテマティカを書きたいか。せめて読破してから言え。 928 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:40:42.75 ID:xbubPeOw.net] >>910 破綻とは矛盾のことかな？ 複素平面が矛盾するとは世紀の発見だ。ぜひとも論文を。 929 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:41:59.82 ID:3ODjt5IZ.net] >>912 何言ってんの 実数では正しく動く大小関係を使ったアルゴリズムを どうやって複素数で正しく動かすんだよ 頭大丈夫か？ 930 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:45:32.29 ID:3ODjt5IZ.net] 絶対値の大きさ云々の話ならピボット選択は正しく動くだろうな まあこれは浮動小数点演算の特性からそうなるのであって数学的には関係ない 931 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:46:34.38 ID:xbubPeOw.net] >>913 距離に写像すればいい。 数値計算でも普通に複素数の絶対値取って比較しているだろ。 932 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:52:16.58 ID:3ODjt5IZ.net] >>915 おいおい・・・ 上にも出てきてるけどQR分解を複素数で書いてみろよ 933 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 09:48:48.04 ID:p0CmvUql.net] >>916 実装したことないから詳しくないけど、検索したらこんなのあった。 ttps://ameblo.jp/zrfcsctd/entry-10726241960.html なんか問題あるのかしらん？ 934 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 10:03:50.08 ID:3ODjt5IZ.net] >>917 それはもちろん俺もやってみた https://ameblo.jp/zrfcsctd/entry-11429974948.html これがコードだよな でも結果がおかしいんだよ 935 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 11:39:44.96 ID:p0CmvUql.net] >>918 「結果が間違っている」て言われたってなぁ。>>918の指導教官でも上司でも無いから助言する気無いし。 まあ、複素平面の距離は半順序だから（狭義の弱順序よりさらに弱い）、全順序を必須とするアルゴリズムには使えんわな。>>915は一部撤回するよ。 936 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 11:39:57.21 ID:ZeUb3kXE.net] 2つの複素数 z1, z2 に対して z1 < z2 を |z1| < |z2| と定義してしまうと、 z1, z2 がたまたま(複素数の一部であるところの)実数である場合は、 x1 < x2 が |x1| < |x2| と定義されることになってしまうが、 そうすると、負数の時に通常の実数の比較と結果が違ってきてしまう。 937 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:08:56.20 ID:CucgVtNi.net] だから複素数体を順序体にできないことなんて代数の教科書にいくらでも証明載ってるんだから読めよ いつまでやってんだ 938 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:09:08.59 ID:giSQx4b2.net] std::locale::global(std::locale("japanese")); 必要ですか？ 無くても動いてるときに敢えて描くと可笑しくなりますか？ 939 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:12:10.72 ID:cCPUzk2p.net] complexには<=>がないね 940 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:14:40.03 ID:+IMuyr7J.net] >>922 何のために？ 挙動が変わることはあるけどそれがおかしいかどうかは目的次第 941 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:29:58.49 ID:0hooCSOD.net] >>921 QZがあまりの悔しさにID変えて荒らしてるんだよ 942 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 13:05:04.47 ID:DzXjbqQO.net] >>907 >判断せざるおえない 単刀直入に言ってバカっぽい 943 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 13:40:20.69 ID:AtV47BCw.net] ハンダンセ猿はすばしっこいからな 944 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 13:54:56.37 ID:+0j9FXFm.net] QA分解はそもそも数値誤差を減らすのがめちゃくちゃ難しいからあんま使われんのよ。 特別な事情がない限りは軽はずみに手を出すのはやめた方がいい。 945 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 16:56:52.33 ID:Hl6gcnGv.net] g++で Member 'x' was not initialized in this constructor って警告が出るんだが、これをpragmaで抑止したい。 このwarningを抑止するためのキーワードを教えてもらえないだろうか 946 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 17:16:13.81 ID:cCPUzk2p.net] C++20のコード晒せるところ、どっかある？ ideoneやcodepadはダメだった 947 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 17:58:51.81 ID:v7SqzMPT.net] wandbox 948 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 18:24:20.71 ID:rt013aFx.net] >>864 複素数より実数の方が演算が広いから複素数を継承して実数を作る 継承してメンバ関数を増やす 作り方として適切かどうかはともかくとして、 例としては何も間違ってないと思うのだが 949 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 18:34:03.64 ID:rt013aFx.net] C++的に複素数に順序を取り入れるなら 辞書的順序が一番使われ方として多いかと コンテナに入れるのに順序が必須な場合とか std::pair < double, double > これだって勝手に定義される C/C++に数学的な汎用性が必須ではないのは C/C++をやっていればわかると思う 1./-0. < 1./0. とか pow(0,0) = 1 とか数学的には明らかにおかしいでしょ 950 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 18:51:12.32 ID:pyZ7P5gV.net] まあ辞書順は可能だぬ 951 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 19:28:02.39 ID:xbubPeOw.net] >>932 c++のpublic継承は継承先クラスを継承元クラスと同じものとして扱うので、特性の包含性が重要。 なので、失われる特性があるなら継承はしないほうが良い。 上でも挙がっているけど、複素数は実数の全順序性という特性が失われるので継承はしないほうが良い。やるなら無限体を継承元クラスにすべきだわな。 952 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 19:49:53.27 ID:pZGof8k7.net] >>911 ブルバギじゃなくて？ 953 名前：デフォルトの名無しさん [2021/05/17(月) 20:09:19.46 ID:FZJkNpOI.net] 正多面体と素数 https://www.youtube.com/watch?v=E-48ent631o 954 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 20:11:40.34 ID:PX9GndkV.net] 何のスレやねん 955 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 20:51:22.31 ID:pyZ7P5gV.net] >>935 継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い 演算子のオーバーロードと型変換関連のコンストラクタまたはキャスト演算子を定義したら 同じ演算子に対してパラメータの型毎に許す演算と許さない演算を任意に設定できる 特にComplexクラスからRealクラスを派生させた場合は （この場合は|z|やarg(z)といった複素数の演算子がReal以外の実数を返すComplexのメソッドとすることになりそうだがそれはおくとして ある意味話は簡単で、Complex同士のoperator<()の一族を定義せずにおもむろにReal同士でだけ定義するだけにしたらええんじゃ つか個人的にｶﾅーﾘ疑問なのですだが、AがBの真部分集合であることと、 Aを表すのクラスとBを表すクラスの継承関係は一体追求すべき何の関係があるん？？ 956 名前：デフォルトの名無しさん [2021/05/17(月) 21:58:18.14 ID:SfcIGFpx.net] 継承元として振る舞えるのはポリモーフィズムの必須要件じゃない？ 親クラスとして振る舞えなくなる子クラスとか存在価値ないでしょ 957 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 22:27:35.19 ID:rt013aFx.net] >>935 は？ 複素数を継承して実数を作る という話だけど 958 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 22:36:00.22 ID:pyZ7P5gV.net] >>940 実数を複素数としてふるまわせたいならRealをComplexに型変換したら済むので継承やポリモーフィズムは必須ではない >>939の問いに戻るがなんで集合としての包含関係をそう執拗に継承関係に反映させようとするんじゃ…… だいたい実数から複素数を作る演算（|z|とarg(z)で複素数zを作る）もあるし 複素数から実数を作る演算（|z|やarg(z)）があるから変換は双方向的なので、 この場合派生クラスから基底クラスへの一方的変換だけでは片手落ちなのは明白 無理矢理やったら>>939に書いたみたく|z|やarg(z)といった複素数の演算子がReal以外の実数を返すみたいなgdgdな話に…… 959 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 22:39:11.47 ID:rt013aFx.net] >>942 おまえ文系だろ >>940に「ポリモーフィズムは必須」なんて書いてない 960 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:00:01.22 ID:hwY+PVbw.net] >>939 ＞継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い さすがに演算が別物レベルで違うのはc++のpublic継承を使うべきじゃない。 public継承は継承元クラスのポインタ変数・参照として使えるという意思表示でもある。使えると言っているのに使えないのはクラスのユーザーを混乱させるし、コンパイラとかからの支援も期待できなくなる。 継承元か継承先かを意識してプログラムしなきゃいけないのは典型的な「継承の危険な使い方」だよ。 961 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:17:51.34 ID:hwY+PVbw.net] >>941 えっ、そうなの？ それなら継承の問題は無いと思うけど、継承を使うメリットある？ c++だと性能的に不利な気が。 浮動小数から整数を継承するのと似たような臭いがする。 962 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:39:13.83 ID:GYmzER1r.net] 浮動小数と整数は継承関係にない代わりに個別に暗黙変換のルールが作り込まれているわけだから 同列には語れんような。 963 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:53:21.28 ID:rt013aFx.net] >>945 元は>>847 >>864が逆だと勘違いしたんだろうねえ そこから中身のないプライドを保つ為だけの書き込み多数 964 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 00:42:41.50 ID:pJ71QEbf.net] >>947 お前頭悪いって良く言われるっしょ 965 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 01:40:04.12 ID:FUhBCUlD.net] ここまでのアホみたいな流れは全部>>794のクソコードのせいにして終わり終わり 966 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 02:05:36.55 ID:0A1+AcfP.net] >>943 >940 は >939 に反論する形で 　継承元（Complex）として振る舞えるのは（Realが満足すべき）ポリモーフィズムの必須要件、 と言っているのだから >ポリモーフィズムは必須」なんて書いてない なんて大嘘 967 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 02:07:04.04 ID:0A1+AcfP.net] 全く>>947はこの問題でいっぱいレスしている割にｶﾞﾁで頭悪いのではないか 968 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 06:07:46.07 ID:M8tLf7N/.net] https://wandbox.org/permlink/s41huF7EOozhWME2 これの実行結果なんだけど 何で == になるのか誰かわかる？ 969 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:35:31.53 ID:iJzvlnxx.net] <=>使ったことないけど==は自分で定義しとかないといかんらしいぞ あとこれ仮想関数にする必要あるのか疑問(無駄にサイズ増えるし。あと継承もいらん気がする 970 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:37:05.89 ID:M8tLf7N/.net] <=>から==を導出させるには=default;しなきゃいけないんだけど =default;した関数の内容を独自なものにするには virtualで上書きするくらいしか思いつかない 971 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:40:16.15 ID:iJzvlnxx.net] わからんけど、そのpointの大きさ(内積してsqrt)で比較するようなコードをコンパイラが勝手に作ってくれるのけ 972 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:43:09.23 ID:RvkfiLpS.net] メンバの辞書式順序で比較するコードを勝手に作ってくれる 973 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:44:12.47 ID:M8tLf7N/.net] そんなわけないと思うからこそ=default;した関数の内容を独自の内容に変更したい 974 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:45:11.32 ID:M8tLf7N/.net] メンバの辞書式順序と違う定義にはできんの？ 975 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:47:15.02 ID:iJzvlnxx.net] だから==も書かないといけないんじゃね 多分だけど、そのpointの==は中身point_baseの比較しかしてないんでしょ 976 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:48:24.73 ID:M8tLf7N/.net] 独自の定義にするには == 必須で <=> から導出させようという考えがそもそも間違い？ 977 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:51:58.56 ID:iJzvlnxx.net] pointの方で=defaultはうまくいくかもしれんね(今試せないのですまん 978 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:59:32.16 ID:M8tLf7N/.net] >>961 そのようで https://wandbox.org/permlink/niEwEUZmz0IFyjEa しかし、これをやりたくないから<=>を=default;しようと試してたんだ 979 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 08:24:07.75 ID:M8tLf7N/.net] >>931 言うの遅くなったけど �dX 980 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 11:01:21.48 ID:K5WN/Dsi.net] こんなしょうもない例でもこれだけもめるんだから 抽象的な定義をするときは思った以上に概念を共有できないということだな。 981 名前：デフォルトの名無しさん [2021/05/18(火) 11:06:20.67 ID:Tj0Ma2DE.net] ンなこと言うんなら最初っからお前が揉めないような定義をバンと出せばいいんじゃないの？ 出来ないなら黙ってて 982 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 11:57:19.66 ID:K5WN/Dsi.net] だから揉めないような定義なんかないって主張なんだが。 983 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 12:05:54.73 ID:3kx5cfZQ.net] >>966 なら黙ってろカス 無能ほど自己主張は強い 984 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 12:43:04.27 ID:eJEusld6.net] UQを含めてC++流のクラスや継承に価値を見出せない人が結構いるようだが 当時、アメリカではCだけでは複数のプログラマによる共同開発に問題が 来たしていて大問題になっていたのがC++の登場で解決したとされているぞ。 どうしてかというと、protected属性などでメンバ変数を「隠蔽」できることで 他の人の作ったパーツを破壊することなく使えることになったことが大きいと 聞いた。もちろん継承もその一つ。 985 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 13:02:06.01 ID:eJEusld6.net] >>968 継承は、他の人が作ったプログラムに機能を「追加」するときに何が追加された のかが明確になるので便利。 継承の機能が無ければどの部分が追加されたのか分からないし、 追加した際に元々動作していた基本部分までバグが入る可能性があるが、 継承した場合にはそれが無い。 UQみたいに「委譲」でなんとかするのは、言語機能のサポートが得られないので 記述量が増えてメンドクサイ。 986 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 13:33:09.76 ID:iJzvlnxx.net] UQってなんやと思ったけどQZのことか てかまともにソフト書いたことない奴には言ってもわからんと思う 987 名前：デフォルトの名無しさん [2021/05/18(火) 16:26:14.79 ID:EATlfCml.net] 自衛隊の大規模接種センター(東京センター)は生年月日の入力欄初期値が1970年1月1日なんだが、Unixタイムを意識したのかな？ https://www.vaccine.mrso.jp/ 988 名前：デフォルトの名無しさん [2021/05/18(火) 16:53:11.90 ID:LV/0HQIM.net] >>968 一番良かったのは namespace 989 名前：デフォルトの名無しさん [2021/05/18(火) 16:55:22.83 ID:LV/0HQIM.net] >>971 適当な番号でも受付完了するらしいな 受付出来るけど接種に来ても打ってもらえないから そういう適当なことなしないでくれってアナウンスしてるけど テロリストにDoSに準じる攻撃方法教えてるようなもんだろ 990 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 16:58:39.86 ID:nXH1x7Lj.net] 何関係ないこと語り出してんの 991 名前：デフォルトの名無しさん [2021/05/18(火) 16:59:15.64 ID:EATlfCml.net] 中国のハッカーはHoneypotなのではと警戒してるらしいよ 992 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 18:41:32.26 ID:eJEusld6.net] >>972 それは全く違う。 1990年くらいにCからC++に移行が進もうとしていたとき、C++にはまだ namespaceキーワードで指定するnamespaceの概念は無かったから。 993 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 19:04:39.53 ID:HX5VOoCQ.net] >>969 それって差分プログラミングじゃないの 994 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 19:12:29.12 ID:lxDAggBF.net] >>977 www.ced.is.utsunomiya-u.ac.jp/lecture/2015/prog/p3/kadai3/inherit.php 「継承の機能を使うことにより、すでに定義済みのオブジェクトに　 ・機能を追加　 ・変数を追加　 ・機能の一部を変更　 などをエレガントに記述することができるようになり、オブジェクト（コード）の再利用性が向上します。すでに実装済みの機能に、自分が実装したい機能として足りない部分だけを追加してプログラムを作成できるようになりますので、これを差分プログラミングと呼んだりします。」 995 名前： mailto:sage [2021/05/18(火) 21:00:55.59 ID:TyliVLtj.net] >>978 それは委譲でも十分で、差分プログラミングだけしたいのなら継承は不要だと私は考えています >>860 ＞クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがﾒﾄﾞｲ 鋭い意見です、唯一共感できるレスポンスだと思いました 確かにおっしゃるとおりですが、しかし、このメンドクサイ手順を踏めば vtable が不要になる、という意味ではメリットの方が大きいと私は思います あとは基底クラスへのポインタを一括して握っておいて、派生クラスへのポインタごとに仮想メソッドで処理を分け分けする、というのが出来なくなりますが、私はそういう場面で出会ったことがありません…… https://ideone.com/e5NOWO 996 名前：デフォルトの名無しさん [2021/05/18(火) 22:28:54.13 ID:rG13Y8DO.net] 差分プログラミングかー　昔はそんなこと言われてたね ユーティリティクラスに持つべき共通関数をベースクラスに実装しておけばサブクラスでも簡単に呼べる！とか間違ったクラス設計が横行してた時代 997 名前：デフォルトの名無しさん [2021/05/18(火) 22:41:44.49 ID:Tj0Ma2DE.net] その時はまだ失敗してなかったんだから「間違ったクラス設計」じゃないんじゃないの 間違ってるのが後からわかったんでしょ なら間違いの原因は別にある 998 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 01:12:06.76 ID:fToUWXI/.net] >>979 >私はそういう場面で出会ったことがありません…… それはあんたが仕事をしてないからですよ 999 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 01:58:09.30 ID:yT7tFlzp.net] >>979 一行目、普通は、C++においては委譲より継承の方が楽に書けるのだから、 C++での差分プログラミングは継承を用いるのが基本で楽なので「継承で十分」と 考えるべきで、C++はそういう設計。 あなたは逆さまで、C++の初期のころからの基本設計に逆らおうとしている。 1000 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 02:30:36.72 ID:kKkrLvTk.net] 継承使わずに委譲って言ってる人はvirtualはどうしてんの？ 1001 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 02:32:46.24 ID:/jpsBven.net] つーka仕事で使ってないやつによくある感違いだけど C++にしろ他の言語にしろ、道具であって目� 1002 名前：Iは「トータルとして楽する」ためにすべてはあるので 別にアート作品や哲学やってんじゃねーんだから、「本質的に美しい」とか「こうあるのが正しい」 とかはどうでもいいからな トータルとして楽にするためには時に面倒な実装や仕組みをつかうこともあるが、結局最終的に 楽できなきゃそんなものに意味はない [] [ここ壊れてます] 1003 名前：はちみつ餃子 mailto:sage [2021/05/19(水) 02:35:39.61 ID:ONEwpJm5.net] >>983 それは間違った考え方。 継承は機能を追加するためのものではない。 機能を追加したいなら機能を追加すればよい。 1004 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 02:45:01.92 ID:zjDnGFHC.net] 継承したくないとか言ってる奴らってインターフェースの概念ないバカだけでしょ 1005 名前：デフォルトの名無しさん [2021/05/19(水) 02:56:09.48 ID:iywlut5a.net] virtual は必ず描く private は使わず protected を使う 1006 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 05:27:07.08 ID:mqAmVEur.net] 必ずってのもどうかと思うけどな 上にあったpointクラスもそうだけど、メモリ上のサイズがメンバ変数のサイズと一致して欲しい&組み込み型のように配列をmemcpyできるべきクラスなら 無意味にvtblなんか付けるべきじゃない >>985の言うように楽かどうかもそうだけど、何をユーザーに提供するか、どういう要件が必要なのかと突き詰めていったら最終的に取れる選択肢なんかほとんどない QZもやはちみつもそうだが、お遊びの長くても数百行のコードしか書いたことないやつは多分それらの部品を何か作るためにまともに年単位で使い倒したことが無いんだろ それら思いつきで書いた程度のコードは全くブラッシュアップされてないから全く使い物にならんのだが、使ってないからそれに気づかない 実際気付き始めたらあちこち直しまくって膨大な時間使って最後にはゼロから書き直して全く違った設計になると思うが、そうして初めてOOPや継承の利点もわかるんだけどね 1007 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 05:56:25.62 ID:Gyc2jKZQ.net] 可変個の参照の組 (vectorでいい) を関数 hoge に渡したいときって、hoge が vector< reference_wrapper<T> > を取るようにして hoge({ref(A), ref(B), ref(C)}) みたいに呼ぶか、可変引数テンプレートを使って hoge の中でパースするかっていうのが普通のやり方かな？ ちょっと冗長な感じがしてしまう 参照の組じゃなくてポインタの組にするとかも手かもしれんが 1008 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 05:58:41.64 ID:LZZifCH2.net] いきなり継承いらんｷﾘｯとかすげえ極論を言い切るやつ 自分の発言に将来にわたってずっと責任を持つ気なさそう その時のその場だけ俺カッケーできりゃいいってやつ 1009 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 06:12:15.82 ID:mqAmVEur.net] >>990 どれがいいかはさておき可変長テンプレート引数はめんどいよ、やってみたらわかる 同じ型のものを可変個受け取るためのものじゃない(トリック的に回避はできるが)し、hoge内だけでパースは無理 1010 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 06:57:23.69 ID:LZZifCH2.net] conceptでできそうだな まだ試してないけど 1011 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 07:09:43.82 ID:CHs6khMr.net] >>991 継承イランといってる奴なんていなくね？ QZは怪しいが... 継承が適切な箇所なら継承を使う、機能追加で差分のコードが少なくてすむからという理由だけでは必ずしも使わない(その場合に継承が適切な関係ならば使う、そうでないなら委譲なりなんなり他の設計にする)ということを言ってるだけでないの？ 1012 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 07:14:47.97 ID:LZZifCH2.net] >>994 >>802 1013 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 08:07:05.32 ID:iIq+id16.net] 継承いらないっていうのはこういうことだろ？ インターフェースは継承するが、クラスは継承しない クラスを継承するようなことをしたい場合には、メンバー変数としてクラスのオブジェクト持って、それへ処理を移譲する 今時のオブジェクト指向プログラミングでは、わりと常識的な概念だと思うが 1014 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 08:42:40.77 ID:mqAmVEur.net] ＞インターフェースは継承する いるやん ＞クラスを継承するようなことをしたい場合 その場合C++的には素直に継承した方が上手くいくと思うけどな(D&Eで禿が言ってたが、継承を全部委譲に置き換えるというのをやってみたらしいが「結果はひどいものだった」と 普通に継承してうまく行かんか破綻するなら、そもそも継承的なことを考えてはならない関係だと思うけどね 1015 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 08:55:25.03 ID:IMMR+vsB.net] 継承いる！に飛びついた連中も その後の流れで 継承要らない！に飛びついた連中も 本質的には同じなんよ 周回遅れで誰かの後追いするマシーンなんよ 1016 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 09:06:07.34 ID:RuJgA5Em.net] インターフェースは実装するって言うでしょ C++的にはどっちも継承だけど 1017 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 09:53:52.51 ID:LZZifCH2.net] >>996 メソッドがそこそこ少なきゃいいけど 世の中そんなに甘くない 1018 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 10:07:56.64 ID:iIq+id16.net] Kotlinちゃんは甘いです インターフェースを継承し、コンストラクタで渡されたオブジェクトへそのインターフェースの実装を委譲するのを、1行で書ける https://dogwood008.github.io/kotlin-web-site-ja/docs/reference/delegation.html 1019 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 55日 22時間 0分 41秒 1020 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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