C++相談室 part157

**デフォルトの名無しさん** · 2021/08/09(月) 10:57:31.60

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

**デフォルトの名無しさん** · 2021/08/10(火) 19:06:35.71

というわけで最終的な版を貼る、
https://ideone.com/G3XeAg

ProduceとConsumerそれぞれに対する起床条件を分離すた、

日本語ではいくら説明しても一向に理解の光が射さなかったボンクラ学生ﾚｳﾞｪﾙの>>15でも
100行足らずのソースコードなら読めるんじゃないの
知らんけど

**デフォルトの名無しさん** · 2021/08/10(火) 19:11:32.09

>>39
++(*this);
または
this->operator++();

**デフォルトの名無しさん** · 2021/08/10(火) 19:24:28.15

>>41
ありがとうございます
前置/後置の別が自分の中でよく付いていませんが、教えていただいたことに基づいて調べてみます

**デフォルトの名無しさん** · 2021/08/10(火) 19:37:16.72

>>40
で、そこで取れると良い「スレッドの実行状態」って結局何なん？

**デフォルトの名無しさん** · 2021/08/10(火) 20:32:27.09

「スレッドの実行状態とは起こす対象のスレッドが具体的に何をしているか、や
とれると良い、ではなく取ることが必須や

なぜなら、WIN32APIのイベントは1回だけキューイングされるので投げたら投げっぱなしでもそのうち
受け取ってもらえるが、（pthread系統のしくみである）状態変数はそうではなく、
起床信号を投げつける前に相手が信号をキャッチ可能なのか（待ちに入っているのか）知る必要がある

なお、イベントのキューイングの有無によって話が変わる旨はすでに書いたある（>>997
上記のことを書いてあるというのに理解もせずにしつこく同じことを繰り返し言ってきたのが>>15

**デフォルトの名無しさん** · 2021/08/10(火) 21:01:08.35

>「スレッドの実行状態とは起こす対象のスレッドが具体的に何をしているか、や

それって具体的にどういうものを想定しているんだろう。
もともとの話はstd::threadに追加したい機能だったと思うけど、この説明だけじゃ全然想像がつかない。

**デフォルトの名無しさん** · 2021/08/10(火) 22:11:54.85

なんか元にしたコードにまだ問題があった気配orz
MAX_QUEを1にすると高い頻度でProducerとConsumerが両方待ちに入ってしまいハングアップする、、、
対策版は多分これ↓で良いんｼﾞｬﾏｲｶ……
https://ideone.com/at7ef9
（何が起きていて、どうしてこれで対策なのかはコメント参照、

>>45
>>「スレッドの実行状態とは起こす対象のスレッドが具体的に何をしているか、や
>それって具体的にどういうものを想定しているんだろう。
今回のサンプルコードでは具体的にはありません（ｷﾘ
しいて言えば!runningFlagならConsumerが自身を待ちに入れない（∵Producerがもう起こしてはくれない
というのはあるが、>>35に書いた通りフラグ以外の方法でも同じ判定を行える

言っていることにブレがあるのは今日pthreadを勉強したばっかりやし、
天才なので大目に見てﾎｽｲ、

**デフォルトの名無しさん** · 2021/08/10(火) 22:25:26.70

でもまあコメントを読んでいただければ、pthread系のしくみだと
起こす対象のスレッドが何をしているのかについて常に配慮が居るということをご理解いただけるのではないかと思う
今回はたまたま見込みでnotifyして話が通るからスレッドの実行状態を表す変数が具体的に生じなかっただけ

**デフォルトの名無しさん** · 2021/08/10(火) 22:47:59.90

すみません。
自作プログラムが特定のPCだけ同じ場所でntdll.dllのエラーで止まるのですが、何が原因と考えられるでしょうか？
他のPCでは問題無く進み、エラーを起こすPCのメモリにも異常は見つかりませんでした。

**デフォルトの名無しさん** · 2021/08/10(火) 23:06:02.90

>>48
未初期化変数があって無効なアドレスにアクセスしたとかじゃね

確実なことを言うためには例外コードが知りたい
あと問題の箇所のソースコードも

**デフォルトの名無しさん** · 2021/08/10(火) 23:24:57.75

