C++相談室 part156

**デフォルトの名無しさん** · 2021/05/19(水) 10:55:13.24

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

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/06(金) 14:06:55.11

イテレータのカテゴリ (ランダムアクセス、双方向、片方向) によるが、
イテレータとして求められる要件は (C++11 だと) 24.2 にまとめられている。
https://timsong-cpp.github.io/cppwp/n3337/iterator.requirements

requirements はあくまでも標準においてはこういう前提を置いているという話なんで、
標準ライブラリとの組み合わせを考えなくていいなら厳密に従う必要はない。
組み込み系とかではどうせ標準ライブラリのフルセットなんか提供されないってことも多いだろうし。

**デフォルトの名無しさん** · 2021/08/06(金) 14:25:41.28

>>943
上のやり方と下のやり方でどっちが良いか決めるなら、当然下のやり方だろう

**デフォルトの名無しさん** · 2021/08/06(金) 15:02:59.98

>>943,953
補足
前者はそもそも意味がよーわからん

**デフォルトの名無しさん** · 2021/08/06(金) 20:55:48.69

だれかSOLID原則わかりやすく教えて

**デフォルトの名無しさん** · 2021/08/06(金) 21:09:37.01

Dは重要

**デフォルトの名無しさん** · 2021/08/06(金) 21:15:50.18

依存性逆転…
メンヘラに逆に依存しろってこと？

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

OSAL（Operating system abstraction layer）について教えてくだちい
正しいAPI仕様はどこ見たら良いの？
ぶっちゃけスレッドの生成とJOIN、クリティカルセクション、イベント通知手段、セマフォ、遅延（Sleep）
が使えれば良いぐらいのミニマルな要求なので自力実装しても良いが方言を増やしても仕方が無いし、

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

std::threadつかうかpthread使えば。

**デフォルトの名無しさん** · 2021/08/07(土) 22:28:21.15

これじゃないの？知らんけど
ttps://github.com/nasa/cFS/blob/gh-pages/OSAL_Users_Guide.pdf

**デフォルトの名無しさん** · 2021/08/07(土) 22:38:16.24

お猿って読むのかな？

**デフォルトの名無しさん** · 2021/08/07(土) 23:51:20.36

>pthread
質問しておいてｱﾚですが確かにOSの抽象化はPOSIXじゃいかんのか、とは思いました
ただpthread関連は使いにくいすぐる……
Win32APIでpthreadの互換品を作る事態になったら何のために生きているのかわからなくなりそう……

**デフォルトの名無しさん** · 2021/08/07(土) 23:59:07.20

使いにくいって
学習しろよバカが

**デフォルトの名無しさん** · 2021/08/08(日) 03:38:56.69

RTOS向けのAPIらしいねOSAL
そういう用途で重要な要件を満たせるような仕様になってるのだろう知らんけど

**デフォルトの名無しさん** · 2021/08/08(日) 05:12:10.85

どちらかというとコードの動きが詠めずにコンパイルエラーに頼りまくるバカの方が大問題な気がする

**デフォルトの名無しさん** · 2021/08/08(日) 09:36:28.23

コードの動きを、詠む
風流だな

**デフォルトの名無しさん** · 2021/08/08(日) 09:54:35.44

std::threadを使わない理由を説明してもらわんとアドバイスのしようがないね

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

コードはアートだぞ?

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

コードアートオンライン

**デフォルトの名無しさん** · 2021/08/08(日) 13:32:41.01

プラットフォームごとにスレッド関数がまちまちなことは大した問題じゃないんだが、スレッド同期を考えればstd名前空間のクラスを使うのが今後の最適解になるでしょ

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

コンパイラや標準ライブラリの製作者よりも俺の方が詳しいと確信できる時以外は素直にstdに甘えるべき

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

int a[3] = {1, 2, 3};
for(auto&& b : a) { std::cout << b; }

この範囲for文の「&&」って何者なの？
参照？
autoもautoで、autoはC++11で廃止になったって聞いてたんだけど・・・

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/08(日) 15:50:15.52

>>972
auto は C から引き継いで C++ にも以前からあったキーワードだけれど、
誰も使ってなかったから元の意味を廃止してあらたな意味で使われるようになった。
廃止されたのは auto の以前の使い方であってキーワード自体は廃止されてない。

**デフォルトの名無しさん** · 2021/08/08(日) 16:04:41.80

値の参照値変数を伴ない値参照とでもいうべきか

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

釣りじゃないなら、とりあえず右辺値参照でググって一通り読んでこい
ここで全部説明してると長すぎる

**デフォルトの名無しさん** · 2021/08/08(日) 16:07:11.93

forループとかココらへんはコンパイラの最適化によっては&参照とあんま変わらんよな

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

auto && に関しては右辺値参照とは限らないというのもまたややこしい

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/08(日) 16:16:14.37

>>972
&& は普通は右辺値参照を意味するが、一部の状況では万能参照になる。
(言語仕様上は万能参照とは呼ばれないが通例としてそう呼ぶことが多い。)
初期化子によって左辺値参照か右辺値参照かを自動的に選択するので、
よく理解できてないなら範囲for文をつかうときは && にしておけと入門者に勧める解説はよく見る。
実際、その状況では auto& と書いても結果は変わらない。

**デフォルトの名無しさん** · 2021/08/08(日) 16:53:04.10

