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/01/29(日) 23:11:23.60

>>302
一部の例外を除いては、「コピー初期化」とは、= が書いてある初期化で、
「直接初期化」とは、= が書いて無い初期化、だといわれている。
但し、沢山例外があって、
T x = T(a);
などは、直接初期化なんだそうだ。
また、return a などは、コピー初期化、なんだそうだ。
記憶に頼っているので間違っているかも知れない。

2023/01/29(日) 23:20:25.89

コピコンか代入か明示するためのexplicitよ

2023/01/30(月) 01:17:26.91

>>302
コンストラクタはどれも直接初期化に使えるコンストラクタだけど
一定の形式を満たすものはコピー初期化の文脈「でも」使えるってだけ。

>>303
> T x = T(a);
> などは、直接初期化なんだそうだ。

これについて形式的にはあくまでもコピー初期化の一種ということになる。
https://timsong-cpp.github.io/cppwp/n4659/dcl.init#15
その上でコピーの省略が起きて結果的には直接初期化と同じ挙動になる。
https://timsong-cpp.github.io/cppwp/n4659/class.copy.elision#1

2023/01/30(月) 16:11:51.36

記憶に頼って書くけど、
1. 1つの引数を持つコンストラクタは、explicit修飾することが推奨されている。
2. explicit指定が無いと、そのつもりは無い「ひょんな場所」で勝手に変換コンストラクタとして
　利用されてしまうことがある。特に関数に引数を渡す場合に起き易いらしい。
3. CPerson::CPerson( CPerson &rPerson ) は、同じ型を単純にコピーする
　コンストラクタであるから、そもそも型の変換はしないので変換コンストラクタでなく、
　「コピー・コンストラクタ」と言われる。
4. つまり、CPerson::CPerson( AAA &rAAA ) のような場合に

2023/01/30(月) 16:18:21.06

>>306
[誤送信してしまった。スマソ]
4. つまり、CPerson::CPerson( AAA const &rAAA ) や CPerson::CPerson( int &rX )
　のような場合に explicit 指定することが推奨されていたと思う。

T x = T(a);

の場合、「C++のからくり」のような昔の解説書だと、最適化に任されているのではなく、
特別処理されているようなニュアンス(?)で、T x(a) と同じだと書いてあった。
もし、特別処理されてないと考えた場合、= の部分だけに着目すれば、T::T( T const &rX ) という
コピーコンストラクタの呼び出しと意味論的には考えて考えられなくも無い。
そうするとそこは「変換コンストラクタ」ではなく「コピーコンストラクタ」が使われることになる。
コピーコンストラクタはいくら使っても速度が遅くなる以外は劣化やデータの変化が無いため
無害と言えば無害。なので、explicit が付いていてもいなくても余り関係が無いような気がする。

2023/01/30(月) 16:24:16.09

>>307
[補足]
void f(T x);
に対して、
U a;
f(a);
と書くと、実引数aが仮引数xに渡される時の動作は、「コピー(?)初期化」と考えられて
いる。もしかしたら言葉は正しく無いかもしれないが、少なくとも「直接初期化」には
分類されないということ。
そしてexplicitが付いて無いコンストラクタは、このような初期化に対しては用いられ
ないことが保証されると書いてあったと思う。

2023/01/30(月) 16:25:22.84

>>308
[訂正]
誤: そしてexplicitが付いて無いコンストラクタは、このような初期化に対しては用いられ
　　ないことが保証されると書いてあったと思う。
正: そしてexplicitが付いている無いコンストラクタは、このような初期化に対しては用いられ
　　ないことが保証されると書いてあったと思う。

2023/01/30(月) 16:26:12.39

>>309
[再訂正]
誤: そしてexplicitが付いている無いコンストラクタは、このような初期化に対しては用いられ
　　ないことが保証されると書いてあったと思う。
正: そしてexplicitが付いているコンストラクタは、このような初期化に対しては用いられ
　　ないことが保証されると書いてあったと思う。