ソースはすみません、ちょっと出せないです
エラーコードは0xc0000005でしま

**デフォルトの名無しさん** · 2021/08/10(火) 23:30:51.53

はいメモリアクセス違反ですね
デバッガでがんばって調べてね

**デフォルトの名無しさん** · 2021/08/10(火) 23:32:41.60

あざす

**デフォルトの名無しさん** · 2021/08/10(火) 23:34:52.75

他の言語にはスレッド実行中か判定するAPIあるしstd::thread作った人達だってそのくらいのこと知ってたでしょ
boost::thread時代にそういった要望もあっただろうし
それでもあえてstd::threadにはスレッド実行中を調べる機能を付けなかった
本質的に必要な機能ではないと判断したんじゃないの？

**デフォルトの名無しさん** · 2021/08/10(火) 23:44:13.15

スレッドそのものの終了状態を知る需要はあまりなく、スレッド内で行われるユーザー定義処理が終わったかどうかが重要だからでしょ

**デフォルトの名無しさん** · 2021/08/10(火) 23:50:54.98

>>47
>起こす対象のスレッドが何をしているのかについて常に配慮が居るということをご理解いただけるのではないかと思う

それがwaitで待っている状態かそうでないかを意味しているんだとしたらそれは正しくない。
チェックした次の瞬間にwaitする可能性もあるわけなんで。

**デフォルトの名無しさん** · 2021/08/11(水) 01:24:38.33

>>55
>チェックした次の瞬間にwaitする可能性もあるわけなんで。
無い
チェックと処置をmutexによる単一のロック期間の中でアトミックに行うのだから>>55は全くナンセンスな問題提起

>>53
thread::joinable()があることは書いたもーん

**デフォルトの名無しさん** · 2021/08/11(水) 01:28:13.23

問題だらけだった@IT様のサンプルコードだけど
これまともに実装するとしたら条件変数をConsumer x NとProducerの計N+1個設けて、
さらにConsumerそれぞれが待っているのか動いているのかを示すフラグを設けて
全部動いていたらProducerを待たせる
Consumerが待ちに入る直前にProducerにnotifyかけてキックする、みたいな
スレッドプールを手で実装するみたいな話になりそう……

でここまでやるならConsumerの状態変数が実体としてコードに現れる

**デフォルトの名無しさん** · 2021/08/11(水) 01:44:51.77

何を主張したくてごちゃごちゃ言ってるのかさっぱり見えないし途中で変わったりしてるようでもあるので、
続けるならそもそもどういう主張をしているのかいっぺんまとめてほしい。

**デフォルトの名無しさん** · 2021/08/11(水) 08:13:22.18

>>56
std::threadから取得する「スレッドの実行状態」の話をしているんだが。
それをmutexでアトミックに操作する？？？

**デフォルトの名無しさん** · 2021/08/11(水) 09:56:36.95

C++ってiPhoneアプリ作れる？

**デフォルトの名無しさん** · 2021/08/11(水) 12:11:01.26

>>60
作れる。QtやUnityで。

**デフォルトの名無しさん** · 2021/08/11(水) 12:13:04.52

iPhone専用でいいなら、そもそも、Appleが提供している標準開発環境だけでも
C++で作れる。
iPhoneの標準開発言語はSwiftだが、SwiftはC++と相互に呼び出せるから。
ただし、それだけだと面倒かも知れない。
そういう場合は、Qtで作れば。

**デフォルトの名無しさん** · 2021/08/11(水) 12:52:41.17

std::vector で insert するとき
v.insert(v.begin() + n, hoge);
とかすると思いますが
このときの n の型って何ですか？
int ?
unsigned long ?
size_t ?
あとこういう型を調べるときって
vector のどことか iterator のどこを調べると判りますか？

**デフォルトの名無しさん** · 2021/08/11(水) 13:03:37.14

22.3.11 Class Template vector
23.3.11.1 Overview
3
using iterator = implementation-defined; //see 22.2
となっていて、std::vector::iteratorの型は処理系定義だね

現物で調べるならVisual Studioの[F12]が簡単だと思う

**デフォルトの名無しさん** · 2021/08/11(水) 14:01:06.77

