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

**デフォルトの名無しさん** · 2018/11/12(月) 14:55:13.35

何にも知らない0からの出発、超初心者のためのC++相談室

**デフォルトの名無しさん** · 2022/03/21(月) 11:12:55.05

分割コンパイルの仕組みちゃんと理解しないまま雰囲気でヘッダインクルードしてるんですけど
cppファイルに#pragma once書かないのってどうしてですか？？

**デフォルトの名無しさん** · 2022/03/21(月) 11:22:20.21

>>422 書いても意味ないから。

**デフォルトの名無しさん** · 2022/03/21(月) 11:45:05.99

>>422
まあ普通一回使ったら足りるからだけど、
cppをincludeしてたら意味があるのかもな

**デフォルトの名無しさん** · 2022/04/07(木) 19:54:53.05

cppってインクルード出来たんだ
ヘッダーだけかと思った

**デフォルトの名無しさん** · 2022/04/11(月) 15:54:11.00

単にコピペしてくるだけだけだからなんでもいいぞ
ルックアップテーブル計算してテキストにダンプし、ソース中に#include "table.txt" で取り込むのを見たことがある

**デフォルトの名無しさん** · 2022/04/11(月) 19:50:08.66

IDEだと、プロジェクトに.cppを含めるとコンパイル対象になるので.inlとかにしておくのが無難

**デフォルトの名無しさん** · 2022/04/30(土) 07:28:15.03

前は中身がcppっぽいのはcppにしてたけど
インクルード前提のファイルはhにするようにした

#define ほにゃらら
#include ファイル名.h
##undef ほにゃらら

インクルードしても単体ソースとしても使えるヤツはcpp

ツールが吐き出したコードやデータでそのままincludeして使えるものは拡張子はそのまま

**デフォルトの名無しさん** · 2022/06/11(土) 20:56:47.72

hpp

**デフォルトの名無しさん** · 2022/06/11(土) 21:01:36.29

h と hpp どっちにするかの話じゃなくて

(h or hpp) にするか
(c or cpp) にするか

の話

**デフォルトの名無しさん** · 2022/06/11(土) 21:02:37.04

初心者はトリッキーな使い方はしない方が良いから聞かなかった事にして

**デフォルトの名無しさん** · 2022/06/11(土) 21:20:49.53

トリッカーズ。

**デフォルトの名無しさん** · 2022/06/12(日) 10:33:13.76

三角形の秘密はね

**デフォルトの名無しさん** · 2022/06/12(日) 11:16:51.08

おなかがすいたら

**デフォルトの名無しさん** · 2022/06/12(日) 19:40:55.19

ピーナッツ

**デフォルトの名無しさん** · 2022/06/23(木) 10:13:29.99

なんか、すごい達者さんが並んでますけど、
ここって、
「プログラミング初めたいけど、なんにもわからないので、初めから教えてください。」
というスレです。

**デフォルトの名無しさん** · 2022/06/23(木) 10:52:47.91

最初からでも0からでも構わんが
自分で努力しないやつはだめ

**デフォルトの名無しさん** · 2022/06/23(木) 11:07:51.97

俺は努力しなくてもできちゃうからなあ

**デフォルトの名無しさん** · 2022/06/23(木) 14:33:26.79

掛け算の*と、「何ですか？」の*と一緒なんですが、
区別する方法を教えてください。

**デフォルトの名無しさん** · 2022/06/23(木) 19:37:03.84

ポインターの事？

**デフォルトの名無しさん** · 2022/06/23(木) 19:47:14.20

は？何ですか？

**デフォルトの名無しさん** · 2022/06/24(金) 10:44:51.77

オレオレ

**デフォルトの名無しさん** · 2022/06/24(金) 12:54:50.02

そうだよオレだよ

**デフォルトの名無しさん** · 2022/07/16(土) 16:13:36.70

>>439
掛け算の*は二項演算子
「何ですか？」の*は単項演算子
*の前に項があるかどうかで判断する

**デフォルトの名無しさん** · 2022/07/16(土) 17:44:38.20

数字の、xxxと、
数字の、AAAの掛け算は、

xxx*AAAで、いつも迷うんです・・・

**デフォルトの名無しさん** · 2022/07/16(土) 18:00:17.69

*a+++ ++*b
で迷え

**デフォルトの名無しさん** · 2022/07/16(土) 18:01:53.10

+*a++*++*b
これも

**デフォルトの名無しさん** · 2022/08/01(月) 07:12:02.16

