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

**デフォルトの名無しさん** · 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];