>>59
ID:W7aMf5pX = ID:qkzYmFIh はスレッドの状態として
・その瞬間の状態: Run/Ready/Wait/...
・終了してるかどうか: thread::joinable で取得できる
を混同してる（わざとかどうかは知らんが）
あと条件変数とスレッドの状態も混同してるので
> チェックと処置をmutexによる単一のロック期間の中でアトミックに行うのだから
なんて意味不明なことを言い出してる
これ以上続けるなら>>58が言うように本人にまとめてもらわないとますますグダグダになるだけだと思う

**デフォルトの名無しさん** · 2021/08/11(水) 14:15:21.29

std::thread使ったことないから自信無くて黙ってたけど
thread::joinable()って別にスレッドが終了したかの判定ではなくない？
他スレッドでの実行を管理していない状態の（空の）オブジェクトが作れるから、そういう空の状態かどうかの判定関数であるように読めた
fstream::is_open()的な……

**デフォルトの名無しさん** · 2021/08/11(水) 14:23:39.88

>>63
暗黙変換があるから n の型としてはすべての整数型があり得る。
基本的には、生ポインタで実装される可能性もあるものなので ptrdiff_t だと思っておけばいい。
正確な型が必要なら difference_type とか iter_difference_t とかで調べればわかる。

**デフォルトの名無しさん** · 2021/08/11(水) 14:56:54.71

>>66
> thread::joinable()って別にスレッドが終了したかの判定ではなくない？
もちろん正確にはスレッド変数がスレッドと関連づいてるかどうかの判定
彼は>>35辺りでスレッド終了判定と思い込んでるフシが見られるのでそう書いてある

**デフォルトの名無しさん** · 2021/08/11(水) 15:08:15.20

>>67
ありがとうございます

>>64
>現物で調べるならVisual Studioの[F12]が簡単だと思う

それで判るのは自分で定義した可能性の高い n の型ですよね？
知りたいのは v.begin() + n に要求されている型のことです

**デフォルトの名無しさん** · 2021/08/11(水) 15:28:09.46

>>68
やっぱりそうですよね
じゃあ>>65の2個目の中黒の内容については引用？？

例のコードではjoinableなんか使ってないし>>7が書いたのを試しもせずに真に受けた感じなのかな

**デフォルトの名無しさん** · 2021/08/11(水) 15:29:37.31

>>69
v.begin().operator+(n)とでも書き換えてoperator+で[F12]しろということではなかろうか

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/11(水) 15:43:43.66

>>69
ランダムアクセスイテレータには difference_type (またはそれに暗黙に型変換出来る何か) を足すことができて、
その結果の型はイテレータ自身と同じ。
https://timsong-cpp.github.io/cppwp/n3337/random.access.iterators

**デフォルトの名無しさん** · 2021/08/11(水) 15:52:06.26

>>66
>thread::joinable()って別にスレッドが終了したかの判定ではなくない？

実際にそのスレッドが実行中か待ちか終了しているかを表しているわけじゃないことはその通り。
で、たぶんそれで十分だからjoinable以上の機能は用意されなかった。

ところがそれが役に立つ場面があるよと言ったのが前スレ>>997
このスレの>>35と同一人物かどうかは知らんが。

**デフォルトの名無しさん** · 2021/08/11(水) 15:54:21.05

>>71
そういうこと

**デフォルトの名無しさん** · 2021/08/13(金) 02:38:58.72

char *mystrcat(char *a, char *b)
{
// a に b を結合して
return a;
}
みたいな関数を
shared_ptr<char *> mystrcat(shared_ptr<char *> a, char *b)
{
// a に b を結合して
return a;
}
みたいな実装にするとき参照カウンタが無限に増える心配はありますか？
shared_ptr<char *> mystrcat(weak_ptr<char *> a, char *b)
の方が良いのでしょうか？
あと
hoge = mystrcat(NULL, hage); みたいに使用されるときは
mystrcat の中で new してコピーして new したポインタを返したいのですが問題ありませんか？

**デフォルトの名無しさん** · 2021/08/13(金) 02:56:15.88

