C++相談室 part163

2022/12/30(金) 23:16:31.37

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

※前スレ
C++相談室 part162
https://mevius.5ch.net/test/read.cgi/tech/1667194175/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2023/02/12(日) 16:47:42.70

>>402
オーバーフローする

2023/02/12(日) 17:18:17.77

Tをunsignedにするんだよね？
ぐぐったらstd::make_unsignedとかいうのがあった

2023/02/12(日) 17:33:12.94

Tがunsignedの場合だけ許可したいならrequires std::is_unsigned_v<T>
C++17以下でコンセプト使えないならstd::enable_ifでも使おう

無理矢理signedにして問題握り潰せって奴だらけで震える

2023/02/12(日) 18:15:39.19

>>403 そこは >400 でも同じなのでは？

2023/02/13(月) 03:17:46.41

この手の警告/エラーはテンプレートを実装しただけでは出なくて、
テンプレートの実体化をした時にテンプレート実装部に警告/エラーが出るからややこしいんだよな

unsignedしか受け付けない前提で書いたコードをsignedで実体化するからこうなる

黙って内部でunsignedにするか
(using U=std::make_unsigned_t<T>; で全部U型で演算する)
signedをそもそも受け付けないか
(>>405 みたいにrequiresで受け付けるTを制限する)
の2択

2023/02/13(月) 06:42:50.66

そもそも「符号なしであることを明示」とか書いてるけど
俺が試した限り符号ありで実体化しないと出ないんだよな>>400の警告は

**デフォルトの名無しさん** (ｽﾌｯ Sdaa-AGaU) · 2023/02/13(月) 10:38:37.81

C＋＋素人です
すみませんが、どなたか教えてください

こんなテンプレート関数があったとして、const を消す方法はないですか
const付いてても付いてなくても int* とか char* だけを判別したいので
毎回,余分にconst 判定入れるのだるいです

std::remove_const_t<T> とか試しても上手くいかないのでググってみたら、最上位じゃないので出来ないうんたらとか書いてあって...
最上位じゃないconstを外す方法があれば教えてください...

template<typename T>
auto function(T, t) {

　　if constexpr (std::is_same_v<T, int*> || std::is_same_v<T, const int*>) {
　　　...
　　}
　　else if constexpr (std::is_same_v<T, char*> || std::is_same_v<T, const char*>) {
　　　...
　　}
　　...以下、同パターン
}

2023/02/13(月) 10:50:31.38

std::is_same_v<std::remove_const_t<std::remove_pointer_t<T>>, int>

2023/02/13(月) 10:52:33.56

>>409
>std::remove_const_t<T> とか試しても上手くいかないので
std::remove_const<T>でできるけども?

2023/02/13(月) 10:56:46.31

constexprなんだからどうやっても外せないだろ

2023/02/13(月) 11:05:28.80

いや、出来るか

2023/02/13(月) 11:14:03.33

コンパイラバージョンの違いかな
remove_const<T> //C++11
remove_const_t<T> //C++14

2023/02/13(月) 11:27:21.16

template <class T>
using remove_const_t = typename remove_const<T>::type;

typenameと::typeを省略するためのただのエイリアスやで

2023/02/13(月) 11:33:32.46

remove_const_tがコンパイラ通らなければremove_const<T>::typeと書けば良いと

2023/02/13(月) 13:02:27.22

GCCもVCもデフォでC++14だかんな

**409** (ｽﾌｯ Sdaa-AGaU) · 2023/02/13(月) 13:15:51.58

>>410
ありがとうございます
上手くconst int* は拾えましたが、それだとただのint も拾ってしまいました
ポインタのみ拾いたいです

環境書いてなかったです
VisualStudio のVC++で、設定はC++最新版です

2023/02/13(月) 13:32:25.61

少しは自分で考えたらどうなの？

2023/02/13(月) 13:41:00.86

!std::is_same_v<std::remove_const_t<std::remove_pointer_t<T>>,std::remove_const_t<T>>

**418** (ｽﾌｯ Sdaa-AGaU) · 2023/02/13(月) 14:00:14.31

>>420
すごいです、出来ました
ありがとうございました！
自分は馬鹿すぎてこんなの思いつけないですが….勉強続けます、感謝

2023/02/13(月) 14:16:09.00

考えたら出来るようになる
ガムバレ

2023/02/13(月) 14:55:08.76