2023/01/30(月) 16:50:51.20

>>304
explicit指定の主な役割は、変換コンストラクタにexplicit修飾しておくことで
「変換コンストラクタが知らず知らずのうちに勝手に使われてしまう事」
を防げる、ということだったと思う。

2023/01/30(月) 16:53:41.85

regexやthreadのexplicitが邪魔

2023/01/30(月) 17:25:41.99

>>306
explicit を付けることは推奨されているわけじゃない。
推奨している人もいるけど普通は必要に応じて使い分けるよ。
明らかに変換を意味しないようなコンストラクタになっちゃうこともあるから気を付けろという程度の話。

たとえば vector は size_t を受け取るコンストラクタがある (指定サイズ分の大きさになる) がそれには当然 explicit が付いてる。
整数が vector に変換されるのは明らかにおかしいから。
char* から string への変換みたいな自然な変換では困らないし、あるほうが便利。

>>307
> 特別処理されているようなニュアンス

かつてはその場合はコピーの省略が許される (しなくてもよい) という仕様だった。 (今の仕様だとコピーの省略が必須。)
コピーコンストラクタは必ずしもコピーをするだけではなくなんらかの副作用を引き起こしても良いので
コピーの省略の有無によってプログラムの意味が変わってしまう。
プログラムの意味を変えない範囲で処理系が行う通常の「最適化」とは異なるという意味では特別扱いだ。

2023/01/30(月) 17:35:07.72

難しいなぁ。。。
ubuntu の　g++って 11.1以降だから、c++23だったのね。
すご　って思いました。

2023/01/30(月) 19:37:46.73

C++2bはまだドラフトだよ

2023/01/30(月) 20:58:31.18

>>313
>たとえば vector は size_t を受け取るコンストラクタがある (指定サイズ分の大きさになる) がそれには当然 explicit が付いてる。
>整数が vector に変換されるのは明らかにおかしいから。
>char* から string への変換みたいな自然な変換では困らないし、あるほうが便利。
なるほど。そうだったのか。
勉強になりました。

2023/02/02(木) 23:34:11.97

C++やるとどんな言語も使えるとか言うけどNode.jsも数時間あれば使いこなせるの？
あれは言語じゃないでしょって言われそうだがjavascriptともhtmlとも違くて別言語に思えるんだけど

2023/02/02(木) 23:52:01.04

誰が言ってるの？

こっちでやるべきだと思うぞ
https://mevius.5ch.net/test/read.cgi/tech/1427572389/

2023/02/03(金) 00:10:02.14

C++出来ます‼ってのはC言語上がりのなんちゃってﾁｬｿも含まれるから一概には言えない

2023/02/03(金) 00:27:17.07

>>317
C++ を使っていれば低レイヤの事情やシステム全体の関連を知る機会があるし、
言語処理系がどう実装されるのか (低レイヤの視線から見てどう動くのか) を知っていれば
常識的な言語デザインの感覚がわかる。 (言語仕様を類推しやすい。)
C++ を使いこなしている状況からなら色々と理解しやすいという効果がないとは言えない。

ただ、あくまでも C++ を使いこなせるようになる過程で言語自体以外にも身につくことがあるという部分が効いてくるので
C++ の言語仕様の知識はそれほど役に立つわけではないし、さすがに数時間で Node.js を使いこなせるということはない。

2023/02/03(金) 00:44:48.46

quoraとか知恵袋とかブログで「Cの次はC++をやればオブジェクト指向身について更にCから派生した言語が主流だからどんな言語も直ぐ理解できる」みたいなの多いよ
だからこのスレの人達ならNode.jsも余裕なのかなって

>>320
学ぶ過程の色んな経験が生きるって事か。そりゃそうだよね

2023/02/03(金) 01:31:41.47