>>75
shared_ptr<char *> だと、たぶんやりたいことはできてない。
shared_ptr<char[]> の間違いなんだろうと思うけど、この時点でコンパイルすら試してないのが見て取れる。
参照カウンタの動きは挙げられたソースだけじゃ読み取れないけど、無限に増えるなんてことはまず起こらない。
shared_ptr の use_count() で取れるから試してみればいい。
問題があるかどうかも自分で試してみればいい。何を「問題」とするかこちらにはわからないし。

**デフォルトの名無しさん** · 2021/08/13(金) 09:51:25.31

個別の事例で心配ない、問題ないという返答を得たとしても理解が深まらない。
shared_ptr のメカニズムを理解できないと何度でも心配になるだけ。

どういう理屈で参照カウンタが無限に増えると思ったのかを説明してみて。
考え方に間違いがあれば指摘するよ。

**デフォルトの名無しさん** · 2021/08/13(金) 11:40:57.21

char *mystrcat(char *a, char *b)
{
// a に b を結合して
return make_shared<char []>(a);
}
じゃいかんの
しらんけど

**デフォルトの名無しさん** · 2021/08/13(金) 14:30:41.36

適当な質問者と適当な回答者
ゴミとゴミをあわせてもゴミはゴミ

**デフォルトの名無しさん** · 2021/08/13(金) 18:27:35.00

shared_ptr<char []> c(a);
return &c[0];

**デフォルトの名無しさん** · 2021/08/14(土) 08:57:21.71

namespaceってどのように使うものなんですか？
存在意義がわからない。

**デフォルトの名無しさん** · 2021/08/14(土) 09:56:52.00

>>81
大規模ライブラリを設計するときに重宝する機能
詳しい経緯は知らないがグローバルスコープの識別子名の競合を回避する目的で導入されたと思う
namespaceがないC言語時代にいくつからの大規模ライブラリを組み合わせたときに何が起きがちだったか知っていれば納得出来るはず

どんな機能もそうだが、自分が必要と思った時に使えば良いだけだよ
存在意義が分からないならお前にとっては必要のない機能ということだから、気にする必要はない

**デフォルトの名無しさん** · 2021/08/14(土) 10:45:32.18

Cにnamespaceが導入されないのは何故なんです？

**デフォルトの名無しさん** · 2021/08/14(土) 10:48:18.77

>>75
蛇足だけど、理由がなければshared_ptr<char[]>の代わりにshared_ptr<str>にしたほうがいいな。
// a に b を結合して
return a
がすごく怖い。

**デフォルトの名無しさん** · 2021/08/14(土) 11:05:20.03

>>83
namespace

**デフォルトの名無しさん** · 2021/08/14(土) 11:07:32.50

>>83
namespaceを導入するということは :: だのマングリングだのADLだの色々付いてくるからな

**デフォルトの名無しさん** · 2021/08/14(土) 11:09:29.69

>>83
マングリングが必要になってしまうから、ってのが大きいだろうな。

**デフォルトの名無しさん** · 2021/08/14(土) 11:16:28.29

C++を本格的に学ぼうと思って本を数冊買ったが、言語仕様が複雑な割には知らないとエラー起こすだろ
っていう項目が多くてビビってる。あと、きれいなコードを書くのに尋常じゃない経験が必要なんじゃないか

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/14(土) 11:34:44.96

全部知らなくてもわかる部分だけでまあまあ使えるというのが C++ の方針なので
最初から綺麗に書こうと思わないほうがいいと思う。
綺麗に書けないと考えるより汚くても普通なんだと考えると気が楽でしょ。

**デフォルトの名無しさん** · 2021/08/14(土) 11:41:20.52

構造体の中に関数が書ける、というコアの中のコアな部分の使い方・考え方さえ憶えるというより慣れれば
あと他のは追加で憶えればいいってだけ

ただし、その追加が今とんでもない量になってて
禿本の初版からやってる俺でさえ憶えきれなくてもがいてる

**デフォルトの名無しさん** · 2021/08/14(土) 11:47:19.11

いいかい学生さん、他人のコードをな、他人のコードをいつでも読めるくらいになりなよ。
それが、人間えら過ぎもしない貧乏過ぎもしない、ちょうどいいくらいってとこなんだ。

**デフォルトの名無しさん** · 2021/08/14(土) 13:15:40.19

>>88
エラーが起こったらまだマシだな
イクときはだまってイクからな