何がどう「出来ました」なのかよくわからないけど、 >409 を見る限りは
auto function(const int*), auto function(const char*) のオーバーロードで分けたほうがマシな
ものに見えるな。

2023/02/13(月) 17:23:27.09

そこまでして本当にテンプレートが必要か？って考える必要があると思うわｗ
殆どがテンプレートなんて必要ないだろｗ

2023/02/13(月) 18:18:43.60

関数外にテンプレート1つ置いてしまった方がシンプルになるがね
constを消すではなくなるが

template<class T, class TTarget>
constexpr bool pointer_or_constpointer_v =
std::is_same_v<T, TTarget*> ||
std::is_same_v<T, const TTarget*>;

template<class T>
auto func(T t){
if constexpr(pointer_or_constpointer_v<T, int>){
...
}
}

2023/02/15(水) 13:51:43.45

困っています．助けてください．

まず作りたいものを以下に記します．

クラスObjのオブジェクトが構築されると，
そのオブジェクト内でクラスObjのオブジェクトが0～2個生成される．
（生成されるオブジェクトの個数は一様乱数で決定される）
結果的に木構造のようなデータ構造になる．

クラスObjのオブジェクトはシリアルナンバと自分を作ったオブジェクト(親)へのポインタを持っている．

クラスObjは自分を作った親をたどることで，どのようにして(どのオブジェクトを親として)生成されたかを知ることができる．

で，作ってみたものを以下に張り付けておきます．

https://wandbox.org/permlink/lXq19mN1URMQhyh5

上記のプログラムで発生している問題を以下に記述します．

起点となるクラスObjのオブジェクトobjが生成された時点では，
各オブジェクトは自分自身を生成してくれた親オブジェクトへのポインタを正しく保持しているようなのですが，その後，メソッドrootsを呼んだときには親オブジェクトへのポインタが訳の分からないアドレスを指すことがあるようです．

なにがいけないのか，どうすれば意図した通りに動いてくれるのかご教授くださると助かります．

よろしくお願いいたします．

2023/02/15(水) 14:37:38.33

>>426
警告が出ているのになぜ直さない？　それがすべてじゃないの？

2023/02/15(水) 16:15:28.85

>>427
>>>426
>警告が出ているのになぜ直さない？　それがすべてじゃないの？

メンバ関数rootsの型をvoidにして、return文をコメントアウトすれば警告は消えます。
しかし発生している問題は解決しません‥

ご指摘の件は本質的問題ではないように思われます。

引き続きご教授をお願いいたします

2023/02/15(水) 17:54:06.96

55行目にchildObj.reserve(2);を入れろ
また、人にコードを示すなら本質的に関連のない警告が出ない状態のコードをまず貼れ

2023/02/15(水) 18:19:34.79

警告警察うざい
警告を消す為にバグを仕込むヤツを何度も見てきた

2023/02/15(水) 18:20:49.58

警告が出るかどうかは環境による
C++のルールに従っているなら警告は無視

2023/02/15(水) 18:29:25.36

>>428
そっちじゃないよ
戻り値型はそのままでよくて、elseの場合に値を返せてないから返す
あと42行目のイテレータループの終了条件の書き方も違う、!=を使え

2023/02/15(水) 19:15:06.12

>>426
バグを調査するときの重要な考え方として「バグが確実に再現する条件／確実に発生しない条件を明確化する」というのがある。

この場合も、まずはバグ「メソッドrootsを呼んだときには親オブジェクトへのポインタが訳の分からないアドレスを指すことがある」の条件を明確化するために「訳の分からないアドレスはどの変数に入っているのか」「訳の分からないアドレスはどういうバケツリレーで渡されているのか」「訳の分からないアドレスは最初にどこにあるのか」あたりを明確化するのがよろしいかと。

そもそも>>426で「メソッドrootsを呼んだときには親オブジェクトへのポインタが訳の分からないアドレスを指すことがある」は再現するの？

2023/02/15(水) 19:33:01.86

ああemplace_backしたときにchildObjが再確保されてparentが古いObjを指したままになってるのか
だから>>429が正解ですね

2023/02/15(水) 19:57:27.07

謎の上から目線で質問するやし多くね

2023/02/15(水) 20:25:17.26

>>426
> control reaches end of non-void function
voidじゃない関数がreturnせずに終わってる

この表現なら理解できるか？

2023/02/15(水) 20:43:32.06

こんなプログラム見ていると頭痛くなるｗ

2023/02/15(水) 21:25:47.83

>>430
ほんこれ