map よりも unordered_map の方が高速ですか？
あと追加順が保障されないのが unordered_map ですか？
map は何順ですか？

**デフォルトの名無しさん** · 2022/08/01(月) 13:52:12.46

おまいは何を言っておるのだ?

**はちみつ餃子** ◆8X2XSCHEME · 2022/08/01(月) 15:12:11.10

>>448
> map よりも unordered_map の方が高速ですか？

操作によるので一概には言えない。
一般的には unordered_map のほうが有利なことが多いとは言えるけれど。

> 追加順が保障されないのが unordered_map ですか？

map でも unordered_map でも追加した順序は保持されない。
C++ に限らず辞書的なデータ構造では格納順序を保持しないのが普通で、
保証があるのは Ruby の Hash くらいだと思う。
Go や Rust だと辿る順序を乱数でかき乱す実装になっているくらいだし。

> map は何順ですか？

キーの順序。
特に指示しなければデフォルトではキーを std::less で比較した順序。

**デフォルトの名無しさん** · 2022/08/05(金) 04:26:17.70

そもそもmapの順序ってなんぞや
そりゃ内部表現としての順序(あるいは非順序という名の実装依存の順序)はあるけど
腹ワタ開腹して弄くり回したら、それはもうmapとは呼べねーよ

**デフォルトの名無しさん** · 2022/08/16(火) 01:02:16.19

vector<int*> xの特定の要素を削除したい場合
delete x[1];
してから
x.erase(x.begin()+1);
という手順であってますか？
deleteしないとメモリリークしますよね？

**はちみつ餃子** ◆8X2XSCHEME · 2022/08/16(火) 01:10:03.51

>>452
それでいいよ。
でもスマートポインタを活用するとかの工夫はしたほうがいいね。

**デフォルトの名無しさん** · 2022/08/18(木) 11:36:39.99

そもそも移動が大量に発生するのでそんな設計しない

**デフォルトの名無しさん** · 2022/10/14(金) 01:43:37.78

bitset<4>("1101")をsigned longに変換したいのですが
簡単な方法は無いでしょうか？
to_ulong()はあるのですが、to_long()が無いっぽいです

**デフォルトの名無しさん** · 2022/10/14(金) 01:50:46.72

unsigned longからlongにキャストすればいいだけでは？

**はちみつ餃子** ◆8X2XSCHEME · 2022/10/14(金) 02:13:27.03

念のため補足すると、変換後の整数型が符号付きである場合にその型で表現できる範囲をからはずれたときの結果は定義されていない。
しかし bitset<4> を元にするという前提の元では signed long int の範囲からはずれるということはありえない
ので signed long int にキャストするという対処で正しい。

**デフォルトの名無しさん** · 2022/10/14(金) 02:13:45.28

すみません肝心なことを書き忘れていました
2の補数表現された2進数の文字列を
signed longに変換したかったのでした

文字列は諦めて、
-(signed long)bitset<4>(~0b1101+1).to_ulong()
だと一応期待した動作なのですがなんか野暮ったい…

**デフォルトの名無しさん** · 2022/10/14(金) 20:52:11.42

4ビットだから符号無しなら0～15だろ
コレを-8～7の符号付きにしたいということか？

**デフォルトの名無しさん** · 2022/10/15(土) 16:23:31.27

普通に下駄履かせれば（引き算）

**デフォルトの名無しさん** · 2023/05/24(水) 23:52:31.95

いやー今日はめっちゃ勉強したわ
詳しくなった

**デフォルトの名無しさん** · 2023/06/04(日) 09:18:18.28

誘導されて来ますた、
質問なのですがstd::stringに格納された数値文字列を数値にしたい、
しかし数値以外の文字（ただし空白文字は認める）が後ろにくっついていたらエラーにしたい、と言う場合どうす
れば良いの？
ダチャい書き方ならできうるけど人類はいつまでstrtod()や&(str[0])……

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/04(日) 09:22:50.76

>>462
strtod で何が不満なの。
空白かどうかで区別が必要なら空白かどうか確認するしかしょうがないし、
ダサいもくそもないだろ。

**デフォルトの名無しさん** · 2023/06/04(日) 09:28:48.33

>>463
だって&(str[0])とかナマポやし……
文字列型がchar以外になったら（std::basic_string<TCHAR>とか）になることも見越したら
手でテンプレート書かないといけないから牛刀感があるし、
文字列が厳格に数値文字列なのか検査するとかアプリのコードであるあるなので
アプリレベル（高級アセンブラ的でない書き方）の手段が用意されていて然るべきな気がして仕方が無いし、

