0からの、超初心者C++相談室

1 名前：デフォルトの名無しさん [2018/11/12(月) 14:55:13.35 ID:Tf74ZWQr.net] 何にも知らない0からの出発、超初心者のためのC++相談室 428 名前：デフォルトの名無しさん mailto:sage [2022/04/11(月) 19:50:08.66 ID:uaVZR/I2.net] IDEだと、プロジェクトに.cppを含めるとコンパイル対象になるので.inlとかにしておくのが無難 429 名前：デフォルトの名無しさん mailto:sage [2022/04/30(土) 07:28:15.03 ID:2aZ7UOTr.net] 前は中身がcppっぽいのはcppにしてたけど インクルード前提のファイルはhにするようにした #define ほにゃらら #include ファイル名.h ##undef ほにゃらら インクルードしても単体ソースとしても使えるヤツはcpp ツールが吐き出したコードやデータでそのままincludeして使えるものは拡張子はそのまま 430 名前：デフォルトの名無しさん [2022/06/11(土) 20:56:47.72 ID:zBk/MBZO.net] hpp 431 名前：デフォルトの名無しさん mailto:sage [2022/06/11(土) 21:01:36.29 ID:N4H8T0pQ.net] h と hpp どっちにするかの話じゃなくて (h or hpp) にするか (c or cpp) にするか の話 432 名前：デフォルトの名無しさん mailto:sage [2022/06/11(土) 21:02:37.04 ID:N4H8T0pQ.net] 初心者はトリッキーな使い方はしない方が良いから聞かなかった事にして 433 名前：デフォルトの名無しさん [2022/06/11(土) 21:20:49.53 ID:kM12Kkyp.net] トリッカーズ。 434 名前：デフォルトの名無しさん [2022/06/12(日) 10:33:13.76 ID:cPTHwR7Q.net] 三角形の秘密はね 435 名前：デフォルトの名無しさん mailto:sage [2022/06/12(日) 11:16:51.08 ID:v0rlTKHd.net] おなかがすいたら 436 名前：デフォルトの名無しさん mailto:sage [2022/06/12(日) 19:40:55.19 ID:r44ApDPu.net] ピーナッツ 437 名前：デフォルトの名無しさん [2022/06/23(木) 10:13:29.99 ID:06mLNX8U.net] なんか、すごい達者さんが並んでますけど、 ここって、 「プログラミング初めたいけど、なんにもわからないので、初めから教えてください。」 というスレです。 438 名前：デフォルトの名無しさん [2022/06/23(木) 10:52:47.91 ID:M4XLJX6g.net] 最初からでも0からでも構わんが 自分で努力しないやつはだめ 439 名前：デフォルトの名無しさん mailto:sage [2022/06/23(木) 11:07:51.97 ID:XRNmRbRA.net] 俺は努力しなくてもできちゃうからなあ 440 名前：デフォルトの名無しさん mailto:sage [2022/06/23(木) 14:33:26.79 ID:06mLNX8U.net] 掛け算の*と、「何ですか？」の*と一緒なんですが、 区別する方法を教えてください。 441 名前：デフォルトの名無しさん mailto:sage [2022/06/23(木) 19:37:03.84 ID:WbbET00J.net] ポインターの事？ 442 名前：デフォルトの名無しさん [2022/06/23(木) 19:47:14.20 ID:hToQs/iZ.net] は？何ですか？ 443 名前：デフォルトの名無しさん [2022/06/24(金) 10:44:51.77 ID:K2we1Lar.net] オレオレ 444 名前：デフォルトの名無しさん mailto:sage [2022/06/24(金) 12:54:50.02 ID:fYiV2rYB.net] そうだよオレだよ 445 名前：デフォルトの名無しさん mailto:sage [2022/07/16(土) 16:13:36.70 ID:2GuJXeRO.net] >>440 掛け算の*は二項演算子 「何ですか？」の*は単項演算子 *の前に項があるかどうかで判断する 446 名前：デフォルトの名無しさん mailto:sage [2022/07/16(土) 17:44:38.20 ID:WOPsEo4E.net] 数字の、xxxと、 数字の、AAAの掛け算は、 xxx*AAAで、いつも迷うんです・・・ 447 名前：デフォルトの名無しさん mailto:sage [2022/07/16(土) 18:00:17.69 ID:QRg/sabr.net] *a+++ ++*b で迷え 448 名前：デフォルトの名無しさん mailto:sage [2022/07/16(土) 18:01:53.10 ID:QRg/sabr.net] +*a++*++*b これも 449 名前：デフォルトの名無しさん [2022/08/01(月) 07:12:02.16 ID:yd/7YIgU.net] map よりも unordered_map の方が高速ですか？ あと追加順が保障されないのが unordered_map ですか？ map は何順ですか？ 450 名前：デフォルトの名無しさん mailto:sag [2022/08/01(月) 13:52:12 ID:jhXgj6wH.net] おまいは何を言っておるのだ? 451 名前：はちみつ餃子 mailto:sage [2022/08/01(月) 15:12:11.10 ID:YhL9Bhjt.net] >>449 > map よりも unordered_map の方が高速ですか？ 操作によるので一概には言えない。 一般的には unordered_map のほうが有利なことが多いとは言えるけれど。 > 追加順が保障されないのが unordered_map ですか？ map でも unordered_map でも追加した順序は保持されない。 C++ に限らず辞書的なデータ構造では格納順序を保持しないのが普通で、 保証があるのは Ruby の Hash くらいだと思う。 Go や Rust だと辿る順序を乱数でかき乱す実装になっているくらいだし。 > map は何順ですか？ キーの順序。 特に指示しなければデフォルトではキーを std::less で比較した順序。 452 名前：デフォルトの名無しさん mailto:sage [2022/08/05(金) 04:26:17.70 ID:ECXKpFJi.net] そもそもmapの順序ってなんぞや そりゃ内部表現としての順序(あるいは非順序という名の実装依存の順序)はあるけど 腹ワタ開腹して弄くり回したら、それはもうmapとは呼べねーよ 453 名前：デフォルトの名無しさん mailto:sage [2022/08/16(火) 01:02:16.19 ID:pMrCsY/x.net] vector<int*> xの特定の要素を削除したい場合 delete x[1]; してから x.erase(x.begin()+1); という手順であってますか？ deleteしないとメモリリークしますよね？ 454 名前：はちみつ餃子 mailto:sage [2022/08/16(火) 01:10:03.51 ID:+o+ePBjP.net] >>453 それでいいよ。 でもスマートポインタを活用するとかの工夫はしたほうがいいね。 455 名前：デフォルトの名無しさん [2022/08/18(木) 11:36:39.99 ID:p/limWqp.net] そもそも移動が大量に発生するのでそんな設計しない 456 名前：デフォルトの名無しさん mailto:sage [2022/10/14(金) 20:52:11.42 ID:IQ8pOIWW.net] 4ビットだから符号無しなら0～15だろ コレを-8～7の符号付きにしたいということか？ 457 名前：デフォルトの名無しさん mailto:sage [2022/10/15(土) 16:23:31.27 ID:B8kXjL18.net] 普通に下駄履かせれば（引き算） 458 名前：デフォルトの名無しさん mailto:sage [2023/05/24(水) 23:52:31.95 ID:lCJuR93r.net] いやー今日はめっちゃ勉強したわ 詳しくなった 459 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 09:18:18.28 ID:5jvZ+YKl.net] 誘導されて来ますた、 質問なのですがstd::stringに格納された数値文字列を数値にしたい、 しかし数値以外の文字（ただし空白文字は認める）が後ろにくっついていたらエラーにしたい、と言う場合どうす れば良いの？ ダチャい書き方ならできうるけど人類はいつまでstrtod()や&(str[0])…… 460 名前：はちみつ餃子 mailto:sage [2023/06/04(日) 09:22:50.76 ID:MHoxWKtY.net] >>459 strtod で何が不満なの。 空白かどうかで区別が必要なら空白かどうか確認するしかしょうがないし、 ダサいもくそもないだろ。 461 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 09:28:48.33 ID:5jvZ+YKl.net] >>460 だって&(str[0])とかナマポやし…… 文字列型がchar以外になったら（std::basic_string<TCHAR>とか）になることも見越したら 手でテンプレート書かないといけないから牛刀感があるし、 文字列が厳格に数値文字列なのか検査するとかアプリのコードであるあるなので アプリレベル（高級アセンブラ的でない書き方）の手段が用意されていて然るべきな気がして仕方が無いし、 462 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 09:30:18.23 ID:5jvZ+YKl.net] 無いというなら仕方が無いが、漏れはちょう初心者ですら…… 463 名前：はちみつ餃子 mailto:sage [2023/06/04(日) 09:37:21.42 ID:MHoxWKtY.net] >>461 std::stod は std::string と std::wstring に対応してるよ。 464 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 09:39:47.38 ID:5jvZ+YKl.net] >>463 std::stod()は数値への変換が行われなかったとき例外をスローするが 後ろに余計なものが付いていたらｽﾙｰするんじゃ…… なお試したことはありま栓、 465 名前：はちみつ餃子 mailto:sage [2023/06/04(日) 09:52:59.20 ID:MHoxWKtY.net] >>464 ??? それで何か困ることがあるという話なの？ 要件が不明瞭でよくわからん。 466 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 09:55:13.77 ID:5jvZ+YKl.net] 実は正規表現でも使えば何とかなる…… のか…… std::regex re("^\s*([\d.]+)\s*$"); std::smatch m; if (std::regex_match(str, m, re)) { 　return m[1].str().strtod(); } else { 　エラー } 　 467 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 09:56:15.54 ID:5jvZ+YKl.net] >>465 仕様は最初に提示stkr、 123.456E+8 : OK 123.456E+8a : NG 468 名前：はちみつ餃子 mailto:sage [2023/06/04(日) 10:00:50.19 ID:MHoxWKtY.net] >>467 続くものが何であるかは自分で確認してエラーにするという話をしてると思ったんやが。 469 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 10:05:01.33 ID:5jvZ+YKl.net] >>468 >続くものが何であるかは自分で確認してエラーにする ・できればライブラリでやってﾎｽｲ ・自分で書くとしてもナマポ（&(str[0]))は避けたい（>>461 ・std::string部分が他の文字列型に変わっても大丈夫なサポートがあるならそれに乗っかりたい手でテンプレートを書きたくない(>>461 できるかできないかで言えば、std::stringについてはダチャくあっても実現できてはいるので C++でちょう簡潔に書ける手段が実はあるのではないか、ありませんか、というのが質問の意図 470 名前：はちみつ餃子 mailto:sage [2023/06/04(日) 10:13:13.65 ID:MHoxWKtY.net] >>469 続くものの種類で判断するというピンポイントな要求にマッチするものはさすがに標準にあるわけない。 それを除けば std::stod が十分に要求を満たしているように見える。 471 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 11:40:09.61 ID:bxWaSYac.net] 単位でも確認したいの？ だったらstd::ends_withとかstd::rfindとstd::substrで数字の後ろ切り出すとかでチェックしてからstd::stodでよくね チェックは自分の要件だから自分で書け標準ライブラリはお前のお母さんではない 472 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 11:51:26.73 ID:xmEQJDCs.net] 正規表現でチェックするのが1番自然な気がする 473 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 22:03:06.86 ID:5jvZ+YKl.net] >>471 > 単位でも確認したいの？ > だったらstd::ends_withとかstd::rfindとstd::substrで数字の後ろ切り出すとかでチェックしてからstd::stodでよくね std::stringに格納された数値文字列を数値にしたい、 しかし数値以外の文字（ただし空白文字は認める）が後ろにくっついていたらエラーにしたい（>>459 > チェックは自分の要件だから自分で書け標準ライブラリはお前のお母さんではない チェックのためには（例えばstd::stodが）どこまで読んだのかの情報が要る std::stodの裏側では文字列を数値解釈する枯れたコードが動いているわけで、 そいつにどこまで読んだのか、ただ1個の整数データを聞けさえすれば良い。 これはそれほど無茶な話ではないはずで実際strtod()ではできるから どっちかというｔライブラリにちょっち不備があるのでは案件であってお母さん案件ではない。 474 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 22:20:35.13 ID:5jvZ+YKl.net] >>472 上に書いた通り（例えば）std::stodがどこまで読んだのかだけイブラリが返してくれさえしたら解決するのじゃ 正規表現は意味的には合目的的な手段やが、普通の正規表現エンジンの実装なら正規表現オブジェクトを作った際に FSMを（表形式か何かで）生成する処理が中で動くので、そんなに軽い処理ではないからやっぱ牛刀感みある… いったん作ったらマッチングは表駆動でやれるので速いことが気体できるのではないか、という香具師が居るかもしれないが、 実はstd::stod()に最大限仕事させたい（正規表現の側で数値文字列の書式についてわざわざ指定したっくない 場合は>>496の正規表現は正しくは "^\\s*(.*?)\s*$"にせねばならないからマッチング時にバックトラックが発生して遅い可能性がある これもちょっちｲﾔｿな理由 繰り返しになるが（例えば）std::stodがどこまで読んだのかだけイブラリが返してくれさえしたらこんな考慮は不要で完全に円満に解決するのじゃ…… 475 名前：デフォルトの名無しさん mailto:sage [2023/06/04(日) 22:30:29.50 ID:bxWaSYac.net] >>473 そんな長文ギャンギャン書きなぐってる暇があればstodの仕様くらい調べろよ ちゃんとお前の欲しがってる物を返してくれるよ 476 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 00:32:44.63 ID:8dockxGx.net] 便乗質問していいですか 某所で似たような問題があったのだけど、付加条件として、数値がINT_MAXを超える場合は INT_MAX、INT_MINを下回る場合はINT_MINを返す、がありました stodを使う場合(stoll等でもいいですが）、これってどうやって処理すればいいですかね 477 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 00:38:04.95 ID:8dockxGx.net] 念の為「数値が」というのは元の文字列での、です。たとえば "1000000000000"みたいな 可能性としてはLONG_LONG_MAXを超えている場合もありますね 478 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 00:46:19.80 ID:oX+QCkCh.net] stoi系は範囲越えたらstd::out_of_rangeを投げるはずだが 479 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 01:19:48.15 ID:8dockxGx.net] _MAXで超えたか_MINで超えたかってわかりますかね 480 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 01:31:31.21 ID:oX+QCkCh.net] 先頭文字が'-'かどうか見れば？ 481 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 01:54:42.53 ID:yTJt/rkc.net] >>475 どういうこっちゃkwsk、 482 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 02:04:38.53 ID:LZnxgWkc.net] >>481 https://ja.cppreference.com/w/cpp/string/basic_string/stof > pos がヌルポインタでなければ、ポインタ ptr (変換関数の内部的な変数) が str.c_str() 内の最初の変換されなかった文字のアドレスを受け取り、その文字のインデックスが計算されて *pos に格納されます。 これは変換によって処理された文字数になります。 > 引数 > str - 変換する文字列 > pos - 処理された文字数を格納する整数のアドレス 483 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 02:37:23.50 ID:yTJt/rkc.net] >>482 ㌧クスわかりたorz 484 名前：デフォルトの名無しさん mailto:sage [2023/06/05(月) 06:49:34.05 ID:8dockxGx.net] >>480 そうですね、でも文字列の先頭とは限らないですよね。やはりこの場合はある程度は 自力で文字列をパースする必要がある感じですかね ちなみに数字以外が含まれるときの挙動は "hoge 123"みたいに数字より前に非数字 がくるのは駄目だけど逆に"123 hoge"みたいのはおkなんですね 485 名前：デフォルトの名無しさん mailto:sage [2023/06/20(火) 19:02:06.99 ID:mbwsU8Mq.net] 話題がないから質問してみる struct Summer {}; Summer summer; Summer *const summerConstPtr{}; const_cast<Summer*>(summerConstPtr) = &summer; // だめ const_cast<Summer*&>(summerConstPtr) = &summer; // いける 質問1) 最後のいけるやつのconst_cast<Summer*&>の「&」はどういう意味なんでしょう？ 参照のことかいな？ 質問2) なんでconst_cast<Summer*>ではだめなのかな？ 486 名前：デフォルトの名無しさん mailto:sage [2023/06/20(火) 19:05:08.72 ID:mbwsU8Mq.net] なんか変換されたｗ ∑merでなくて＆summerです 487 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/06/20(火) 20:45:04.07 ID:IIzrqfbq.net] >>485 参照が絡むとややこしくて単純に説明できないんだけど 代入演算子の左側は変更可能な lvalue (modifiable lvalue) であることということになっていて そのキャストだと prvalue になってしまうから代入できないという結果になる。 たとえば int x = 1; x = 2; は有りだけど 1 = 2; は駄目なのはわかるでしょ。 この代入のときの x はそこに入っている 1 という値に意味はなくて場所に意味がある。 値として取り出されてしまうと代入できないんだ。 488 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/06/20(火) 20:54:10.99 ID:IIzrqfbq.net] どういうときにどういう値カテゴリに属すことになるのか正確なところはここ見て。 https://timsong-cpp.github.io/cppwp/n3337/basic.lval C++03 時代は lvalue と rvalue だけの単純な (と言ってもそれなりに複雑だが……) 世界だったんだけど 右辺値参照の概念を整理するため (?) かだいぶんごちゃついてる。 489 名前：デフォルトの名無しさん mailto:sage [2023/06/20(火) 23:48:13.65 ID:mbwsU8Mq.net] >>487 返答ありがとう。 なぜconst_cast<Summer*>(summerConstPtr)が左辺としていけないのかがわかりませぬ。 summerConstPtrはconst_cast<Summer*>によって「Summer *const」から「const」が外れて「Summer*」となって Summer *summerPtr; summerPtr = &summer; とするときの左辺summerPtrと同じようになったわけではないのでしょうか？ どうもこの左辺summerPtrと同じようにするためには、const_cast<Summer*&>としなければならないようだが、この「&」にはどんな意味ががが？？ 490 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/06/21(水) 00:33:00.36 ID:3HBFHOpK.net] >>489 型とは別に (型と無関係ではないが) 文脈にカテゴリが存在するというのが肝心な部分。 どれがどのカテゴリに属すのかはダラダラとした箇条書きで書いてあって単純な原則では示せない。 (結果的には辻褄の合うようになってるけど……。) & は参照を表す記号という解釈は正しい。 参照は lvalue なのでキャストの結果も lvalue ってだけ。 491 名前：デフォルトの名無しさん mailto:sage [2023/06/21(水) 01:03:31.08 ID:tILY3YM/.net] >>489 その理解だと↓も通ることになると思うんだけど、これが通らない理由もわからない？ int i = 0; static_cast<int>(i) = 1; 492 名前：デフォルトの名無しさん mailto:sage [2023/06/21(水) 11:05:32.10 ID:cZp0PZIW.net] >>490,491 「&」はやはり参照でしたか。 左辺の規則と右辺の規則があり、キャストしたポインターでは左辺の規則に従ってなくて、キャストした参照なら左辺の規則に従っていると、そうなっていると覚えるほかないのでありますな。 ありがとう。 493 名前：デフォルトの名無しさん mailto:sage [2023/06/29(木) 00:53:29.69 ID:l197jz/x.net] なんで可変長配列の名前がvectorなの？ 494 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/06/29(木) 08:14:12.68 ID:l+ZsGqGg.net] 伝統。 495 名前：デフォルトの名無しさん mailto:sage [2023/06/29(木) 13:14:41.30 ID:DfwcYShQ.net] https://www.google.co.jp/search?q=%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB+%E6%84%8F%E5%91%B3 向きを持つ量をベクトルという 向きを持つためには複数の量が必要（単一の量はスカラーという） それを抽象化して、要素を一列に並べたものをベクトルという 496 名前：デフォルトの名無しさん mailto:sage [2023/07/04(火) 17:43:58.34 ID:Ld2RSFGK.net] c++に限定される疑問ではないかも知れませんが標準出力がどうやってコンソールに出力しているか？というところで躓いてます gnuのlibcを見てもわからず、アセンブラを見て0x80というシステムコールをしているところまで辿り着いたけど無学なので理解できずにいます OSが用意している機能を実行しているという認識であってますか？ 497 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/07/04(火) 17:52:47.39 ID:wwaI/oJF.net] >>496 そうだよ。 現代の OS は権限の管理がしっかりしてて、アプリケーションは プロセスの外のリソース (メモリやデバイス) を直接には使えない。 OS に要求して適当なところに橋渡ししてもらう構造。 498 名前：デフォルトの名無しさん mailto:sage [2023/07/04(火) 18:05:29.71 ID:Ld2RSFGK.net] >>497 どうやって実行中のコンソールに出力しているのだろうという素朴な疑問だったのですが、この先はOS仕事という事なんですね 自分で見ろって言われるかもしれませんが、OSの処理の実装を見るのは難易度高いですか？ HelloWorldからどちらに進もうか迷ってます 499 名前：デフォルトの名無しさん mailto:sage [2023/07/04(火) 19:16:32.21 ID:Ld2RSFGK.net] 同様のテーマのITmediaの記事を見つけたので腰を据えて取り組んでみようと思います 回答いただきありがとうございましたお騒がせしました 500 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/07/05(水) 00:40:03.93 ID:h//lr2GB.net] >>498 標準出力の実態はパイプ。 パイプの接続先がターミナルのプロセスが繋がってるだけでカーネルはそれほど大したことはやってない。 と言えれば簡単なんだけど端末制御まわりは歴史的事情でよくわからんことになってるので ソースコードだけから読み取ろうとするのはしんどいと思う。 501 名前：デフォルトの名無しさん mailto:sage [2023/07/13(木) 01:46:39.34 ID:a7xsv8mg.net] shared_ptrの解放時にweak_ptrを登録していたSTLコンテナから登録抹消したいけど、 shared_ptrのデリータでshared_ptr自身は扱えないっぽい。 出来ないということは、何か他にいい方法があるか、根本的に何か考え方間違ってる？ 502 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/07/13(木) 18:07:22.25 ID:46c6OBqO.net] >>501 設計意図次第だけど コンテナにはオブジェクト本体をいれて shared_ptr は コンテナ内の要素を指すイテレータを指す という構造はどうだろう。 #include <iostream> #include <memory> #include <set> int main(void) { std::set<int> container; auto [iter, result] = container.emplace(42); { // コンテナ内の要素を指す shared_ptr をいくつも作る auto x = std::shared_ptr<decltype(iter)>(new decltype(container)::iterator(iter), [&container](decltype(container)::iterator* p) { container.erase(*p); delete p;}); auto y = x; auto z = x; // コンテナの中には要素が入ってる for (auto& x : container) std::cout << x << " "; std::cout << std::endl; // shared_ptr はここで消滅 } // デリータが消したのでもう残ってない for (auto& x : container) std::cout << x << std::endl; } 503 名前：デフォルトの名無しさん mailto:sage [2023/07/13(木) 21:30:08.90 ID:BEK5Ztwm.net] >>502 ありがとうございます。実体とイテレータ、参考になります。 おかげで解放時何とかshared_ptrで引数を渡そうとしてましたが、諦めて実体でもいいんではと思い始めました。 回答を見るまでは、shared_ptr<shared_ptr<X>>なら解放時にshared_ptr<X>取れるじゃん、 修正とか色々めんどくさいけど、とかアホなこと考えてました。 処理の概略はshared_ptr側で値管理、コンテナ側は登録されたweak_ptrの値と別の値が合致したら処理、 shared_ptr側解放時コンテナ側から登録抹消(抹消関数の引数にshared_ptr:これがNG)というものです。 504 名前：デフォルトの名無しさん [2023/07/16(日) 13:37:45.84 ID:aonKa36p.net] 設計意図次第 505 名前：504 mailto:sage [2023/07/16(日) 21:29:25.31 ID:AcIm+utR.net] 何でかshared_ptrって派生出来ないと思い込んでたけど出来た。 shared_ptrで出来ない理由は分からんが、他に変な問題が無ければほぼ当初の想定通り。 ありがとうありがとう。 template<class T> struct X : public std::shared_ptr<T> { X(T* t) : std::shared_ptr<T>(t){} ~X(){/*X自体の登録抹消*/} }; 506 名前：蟻人間 ◆T6xkBnTXz7B0 mailto:sage [2023/07/16(日) 22:10:43.92 ID:/+p/BpGt.net] クラス内部で using std::shared_ptr<T>; を付けるとコンストラクタの実装が完璧になるよ。 507 名前：蟻人間 ◆T6xkBnTXz7B0 mailto:sage [2023/07/16(日) 22:12:03.59 ID:/+p/BpGt.net] >>506 クラス内部で using std::shared_ptr<T>::shared_ptr; を付けるとコンストラクタの実装が完璧になるよ。 508 名前：504 mailto:sage [2023/07/16(日) 22:37:21.87 ID:AcIm+utR.net] >>507 基底クラス(shared_ptr)のコンストラクタを派生側に引っ張って来る便利な奴ですね(覚えきれてない)。 ありがとうございます。自前実装不要なのは助かります。 509 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/07/17(月) 00:18:57.61 ID:YifLUjyU.net] >>505 それって本当に意図通り？ X のデストラクタが起動するのは X 型のオブジェクトが解体されるときであって 参照カウントがゼロになったときじゃないんだよ。 510 名前：504 mailto:sage [2023/07/17(月) 01:33:58.67 ID:9b8iHtwy.net] >>509 …あー。それは意図通りではないですね。実際の解放はデストラクタで use_count()==1であることを確認する必要があるのかな。ありがとうございます。 511 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/07/18(火) 09:19:59.88 ID://OyAtPF.net] パブリック継承した型では基底への型変換を禁じることができない。 つまり X<int> foo = new int(1); std::shared_ptr<int> bar = foo; みたいなことが出来てしまう。 間違った使い方を想定するとキリがないから なんでもかんでもガチガチに型を設計する必要はないんだけど、 この場合はどこかでミスりそうと思うので 私なら継承でスマートポインタの挙動をカスタマイズしようとはしないと思う。 512 名前：504 mailto:sage [2023/07/19(水) 03:16:45.39 ID:0uGQJSD8.net] >>511 御忠告ありがとうございます。 高々shared_ptr自身を解放するだけと思っていたんですが、色々難しいですね。 > パブリック継承した型では基底への型変換を禁じることができない。 そんな問題があるとは。 派生クラスのキャスト演算子は引っかからず、基底クラスの コピーコンストラクタをいじらないと禁止出来ないっぽかった。 protected継承にしてみたら代入は出来なかった。うーん、他に問題が無ければこれですかね。 > 間違った使い方を想定するとキリがないから > なんでもかんでもガチガチに型を設計する必要はないんだけど、 > この場合はどこかでミスりそうと思うので > 私なら継承でスマートポインタの挙動をカスタマイズしようとはしないと思う。 候補はprotected継承(暫定)、shared_ptr相当自作、或いは他の未知なる何か。 しかし一番素直で的確に機能を実現可能と思っているのがshared_ptrの拡張なので、 別の形で実現する方法はどうも迂遠過ぎて自分には思いつかないです。 # shared_ptr側がデータ実体と登録したコンテナの情報を持ち、コンテナ側はweak_ptrで参照 なので流石に自作は無し、とりあえず他に致命的な問題が無ければprotected継承で実装して、 他により良い方法を思いついたらそっちに乗り換えることにします。 513 名前：504 mailto:sage [2023/07/19(水) 18:45:15.41 ID:4lyHW67x.net] そういえばweak_ptr試してない…？と思って試したら当然の如く代入できなかったので、 public継承でほったらかします。 514 名前：デフォルトの名無しさん mailto:sage [2023/07/20(木) 15:28:07.42 ID:6BSTmMYa.net] templateの世界へようこそ 515 名前：はちみつ餃子 ◆8X2XSCHEME mailto:sage [2023/07/21(金) 13:23:19.14 ID:NiBubQrd.net] std::unique_ptr なら型引数でもデリータを与えることが出来て、 型引数が異なれば異なる型ということになる。 #include <memory> template<class T> struct custom_delete : public default_delete<T> {}; int main(void) { std::unique_ptr<int, custom_delete<int>> foo{new int(42)}; // ↓ 別の型なので移動できない。 エラーになる。 std::unique_ptr<int> bar = std::move(foo); } ところが std::shared_ptr では型引数でデリータをカスタマイズすることが出来ない。 解体は動的な型に従うという保証をしているので。 #include <memory> struct foo {}; struct bar : public foo {}; int main(void) { // 解体のときに foo ではなく bar の // デストラクタが呼ばれることが保証される std::shared_ptr<foo> x{new bar}; } std::shared_ptr は動的な情報 (実行時の情報) を元に挙動が決まるというのが 設計理念なので削除方法をカスタマイズしたいならコンストラクタにデリータを渡す というのが最も自然な形と言える。 std::shared_ptr を継承する形でカスタマイズしようとするのは してもそれ自体は仕様に反しないけれど不自然だなぁとは思う。 (個人の感想です。) 516 名前：504 mailto:sage [2023/07/21(金) 20:08:15.21 ID:jaEOXewl.net] 一応発端の動かなかったコードを短くしたのでおいときます。 0.動機:shared_ptr<int>のdeleterでvector<weak_ptr>を削除したい 1.deleter内だとxは有効でuse_count 0だったけど、vectorのweak_ptrは無効だったのでvectorから削除できない。 2.shared_ptr<int>のデリータはint*に対するもので、shared_ptr<int>へのポインタはshared_ptr<int>の デストラクタじゃないと処理できないけど、既製品だから外からいじられない。 3.んじゃ、手っ取り早くshared_ptr継承してデストラクタを使えるようにすれば？ というのが趣旨でした。 #include<vector> #include<memory> int main(){ std::vector<std::weak_ptr<int>> v; std::shared_ptr<int> x(new int(3), [&x, &v](int* i){ for(int j = 0; j < v.size(); j++){ std::shared_ptr<int> t = v[j].lock(); if(t && t == x){v.erase(v.begin() + j); break;} } delete i; }); v.push_back(x); } 517 名前：デフォルトの名無しさん mailto:sage [2023/07/25(火) 09:24:45.92 ID:k8WJtY+U.net] >shared_ptr<int>へのポインタはshared_ptr<int>のデストラクタじゃないと処理できない これが無理っしょ 518 名前：デフォルトの名無しさん [2023/07/28(金) 10:56:39.59 ID:Zgvcm9f5.net] なんで出来ると思ったの 519 名前：デフォルトの名無しさん mailto:sage [2023/07/29(土) 20:15:59.76 ID:ETnyq2kJ.net] shared_ptrのデリータで他所様のオブジェクトもついでに解体したろっていう発想そのものが危険な香りしかしなくてゾワゾワする 520 名前：デフォルトの名無しさん mailto:sage [2023/07/29(土) 20:25:36.66 ID:xEb8mTKO.net] シャー専用ptr 521 名前：1 [2023/09/03(日) 20:55:45.58 ID:/ExZEMtW.net] 「プログラム」作るのって、やってみたいけど、全然知らないから、教えて欲しい。 からのスレの目的で建てました。 522 名前：デフォルトの名無しさん mailto:sage [2023/09/03(日) 20:59:12.95 ID:W287fTtw.net] まず、何が作りたいかイメージしてみましょう 523 名前：デフォルトの名無しさん mailto:sage [2023/09/04(月) 10:11:49.98 ID:/ASAZOX6.net] >>521 がC++をやるのは早過ぎる 先にpythonでもやってみろ 524 名前：デフォルトの名無しさん mailto:sage [2023/10/02(月) 22:07:14.88 ID:l4Vvzubd.net] 次のプログラムを実行するとコメントのように出力がされ、mainの最後で例外が発生してしまいます。 なぜ例外が発生するかわかる方教えてください。 mainを通してnewは2回実行され、deleteも2回実行されるので空ポインタをdeleteしていることもないと思うのです。 #include <iostream> using namespace std; class Csmp1 { private: int x; int* p; public: Csmp1(int n); ~Csmp1(); void disp() { cout << "x=" << x << endl;} }; Csmp1::Csmp1(int n) { x = n; p = new int; cout << "constructor " << x << endl; } Csmp1::~Csmp1() { delete p; cout << "destructor " << x << endl; } int main() { Csmp1 d3(300); // "constructor 300"と出力 d3.disp(); // "x=300"と出力 d3 = Csmp1(400); // "constructor 400"と出力し、その後"destructor 400"と出力 d3.disp(); // x=400と出力 return 0; } // デストラクタが呼ばれ、delete の部分で"Unknowin signal"例外発生 525 名前：蟻人間 ◆T6xkBnTXz7B0 mailto:sage [2023/10/02(月) 22:12:06.36 ID:/sjCb2h4.net] >>524 d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。 526 名前：蟻人間 ◆T6xkBnTXz7B0 mailto:sage [2023/10/02(月) 22:12:09.92 ID:/sjCb2h4.net] >>524 d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。 527 名前：蟻人間 ◆T6xkBnTXz7B0 mailto:sage [2023/10/02(月) 22:12:23.61 ID:/sjCb2h4.net] >>524 d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。 528 名前：蟻人間 ◆T6xkBnTXz7B0 mailto:sage [2023/10/02(月) 22:12:42.13 ID:/sjCb2h4.net] >>524 d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。

---

---

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

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