2023/02/15(水) 22:04:10.79

>>437
>こんなプログラム見ていると頭痛くなるｗ

誠に申し訳ない。
なんせ、近くにメンターがいないので自力でなんとかせにゃならんのです。

既にいくつか助言をいただいているので、もう少し頑張ってみます。

ゆるゆる見守ってくださると嬉しいです。
引き続きよろしくお願いいたします。

2023/02/15(水) 22:07:21.36

なんでこんなに偉そうなの

2023/02/15(水) 22:10:23.23

>>431

環境はvisual studio pro 2019で、皆様のご助言を仰ぐためにwandboxに貼りました。

警告に関しては、あまり気にせずコーディングしています‥
よくない癖、ですよね（汗）

2023/02/15(水) 22:13:56.75

>>429
>>434

明日以降に試してみます。
まずはreserveを調べるところから。
ポンコツ過ぎで申し訳ないです。

2023/02/15(水) 22:14:34.95

>>430
> 警告警察うざい
未だにこんなやつが要るんだな...

> 警告を消す為にバグを仕込むヤツを何度も見てきた
それはお前の周りのレベルが低すぎるだけじゃね？w

2023/02/15(水) 22:18:19.81

>>433

どうやら、再現性はあるようですが、私のスキルではどのような状況でバケツリレーが辿れなくなるのか、到底できないのです。

よいアイデアがあればご教示くださると大喜びします。

2023/02/15(水) 22:35:45.35

警告は潰さなければならない

警告が出たら検討しなければならない
今回の様に思いっ切りバグを示していることがあるから

検討した結果無視していいと判断しても、警告自体は消さなければならない
そのままじゃ次のビルドでまた出て、どんどん溜まって「これ検討したんだっけ？？」ってなるから
この警告消しは#pragma warningでいい

2023/02/15(水) 22:42:19.58

警告消すのにバグ仕込むスキルの人なら機能追加してもバグ仕込むだろ

2023/02/15(水) 23:06:20.39

ここは20年前のままで安心した。久しぶりにC++読んだけど、普通に読めたわ。
どうでもよい会話をして、ろくに進まない感じ流石です。

2023/02/16(木) 00:34:35.79

じゃあまた20年後な

2023/02/16(木) 00:46:09.85

https://jp.quora.com/%E9%96%8B%E7%99%BA%E3%81%A7%E3%82%A8%E3%83%A9%E3%83%BC%E3%81%8C%E5%87%BA%E3%81%A6-%E4%B8%8A%E5%8F%B8%E3%81%AB%E8%81%9E%E3%81%8F%E3%81%A8-%E3%81%A1%E3%82%83%E3%82%93%E3%81%A8%E3%82%A8%E3%83%A9%E3%83%BC%E3%82%92
まさにこれじゃん

2023/02/16(木) 02:31:44.69

>>444
問題が発生したら乱数のシードをそのとき使った値で固定する
そしてデバッガの使い方を覚える
https://learn.microsoft.com/ja-jp/visualstudio/debugger/getting-started-with-the-debugger-cpp?view=vs-2022

2023/02/16(木) 07:13:21.97

> この警告消しは#pragma warningでいい

警告警察の主張の本質がこれ

2023/02/16(木) 07:57:43.18

www

2023/02/16(木) 08:05:05.35

>>443
こういうやつが居るから、管理側は「勝手に警告を無視できないRustにしよう」と言い始めるんだよねぇ。
実際、コードの精査の難しい大規模プロジェクトとかだと、無能が成果を出せないという意味で効果的だし。

2023/02/16(木) 08:13:16.28

設計がまともかどうか判断出来ない無能が警告を気にする

2023/02/16(木) 08:15:20.48

>>451
> 検討した結果無視していいと判断
を無視する無能

2023/02/16(木) 08:17:32.72

アホが検討した結果など無意味

2023/02/16(木) 08:20:22.98

>>456
それは
> 警告を消す為にバグを仕込むヤツを何度も見てきた
みたいな職場の話だろw

2023/02/16(木) 08:20:39.33

>>444
まずは>>450。

あと「訳分からないアドレス」というレベルなら生ポインタは使わない方がいいので、すべてshared_ptrに置き替える。
というか、他人の古いライブラリを使わざるを得ない状況でもなければ、生ポインタは禁止にすべき。

2023/02/16(木) 08:24:11.83

別の環境に移植して警告が何千個も出て来たら
わざわざ全部消すの？
アホじゃね？

