C++相談室 part166 (691ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1: sage (ﾜｯﾁｮｲ 8732-NXaD) 04/26(土)10:34 ID:pbPDl6lv0(1/2) AAS
!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること
次スレは>>980が立てること
無理なら細かく安価指定
※前スレ
C++相談室 part165
2chｽﾚ:tech VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured
565: (ﾜｯﾁｮｲ 915f-YjA1) 07/14(月)20:04 ID:CQ+aGKeG0(3/5) AAS
>>563
ありがとう。Sleep(0)が何をやっているかはわかっている
566: (ﾜｯﾁｮｲ 915f-YjA1) 07/14(月)20:05 ID:CQ+aGKeG0(4/5) AAS
>>561のwhile中を空にする（Sleep(0)しない） ＞ while中でSleep(0)する ＞ while中でSleep(1)する（時間単位を1msにして待ち時間を1ms縮める）
という具合にCPU占有率が上がる。精度は落ちるがSleep(1)を入れた方がCPUの負荷は減るので、何となく安心する。
567: (ﾜｯﾁｮｲ 915f-YjA1) 07/14(月)20:06 ID:CQ+aGKeG0(5/5) AAS
>>561のwhileの中でSleep(0)しつつ準ビジー状態を強行するのがどれだけハードに悪影響なのか、その辺りの実績経験を盗みかった。卑しい盗人を助けてくれ下さい
568: (ﾜｯﾁｮｲ 7001-jjSx) 07/15(火)00:13 ID:KEPxDdxR0(1) AAS
C++スレ的にはthis_thread::yieldかと思ったんだが
569: (ﾜｯﾁｮｲ 6268-3HIJ) 07/15(火)04:24 ID:4J45BJq00(1) AAS
>>561
グラフィックのAPIは何使ってる？
何と比べて安定したのかしらんけどそのやり方でディスプレイの出力と同期できるわけないのわかる？
570: (ﾜｯﾁｮｲ cda1-2ooF) 08/04(月)06:40 ID:0gfRmGh70(1/3) AAS
ちょっ質問なのですが
unsigned long m_ulAbortReasonBmp;
std::mutex m_mutex;
std::atomic<unsigned long> m_ulBias;
に対し、
m_mutex.lock();
m_ulAbortReasonBmp |= fooBmp; // (1) : m_mutex.lock()期間内
m_mutex.unlock();
m_ulBias.store(barVal, std::memory_order_release); // (2) : m_mutex.lock()期間外だがm_mutex.lock()期間の後
としたとき、
省2
571: (ﾜｯﾁｮｲ cda1-2ooF) 08/04(月)07:34 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) 08/04(月)08:33 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) 08/04(月)08:41 ID:3rv0HXUI0(1) AAS
>ちょっ
かわいい
…舐めてんの？
574: (ﾜｯﾁｮｲ e3b9-Psuq) 08/04(月)16:26 ID:Tt4A7oMm0(1) AAS
>>572
コードに無いreadの話が入ってくるのが意味がわからない
聞きたいことはwriteの順番が保証されるかではないのか？
writeの順番は保証される
575: (ﾜｯﾁｮｲ 7f4e-W9J6) 08/10(日)21:35 ID:gXfPFnW/0(1) AAS
男きたああああああああああ
576: (ﾜｯﾁｮｲ d322-PSkW) 08/22(金)07:16 ID:iDw/vpGA0(1/3) AAS
初心者だけど、
Pythonみたいにreturnを複数ってできないの？
touple使うくらい？
577: (ﾜｯﾁｮｲ 5bfd-Srv/) 08/22(金)07:35 ID:8V9ySHS/0(1) AAS
複数の値を一つにまとめればいいだけ
返す型次第
578: (ﾜｯﾁｮｲ 5b85-ZBQJ) 08/22(金)08:55 ID:LQncxxKI0(1) AAS
複数返したいならタプルでいいんじゃない
引数に出力渡すのが多いと思うけど
579(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) 08/22(金)10:34 ID:s1oN92u00(1/3) AAS
Python でも返却値として複数の値を返すことは出来ない。
Python で return にカンマ区切りで複数の式を書くとタプルになってる。
受け取る側で複数の変数を書いておけばタプルが分配 (unpack) されたりはするけど……
関数が返却しているのはあくまでもひとつの値という理屈。
複数の値 (いわゆる多値) を関数が返せる言語はそれほど多くない。
LISP 系は多値のサポートがあることが多いけどそれ以外だと Go くらいじゃないかな？
(マイナー言語だとわからんけどよく知られている主要な言語にはほとんどないと思う。)
シンタクス的には C++ で return にカンマ区切りで複数の値を渡そうとしたとき、
つまり
return 1, 2, 3;
省8
580(2): (ﾜｯﾁｮｲ d1d6-uNzz) 08/22(金)10:49 ID:hiXhYkKD0(1/2) AAS
>>579
受け取る方はどうやって受ければいいのですか？
私の頭だと構造体で返せばいいかな なんつて
581: (ﾌﾞｰｲﾓ MMb3-Srv/) 08/22(金)11:06 ID:HM+/3rtsM(1) AAS
>>580
構造化束縛で取り出すのが楽
構造体を定義する手間が気にならないならそれでもいい
582: (ｽﾌﾟﾌﾟ Sdb3-im2P) 08/22(金)11:49 ID:ZeYv0pFNd(1) AAS
C++も昔に比べれば随分と楽になった
583: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) 08/22(金)12:07 ID:s1oN92u00(2/3) AAS
>>580
タプルは単にタプル型の値なので普通に受け取れる。
auto bar = foo();
といったように書ける。
タプルから要素を取り出すのは std::get<0>(bar); といった要領になる。
受け取るときに変数に分配するやり方もあって
atuo [r1, r2, r3] = foo();
というようにも書ける。
これを構造化束縛という。
おそらくこれが期待していたものなんじゃないか？
省1
584: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) 08/22(金)12:23 ID:s1oN92u00(3/3) AAS
もし使っているコンパイラが MSVC なら MSVC のデフォルトでは C++14 になってるはずだからそのままだと構造化束縛を使えないかも。
(構造化束縛は C++17 から。)
私は MSVC を利用していないから具体的なやり方は知らんけど必要なら適当に設定してね。
585: (ﾜｯﾁｮｲ d1d6-uNzz) 08/22(金)17:49 ID:hiXhYkKD0(2/2) AAS
どもです。構造化束縛ね。なんか聞いた事あるかなという程度だった。
使うかなぁ・・・
586: (ﾜｯﾁｮｲ c1ad-F95I) 08/22(金)21:41 ID:NcnZjMQ+0(1/2) AAS
構造体ほど強いまとまりではなく、返り値だけのゆるいまとまりなら構造化束縛の方が便利だけどねぇ
587(1): (ﾜｯﾁｮｲ d38d-PSkW) 08/22(金)21:41 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) 08/22(金)21:45 ID:iDw/vpGA0(3/3) AAS
>>587
まあでも、なんで複数returnにしないのかね？
outの引数が多すぎだわ
589: (ﾜｯﾁｮｲ c1ad-F95I) 08/22(金)22:11 ID:NcnZjMQ+0(2/2) AAS
Python でも複数return ってできないと思うけど？
カンマ演算子でタプルを作って返してるだけでしょ
590(1): (ﾜｯﾁｮｲ 51a5-VfJp) 08/22(金)23:03 ID:5NhjtIih0(1) AAS
そうやね。Pytnonのカンマは、言語仕様上は演算子とは一応区別されているみたいだけど、感覚的には演算子だよね。何で演算子ではないんだろうというのはちょっとした疑問だけど（1, みたいなのを後置演算子と呼ぶのはちょっと変とかそういうことかな？）
591(1): (ﾜｯﾁｮｲ d1d6-uNzz) 08/23(土)01:30 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;
省4
592(1): (ﾜｯﾁｮｲ 7101-Im4V) 08/23(土)01:57 ID:HIKpDy1T0(1/2) AAS
構造化束縛を調べてみたら
fooの返り値はtupleでなくてもpairで返しても良さそうなんだけど
どういうルールなの? キモい
593(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-oZZu) 08/23(土)02:11 ID:CHT0FIec0(1/2) AAS
>>592
それがタプルライクの概念。
std::tuple_size の特殊化など、いくつかのインターフェイスを実装すればタプルと同じように扱ってくれる仕組み。
それとは別に配列の場合とか、全てのデータメンバが公開直接メンバなクラスもありということになってるのは単純に箇条書きで数種類のパターンを示す形になってる。
それほどパターンが多くはないがひとつの原則で表せるわけでもない。
594: (ﾜｯﾁｮｲ 7101-Im4V) 08/23(土)02:22 ID:HIKpDy1T0(2/2) AAS
>>593
>それほどパターンが多くはないがひとつの原則で表せるわけでもない。
キメぇよw
595: (ﾜｯﾁｮｲ 2b10-fgJ7) 08/23(土)09:17 ID:rBYkDYvT0(1) AAS
構造的部分型とか静的ダックタイピングって呼ばれるやつ？
596(1): (ﾜｯﾁｮｲ d326-PSkW) 08/23(土)13:12 ID:wVRYzYK20(1) AAS
>>591
int r1;
float r2;
long r3
r1, r2, r3 = foo();
って書きたいですね。Pythonみたく
597: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 51e2-oZZu) 08/23(土)13:15 ID:DefMPT1k0(1) AAS
代入のときは tie を使う。
598: (ﾜｯﾁｮｲ c9bc-zJwz) 08/23(土)15:01 ID:p3yrvAiP0(1) AAS
テンプレートの黒魔術で脳汁出てからが本番
599: (ﾜｯﾁｮｲ 5be0-Srv/) 08/23(土)15:37 ID:T+HzfXMC0(1) AAS
>>596
別の言語っぽくって考えは捨てた方が身のため
600: (ﾜｯﾁｮｲ 9379-XJDV) 08/23(土)19:08 ID:VwZegIlc0(1) AAS
６６６！
601(1): (ｽﾌｯ Sdb3-im2P) 08/23(土)19:56 ID:k0uySdFmd(1) AAS
struct {
int r1,
float r2,
long r3
} t;
t = foo();
って描きたい
struct に tuple からのコンストラクタを実装すれば良いのかな
602: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 5932-86vp) 08/23(土)20:18 ID:CHT0FIec0(2/2) AAS
>>601
最初から foo がその型で返せばいいんでないの？
603: (ﾜｯﾁｮｲ 6dad-W0Wb) 08/24(日)12:07 ID:HqphwiLf0(1) AAS
C言語から続くカンマ演算子が分かってないんでは？
604: (ﾜｯﾁｮｲ fee0-ea+o) 08/24(日)12:09 ID:gU3L8vdd0(1) AAS
Pythonあがりだから型を定義する意味がわかってないんだと思う
605: (ﾜｯﾁｮｲ 15d6-VoZ8) 08/25(月)07:55 ID:O202BBJ90(1) AAS
a=10
a＝’hello'
翻訳しながらだからできるんだろうけどね。
606: (ﾜｯﾁｮｲ 86cf-tcs3) 08/25(月)08:19 ID:X23BjBGY0(1) AAS
>590
左辺にも現れるからじゃね？
607: 初心者プログラマー (ﾜｯﾁｮｲ d5ce-rKTE) 08/28(木)17:50 ID:GULY1B8W0(1) AAS
cppでbazelでmediapipeのビルド方法を教えてくれる方はいませんか？
自分の環境
Visual Studio Community 2022
Windows11 64 ビット
scoopでbazel 5.3.0
Python 3.10.0
608: 青木康善 (ｱｳｱｳｳｰ Sa47-Rd44) 09/07(日)03:16 ID:Fgms30k2a(1) AAS
なんか、javaより簡単に思えてきました。
609: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 1732-F+lb) 09/07(日)06:54 ID:Ur1gsBeL0(1) AAS
そうか。
610(2): (ﾜｯﾁｮｲ dbd6-ERpe) 09/07(日)07:39 ID:yhbLpr+z0(1/2) AAS
obj1=obj2;
の後obj2を変更すると、obj1が書き換わってまってびっくりして
その後、Javaが怖い親父です。
611: (ﾜｯﾁｮｲ 7f5f-Z2G8) 09/07(日)13:56 ID:ZFShxqYO0(1) AAS
C/C++もポインタを代入するとそうなるよ
612: (ﾜｯﾁｮｲ a380-1jR+) 09/07(日)15:17 ID:DiKqvn8B0(1) AAS
この親父他の言語ほぼ使えんだろ
613(2): (ｱｳｱｳｳｰ Sa47-Y7lD) 09/07(日)15:34 ID:AK/wIzqla(1) AAS
普通 外部ﾘﾝｸ:ideone.com
p=[3,1,2]
q=p
p[1]=0
print(q)
614(1): (ﾜﾝﾄﾝｷﾝ MMe6-+IOe) 09/07(日)16:53 ID:2DaEs5aKM(1/2) AAS
>>610 >>613
それはオブジェクトへの参照の競合が起きてる
それぞれで書き換え更新または読み取り中の書き換えをすることでスパゲッティなコードを招いてしまう
その競合をコンパイルエラーにして防いでくれるのはRustだけだと思う
615(1): (ﾜｯﾁｮｲ dbd6-ERpe) 09/07(日)17:20 ID:yhbLpr+z0(2/2) AAS
>>614
c/c++なら、ポインタなのか参照なのか見ればわかるし、
まずコンパイラが型をチェックしますんで。はい
616: (ﾜｯﾁｮｲ 1ba6-aHNR) 09/07(日)17:34 ID:5bTmv8Qp0(1) AAS
参照メインの言語で書き換えを頻繁に行うとそりゃ事故るよ、注意力にも限界がある
値の書き換えをするならC++のように変数が直接値を持つ言語がいいし
参照をメインにするなら関数型言語のようにimmutableを基本にするべきだ
617: (ｵｯﾍﾟｹ Sr3b-wO3q) 09/07(日)18:17 ID:kASsF2K3r(1) AAS
ないしは、q=p; ってしたときに、pがダメになってくれるか
618(2): (ﾜﾝﾄﾝｷﾝ MMe6-+IOe) 09/07(日)22:03 ID:2DaEs5aKM(2/2) AAS
>>615
C++では参照の競合があってもエラーとならず安全性は保証されないよ
例えば以下の挙動
std::vector<int> v{0, 1, 2, 3, 4, 5, 6, 7};
int& fifth = v[5];
v.push_back(100);
std::vector<int> w{8, 8, 8, 8, 8, 8, 8, 8};
fifth = 555;
std::cout << "v[5] = " << v[5] << std::endl;
std::cout << "w[5] = " << w[5] << std::endl;
619: (ﾜｯﾁｮｲ dbd6-ERpe) 09/08(月)07:59 ID:It1Ffdlu0(1/2) AAS
>>618
これわ別問題じゃないのですか。
にしても、おとろしい
push_backされた時点で再構築されて、新規作成のオブジェクトの要素を保持してしまったで合ってますか？
620(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 1732-F+lb) 09/08(月)10:27 ID:bx3qX9/R0(1) AAS
状況を一から説明すると……
これは fifth が古い無効になった場所を参照する可能性があることが問題。
std::vector の各要素は連続した空間に配置されることが保証されている。
要素の増減でその場所の都合が悪くなれば再配置される可能性があり、
再配置が起こったときは要素を指していたイテレータや参照は無効になるというルール。
無効なイテレータや参照を通じてアクセスしたら何が起こるかわからない。
再配置が起こる可能性がある操作については個々に仕様に書かれているけれど、
キャパシティを変更する (可能性がある) ような操作はどれも再配置が起こりえると覚えておけばいい。
そんでもってこれのややこしいところは「可能性がある」ってところで、
キャパシティをどれくらい拡大するか実装によって差があるし、
省4
621: (ﾜｯﾁｮｲ dbd6-ERpe) 09/08(月)10:47 ID:It1Ffdlu0(2/2) AAS
>>620
どもです。要素数８ってのもさすがって感じでした。
622: (ﾜﾝﾐﾝｸﾞｸ MM8a-+IOe) 09/08(月)22:24 ID:EA0JjXQaM(1) AAS
>>620
今回の問題に限ればその通り
ただし問題の本質は二つの参照(変数fifthとpush_back呼び出し時の参照)を使ったこと
今回はダングリング参照で問題を分かりやすく示したがメモリ問題もvectorも本質ではなく任意のデータに対する参照で問題が起きる
既に参照fifthを持つ状況で同じデータを指す別の参照を関数push_backに渡してデータが書き換えられた
参照fifthが指す値は当初から値が変更されてしまったりダングリングで無効な値になる可能性がある
これが二つの参照の競合による問題で値がいつの間にか書き換わってしまっていることでバグも誘発する
両方の参照が書き換えを伴わないreadonlyの時のみ安全になる
片方もしくは両方の参照が書き換えを伴うと安全でなくなる
623(1): (ﾜｯﾁｮｲ e3ad-ckwE) 09/08(月)23:06 ID:HoahUzIM0(1) AAS
再配置が行われるものに参照使って、その生存期間を超えてアクセスするのは未定義動作になるわな。C++に慣れてればそんなコードは書かないが、初級者向けではない。readonly より、lifetime の問題でしょう
624(1): (ﾜｯﾁｮｲ 177c-h0AF) 09/09(火)00:29 ID:TMUamLpP0(1) AAS
参照が無効になる条件は規定されてるし、先にcapacity設定するとか避ける方法も用意されてる
「問題の本質」とやらはただのライブラリ仕様の無理解だろ
分かりにくいとか間違えやすいとかの批判なら分かるけど
625: (ﾜﾝﾄﾝｷﾝ MM8a-+IOe) 09/09(火)07:24 ID:DVL1/TmTM(1/2) AAS
>>623 >>624
申し訳ないがcapacityや再配置の話はしていない
lifetimeや参照が無効になる話もしていない
まずそれらを頭の中から消し去って考えよう
元々の話である同一データに対して参照が二つ持った時の話のみをしている
もちろんvectorは登場してもしなくてもいい
626: (ﾜﾝﾄﾝｷﾝ MM8a-+IOe) 09/09(火)07:29 ID:DVL1/TmTM(2/2) AAS
元々の話とは>>610や>>613でこれらが参照の競合の最も単純な例
様々な言語で発生してもちろんC++でも生じる
同一データに対して複数の参照を持つと他の参照によっていつの間にか指していたデータの値が書き換わってしまう
これがバグやコードのスパゲッティ化を引き起こす最も大きな原因の一つ
そのためreadonlyでない限り複数の参照を避けるのが好ましい
そのため競合する参照を禁止している言語もある
627: (ｽﾌｯ Sdba-bj1o) 09/09(火)10:47 ID:g327vfuJd(1) AAS
readonlyでない競合する参照を禁止している言語もある
628: (ﾜｯﾁｮｲ 97e4-1jR+) 09/09(火)12:16 ID:iPWQv8Oa0(1) AAS
はいはい線型論理言いたいだけ
629: (ｱｳｱｳｳｰ Sa47-Rd44) 09/10(水)00:51 ID:BnR46AnOa(1) AAS
>>618
これはvにpush_backしたところでキャパ超えて別の場所にリアロックされ、ともない元のvの領域が空になって、即座にwがスポンとそのvが元あった場所に配置されたってことなのですか?
630(1): (ｽｯﾌﾟﾌﾟ Sdba-j4tR) 09/10(水)02:12 ID:IF/zSGeMd(1) AAS
そうだよ。
規格上は何の保証もないから、処理系とかによっては全然違う結果になるかもしれないけど。
631: 629 (ｱｳｱｳｳｰ Sa47-Rd44) 09/10(水)10:07 ID:3vsmg39oa(1) AAS
>>630
どうもありがとう
632: (ﾜｯﾁｮｲ 4e1f-bj1o) 09/10(水)10:13 ID:zTYInGVv0(1) AAS
>再構築されて新規の要素を保持してしまったで合ってますか
こう聴かれると｢違う｣と返事したくなる
633: (ﾜｯﾁｮｲ 177c-h0AF) 09/10(水)18:40 ID:Vv9EwJFH0(1) AAS
未定義動作だからな
たまたま鼻から悪魔が出る代わりにそうなっただけだ
634: (ﾜｯﾁｮｲ a75f-ckwE) 09/10(水)22:18 ID:RAO/BxQt0(1) AAS
参照の競合という用語に違和感。並行性に関わる競合状態 (race condition) の話をしようとしているのか？
635: (ﾜｯﾁｮｲ b68c-1jR+) 09/10(水)22:31 ID:BZTqerG60(1) AAS
してない
636(1): (ﾜｯﾁｮｲ a3d6-X2Ee) 09/22(月)23:24 ID:ZT49UQS30(1) AAS
でわ 簡単？な話題を。
int data{}; ってやります？ int data{0}; ってやります？
637: (ﾜｯﾁｮｲ 7f7c-3pIy) 09/23(火)06:55 ID:S9rfzcfC0(1) AAS
int data = 0; ってやる
638(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/23(火)10:47 ID:0b1Ncss10(1/3) AAS
auto data = 0;
とか、型が明示的なのが好みなら
auto data = int();
といった選択肢もある。
私は
int data = 0;
派だけど。
639(1): (ﾜｯﾁｮｲ 8a02-CSnM) 09/23(火)10:57 ID:NP1ck5iL0(1/3) AAS
>>638
autoを使う理由は？
640(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/23(火)11:12 ID:0b1Ncss10(2/3) AAS
>>639
暗黙的であれ明示的であれ初期化子に型があるのだからそれとは別にもう一度型を書くのは二度手間と言える場合がある。
どういう考え方をとるべきなのかは場合による。
641(1): (ﾜｯﾁｮｲ 8a02-CSnM) 09/23(火)11:17 ID:NP1ck5iL0(2/3) AAS
>>640
autoは曖昧だから、ゆるいプログラム用だね
シビアなプログラムは無理
642: (ﾜｯﾁｮｲ a3d6-X2Ee) 09/23(火)12:32 ID:zwbfimRS0(1) AAS
>>638
イテレータの返しを受けるオブジェクトはauto使うと便利みたいな
643: (ﾜｯﾁｮｲ 46f6-RvFB) 09/23(火)14:23 ID:SO+rqWsF0(1) AAS
>>641
テンプレート作るときには必須になる場合もある
ゆるいって理解は雑
644: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/23(火)14:48 ID:0b1Ncss10(3/3) AAS
前提条件を変えると何でも言えてしまう。
とりあえずここでは発端は >>636 なのだから変数 data の型が int であり (多相にはしない) 内容はゼロで初期化するという狭い仮定を置いたほうがよかろう。
auto を持ち出したのは変に話題を曲げてしまったな。すまぬ。
645(1): (ｵｯﾍﾟｹ Sr23-RsoB) 09/23(火)20:34 ID:3YWvMRZsr(1) AAS
今北
いまさら人に聞けない
auto って、右辺の型もそのまま左辺にコピーしてきてよ、って感じで使ってるんだけど
その認識で間違ってない? 落とし穴とかある?
646: (ﾜｯﾁｮｲ 467f-IpVF) 09/23(火)20:39 ID:7uroOMzl0(1) AAS
右辺が式の場合もあるし
その時自分が思ってた型とautoの型が一致するとは限らないところとか
647(2): (ﾜｯﾁｮｲ 73f0-ar7H) 09/23(火)21:26 ID:qWXNEai60(1) AAS
autoで手抜きしすぎるとあとでｿｰｽ追うときにｴﾗｲ苦労することあるから気を付けろよ
648(1): (ﾜｯﾁｮｲ 8a02-CSnM) 09/23(火)21:34 ID:NP1ck5iL0(3/3) AAS
>>647
Pythonとか、
型が書かれてないから追いづらいよね
649(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ e328-BMc3) 09/24(水)02:24 ID:hHyw0Adk0(1) AAS
>>645
その認識でおおよそ正しいが変則的な部分もある。
auto foo = { 1, 2, 3 };
みたいに書くと initializer_list に推論されたりするのは知らないとちょっとびっくりするかもしれない。
それと修飾子などを組み合わせで使うことも出来る。
const auto* bar = &baz;
みたいに。
650(1): (ﾜｯﾁｮｲ 8a02-CSnM) 09/24(水)07:20 ID:tMR45KsJ0(1) AAS
>>649
何の目的であるの？
C#的にゆるくなるだけだな…
651(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-VPhE) 09/24(水)08:23 ID:yL+cLVSS0(1) AAS
>>650
ゆるいというのがどういう意味で言ってるのかわからないからなんとも言えない。
特に有用なのはテンプレート内で、たとえば
template<class T>
void foo(T x) {
auto bar = baz(x); // baz は関数テンプレートだとする
// ここでなんやかんや
}
みたいなのがあるとき auto を使わずに型を合わせて書こうとすると
template<class T>
省6
652: (JP 0Hc6-xemb) 09/24(水)12:48 ID:4f1PT/5nH(1) AAS
std::make_sharedとか使うと行が長くなりがちだからauto便利
653: (ﾜｯﾁｮｲ 4a4e-rfem) 09/24(水)23:18 ID:OQUpbPvH0(1) AAS
autoでしか出来ないこともあるから奥が深い
654: (ﾜｯﾁｮｲ e3a6-YvLc) 09/24(水)23:47 ID:wXWMV3aG0(1) AAS
罠仕様が仕込まれてるってだけでは
655: (ｵｯﾍﾟｹ Sr23-RsoB) 09/25(木)06:56 ID:iHrblX0Rr(1) AAS
Rust派に言わせれば、C++が罠らしいぞｗ
でもそのC++が、今の俺を生んだ
656(3): (ﾜｯﾁｮｲ 0679-P6+q) 09/25(木)16:58 ID:tx4jrZ/E0(1/3) AAS
有用なときもあるけど、ライブラリ用のコードで乱発するとメンテナンスが大変
可読性メンテナンス性を考えるなら、冗長でない限りはちゃんと書いた方がいい
>>651
それもbaz(buz?)の戻り値の型はTから導出出来るんだから、よほどややこしくない限りはそれ(decltypeで手抜きせずに)を書いた方が可読性メンテナンス性の面では良い
657(4): (ﾜｯﾁｮｲ 4640-RvFB) 09/25(木)17:00 ID:/3f9OB3n0(1) AAS
>>656
お前テンプレートプログラミングの素人さんだよね
658(5): (ﾜｯﾁｮｲ 0679-P6+q) 09/25(木)20:40 ID:tx4jrZ/E0(2/3) AAS
>>657
自己紹介乙w
Expression Template使って線形代数のライブラリ作った人間だが、ETで利用者がauto使うとどういう問題が起きるか答えてみ
まさか分かりませんとか言わないよな？
テンプレート使ったライブラリ(てか標準ライブラリ)を"利用する"しかしたことのない人間が調子に乗るな
659: (ﾜｯﾁｮｲ 3b82-IpVF) 09/25(木)20:43 ID:nRsNESWS0(1) AAS
なんか「その理論を作ったのは私ですが」みたいなものを感じる
技術発表の際の怖い質問とかなんとかのやつw
660: (ﾜｯﾁｮｲ 4a4e-rfem) 09/25(木)20:43 ID:ofoI5OnU0(1) AAS
言葉ならなんとでも言えるわな
661: 650 (ﾜｯﾁｮｲ 8a02-CSnM) 09/25(木)20:44 ID:hN2fGih80(1/2) AAS
>>651
ふーん
便利だね
でも、templete自体が何だか好きじゃないわ…
662(1): 650 (ﾜｯﾁｮｲ 8a02-CSnM) 09/25(木)20:46 ID:hN2fGih80(2/2) AAS
>>656
ちゃんとっって、型を？
型が書いてないと、パット見でわからないよね…
663: (ﾜｯﾁｮｲ 0679-P6+q) 09/25(木)20:54 ID:tx4jrZ/E0(3/3) AAS
>>662
そう&同感
ぱぱっと書いて何やってるかもすぐ分かるような場面(戻り値がイテレータとか)ではそりゃautoでいいと思うけどねぇ
664: (ﾜｯﾁｮｲ ff67-ZW/Z) 09/25(木)21:36 ID:SUv+BSiy0(1) AAS
今ならconceptを使うのが筋が良いんだろうな
他の言語みたいに型制約を書かずにジェネリクスを使えるけど、これは良くも悪くもだよね
楽と言えば楽だけど
665(2): (ﾜｯﾁｮｲ 7307-RsoB) 09/26(金)01:34 ID:aJA0eUoF0(1/2) AAS
>>658
リポジトリ晒して
まさか出せませんとか言わないよな？
テンプレート使ったライブラリ(てか標準ライブラリ)を"内製する"しかしたことのない人間が調子に乗るな
666(1): (ﾌﾞｰｲﾓ MMbb-RvFB) 09/26(金)01:53 ID:IAhZoqBcM(1) AAS
>>658
端的に言って
> それもbaz(buz?)の戻り値の型はTから導出出来るんだから、
ここだよ
関数テンプレートなんだから型が導出できるとは限らない
なぜお前は断言したのかな？
導出できない例にぶち当たったことがないからだよな
667: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)07:26 ID:uQKo8FSG0(1/7) AAS
>>665 >>668
煽ればタダで教えてもらえると思ってるいつものアホか
>導出できない例
あるわけないだろどうやって実体化するんだよwwwwww
668(1): (ﾜｯﾁｮｲ 8e02-C7mS) 09/26(金)08:15 ID:FGFv/5hn0(1) AAS
conceptはテンプレートだけじゃなく普通の変数制約にも使えればなぁ。
継承がほとんどいらなくなる。
669: (ｱｳｱｳｳｰ Sacf-kv3/) 09/26(金)10:28 ID:UkFmEBgMa(1) AAS
>>647
判ります
670: (ﾜｯﾁｮｲ 5301-QugL) 09/26(金)11:12 ID:TfDLIQWg0(1) AAS
手抜きというか情報を重複させないためにはautoが必要
苦労するのは型情報を追えないツールが悪い
671: (ﾜｯﾁｮｲ bff0-ar7H) 09/26(金)11:53 ID:IRzSnzQy0(1) AAS
>>648
ああ、おそろしいあの言語は
素人にはｻｻｯと組めて楽ﾁﾝだろうけど大掛かりなものは無理だろうな
想像しただけで脳が震えて耳から溶けて出てきそうだ
672(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-VPhE) 09/26(金)12:02 ID:E9e6Z1Un0(1/4) AAS
expression template を auto で受けるとまずいってのは Eigen みたいな設計の話かな。
あれはムーブがない時代の設計だから一時オブジェクトの参照を保持してしまう (先に一時オブジェクトが解体されて寿命管理が破綻する) のが問題なのであって、解決のための仕組みが与えられたにもかかわらずそれを使ってない設計が悪い。
expression template の仕組み上でどうしても解決できないというわけではないし auto のせいでもない。
ムーブのコストすら許容できないだとか、古い C++ (C++03 以前) もサポートしなきゃならないみたいな事情があるなら「すまんけどこのライブラリを使うときは注意して」というべき筋合いの話で、「auto なんか使っとるからじゃ！」みたいな態度はおかしいだろ。
673: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)12:09 ID:uQKo8FSG0(2/7) AAS
>>672
>のが問題なのであって
違う。ETの場合、関数(演算子オーバーロード含む)が返すのは、式の構造を表すオブジェクトなのでそれをautoで受けると式の展開が行われず、計算処理の無いコードになってしまう
それを逆手に取ってauto経由で展開のタイミング遅らせることもできるけどね
あとETの利点はムーブどうこうで解決できる問題だけではないし、
誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？
で、はちみつお前いつも「知ったかぶりしていい加減なことを言う奴」に怒ってる割に、自分も同じ事してるよな
674: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)12:11 ID:uQKo8FSG0(3/7) AAS
あと
>「auto なんか使っとるからじゃ！」
一言も言ってないんだが。流れ読み直しておいで
675(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/26(金)12:54 ID:E9e6Z1Un0(2/4) AAS
>>672
> autoで受けると式の展開が行われず、計算処理の無いコードになってしまう
書いてなかったが評価タイミングは適当な関数で明示的にする前提を置いてた。
未定義を踏むのは他の何と比べても駄目だ。単に思ってた結果と違ったなんてのは重要じゃない。
> 誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？
日常的には使わないケースだからこそだ。
それが auto の問題点のように挙げられてただろ？
ライブラリのほうが C++ の自然な習慣に合わせるのが筋なのにさ。
676: (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)13:15 ID:4po4sxfpp(1/6) AAS
>>657-658
677(1): (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)13:19 ID:4po4sxfpp(2/6) AAS
>>675
あと、ETで式の評価が発生するのは関数の呼び出し時ではない。どうでもいいけど
あと俺が作ったのは4次元まで(行列なら4x4まで。ゲーム用なので)だからヒープ使わんのでそもそもムーブどうこうは関係無いし、勝手によそのライブラリの未定義の話を持ってこられても困る
678: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/26(金)13:57 ID:E9e6Z1Un0(3/4) AAS
>>677
eigen は例として話題に出したつもりだったが余計だったな。
端的に主旨を言えば expression template の原理的には auto で受けれるように作ることは可能、かつその方が親切な作りだろうという話をしてる。
お前がどんな設計をしたのかなんてそれこそ俺には知ったことじゃないし、知りようもない。
お前のライブラリで auto で受けれないのはお前がそう設計しただけの話なので、 それを根拠に auto がどうこう言ってもなんの足しにもならん。
679(1): (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:04 ID:4po4sxfpp(3/6) AAS
>>657-658
ETの話はここで出した。
で、俺のautoの使い方に関する意見は>>656だ
自分が何をやってるか良く考えてからレス書き直せ
680(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/26(金)14:08 ID:E9e6Z1Un0(4/4) AAS
>>679
悪い設計のせいで利用者に不自然な書き方を強いるライブラリを作ったという話だということは理解してる。
681: (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:13 ID:4po4sxfpp(4/6) AAS
あといちいち知ったかぶってるバカに教えてやるのも腹が立つが、普通数値演算でET使うときは代入演算子やコンストラクタに式を渡した場所で初めて式を展開するんだよ
(autoでわざと評価を遅延させることも可能だと書いただろアホ)
Eigenでも多分そう
もちろんboost::spiritとかの構文解析ならパース処理の関数に渡すまで展開しないだろうが
682: (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:14 ID:4po4sxfpp(5/6) AAS
>>680
不自然なのはお前の、「スキルに見合わない自尊心」だと思うぞ
683: (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:24 ID:4po4sxfpp(6/6) AAS
バカが屁理屈書いてきそうだから再三言うが、>>658は>>657を叩くために出した問いに過ぎない
「意図しないコードになる」という話
これだからお前には絡みたくないんだよマジ鬱陶しい
684(1): 09/26(金)17:03 ID:iKKvsVQ80(1) AAS
お前ってのははちみつのこと言ってるのかね？
自分から絡んどいて何言ってんだろうコイツとしか思えんけど
685(1): (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)17:53 ID:uQKo8FSG0(4/7) AAS
>>684
で、>>666の導出出来ない例って何？www
686: (ﾜｯﾁｮｲ 467f-RvFB) 09/26(金)19:18 ID:+hZbpaFa0(1/2) AAS
>>685
ラムダの型導出できないだろ？
なんでこんなのも知らんのにえらそうにしてんの？
あと
外部ﾘﾝｸ:wandbox.org
とかな
この例でfooでもif constexprを使えばautoはなくせるがそんなことやって可読性とかほざけない
他にもパターンあるぞ
謝罪してお前が作ったらしいヘボライブラリ公開したら教えてやってもいいぞ
687(1): (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)19:32 ID:uQKo8FSG0(5/7) AAS
屁理屈にも程がある
導出出来なきゃどうやって実体化するんだよ、Tしかテンプレートパラメータが無い状況でT以外に依存するものがあるのか？
まさか結果がTに依存するテンプレートになったら「導出出来てない」とかほざくの？
Tに依存するコンテナのイテレータと何も変わらんよそれ
688: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)20:12 ID:uQKo8FSG0(6/7) AAS
てかその例でauto使わずに戻り値格納するのにif constexpr使うしかないと思ってるとかどんだけ経験不足なんだ・・・(はっきり処理分けする必要がある場合を除く)
そんなクソみたいな例ならさすがにdecltypeかauto使いたくなるが(そもそも使うなと言ってないんだが)、conditionalも知らんのかお前は
必死に探してきてご苦労さん
689: (ﾜｯﾁｮｲ 7307-RsoB) 09/26(金)20:41 ID:aJA0eUoF0(2/2) AAS
あの…そろそろ言っとくが
おもろいこと書いたヤツが優勝な?
２ちゃん５ちゃんの原則だぞ
690: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)20:46 ID:uQKo8FSG0(7/7) AAS
>>665はおもろいと自分で思ってんの？w
691: (ﾜｯﾁｮｲ 467f-RvFB) 09/26(金)20:59 ID:+hZbpaFa0(2/2) AAS
>>687
おじいちゃん、ラムダの例で詰んでんのわかる？
わかんない？
わかんないかぁ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s