**デフォルトの名無しさん** · 2021/08/14(土) 13:23:47.33

他人のコードを読んで学ぶのに一番向いてない言語だよなC++は。

**デフォルトの名無しさん** · 2021/08/14(土) 13:48:08.91

オーバーロードが悪いんですよ

**デフォルトの名無しさん** · 2021/08/14(土) 14:19:07.48

>>93
perl に比べたらまだマシ

**デフォルトの名無しさん** · 2021/08/14(土) 17:38:14.88

perlは文法が複雑なだけで、知らない書き方に出会ったらそれを調べればいい。
C++はコードの断片だけ見ても動作を想像できないことがあるから厄介。

**デフォルトの名無しさん** · 2021/08/14(土) 18:45:25.98

ぶっちゃけスマートポインターって面倒だよね？

**デフォルトの名無しさん** · 2021/08/14(土) 18:54:41.75

スマポに限らず面倒なテンプレートクラスだらけだよ

**デフォルトの名無しさん** · 2021/08/14(土) 18:56:25.80

ぶっちゃけどんなときに面倒だと感じる？

**デフォルトの名無しさん** · 2021/08/14(土) 19:58:29.67

スマートポインタに慣れたら自分で解放しなきゃならないmallocやnewの方がよっぽど面倒

**デフォルトの名無しさん** · 2021/08/14(土) 20:04:27.45

>>98
クラステンプレートな

**デフォルトの名無しさん** · 2021/08/14(土) 21:41:33.25

autoが便利すぎて反復子の型を明示していたころのC++には戻れそうにない

**デフォルトの名無しさん** · 2021/08/14(土) 22:18:40.56

11よりは前は書きたくないね

**デフォルトの名無しさん** · 2021/08/15(日) 00:20:00.85

QZ案外初心者やなw
でも言ってることは全面的に賛成
ポインタや参照、クラス等の基本を抑えてからでないとスマポや、C++11からの要素(右辺値参照含む)の使い方もわからんと思う

**デフォルトの名無しさん** · 2021/08/15(日) 06:30:24.80

autoもそうだが ->戻り型やusingエイリアスもだね
typedefには戻れない

**ハノン** ◆QZaw55cn4c · 2021/08/15(日) 09:34:41.47

>>103
確かに罰ゲームの一種になるかも‥‥私も少しずつ採り入れていくようになっていますし

>>104
もう永遠の初心者だと思っていますので、ならば、初心者の気持ちがわかるコメントでコントリビュートするのもありかと、ふつふつと

**デフォルトの名無しさん** · 2021/08/15(日) 14:37:33.11

>>104
なにこれ？

QZ「～」
名無し「QZ初心者やな。でも賛成」
っていう自演をやろうとしたが、一個目のQZのレスをコテつけ忘れで投稿してしまったのか？
あるいははちみつとQZを同一視している？
いずれにせよとんでもない皮肉だな笑

**ハノン** ◆QZaw55cn4c · 2021/08/15(日) 15:29:20.83

>>107
いちいち反応しなくてもよろしい

>>108
つ鏡

**デフォルトの名無しさん** · 2021/08/15(日) 17:48:49.44

>>107
それ、以前俺が書いたカキコを勝手にコピペされただけだよ

**デフォルトの名無しさん** · 2021/08/15(日) 17:52:57.61

クッソささやかな体面保つためだけの自演も失敗とか本当にみじめないきものだな…

**デフォルトの名無しさん** · 2021/08/15(日) 18:00:11.34

これか。どういう意図のコピペなんだろうかね。
https://mevius.5ch.net/test/read.cgi/tech/1594615908/595

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/15(日) 18:12:10.32

>>111
ブラウザが記憶してたのを再度投稿してしまったとかそういうしょうもないミスじゃないかな。
JaneStyle のメモ欄で以前のレス内容を貼り付けたりそのまま投稿できたりする機能があるよ。

**デフォルトの名無しさん** · 2021/08/15(日) 18:15:56.65

だから勝手にコピペされたっつってんだろクソ餃子め
>>104は俺じゃないから
3行目を引用したかったのか変な自演したかったのかは知らん

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/15(日) 18:21:10.51