>>973
>>978
ありがとう・・・！
メモっとく

**はちみつ餃子** ◆8X2XSCHEME · 2021/08/08(日) 17:22:47.83

>>979
言葉の様子からは昔の C++ (C++03 以前) は使ってたのかな？
と推察するけど、 C++03 と C++11 の間では大きな飛躍があって、
その後も変更は色々あるのでちょっとしたことをいちいち質問するのは効率悪いと思う。

ドキュメントを網羅的にわかりやすく整理しているとてもありがたいサイトがいくつかあって
仕様改定がどういうものだったのかもまとまっているので参考にするといいよ。

https://cpprefjp.github.io/lang/cpp11.html
https://ja.cppreference.com/w/cpp/11

**デフォルトの名無しさん** · 2021/08/08(日) 19:31:37.38

std::threadってなぜかスレッドが実行中かどうかを調べるだけの関数がないんだよね
絶対にあった方が良いと思うんだけどなんか理由があるのかな

**デフォルトの名無しさん** · 2021/08/08(日) 19:40:44.42

joinableだけじゃ足りん？

**デフォルトの名無しさん** · 2021/08/08(日) 19:45:39.50

pthreadsにそういうAPIが無いからなぁ

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

pthread_timedjoin_np()使えばいいじゃない

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

none portableじゃないですかやーだー (でも使う)

標準としては難しそう

**蟻人間** ◆T6xkBnTXz7B0 · 2021/08/08(日) 20:27:26.52

native handleをgetしてWaitForSingleObject使うとか

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

>>985
nandemo portable の略だから大丈夫

**デフォルトの名無しさん** · 2021/08/08(日) 21:39:14.34

普通にミューテックスで排他して状態管理せよ……
だいたいスレッドが動いているかどうかという1 bitだけを外部が欲しがるという用途は（join操作そのものを除き）あんま無く、
キュー的なﾌﾞﾂに対するデータの排他的な出し入れが普通伴うはず……

**デフォルトの名無しさん** · 2021/08/08(日) 21:44:02.93

ミューテックスで数千クロックサイクル浪費するのが嫌という向きは知らん
スピンロックとかdouble-checking lockみたいな対策になるかと思うが絶対安全かつポータブルな
方法というものは無くなる希ガス

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

>>988
速度重視でmap/unordered_mapでコンテナ作ってみたけどやっぱり仕様変更に耐えられるvector/listコンテナ最強的なオチに似たものある

**デフォルトの名無しさん** · 2021/08/08(日) 22:43:58.32

キューへの投入と取り出しがそれぞれ1スレッドだけならミューテックスを使わなくてもアトミック変数だけで排他出来る(OSに仲裁してもらわなくていい)

**デフォルトの名無しさん** · 2021/08/08(日) 23:27:24.23

OSの助けなしにどうやって待ち（と起床）を実現するつもりなんじゃ……

**デフォルトの名無しさん** · 2021/08/08(日) 23:43:25.11

スレッドが実行中か確認したいってどんなときなのかな？
確認したところで次の瞬間には終了してる可能性あるわけじゃん
終了を待機したいならjoinすればいいし実行中をなんのために確認したいのかよくわからん

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

Linuxのpthread_mutexの実装で使われているfutexも競合しないタイミングならユーザランドだけで処理が完結する (OSが仲裁する必要があるのは競合する場合だけ)

> Futex operation occurs entirely in user space for the
> noncontended case. The kernel is involved only to arbitrate the
> contended case. As any sane design will strive for
> noncontention, futexes are also optimized for this situation.
>
> https://man7.org/linux/man-pages/man7/futex.7.html

キューが固定長, 投入スレッド1つ, 取り出しスレッド1つという条件でならアトミック変数2つ(読み出し位置, 書き込み位置)で「競合しない」ように出来るので, OSの仲裁が必要じゃなくなる

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

あと(pthread_mutexのようなネイティブの)mutexはそういう理由で大抵の場合は最速のロック機構になっているので, 自分で作るなら普通にmutex使った方がいいというのは同意
素人(俺とか)の考えたロックフリーデータ構造とか大抵設計か実装かその両方でバグが入る

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

>>989
mutexが遅くてイヤならatomicじゃね？

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

>スレッドが実行中か確認したいってどんなときなのかな？
排他制御付きのキューを自力実装するときまれによくある……
キューがあふれそうになったときpushする側（producer）を待たせる作りにした場合、
popする側（consumer）はデータをpop後、producerが待っていたらその待ちを解除、
待っていなかったら何もしないという判断が居るのでこのためのフラグ
（producer側にpushを継続する意思があるかどうか、またはpush待ち中かどうかを表すフラグ）が居る

producerよりconsumerがいつも速い見込みでキューがあふれない前提（キューが必要に応じていくらでも大きくなる）
だったりその他（待ち解除が条件変数ではなくキューイングされるイベントだったり）だと無くてもよいから
ぜってー必要か、というとﾋﾞﾐｮｰだがあった方がすっきり効率的なコードとして書ける

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

>>996
インターロックドインクリメントはまれによく使う
インクリメントに性交したら排他的操作権を獲得できた証、

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

となるようにインクリメントするカウンタの意味を仕向ける

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

>>998
アンカーミスってねい？

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 81日 23時間 0分 8秒

**1002** · Over 1000

5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php