C++相談室 part166 (626ﾚｽ)
上下前次1-新
571: デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 07:34:20.02 ID:0gfRmGh70(2/3) AAS
Q1については、他スレッドから見てm_ulBiasのreadが
m_mutex.lock()期間（クリティカルセクション）内のm_ulAbortReasonBmpへの書き込みより
先行するようなことが起きるとクリティカルセクションの意味が消失するから保証される
Q2についてはm_ulBiasのreadがプロセッサコアにどう計画されるかわからないから
m_ulAbortReasonBmpへの書き込みの後になることは一般に保証されない、
が、現在人類が手にしているクリティカルセクションの実装（lock期間に入るときと出るときそれぞれで
いかなるreadもwriteも無差別にバリアする）により、lockしないスレッドから見ても順序が実質的に保証される、
でおk？
572(1): デフォルトの名無しさん (ﾜｯﾁｮｲ cda1-2ooF) [sage] 2025/08/04(月) 08:33:59.43 ID:0gfRmGh70(3/3) AAS
訂正orz、
Q2のケースでは保証されない
現在人類が手にしているクリティカルセクションの実装（lock期間に入るときと出るときそれぞれで
いかなるreadもwriteも無差別にバリアする）のが真実だとしても、
それはm_ulAbortReasonBmpやm_ulBiasをwriteする側のスレッドがwrite順を守るというだけで、
m_ulAbortReasonBmpやm_ulBiasをreadする側のスレッドにはメモリバリアするコードが無いから
read順を好きに計画され、writeした順でreadされる保証が無い
573: デフォルトの名無しさん (ﾜｯﾁｮｲ 5f79-1HMX) [sage] 2025/08/04(月) 08:41:31.47 ID:3rv0HXUI0(1) AAS
>ちょっ
かわいい
…舐めてんの？
574: デフォルトの名無しさん (ﾜｯﾁｮｲ e3b9-Psuq) [sage] 2025/08/04(月) 16:26:39.26 ID:Tt4A7oMm0(1) AAS
>>572
コードに無いreadの話が入ってくるのが意味がわからない
聞きたいことはwriteの順番が保証されるかではないのか？
writeの順番は保証される
575: デフォルトの名無しさん (ﾜｯﾁｮｲ 7f4e-W9J6) [] 2025/08/10(日) 21:35:26.79 ID:gXfPFnW/0(1) AAS
男きたああああああああああ
576: デフォルトの名無しさん (ﾜｯﾁｮｲ d322-PSkW) [] 2025/08/22(金) 07:16:07.15 ID:iDw/vpGA0(1/3) AAS
初心者だけど、
Pythonみたいにreturnを複数ってできないの？
touple使うくらい？
577: デフォルトの名無しさん (ﾜｯﾁｮｲ 5bfd-Srv/) [sage] 2025/08/22(金) 07:35:30.89 ID:8V9ySHS/0(1) AAS
複数の値を一つにまとめればいいだけ
返す型次第
578: デフォルトの名無しさん (ﾜｯﾁｮｲ 5b85-ZBQJ) [] 2025/08/22(金) 08:55:40.38 ID:LQncxxKI0(1) AAS
複数返したいならタプルでいいんじゃない
引数に出力渡すのが多いと思うけど
579(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) [sage] 2025/08/22(金) 10:34:20.59 ID:s1oN92u00(1/3) AAS
Python でも返却値として複数の値を返すことは出来ない。
Python で return にカンマ区切りで複数の式を書くとタプルになってる。
受け取る側で複数の変数を書いておけばタプルが分配 (unpack) されたりはするけど……
関数が返却しているのはあくまでもひとつの値という理屈。
複数の値 (いわゆる多値) を関数が返せる言語はそれほど多くない。
LISP 系は多値のサポートがあることが多いけどそれ以外だと Go くらいじゃないかな？
(マイナー言語だとわからんけどよく知られている主要な言語にはほとんどないと思う。)
シンタクス的には C++ で return にカンマ区切りで複数の値を渡そうとしたとき、
つまり
return 1, 2, 3;
というように書いたときのカンマはカンマ演算子として解釈される。
カンマ演算子は左辺の結果を捨てる (評価はする) ので 3 だけが返却値になる。
C++ で複数の値をひとまとめにするには波括弧で囲む記法があって
std::tuple<int, int, int> foo(void) {
return {1, 2, 3};
}
というように書けるんだが……
この波括弧は初期化の記法であってタプルのリテラルというわけではないのでそこんところは注意。
580(2): デフォルトの名無しさん (ﾜｯﾁｮｲ d1d6-uNzz) [sage] 2025/08/22(金) 10:49:05.94 ID:hiXhYkKD0(1/2) AAS
>>579
受け取る方はどうやって受ければいいのですか？
私の頭だと構造体で返せばいいかな なんつて
581: デフォルトの名無しさん (ﾌﾞｰｲﾓ MMb3-Srv/) [sage] 2025/08/22(金) 11:06:34.54 ID:HM+/3rtsM(1) AAS
>>580
構造化束縛で取り出すのが楽
構造体を定義する手間が気にならないならそれでもいい
582: デフォルトの名無しさん (ｽﾌﾟﾌﾟ Sdb3-im2P) [sage] 2025/08/22(金) 11:49:05.11 ID:ZeYv0pFNd(1) AAS
C++も昔に比べれば随分と楽になった
583: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) [sage] 2025/08/22(金) 12:07:46.82 ID:s1oN92u00(2/3) AAS
>>580
タプルは単にタプル型の値なので普通に受け取れる。
auto bar = foo();
といったように書ける。
タプルから要素を取り出すのは std::get<0>(bar); といった要領になる。
受け取るときに変数に分配するやり方もあって
atuo [r1, r2, r3] = foo();
というようにも書ける。
これを構造化束縛という。
おそらくこれが期待していたものなんじゃないか？
この記法はタプルに限らずタプルライクな型、配列型、データメンバが全て公開直接メンバであるような型などであれば使える。
584: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) [sage] 2025/08/22(金) 12:23:44.06 ID:s1oN92u00(3/3) AAS
もし使っているコンパイラが MSVC なら MSVC のデフォルトでは C++14 になってるはずだからそのままだと構造化束縛を使えないかも。
(構造化束縛は C++17 から。)
私は MSVC を利用していないから具体的なやり方は知らんけど必要なら適当に設定してね。
585: デフォルトの名無しさん (ﾜｯﾁｮｲ d1d6-uNzz) [sage] 2025/08/22(金) 17:49:52.20 ID:hiXhYkKD0(2/2) AAS
どもです。構造化束縛ね。なんか聞いた事あるかなという程度だった。
使うかなぁ・・・
586: デフォルトの名無しさん (ﾜｯﾁｮｲ c1ad-F95I) [sage] 2025/08/22(金) 21:41:35.66 ID:NcnZjMQ+0(1/2) AAS
構造体ほど強いまとまりではなく、返り値だけのゆるいまとまりなら構造化束縛の方が便利だけどねぇ
587(1): デフォルトの名無しさん (ﾜｯﾁｮｲ d38d-PSkW) [] 2025/08/22(金) 21:41:55.58 ID:iDw/vpGA0(2/3) AAS
>>579
std::tuple<int, float, long> foo(void) { return {1, 2.1, 99}; }
atuo [r1, r2, r3] = foo();
って書いたら、
r1に1が、r2に2.1が入るの？
まあそれでもいいかな
PythonからC++に移植中で、ちょっと読みづらいと思ったので…
588: デフォルトの名無しさん (ﾜｯﾁｮｲ d38d-PSkW) [] 2025/08/22(金) 21:45:40.16 ID:iDw/vpGA0(3/3) AAS
>>587
まあでも、なんで複数returnにしないのかね？
outの引数が多すぎだわ
589: デフォルトの名無しさん (ﾜｯﾁｮｲ c1ad-F95I) [sage] 2025/08/22(金) 22:11:20.77 ID:NcnZjMQ+0(2/2) AAS
Python でも複数return ってできないと思うけど？
カンマ演算子でタプルを作って返してるだけでしょ
590(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 51a5-VfJp) [sage] 2025/08/22(金) 23:03:10.61 ID:5NhjtIih0(1) AAS
そうやね。Pytnonのカンマは、言語仕様上は演算子とは一応区別されているみたいだけど、感覚的には演算子だよね。何で演算子ではないんだろうというのはちょっとした疑問だけど（1, みたいなのを後置演算子と呼ぶのはちょっと変とかそういうことかな？）
591(1): デフォルトの名無しさん (ﾜｯﾁｮｲ d1d6-uNzz) [sage] 2025/08/23(土) 01:30:59.35 ID:ynkOCuVA0(1) AAS
//こんな感じ？
#include <iostream>
#include <tuple>
using namespace std;
tuple<int, float, long> foo() {
return {1, 2.1, 99};
}
int main(){
auto [r1, r2, r3] = foo();
cout<<r1<<endl;
cout<<r2<<endl;
cout<<r3<<endl;
return 0;
}
592(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 7101-Im4V) [sage] 2025/08/23(土) 01:57:32.43 ID:HIKpDy1T0(1/2) AAS
構造化束縛を調べてみたら
fooの返り値はtupleでなくてもpairで返しても良さそうなんだけど
どういうルールなの? キモい
593(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-oZZu) [sage] 2025/08/23(土) 02:11:02.56 ID:CHT0FIec0(1/2) AAS
>>592
それがタプルライクの概念。
std::tuple_size の特殊化など、いくつかのインターフェイスを実装すればタプルと同じように扱ってくれる仕組み。
それとは別に配列の場合とか、全てのデータメンバが公開直接メンバなクラスもありということになってるのは単純に箇条書きで数種類のパターンを示す形になってる。
それほどパターンが多くはないがひとつの原則で表せるわけでもない。
594: デフォルトの名無しさん (ﾜｯﾁｮｲ 7101-Im4V) [sage] 2025/08/23(土) 02:22:04.99 ID:HIKpDy1T0(2/2) AAS
>>593
>それほどパターンが多くはないがひとつの原則で表せるわけでもない。
キメぇよw
595: デフォルトの名無しさん (ﾜｯﾁｮｲ 2b10-fgJ7) [sage] 2025/08/23(土) 09:17:36.36 ID:rBYkDYvT0(1) AAS
構造的部分型とか静的ダックタイピングって呼ばれるやつ？
上下前次1-新書関写板覧索設栞歴
あと 31 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s