**デフォルトの名無しさん** · 2023/06/04(日) 09:30:18.23

無いというなら仕方が無いが、漏れはちょう初心者ですら……

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/04(日) 09:37:21.42

>>464
std::stod は std::string と std::wstring に対応してるよ。

**デフォルトの名無しさん** · 2023/06/04(日) 09:39:47.38

>>466
std::stod()は数値への変換が行われなかったとき例外をスローするが
後ろに余計なものが付いていたらｽﾙｰするんじゃ……
なお試したことはありま栓、

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/04(日) 09:52:59.20

>>467
???
それで何か困ることがあるという話なの？
要件が不明瞭でよくわからん。

**デフォルトの名無しさん** · 2023/06/04(日) 09:55:13.77

実は正規表現でも使えば何とかなる……
のか……
std::regex re("^\s*([\d.]+)\s*$");
std::smatch m;
if (std::regex_match(str, m, re)) {
　return m[1].str().strtod();
} else {
　エラー
}

　

**デフォルトの名無しさん** · 2023/06/04(日) 09:56:15.54

>>468
仕様は最初に提示stkr、
123.456E+8 : OK
123.456E+8a : NG

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/04(日) 10:00:50.19

>>470
続くものが何であるかは自分で確認してエラーにするという話をしてると思ったんやが。

**デフォルトの名無しさん** · 2023/06/04(日) 10:05:01.33