>>321
JavaScript は C 風の外観を持ってこそいるけど動的型、かつ、プロトタイプベースであるという点で
根本的に異なるメカニズムなわけでこういうのを「C から派生」と呼んでよいのかどうか……。

2023/02/03(金) 07:32:32.82

よく使う言語と比べて在るもの無いもの違うわけで
ちゃんと理解しようとしたらそれなりに時間がかかるでしょ
気軽に使いこなすとか言葉にしてると怖いおじさんに怒られるぞ

2023/02/03(金) 08:03:03.43

そもそも理解しやすいと使いこなせるは別の概念やろ

2023/02/03(金) 09:08:55.43

vector<int>& a = c, b = c;
としたときに、bがcの参照になりませんでした。
&が後ろにかかるからかと思って
vector<int> &a = c, &b = c;
としても結果が変わりませんでした。
vector<int> &a = c;
vector<int> &b = c;
とすればやっと期待通りの動作になりました。
参照の宣言と初期化は複数をカンマで区切って一行で書くことは不可能なのでしょうか？

2023/02/03(金) 09:24:27.07

え？コンパイラなに使ったの？
> vector<int> &a = c, &b = c;
> としても結果が変わりませんでした。
処理系ぶっ壊れてんのかな

2023/02/03(金) 12:28:10.97

ｃ言語スレで質問したのですが
スレ違いとのことでしたので
改めて質問致します。

c言語の標準入出力ストリームの
本当に基本的なことなんですが
わからずに困っています。
教えてください。

std::ofstream stream;

ostream << "ABCEFG";

この入力した文字列の"ABCEFG"を
右側3文字を削除して"ABC"にするには
どうすれば良いのでしょうか？

2023/02/03(金) 12:36:10.39

カーソルをEのところに持ってきてDeleteキーを3回押す
またはカーソルをGの右の"の上に移動してBSキーを3回押す

2023/02/03(金) 13:21:17.85

>>327
質問の意味が分かりにくい。
それだと入力ではなく出力になっている。
出力したものを取り消すのは基本的に難しい。

2023/02/03(金) 13:24:04.52

>>329
[補足]
std::string str = "文字列";
の場合、
str.substr(開始位置, 取り出す長さ);
で部分文字列を作れるので、
std::string str = "ABCEFG";
の場合、
std::string str2 = str.substr(0, 3);
で str2 に "ABC" が入る。

2023/02/04(土) 10:43:22.05

>>330
回答ありがとうございます。

あれから自分でも調べて
seekp()でファイル内位置を移動するなど
試してみたのですがうまくいきませんでした。
(修正の方向はあっていると思うのですが・・)
やはり>>330さんの言う通り、テキストの削除は難しくする
何かわかりませんがそういう思想があるみたいに感じました。

そこで自分も細かい編集は別に改めて行って
結果をまとめてstreamに出力する方法に切り替えました。
結果はOK、どうもありがとうございました。

tstring_t str = _T("ABCDEFG");
str.erase(str.size() - 3);
stream << str;

2023/02/04(土) 11:10:24.50

>>331
それは環境依存の機能だと思う
UNIXだとmmapとか?

2023/02/04(土) 11:41:36.65

>331
seekp seekg
tellp tellg
読み込み用と書き出し用でポインタが二つあるので
自分で思ってるのと違う場所になってるのかも
方向性はあってるはず
間違ってたらすまん子

2023/02/04(土) 14:37:50.00

>結果をまとめてstreamに出力する
これで済むなら、これこそが正道
必要のない出力をして後から切り詰めるなんて愚の骨頂
そうしなきゃならない理由があるならしょうがないけど

2023/02/04(土) 16:23:00.83

>>331
テキストじゃなくてファイルの削除でしょ
そういう細かい言い間違いが多いから伝わりにくい文章になってると思う
ファイルに出力する前にメモリー上で編集済ますのは当たり前でファイルアクセスにはメモリよりも時間がかかるから
そういった基本を知ってたほうがいいプログラムを作れるよ

