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/04(土) 22:20:06.17

JavaはStringBufferInputStreamとかいうのがあったけどdeprecatedされてるね

2023/02/04(土) 22:39:15.87

>>346
そう、stringstreamのつもりだった。
書き間違えた。

2023/02/05(日) 20:22:13.30

>>340
どうでもいいけどostreamはC++だぞ

2023/02/05(日) 22:02:55.86

>>353
レスにはostreamの定義なんて
書いてないんだから、
そりゃどうとでもとれるでしょ
定義がどうなんて
どうでもいい話だから
無視してるだけだよ💩

2023/02/05(日) 22:15:41.89

↑ 流石にこれはなにかの病気を疑わざるを得ないな

2023/02/05(日) 23:11:05.45

おかしいな、C言語の<<には左シフトの意味しかないはずだが

2023/02/05(日) 23:16:38.70

そもそも、C++のSTLにstd::ostreamがある。

2023/02/06(月) 11:10:20.13

>>327
stdin から ABCDEF を入力して、stdout にABC を出力するらしい例。
なお、実際には全く確認してない。

[方法1]
// 文字列変数 a の段階で3文字に切り詰められ、ABC だけが入ってくるらしい。
string a;
cin >> setw(3) >> a;
cout << a;

[方法2]
// 文字列変数 a には、ABCDEF が入るが、出力は最初の 3 文字になるらしい。
string a;
cin >> a;
cout << setw(3) << a;

2023/02/06(月) 13:24:21.21

とりあえず変数名をostreamにするのはやめなよ

2023/02/07(火) 12:29:25.49

>>340
だから自前のバッファで操作してから書き込めばいいじゃんって話
ストリー厶の意味がわかってないんじゃない
サンプル例題ならともかくもっと実用的なアプリを使うようになったら当然そうなるしそんなとこほじくってるよりもメモリ上で操作すれば簡単だって話

2023/02/07(火) 13:30:35.63

ABCEFGのDが抜けてるのが気になって夜も眠れない

2023/02/07(火) 15:26:01.77

いつもの人かな？自由研究楽しそうだねー！

2023/02/07(火) 19:29:46.00

聞いてるのも答えてるのもいつもの天才くんだろ
お人形遊びなら他所でやってね

2023/02/07(火) 20:46:11.42

この言語、constメンバ関数じゃなくてmutableメンバ関数だったらよかったのにと思いました。
あとnoexceptから普通に例外飛ばせるのなんとかしてください。

2023/02/08(水) 00:16:04.31

try/catchが重いのもなんとかしてほしい

2023/02/08(水) 12:51:56.02

>>365
今は try はそんなに重くない。

2023/02/08(水) 14:01:54.37

>>366
tryを使う場合、その関数の冒頭で、exception handler(←名前は忘れました)の
アドレスを fs:[xxx] 見たいな場所に退避したり、新しいアドレスを入れたりする
プロローグコードが挿入されるので、例外が全く発生しない場合でも、
少し遅くなる。

2023/02/08(水) 14:04:21.50

重いつーより設計の悪さが残念
C++11でC++98より「マシ」になったけど
まだまだ垢抜けてない

2023/02/08(水) 14:31:26.00

そうか？
他の言語触るほど良く出来てるなと感心するけど

2023/02/08(水) 15:04:01.92

>>367 それは昔のコンパイラの話でしょ。現行だというなら具体的なコンパイラを挙げてね。

2023/02/08(水) 17:48:16.42

x86-64は速い
x86-32は遅い

2023/02/08(水) 19:21:58.71

>>370
テストしたのは数カ月前だが、使ったコンパイラは VS の大分古いバージョンだった。
だから現状どうなってるかと言われれば分からない。

2023/02/08(水) 19:41:50.12

>>372
[補足]
その時にネットで検索したら、(確か)IBMのコンパイラだけは、
例外処理を行なう関数でも、追加プロローグが必要なくて、例外が発生しない
ときには全くオーバーヘッドが無い、ということだった。

VC++だと、例外処理を使う関数には以下の様なプロローグとエピローグが追加されると
思う。記憶に頼っているので大体こんな感じだった、という程度で、本当は
間違っているかも知れない。
push fs:[xxxx]
mov fs:[xxxx],その関数の例外ハンドラのアドレス
・・・
pop fs:[xxxx]

2023/02/08(水) 19:45:44.31

>>367
誤: アドレスを fs:[xxx] 見たいな場所に退避したり、新しいアドレスを入れたりする
　プロローグコードが挿入されるので、
正: fs:[xxx]の中身をスタックに保存した後、fs:[xxx]に新しい例外ハンドラの
　アドレスを入れるプロローグコードが挿入されるので

2023/02/08(水) 19:53:05.57

3レスも使って具体的な情報ゼロの無能乙

2023/02/08(水) 20:11:13.99

その程度のコードが気になるほど小さな処理を例外で囲むのはおよし

2023/02/08(水) 21:14:42.08

std::string_viewじゃダメ？

2023/02/08(水) 23:14:10.46

実験もせずに聞くのもアレですが
　std::array<short, 100> x;
に対して
　*(unsigned long long*)&(x[0]) = 1ULL << 63;
とかやってもアライメント的に問題は無いの？

2023/02/08(水) 23:43:16.66