>>471
>続くものが何であるかは自分で確認してエラーにする
・できればライブラリでやってﾎｽｲ
・自分で書くとしてもナマポ（&(str[0]))は避けたい（>>464
・std::string部分が他の文字列型に変わっても大丈夫なサポートがあるならそれに乗っかりたい手でテンプレートを書きたくない(>>464

できるかできないかで言えば、std::stringについてはダチャくあっても実現できてはいるので
C++でちょう簡潔に書ける手段が実はあるのではないか、ありませんか、というのが質問の意図

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/04(日) 10:13:13.65

>>472
続くものの種類で判断するというピンポイントな要求にマッチするものはさすがに標準にあるわけない。
それを除けば std::stod が十分に要求を満たしているように見える。

**デフォルトの名無しさん** · 2023/06/04(日) 11:40:09.61

単位でも確認したいの？
だったらstd::ends_withとかstd::rfindとstd::substrで数字の後ろ切り出すとかでチェックしてからstd::stodでよくね
チェックは自分の要件だから自分で書け標準ライブラリはお前のお母さんではない

**デフォルトの名無しさん** · 2023/06/04(日) 11:51:26.73

正規表現でチェックするのが1番自然な気がする

**デフォルトの名無しさん** · 2023/06/04(日) 22:03:06.86

>>474
> 単位でも確認したいの？
> だったらstd::ends_withとかstd::rfindとstd::substrで数字の後ろ切り出すとかでチェックしてからstd::stodでよくね
std::stringに格納された数値文字列を数値にしたい、
しかし数値以外の文字（ただし空白文字は認める）が後ろにくっついていたらエラーにしたい（>>462

> チェックは自分の要件だから自分で書け標準ライブラリはお前のお母さんではない
チェックのためには（例えばstd::stodが）どこまで読んだのかの情報が要る
std::stodの裏側では文字列を数値解釈する枯れたコードが動いているわけで、
そいつにどこまで読んだのか、ただ1個の整数データを聞けさえすれば良い。
これはそれほど無茶な話ではないはずで実際strtod()ではできるから
どっちかというｔライブラリにちょっち不備があるのでは案件であってお母さん案件ではない。

**デフォルトの名無しさん** · 2023/06/04(日) 22:20:35.13

>>475
上に書いた通り（例えば）std::stodがどこまで読んだのかだけイブラリが返してくれさえしたら解決するのじゃ
正規表現は意味的には合目的的な手段やが、普通の正規表現エンジンの実装なら正規表現オブジェクトを作った際に
FSMを（表形式か何かで）生成する処理が中で動くので、そんなに軽い処理ではないからやっぱ牛刀感みある…

いったん作ったらマッチングは表駆動でやれるので速いことが気体できるのではないか、という香具師が居るかもしれないが、
実はstd::stod()に最大限仕事させたい（正規表現の側で数値文字列の書式についてわざわざ指定したっくない
場合は>>496の正規表現は正しくは "^\\s*(.*?)\s*$"にせねばならないからマッチング時にバックトラックが発生して遅い可能性がある
これもちょっちｲﾔｿな理由

繰り返しになるが（例えば）std::stodがどこまで読んだのかだけイブラリが返してくれさえしたらこんな考慮は不要で完全に円満に解決するのじゃ……

**デフォルトの名無しさん** · 2023/06/04(日) 22:30:29.50

>>476
そんな長文ギャンギャン書きなぐってる暇があればstodの仕様くらい調べろよ
ちゃんとお前の欲しがってる物を返してくれるよ

**デフォルトの名無しさん** · 2023/06/05(月) 00:32:44.63

便乗質問していいですか
某所で似たような問題があったのだけど、付加条件として、数値がINT_MAXを超える場合は
INT_MAX、INT_MINを下回る場合はINT_MINを返す、がありました
stodを使う場合(stoll等でもいいですが）、これってどうやって処理すればいいですかね

**デフォルトの名無しさん** · 2023/06/05(月) 00:38:04.95

念の為「数値が」というのは元の文字列での、です。たとえば "1000000000000"みたいな
可能性としてはLONG_LONG_MAXを超えている場合もありますね

**デフォルトの名無しさん** · 2023/06/05(月) 00:46:19.80

stoi系は範囲越えたらstd::out_of_rangeを投げるはずだが

**デフォルトの名無しさん** · 2023/06/05(月) 01:19:48.15

_MAXで超えたか_MINで超えたかってわかりますかね

**デフォルトの名無しさん** · 2023/06/05(月) 01:31:31.21

先頭文字が'-'かどうか見れば？

**デフォルトの名無しさん** · 2023/06/05(月) 01:54:42.53

>>478
どういうこっちゃkwsk、

**デフォルトの名無しさん** · 2023/06/05(月) 02:04:38.53

>>484
https://ja.cppreference.com/w/cpp/string/basic_string/stof

> pos がヌルポインタでなければ、ポインタ ptr (変換関数の内部的な変数) が str.c_str() 内の最初の変換されなかった文字のアドレスを受け取り、その文字のインデックスが計算されて *pos に格納されます。これは変換によって処理された文字数になります。

> 引数
> str - 変換する文字列
> pos - 処理された文字数を格納する整数のアドレス

**デフォルトの名無しさん** · 2023/06/05(月) 02:37:23.50

>>485
㌧クスわかりたorz

**デフォルトの名無しさん** · 2023/06/05(月) 06:49:34.05

>>483
そうですね、でも文字列の先頭とは限らないですよね。やはりこの場合はある程度は
自力で文字列をパースする必要がある感じですかね

ちなみに数字以外が含まれるときの挙動は "hoge 123"みたいに数字より前に非数字
がくるのは駄目だけど逆に"123 hoge"みたいのはおkなんですね

**デフォルトの名無しさん** · 2023/06/20(火) 19:02:06.99

話題がないから質問してみる

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*>ではだめなのかな？

**デフォルトの名無しさん** · 2023/06/20(火) 19:05:08.72

なんか変換されたｗ
∑merでなくて＆summerです

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/20(火) 20:45:04.07

>>488
参照が絡むとややこしくて単純に説明できないんだけど
代入演算子の左側は変更可能な lvalue (modifiable lvalue) であることということになっていて
そのキャストだと prvalue になってしまうから代入できないという結果になる。

たとえば
int x = 1;
x = 2;
は有りだけど
1 = 2;
は駄目なのはわかるでしょ。

この代入のときの x はそこに入っている 1 という値に意味はなくて場所に意味がある。
値として取り出されてしまうと代入できないんだ。

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/20(火) 20:54:10.99

どういうときにどういう値カテゴリに属すことになるのか正確なところはここ見て。
https://timsong-cpp.github.io/cppwp/n3337/basic.lval

C++03 時代は lvalue と rvalue だけの単純な (と言ってもそれなりに複雑だが……) 世界だったんだけど
右辺値参照の概念を整理するため (?) かだいぶんごちゃついてる。

**デフォルトの名無しさん** · 2023/06/20(火) 23:48:13.65

>>490
返答ありがとう。

なぜconst_cast<Summer*>(summerConstPtr)が左辺としていけないのかがわかりませぬ。
summerConstPtrはconst_cast<Summer*>によって「Summer *const」から「const」が外れて「Summer*」となって
Summer *summerPtr;
summerPtr = &summer;
とするときの左辺summerPtrと同じようになったわけではないのでしょうか？

どうもこの左辺summerPtrと同じようにするためには、const_cast<Summer*&>としなければならないようだが、この「&」にはどんな意味ががが？？

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/21(水) 00:33:00.36

>>492
型とは別に (型と無関係ではないが) 文脈にカテゴリが存在するというのが肝心な部分。
どれがどのカテゴリに属すのかはダラダラとした箇条書きで書いてあって単純な原則では示せない。
(結果的には辻褄の合うようになってるけど……。)

& は参照を表す記号という解釈は正しい。
参照は lvalue なのでキャストの結果も lvalue ってだけ。

**デフォルトの名無しさん** · 2023/06/21(水) 01:03:31.08

>>492
その理解だと↓も通ることになると思うんだけど、これが通らない理由もわからない？
int i = 0;
static_cast<int>(i) = 1;

**デフォルトの名無しさん** · 2023/06/21(水) 11:05:32.10

>>493,494
「&」はやはり参照でしたか。
左辺の規則と右辺の規則があり、キャストしたポインターでは左辺の規則に従ってなくて、キャストした参照なら左辺の規則に従っていると、そうなっていると覚えるほかないのでありますな。
ありがとう。

**デフォルトの名無しさん** · 2023/06/29(木) 00:53:29.69

なんで可変長配列の名前がvectorなの？

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/29(木) 08:14:12.68

伝統。

**デフォルトの名無しさん** · 2023/06/29(木) 13:14:41.30

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
向きを持つ量をベクトルという
向きを持つためには複数の量が必要（単一の量はスカラーという）
それを抽象化して、要素を一列に並べたものをベクトルという

**デフォルトの名無しさん** · 2023/07/04(火) 17:43:58.34

c++に限定される疑問ではないかも知れませんが標準出力がどうやってコンソールに出力しているか？というところで躓いてます
gnuのlibcを見てもわからず、アセンブラを見て0x80というシステムコールをしているところまで辿り着いたけど無学なので理解できずにいます
OSが用意している機能を実行しているという認識であってますか？

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/04(火) 17:52:47.39

>>499
そうだよ。
現代の OS は権限の管理がしっかりしてて、アプリケーションは
プロセスの外のリソース (メモリやデバイス) を直接には使えない。
OS に要求して適当なところに橋渡ししてもらう構造。

**デフォルトの名無しさん** · 2023/07/04(火) 18:05:29.71

>>500
どうやって実行中のコンソールに出力しているのだろうという素朴な疑問だったのですが、この先はOS仕事という事なんですね
自分で見ろって言われるかもしれませんが、OSの処理の実装を見るのは難易度高いですか？
HelloWorldからどちらに進もうか迷ってます

**デフォルトの名無しさん** · 2023/07/04(火) 19:16:32.21

同様のテーマのITmediaの記事を見つけたので腰を据えて取り組んでみようと思います
回答いただきありがとうございましたお騒がせしました

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/05(水) 00:40:03.93

>>501
標準出力の実態はパイプ。
パイプの接続先がターミナルのプロセスが繋がってるだけでカーネルはそれほど大したことはやってない。

と言えれば簡単なんだけど端末制御まわりは歴史的事情でよくわからんことになってるので
ソースコードだけから読み取ろうとするのはしんどいと思う。

**デフォルトの名無しさん** · 2023/07/13(木) 01:46:39.34

shared_ptrの解放時にweak_ptrを登録していたSTLコンテナから登録抹消したいけど、
shared_ptrのデリータでshared_ptr自身は扱えないっぽい。
出来ないということは、何か他にいい方法があるか、根本的に何か考え方間違ってる？

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/13(木) 18:07:22.25

>>504

設計意図次第だけど
コンテナにはオブジェクト本体をいれて 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;
}

**デフォルトの名無しさん** · 2023/07/13(木) 21:30:08.90

>>505 ありがとうございます。実体とイテレータ、参考になります。
おかげで解放時何とかshared_ptrで引数を渡そうとしてましたが、諦めて実体でもいいんではと思い始めました。
回答を見るまでは、shared_ptr<shared_ptr<X>>なら解放時にshared_ptr<X>取れるじゃん、
修正とか色々めんどくさいけど、とかアホなこと考えてました。

処理の概略はshared_ptr側で値管理、コンテナ側は登録されたweak_ptrの値と別の値が合致したら処理、
shared_ptr側解放時コンテナ側から登録抹消(抹消関数の引数にshared_ptr:これがNG)というものです。

**デフォルトの名無しさん** · 2023/07/16(日) 13:37:45.84

設計意図次第

**504** · 2023/07/16(日) 21:29:25.31

何でかshared_ptrって派生出来ないと思い込んでたけど出来た。
shared_ptrで出来ない理由は分からんが、他に変な問題が無ければほぼ当初の想定通り。
ありがとうありがとう。

template<class T>
struct X : public std::shared_ptr<T> {
X(T* t) : std::shared_ptr<T>(t){}
~X(){/*X自体の登録抹消*/}
};

**蟻人間** ◆T6xkBnTXz7B0 · 2023/07/16(日) 22:10:43.92

クラス内部で
using std::shared_ptr<T>;
を付けるとコンストラクタの実装が完璧になるよ。

**蟻人間** ◆T6xkBnTXz7B0 · 2023/07/16(日) 22:12:03.59

>>509
クラス内部で
using std::shared_ptr<T>::shared_ptr;
を付けるとコンストラクタの実装が完璧になるよ。

**504** · 2023/07/16(日) 22:37:21.87

>>510 基底クラス(shared_ptr)のコンストラクタを派生側に引っ張って来る便利な奴ですね(覚えきれてない)。
ありがとうございます。自前実装不要なのは助かります。

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/17(月) 00:18:57.61

>>508
それって本当に意図通り？
X のデストラクタが起動するのは X 型のオブジェクトが解体されるときであって
参照カウントがゼロになったときじゃないんだよ。

**504** · 2023/07/17(月) 01:33:58.67

>>512 …あー。それは意図通りではないですね。実際の解放はデストラクタで
use_count()==1であることを確認する必要があるのかな。ありがとうございます。

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/18(火) 09:19:59.88

パブリック継承した型では基底への型変換を禁じることができない。
つまり
X<int> foo = new int(1);
std::shared_ptr<int> bar = foo;
みたいなことが出来てしまう。

間違った使い方を想定するとキリがないから
なんでもかんでもガチガチに型を設計する必要はないんだけど、
この場合はどこかでミスりそうと思うので
私なら継承でスマートポインタの挙動をカスタマイズしようとはしないと思う。

**504** · 2023/07/19(水) 03:16:45.39

>>514
御忠告ありがとうございます。
高々shared_ptr自身を解放するだけと思っていたんですが、色々難しいですね。

> パブリック継承した型では基底への型変換を禁じることができない。
そんな問題があるとは。
派生クラスのキャスト演算子は引っかからず、基底クラスの
コピーコンストラクタをいじらないと禁止出来ないっぽかった。
protected継承にしてみたら代入は出来なかった。うーん、他に問題が無ければこれですかね。

> 間違った使い方を想定するとキリがないから
> なんでもかんでもガチガチに型を設計する必要はないんだけど、
> この場合はどこかでミスりそうと思うので
> 私なら継承でスマートポインタの挙動をカスタマイズしようとはしないと思う。
候補はprotected継承(暫定)、shared_ptr相当自作、或いは他の未知なる何か。
しかし一番素直で的確に機能を実現可能と思っているのがshared_ptrの拡張なので、
別の形で実現する方法はどうも迂遠過ぎて自分には思いつかないです。
# shared_ptr側がデータ実体と登録したコンテナの情報を持ち、コンテナ側はweak_ptrで参照
なので流石に自作は無し、とりあえず他に致命的な問題が無ければprotected継承で実装して、
他により良い方法を思いついたらそっちに乗り換えることにします。

**504** · 2023/07/19(水) 18:45:15.41

そういえばweak_ptr試してない…？と思って試したら当然の如く代入できなかったので、
public継承でほったらかします。

**デフォルトの名無しさん** · 2023/07/20(木) 15:28:07.42

templateの世界へようこそ

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/21(金) 13:23:19.14

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 を継承する形でカスタマイズしようとするのは
してもそれ自体は仕様に反しないけれど不自然だなぁとは思う。 (個人の感想です。)

**504** · 2023/07/21(金) 20:08:15.21

一応発端の動かなかったコードを短くしたのでおいときます。
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);
}

**デフォルトの名無しさん** · 2023/07/25(火) 09:24:45.92

>shared_ptr<int>へのポインタはshared_ptr<int>のデストラクタじゃないと処理できない

これが無理っしょ

**デフォルトの名無しさん** · 2023/07/28(金) 10:56:39.59

なんで出来ると思ったの

**デフォルトの名無しさん** · 2023/07/29(土) 20:15:59.76

shared_ptrのデリータで他所様のオブジェクトもついでに解体したろっていう発想そのものが危険な香りしかしなくてゾワゾワする