>>113
すまぬ。
本人によるものでなくてもなんらかの意図でメモしてたものを
うっかりということは起こりそうなデザインにはなっているので、
意図によるものでなくただのミスじゃねという部分が主旨。

**デフォルトの名無しさん** · 2021/08/15(日) 18:25:05.27

(´･ω･`)そうか

**デフォルトの名無しさん** · 2021/08/16(月) 15:03:34.95

>>107
なんで突然はちみつ？

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/16(月) 15:17:56.99

>>116
現時点でこのスレにコテ (＋トリップ) 付きで書き込んでいるのがはちみつ餃子と QZ だけだからだろ。

**デフォルトの名無しさん** · 2021/08/16(月) 19:18:38.03

(unsigned) intの数を受けたら何らかの演算をして (unsigned) long longの数を返す、(unsigned) double の数を受けたら何らかの演算をして (unsigned) long double の数を返す、みたいのって逐一オーバーロードを書くしかないですよね？
要するに、大きいデータ型に格上げして何らかの演算をして返したいってことなんですが

**ハノン** ◆QZaw55cn4c · 2021/08/16(月) 19:34:40.64

>>118
演算子のオーバーロードにしても関数のオーバーロードにしても、返り値の型を指定することは出来なかったかと
思いつくのは演算前の引数にあてがうキャストのオーバーロードですね

**デフォルトの名無しさん** · 2021/08/16(月) 19:55:44.02

引数をテンプレートにして、引数Tのビット数と整数型かどうかを見て、一段階大きい型を戻り値の型とすることは出来る

**ハノン** ◆QZaw55cn4c · 2021/08/16(月) 20:16:27.49

>>120
pls kwsk

>>119 普通にコンストラクタのほうがいいですか‥

**デフォルトの名無しさん** · 2021/08/16(月) 21:59:33.60

ごめん、めんどい・・というか
sizeof(T)と整数or浮動小数点数のbool(is_integralとかで取る)を受け取る構造体の中でtype(戻り値の型)を定義、とか考えてたけど
結局Tのサイズごとに特殊化するから手間変わらん、てのと
関数の中身が長くなるなら、オーバーロードした関数からテンプレート版(戻り値の型と引数の型がテンプレート)を呼んで、そこで中身書けば一回で済むね

**デフォルトの名無しさん** · 2021/08/16(月) 23:40:17.97

>>118
ふつうに long long や long double を引数で受け取るって演算して返す関数を書けば
その通りの動作になりそうなんだけど、何か気に入らないの？
２つ関数書くのが嫌だってこと？（やりたいことが少なくとも２通りあるのに？）

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/17(火) 00:20:49.88

大きい型というのは一段階大きい型という意味なのかな？
型の大きさは処理系 (アーキテクチャ) 依存だし、
ポータブルに書こうと思ったら思ったよりも面倒な感じ。

主要なアーキテクチャだけ対処できればいいなら
8 → 16 → 32 → 64
の拡張が出来ればいいので用意するパターンはそんなに多くはない。

ちなみに Windows の long double は double と同じ大きさだよ。

**デフォルトの名無しさん** · 2021/08/17(火) 02:08:49.72

何種類か関数があるならtraitsを作成するのもありじゃない？

**デフォルトの名無しさん** · 2021/08/18(水) 04:11:58.97

関数読んだら1段階デカい型が返ってくるなんて使う側でも面倒が起きそうだな

**デフォルトの名無しさん** · 2021/08/18(水) 04:23:43.76

まぁ、戻り値にも使用できるテンプレートの追加の型を関数内でconstexpr的に定義出来たらいろいろ面白いことが出来そうではあるなw

**デフォルトの名無しさん** · 2021/08/19(木) 15:14:48.98

話は勝手に変わるけど、
{ 1,2,3,4,5 }
のような書き方が initializer_list になる場合とならない場合を全て知りたいけど
良く分からないので、誰か教えてくれまいか。

**デフォルトの名無しさん** · 2021/08/19(木) 15:21:14.80

>>128
的を外しているかも知れないけど、その書き方をAと書くとすると、どんな文脈でも
A自体が最初に必ずいったん initializer_list<T> になった後にそれぞれの文脈で処理されるという
ことなのか、あるいは、
auto x {・・・};
auto x = {・・・};
auto x = TYPE {・・・};
func({・・・});
のようにいろいろな書き方や文脈が変わるとそもそも A は意味論的にすら
initializer_list<T> を経由せずにそれぞれ独自に解釈されて処理される
のか、どちらなんだろう？？？？

**デフォルトの名無しさん** · 2021/08/19(木) 15:24:22.53

あと、良く分からないのが、
struct CPerson {
・・・
CPerson(int a, int b, int c) {・・・}　//(1)
};
とあった場合、
1. CPerson a{1,2,3};
2. CPerson a={1,2,3};
3. CPerson a=CPerson{1,2,3};
のどれを書いても多分、(1)が呼び出される気がするけど、
struct CPerson {
・・・
CPerson(initializer_list<int> a) {・・・}　//(2)
};
と書いた場合、1,2,3 はやはり全て(2)が呼び出されるのだろうか？

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/19(木) 16:38:31.07

>>129
> initializer_list<T> を経由せずにそれぞれ独自に解釈されて処理される

initializer_list を経由しないことはある。
おおざっぱには initializer_list を受け取る文脈では initializer_list だし、
推論が必要なとき (auto やテンプレート) にも initializer_list に推論されるが、
そうでないときは initializer_list を経由しない。

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/19(木) 16:48:40.83

>>130
優先順位がある。
1. 2. 3. のいずれも initializer_list としての解釈が「優先される」。
initializer_list を受け取るコンストラクタが存在しなければ
三引数のコンストラクタが呼出される。

**デフォルトの名無しさん** · 2021/08/19(木) 16:54:44.67

>>132
なるほど。確認だけど、
1. CPerson a{1,2,3};
2. CPerson a={1,2,3};
3. CPerson a=CPerson{1,2,3};
4. CPerson a(1,2,3);
5. CPerson a=CPerson(1,2,3);
は、どれも3引数のコンストラクタで受け取ることは可能ということでOk?
1. 2. 3. は、initializer_list を受け取るコンストラクタでも受け取ることが可能？
4. 5. は、initializer_list を受け取るコンストラクタでも受け取ることは不可能？？

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/19(木) 17:08:54.15

>>133
(initializer_list を受け取るコンストラクタが無ければ) いずれも 3 引数のコンストラクタが起動されるが、
5. は 3 引数のコンストラクタでオブジェクトを構築した上で a にコピーする。
(コピーコンストラクタ、またはムーブコンストラクタが起動する。)
ただし RVO が有効な状況ではコピーやムーブはが省略されるので 5. は 4. と同じ。

そしてこの場合には関係ないが、波括弧によるコンストラクタ起動では引数の暗黙の型変換を許さない
といった重要な違いがある。

(initializer_list を受け取るコンストラクタが有る状況でも) 4. と 5. は initializer_list とは解釈されない。

**デフォルトの名無しさん** · 2021/08/19(木) 17:14:28.81

>>134
1. 2. 3. は、initializer_list を受け取るコンストラクタでも受け取ることが可能？
4. 5. は、initializer_list を受け取るコンストラクタでも受け取ることは不可能？？
については？

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/19(木) 17:19:50.55

>>135
それが区別できるだけのルールは既に提示したつもり。

**デフォルトの名無しさん** · 2021/08/19(木) 17:21:53.70

>>136
すまん。もう一度明言してくれるとありがたい。

**デフォルトの名無しさん** · 2021/08/19(木) 17:27:44.09

template <int N> void test(std::bitset<N>& arg);

int main()
{
std::bitset<1ull> lvalue;
test(lvalue);
}

これ、Nが推定できないのはなんで？

**デフォルトの名無しさん** · 2021/08/19(木) 17:28:31.68

すまん、自己解決
unsigned long long Nが正解だった

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/19(木) 17:30:02.71

>>135
> 1. 2. 3. は、initializer_list を受け取るコンストラクタでも受け取ることが可能？
はい。可能です。

> 4. 5. は、initializer_list を受け取るコンストラクタでも受け取ることは不可能？？
はい。不可能です。

ところで >>134 で、オブジェクトを構築した上でコピーするのは 5. と述べたけど 3. もそうやな。