問題ありそうなのでこんな感じにしたわ；；；
const static int NECONV = (sizeof(uint64_t) - 1) / sizeof(short) + 1;
union LargeInt {
　　short m_small[NECONV];
　　uint64_t m_large;
};
static void writeLargeInt(const uint64_t x, std::array<short, NE>& arr) {
　　LargeInt u;
　　u.m_large = x;
　　for (int i = 0; i < NECONV; i++) {
　　　　arr[i] = u.m_small[i];
　　}
}

2023/02/09(木) 00:00:46.36

エンディアンでググれ

2023/02/09(木) 00:46:46.54

>>379
アラインというか、言語仕様上の保証という意味では最後に書き込んだ供用体メンバ意外から読むのは未定義という解釈が一般的だよ。
未定義と直接に書いてあるところもないんだけど出来ると書いてあるところもないのでこういう場合は未定義と解される。
(ただしスタンダードレイアウトで初期シーケンスが共通している箇所については OK 。)
m_large に書き込んだなら m_small として読むべきではない。

大抵の処理系では拡張として OK にしているけど細かい制約は場合によるから問題があるかないかは
処理系の都合をきちんと検証しないとわからん。

特にハードウェア寄りの仕方のない状況を除けば避けれるものなら避けたほうがよくはある。

2023/02/09(木) 08:04:31.16

>エンディアンでググれ
えっ

>言語仕様上の保証という意味では最後に書き込んだ供用体メンバ意外から読むのは未定義
えっ；；；

LARGE_INTEGER共用体 (winnt.h)が使える環境でMicrosoft社製コンパイラでビルドする場合は未定義でないものとする、、、
LONGLONGとDWORDとLONG間でしか保証されないとか言われたら知らん、、、

2023/02/09(木) 08:22:03.41

>>382
未定義って言われたことに対して特定の処理系の仕様を挙げて何がしたいの？

2023/02/09(木) 08:27:19.15

>>379
union定義しなくても
temp >>= (sizeof(short)*CHAR_BIT);
でループ回せばよくね

2023/02/09(木) 12:07:03.43

未定義な環境なんかないんだから
C++の規格的に未定義とかどうでもいいじゃん
どうせ特定の環境でしか動かさないコードだろうし

2023/02/09(木) 12:18:07.59

#ifで環境とエンディアンで切ってしまえ

2023/02/09(木) 14:57:32.77

>>385
未定義な「環境」？

2023/02/09(木) 18:23:51.05

特定の環境を想定してるのに、それを書かずに環境依存の質問するってほとんど釣りだよな

2023/02/09(木) 20:52:22.51

>>387
俺も思った
パワーワードだねｗ

2023/02/09(木) 21:21:46.36

おまいら読解力ゼロかよ

2023/02/09(木) 21:25:28.79

自分の意見主張を伝えるのは自分の責任
伝わらないのを人のせいにしたり人格攻撃したからって伝わりはしない
無駄で愚かな行為だ

2023/02/09(木) 21:29:41.32

ばか

2023/02/10(金) 12:00:14.43

CHAR_BITってC++でもレガシーじゃないの？

2023/02/10(金) 12:35:42.19

「レガシーである」の定義が不明。

2023/02/10(金) 12:57:47.33

例えばnumeric_limits<double>::infinity()を使うべきところでHUGE_VALを使うと
このジジイは・・・てなるようなこと

CHAR_BITを使うとこのジジイは・・・ってなる人は何使ってるのかって

2023/02/10(金) 13:11:57.08

numeric_limits<unsigned char>::digits なんだろうけど、圧倒的に記述が煩雑で
CHAR_BIT のほうが書きやすく読みやすいいから、「このジジイは・・・」と思う人が居ても
使えるところでは気にせず使えばいいかと。

2023/02/10(金) 13:27:44.87

#if で切り分けるのに使う定数はマクロで定義されていないといけないんで使いどころはある。

2023/02/10(金) 14:22:36.26

>>396
numeric_limits<unsigned char>::digitsか・・・何かやだな
１バイトのビット数は実行環境そのものが持つ特性なので
unsigned charと特定の型識別子を書きたくない

>>397
if constexprというのもあるね

2023/02/10(金) 14:41:42.45

>>398
if constexpr は文を書けるところじゃないと使えないんで定義 (宣言) を切り替えるようなことができない。
この手の切り替えは割とごそっと切り替えることになると思うのでマクロは要るよ。

2023/02/12(日) 14:56:19.98

template <class T , unsigned int pos , unsigned int len = 1>
struct bit_mask{
static constexpr T mask = ~( ~static_cast<T>(0) << (len) ) << pos;
// その他の処理
}

特定のビットをマスクする処理がしたくて↑のようなテンプレートクラスを作成したのだけど
warning: left operand of shift expression '(-1 << 1)' is negative [-fpermissive]
の警告が出てしまう

この警告が符号あり整数型を左シフトしてはいけないというのは分かるので、Tが必ず符号なし整数型であることを明示したいのだけどどうしたらいいだろう？
特殊化すると符号なしのバイト幅毎に処理を描かないといけなくなるし、もっと簡便なほうほうがあったりするのでしょうか？

2023/02/12(日) 14:59:59.76

>>400
std::is_unsigned

2023/02/12(日) 16:21:40.75

>>400 ((static_cast<T>(1) << len) - 1) << pos じゃダメかな？

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でいい

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