C++相談室 part157

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

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

**デフォルトの名無しさん** · 2021/08/09(月) 11:24:40.26

前スレの >>997
キューが溢れないようにするのなら
スレッドが実行中かどうかを確認するのではなく
キューサイズを見るほうが確実じゃないですか？

**デフォルトの名無しさん** · 2021/08/09(月) 11:43:30.76

>スレッドが実行中か確認したいってどんなときなのかな？
たとえばゲームでセーブするとき、
メインの処理はブロックしたくないので別スレッドで実行しつつ「セーブ中です」みたいな表示を出し、終了したら消す
みたいな時かな

**デフォルトの名無しさん** · 2021/08/09(月) 11:48:24.98

>>3
それはセーブするスレッドのほうが開始と終了を通知すればよくない？
そうデザインするもんじゃないの？

できないときもあるのかもしれんが。

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

>>4
もちろん方法ならいくらでもあると思うけど、別スレッドのインスタンス1つで全部済むなら、そっちの方がすっきりするし楽でしょ

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

>>4,5
あぁ、いやそうじゃないか
ゲームのあらゆる部分をスレッドセーフで設計すれば良いのかもしれないけど、
ゲームのメインの状態遷移なんてわざわざマルチスレッド化するような重い処理でもないので、
その辺の表示とかはシングルスレッド前提で書いてるわけよ、もちろんそのほうが楽だからw

**デフォルトの名無しさん** · 2021/08/09(月) 12:17:21.54

この「実行中」が実際にタイムスライスが割り当てられている状態を意味しているんであれば
OSにもよるが実装が大変な割に実際に役立つシーンは限られるような。
>>4であればjoinableで十分だろうし。

**デフォルトの名無しさん** · 2021/08/09(月) 12:25:08.93

別スレッド処理の進捗を他スレッドから閲覧するためのパラメータを使っってる時点で、お察し

**デフォルトの名無しさん** · 2021/08/09(月) 12:40:21.77

前スレ997は色々勘違いしてそうな気がする
普通pushしようとしてキューが満杯なら何らかの同期メカニズムで自分を待ち状態にする
pop側はpopしたらその同期メカニズムに対して待ちを解除するだけだからスレッド自体が実行中かどうかなんて見る必要がない

**デフォルトの名無しさん** · 2021/08/09(月) 13:35:16.98

std::condition_variable

**ハノン** ◆QZaw55cn4c · 2021/08/09(月) 13:52:46.20

正直いって pthread の条件変数は私には理解が難しく、私は安易に win32api のクリティカルセッション&シグナルを多用してしまうのです
ただし、スタベーションに陥ることが多々あり、どうもクリティカルセクション・シグナルでは駄目なパターンがあるかもしれない、とヒヤヒヤしています‥‥

**デフォルトの名無しさん** · 2021/08/09(月) 14:01:28.39

>>2
別に
Producer（pushする側）がこれからpushするのを待っている場合、
Consumer（popする側）はキューサイズ（キューの中の要素数）を見ても
Producerが待っているのかどうかの情報を得られない
なぜなら、まだpushしていないからな

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

>>9
>pop側はpopしたらその同期メカニズムに対して待ちを解除するだけ
そういう実現方法も（pop側が行った待ち解除がキューイングされれば）成立する鴨、と>>997にちゃんと書いているもーん

**デフォルトの名無しさん** · 2021/08/09(月) 14:32:36.91

>>5
>>4って新規スレッド1個で全部済むと思うんだけど……

**デフォルトの名無しさん** · 2021/08/09(月) 14:33:19.09

>>13
いや、スレッドの実行状態なんて見てもしゃーないって話
pop後にpush側が実行中だとしてもそのチェック直後にpushするかも知れん
要するにスレッドの実行状態の変化は排他制御できないから意味がないって話
pop前にいちいちスレッドをsuspendしてチェックしてからresumeするとかするならできるかもしれないけどw

**デフォルトの名無しさん** · 2021/08/09(月) 14:34:07.65

std::vectorの部分ベクトルの切り出しって絶対O(要素数)の計算量かかりますよね？

**デフォルトの名無しさん** · 2021/08/09(月) 14:40:14.51

「部分ベクトルの切り出し」とは何かを定義せよ。

**デフォルトの名無しさん** · 2021/08/09(月) 14:47:54.30

こういうの？
std::vector<int> a{ 4, 6, 4, 9 };
std::vector<int> b(a.begin() + 1, a.begin() + 2);

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

参照できればいいのか、コピーがいるのか、切り出し位置はわかってるのか、検索を伴うのか、
その辺の条件もなしに計算量の議論なんて出来んわ

**デフォルトの名無しさん** · 2021/08/09(月) 16:11:11.49

クラスAの内部にクラスBがある (入れ子クラス) として、BからAのメンバにアクセスするテクってないんですかね？
アクセスしたいメンバをstaticにはしたくないです

**デフォルトの名無しさん** · 2021/08/09(月) 16:20:25.36

>>20
AへのポインタをBに定義して、コンストラクタかなんかで渡せばいいのでは？

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/09(月) 16:48:43.56

>>20
クラスの中でクラスを定義しても A の名前空間の中に B が定義されるってだけ。
B のオブジェクトを作っても A のオブジェクトが存在しないなら存在しないオブジェクトのメンバにはアクセスできない。
A のオブジェクト (インスタンス) と B のオブジェクトの間には勝手に関係が出来たりもしない。
関係ないのに関係あるように見えて初心者が混乱してるのはどっかの質問サイトでも見たことがある。
よく理解できてないならまずはクラスの定義を入れ子にせずにやってみるのがオススメ。