2023/02/04(土) 17:43:09.03

>>335
いやファイルじゃなくてテキストですよ
右側3文字を削除って書いてるじゃないですか
何かの病気・・？

2023/02/04(土) 17:45:16.88

アホの謎の上から目線

2023/02/04(土) 19:15:57.04

>>336
ひょっとしてファイル上に出力した状態をテキストと呼んでるのか

メモリ上かファイル上かの区別でそんな呼び方はしない
思想とかじゃなくてメモリとファイルにはそういう性質があるってだけ
早とちりの激しい人のようだな

2023/02/04(土) 19:36:14.65

お前も人に言い間違い云々とか言う前にファイルの削除とか書くなよ...
せめてファイルのテキストから削除とか書かないと意味わからんだろ

2023/02/04(土) 19:47:05.93

>>338
いや全然違うよ、もっと基礎的な話で
C言語の標準入出力ストリームでのテキスト出力の話をしているの。
(C++の文字列クラス std::stringとはまた別)

>>327の
ostream << "ABCEFG";
はテキストの書き込み処理だけど、
これをやっても内部のバッファに書き込まれるだけで
HDDファイルなどの真の書き込み先には書き込まれないの。

//ostream << std::fflush;
仮に上の関数を呼ぶことで初めてHDDファイルなどに書き込まれるの。

んで、入力されてまだフラッシュされていない文字列"ABCEFG"を
右側3文字を削除して"ABC"にするには
どうすれば良いのでしょうか？
ってのが私の質問なんです。
OK？

2023/02/04(土) 20:05:08.56

std::printってなんすか？鬱陶しいstream要らなくなりますか？？

2023/02/04(土) 20:22:02.19

>>340
std::flushは呼び出し後にバッファがフラッシュされることを保証するだけで、書き込みをするタイミングは未規定(pstreamの勝手)
ostreamはoperator<<が呼ばれたそばから全部書き出してもいいし、バッファを半分ずつとか書き出してもいいしそれはostreamの自由
「入力されてまだフラッシュされていない」なんていう状態はostreamが教える義理はないし真っ当な方法では外からは観測できないしするべきでもない
ましてそれを弄くろうなんて考えるのがカプセル化を無視した間違った考え方だ

2023/02/04(土) 20:26:28.53

なんだろね。std::formatだけでは効率が悪かったのかな？

2023/02/04(土) 20:26:47.52

>>340
C++のSTLには、ファイルではないstreamの中に、そういう機能を持つものがあり、
atoi()の代わりに用いる例が出ていた。
それは入力と出力が可能なstreamで、文字列を出力しておいて、整数型として
入力することが出来る。
それが出来るということは、語尾を削除することも出来そう。

2023/02/04(土) 20:59:53.67

全く確認できてないが、。
stringstring s;
s << "ABCDEF";
string s2;
s >> setw(3) >> s2;
で s2 に "ABC" が読み込めるかもしれない。
誰か確認して候。

2023/02/04(土) 21:06:47.02

>>345
-stringstring s;
+stringstream s;
で読める

2023/02/04(土) 21:10:37.97

>>345
[追加]
(2)
std::ofstream ostream;
ostream << setw(3) << "ABCEFG";

(3) C++ 20 以降限定になるが、
std::format() を使う。

2023/02/04(土) 21:44:35.26

>>340
＞んで、入力されてまだフラッシュされていない文字列"ABCEFG"を
＞右側3文字を削除して"ABC"にするには
＞どうすれば良いのでしょうか？

"ABC"しか入力（ストリームに対する出力）されないようにするのが筋じゃねえの？
何がしたいのか

2023/02/04(土) 21:50:32.61

そういう感じの質問こそAIに聞くと的確な答が返ってきそう

2023/02/04(土) 21:51:53.73

ストリームの出力を後からいじれたらそれはストリームじゃない
ただのバッファだ

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 じゃダメかな？