2023/02/16(木) 08:28:56.23

「検討しました」は解析ツールのコメントに残す物
わざわざコードを変えて消す物じゃない

2023/02/16(木) 10:01:01.26

>>459
消すだろ
てか、何も見ずに警告無視するのかよw

2023/02/16(木) 10:03:35.75

メモリがわからないままC++してもいずれ破綻するのは目に見えてるからな…
shared_ptrを使えば再確保によるポインタの無効化は回避できるかもしれんけど、
そしたら今度は循環参照にはまりそう

2023/02/16(木) 11:32:34.13

>>445
>>446

まさにコレでした。

皆様の叡智に脱帽です。
感謝します。

C++って便利だけど難しい局面がすぐ横にある感じでスリリングですね。
そう感じるのは慣れないうちだけなのかもしれませんが。

2023/02/16(木) 11:42:26.72

>>458

>あと「訳分からないアドレス」というレベルなら生ポインタは使わない方がいいので、すべてshared_ptrに置き替える。

もともとC言語を触っていたので生ポの方が好きなんです。
でも、スマポに統一すべし、という意見には賛成なので、その様に直すつもりではおりますが、
　enable_shared_from_thisを継承せよ
とか、一方で
　コンストラクタ内でshared_from_this()は使うな
とか、色々クリアせねばならない問題もあり、解決には相当な勉強が必要そうで、時間がかかる見込みです。

2023/02/16(木) 12:24:54.96

自分の頭で考えることを放棄してるやつほど
偉そうにしてるやつの言うがままに洗脳されやすい

2023/02/16(木) 12:25:33.04

>>464
スマートポインタ＆参照を使わないならcで十分な気がするなぁ。

むしろcにスマートポインタと参照だけでも追加してほしい。

2023/02/16(木) 12:43:03.84

>>466

C++って何だかカッコいいじゃないですか。
noexceptとかC言語な人には無縁なキーワードが盛り沢山だし、いかにもアタマ良さそうな雰囲気がたまらんのです。

C言語でできることはC++でもできるようになりたいな、とゆるゆる独学している次第です。

2023/02/16(木) 13:36:26.42

人が書いた部分で警告大量に出るから無視してるんだが
お前ら一人で書いてんのか？

2023/02/16(木) 13:38:12.19

一番大事なものをちゃんと持ってるな
応援するぜ

2023/02/16(木) 13:39:41.99

>>468
大量に出る警告には何か原因がありそうなので
それをまず調べる

2023/02/16(木) 13:54:28.24

>>464
そもそもコンストラクタで子供のインスタンスを作らないほうがいいんじゃね？

2023/02/16(木) 14:00:08.48

何のために警告出させてんだよ
端からガン無視する気なら、コンパイルオプションで警告止めちゃえよ

2023/02/16(木) 14:05:54.88

まさにコレでしたって結局どう直したの？

2023/02/16(木) 14:30:11.87

あとchildObjから削除しないなら、ポインタを辿って探索せんでも、
シーケンシャルナンバーでランダムアクセスすればいいじゃんねぇ

2023/02/16(木) 14:32:02.54

ああ、インスタンスデータなんか…すまん忘れてくれｗ

2023/02/16(木) 15:58:03.67

>>466
「だけでも」っていってもそれに連なる諸々の概念がひっついてるから部分的にやるのは難しいんだよな。

C++ のスマートポインタはクラスとして実装されてるから C++ の型システム抜きに
スマートポインタだけ C に移植ってわけにはいかないし、
参照の振る舞いを説明するには値カテゴリを増やして場合分けしなきゃならんし。

2023/02/16(木) 16:08:00.45

ええと、最終的にはファイルから与えたデータに基づいて木構造を構成し、その木構造でナニかしようということを目論んでまして、そうなるとコンストラクタ内で子供のインスタンスを作ればいいんじゃないか、と考えた次第です。

データをあるオブジェクトに喰わせたら、勝手に木構造が出来上がるようにしたかったのです。

で、そのプロトタイプを作る段階でつまづいていた次第です。

とりあえず、皆様のご助言で動くようになったものについては明日以降にw
andboxに貼ります。

引き続きご指導をお願いいたします。

2023/02/16(木) 16:40:39.41

>>463

>C++って便利だけど難しい局面がすぐ横にある感じでスリリングですね。
>そう感じるのは慣れないうちだけなのかもしれませんが

君は C++ を使ってはいけないレベルと言わざるを得ない