**デフォルトの名無しさん** · 2021/08/09(月) 16:52:51.13

>>20
AやBのインスタンスをどう生成してるのよ
>>21の言うようにAへのポインタ持ってたら普通にアクセスするだけでしょ
class A {
public: int i;
class B {
public: B(A* a){ … = a->i; }
}
}
…
auto b = new A::B(new A());

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

>>19
コピーか参照かは１要素あたりの処理量なので
コンテナの計算量には関係ない

**デフォルトの名無しさん** · 2021/08/09(月) 17:00:48.11

絶対レビュー通らないウンココードでよいなら
(char*)this + offsetof(A, b)でなんとかならんのか

**デフォルトの名無しさん** · 2021/08/09(月) 17:33:38.90

class Aをtemplate化して、class BでAを継承すれはメンバにはアクセスできるけど、たぶんそういうことがしないんじゃないんだろうなw
コンテナクラスのイテレータから親クラスインスタンスのメンバにアクセスしたいとかか？

**デフォルトの名無しさん** · 2021/08/09(月) 17:48:31.00

リファレンサを作るときなんか親オブジェクトへのポインタ使うね

**デフォルトの名無しさん** · 2021/08/09(月) 20:07:17.09

>>23
普通にコンポジションで実現できる条件だよな
メルプラネットの奴らも同じこと言いそう

**デフォルトの名無しさん** · 2021/08/10(火) 00:55:38.92

親オブジェクトへのポインタをうっかり共有ポインタにすると循環参照の原因になる(小並感)

**デフォルトの名無しさん** · 2021/08/10(火) 03:53:30.08

+=の引数が1のときは++を呼ぶようにする方法ってありますか

**ハノン** ◆QZaw55cn4c · 2021/08/10(火) 04:41:55.83

>>30
自分でそう書くのがいいのでは？
(n == 1) ? x++ : x += n;

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

>>30
遅くなる可能性があるから気にしない。
コンパイル時に解決できるなら++使っても同じだし、実行時に解決するようだと１かどうかの判定が増えて遅くなる。

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

TCPIPのソケット通信プログラム作ろうと思っているのですが、
コネクションを維持し続ける場合のデメリットって何がありますか？

**デフォルトの名無しさん** · 2021/08/10(火) 12:42:43.27

>>32
後出しになって申し訳ありませんが、*、!=、++、+=、- 辺りが定義されたイテレータを持つ自作のデータ構造を範囲for文で走査することを考えています
それ自体は想定した通りにできたのですが、その範囲for文をomp並列化するとイテレータのインクリメントが ++ でなく +=1 で行われるようになります
で、その自作データ構造では ++ よりも += の方が重い実装になっているので、+=1 よりは ++ の方を使ってほしいです

omp に特有の仕様に思えるので、普通に += の冒頭で引数が1かどうかの分岐を入れることにしようかと思います

ありがとうございました

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

マルチスレッドのキューのサンプルをSTLで作りゃったーしたったわ、
https://ideone.com/bS7rqc

↓ここのC#のサンプルプログラムの移植
// https://atmarkit.itmedia.co.jp/ait/articles/1801/31/news023.html

フラグの必要性は意味を取り違えていたわｻｰｾﾝ、
しかしこれフラグ（runningFlag）無しでやるとしたら終了時にConsumerがいちいちProducerが
join可能か調べる（std::thread::joinable()）ことになってスレッドより先にプログラムした人が終了したくなるお
フラグで済むのに、

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

Windowsのイベントオブジェクトと条件変数の違いまとめ
https://dev.activebasic.com/egtra/2011/09/19/413/

**デフォルトの名無しさん** · 2021/08/10(火) 15:28:07.54

と思ったがやっぱ当初の意味（Producerが待っているのかどうか）のフラグが無いと、
キューが空になった後のnotifyで、1万個あるかもしれない仕事の無いConsumerが次々起床され、
巡り巡ってようやくProducerが起床されるみたいな非効率が生じる余地があるやんけ；；；

やっぱ当初の漏れのフラグ必要という意見で正しかったのかもしんない
漏れは天才なのかもしんない、
かもしんない運転、

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

つかその前に、漏れの天才eyesが改造元とした@IT様のサンプルプログラムに
スレッドのディスパッチ依存で終了できなくなることがあるという恥ずかしいバグを発見した、
論より証拠：
https://ideone.com/NbKdEQ

変更点は、Consumerを1個にして、Producerの側のある個所にsleepを入れただけ
（マクロ CAUSE_STOPPING_FAILURE_BUG で条件コンパイルで有効にしている個所
これでConsumerスレッドが終了できなくなる

対策は、同ソースコードの BUGFIX_STOPPING_FAILURE_BUG マクロを有効にしたら宜しい

天才の判断である

**デフォルトの名無しさん** · 2021/08/10(火) 18:42:35.68

>>34
すみません。この件なんですが、

void operator += (int n){
　if(n == 1){
　　// ここ
　}else{
　　……
　}
}

「ここ」で演算子++を呼びたいときってどう書いたら良いでしょうか
++の中身をコピペしても良いのですが、
this -> ++
みたいなノリで呼び出せた方が都合が良いです

**デフォルトの名無しさん** · 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にはスレッド実行中を調べる機能を付けなかった
本質的に必要な機能ではないと判断したんじゃないの？