2023/02/16(木) 17:06:59.28

std::mapのinsert()すると、std::vectorみたいにキーや値のメモリ再配置って起きる？

2023/02/16(木) 17:34:19.19

>>476
メモリ管理だけコンパイラ側でやるなら、クラスその他諸々は無くても大丈夫じゃない？

2023/02/16(木) 17:44:16.85

>>480
回答どもです！そのようですね。
海外のサイトで調べたら、mapの場合はinsertしても
それ以前に挿入した要素のメモリは移動しないようですね。

2023/02/16(木) 17:51:19.65

最終的にはメモリ領域の所有権に行き着くはずだが
Cでどうやって所有権の貸し出し/譲渡を表現するんだよ

所有者が複数になる場合もあるんだぞ

2023/02/16(木) 18:34:49.77

>>479
C++はmapはB木を赤黒木で実現しているから、アルゴリズム的には、既存の
ノードのアドレス自体は変えずに、ノードのつなぎ方だけを変えるはず。
ソースを見ないと分からないが。

2023/02/16(木) 18:42:26.35

>>482
shared_ptr 相当をコンパイラーが実装するだけでしょ？

2023/02/16(木) 18:43:11.20

>>482
CでできないならC++でできない
対偶はC++でできるならCでできる

2023/02/16(木) 18:43:28.33

>>477
まあ、子供をいくつか作るぐらいなら問題はないかな

ちなみに自分はコンストラクタであまりややこしいことはしないようにしてる
もし大きな処理の結果をもとにインスタンスを初期化したいときは、
全部コンストラクタでやるんじゃなくて、その処理だけを前もって実行してる

2023/02/16(木) 18:46:08.39

std::mapのinsert、emplace、eraseは内部要素へのイテレータを無効化しないことが保証されてる（当然eraseで消した要素そのものは除く）
なおstd::unordered_mapの同名関数はrehashingが起きてイテレータが無効になることがある

2023/02/16(木) 18:59:23.43

>>484
メモリの解放だけじゃなくてデストラクタも欲しくない？
ファイルを閉じたりしてほしい

2023/02/16(木) 19:08:57.32

>>488
関数のデストラクタ（returnするときに必ず呼ぶ処理）が欲しくなることはあるね

2023/02/16(木) 19:35:21.87

>>488-489
そういうのを検討してるみたい
https://news.ycombinator.com/item?id=22866311

2023/02/16(木) 19:56:28.04

>>490
deferいいね
いわゆるfinallyみたいなもんかな
今でもやろうと思えば__cyg_profile_func_exitやdetourがあるけど環境依存で重くてめんどいね

2023/02/16(木) 20:41:32.26

数年前にawsの仕事したとき
g++のバージョンが古くて
unique_ptrを使ってたコードを泣きながら
生ポにしたことがある

2023/02/16(木) 20:57:10.46

バカかw
自分でクラスを作ればいいだろ
スマポなんてめちゃ簡単な仕組みだぞ

2023/02/16(木) 20:58:28.56

>>493
右辺値参照の仕組みがないと上手いこと表現できないよ。

2023/02/16(木) 21:02:17.61

そこはリファレンスカウンタを使ったトラディショナルな方法でやるのよ
速度は少し遅くなるけど

2023/02/16(木) 21:12:06.74

古いコンパイラで無理やり動かすなら#define unique_ptr auto_ptrという手も…

2023/02/16(木) 21:12:18.96

すでに std::unique_ptr で正しく動いているコードであるという前提があるなら
たしかにそれでも致命的な矛盾は起きなさそうに思えるな。

2023/02/16(木) 21:50:41.49

g++なんだから新しいバージョンのをビルドすれば良いじゃん?

2023/02/16(木) 23:12:23.80

>>461
消す為の変更で再評価
アホらし

何も見ずに？
そんなこと誰か書いたか？

2023/02/16(木) 23:27:28.78

warningだらけだとバグに繋がる重要なwarningを見逃す可能性があるから、可能な限り消した方が良いと思う
どうでもいいやつはコンパイルオプションで消しても良いし

2023/02/16(木) 23:46:07.27

>>499
元々は警告無しで移植で警告になったんだろ？
何千個あろうが見直すのは当たり前だし、いずれにせよ評価は必要
まさか警告出まくってるのに評価無しでOkとかしてるんか？

2023/02/16(木) 23:59:12.84

「C/C++ warning一万個全部消してみた」
てタイトルで動画アップして欲しい