C++相談室 part162

1 名前：sage [2022/10/31(月) 14:29:35.57 ID:J5sgTSch0.net] !extend:checked:vvvvv:1000:512 !extend:checked:vvvvv:1000:512 ↑同じ内容を3行貼り付けること 次スレは>>980が立てること 無理なら細かく安価指定 ※前スレ C++相談室 part161 https://mevius.5ch.net/test/read.cgi/tech/1653135809/ VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured 634 名前：デフォルトの名無しさん [2022/12/10(土) 20:25:28.70 ID:PM5iwksI0.net] DのUpdateみると1000ms待たないと終わらないように見えるけどそれはいいの？ 635 名前：ハノン mailto:sage [2022/12/10(土) 20:33:03.87 ID:6SBPs3AFH.net] >>614 トップダウン、ボトムアップ、両面から書いていったとき、それが出会うところでグダグダなその場しのぎのコードに書かざるを得ない経験はありますね 636 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 20:33:20.22 ID:MWcOm8HwM.net] #include <iostream> int main() { const int i = 1; ++*const_cast<int*>(&i); std::cout << i; } 何が表示されると思う？ 違法？合法？ https://wandbox.org/permlink/57h9V6JX7fJes663 637 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 20:55:46.09 ID:G20+9FPP0.net] >>618 const なオブジェクトに書き込� 638 名前：ﾞのは許されない (未定義) が型の上で const を外すだけならアリ。 つまり ++ を除けば合法だが ++ のせいで違法。 [] [ここ壊れてます] 639 名前：デフォルトの名無しさん [2022/12/10(土) 21:19:19.36 ID:+Ttg8yU5a.net] int main() { const int i = 1; int*j =const_cast<int*>(&i); *j=2; std::cout << &i<<" "<< j<<std::endl; std::cout<<i <<" "<< *j; } https://wandbox.org/permlink/DC1E3ycea3UtdBAI 0x7ffc53e76e1c 0x7ffc53e76e1c 1 2 上のやつちょっといじってみた アドレスの値同じなのに値違うんだけどなんでなんだろ 640 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 21:23:07.71 ID:QKVQj6nE0.net] そりゃ未定義動作だもの 鼻から悪魔が出なかっただけありがたいと思え 641 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 21:57:24.92 ID:lr6mtoK80.net] その処理系ではconst_castはコンパイラをごまかす宣言ではなく&iというオブジェクトを作ってるんだろう 642 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 22:07:20.11 ID:qktiUlCS0.net] コンパイル時にiが1に置き換えられてるだけだろう 643 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 22:23:55.76 ID:lr6mtoK80.net] それだけじゃ&iの動作について言及が足りない感じ 644 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 22:36:19.38 ID:HtRCvZl/0.net] 多分 　const int i = 1; を受けた最適化の結果、 　std::cout<<i が 　std::cout<<1 という意味のコードになったとかじゃないの 逆アセして調べると良い 645 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 22:38:11.75 ID:HtRCvZl/0.net] あるいは真にiの値を見たいのなら 　...（前半は同じ)... 　auto *p = (volatile int*)&i; 　cout << i << " " << j << endl; みたいにするとか？ ※ 個人の感想です 646 名前：デフォルトの名無しさん mailto:sage [2022/12/10(土) 22:38:50.72 ID:HtRCvZl/0.net] まつがえたorz あるいは真にiの値を見たいのなら 　...（前半は同じ)... 　auto *p = (volatile int*)&i; 　cout << *p << " " << j << endl; みたいにするとか？ ※ 個人の感想です 647 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 477c-eoXr) mailto:sage [2022/12/10(土) 23:00:40.51 ID:QKVQj6nE0.net] 未定義動作をどうしようとコンパイラの自由なんだからそんなもの調べたってしょうがない ちゃんと書けばいいだけのこと 648 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 8710-bPD3) mailto:sage [2022/12/10(土) 23:01:50.82 ID:lr6mtoK80.net] 既に std::cout << &i<<" "<< j<<std::endl; により&iとjが同じ値であることは示されてる auto *p = (volatile int*)&i; これでも同じアドレスとして解釈されている（試した） きっとconst_castに限らずconst領域のアドレスを解釈する時点で ここのコンパイラは別領域を確保するんだな 649 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 477c-eoXr) mailto:sage [2022/12/10(土) 23:07:18.20 ID:QKVQj6nE0.net] そのcoutに出してるコードも含めて未定義動作なんだから出力されるゴミ文字列には何の保証も意味もないぞ だからちゃんとやれ 650 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ df28-GD9R) mailto:sage [2022/12/10(土) 23:07:19.81 ID:HtRCvZl/0.net] >>629 ↓の間違いなのでは…… std::cout << &i<<" "<< &j<<std::endl これが同じ値になるのなら、iとjが別の実体という仮説はむしろ棄却され、 鼻から悪魔が出たか、さもなくば>>625の説明ぐらいしか残らない 651 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 8710-bPD3) mailto:sage [2022/12/10(土) 23:34:26.52 ID:lr6mtoK80.net] >>631 jの型はアドレスint*やで iと&iが別実体と解釈されてないとこの処理系の挙動は説明できないよ 652 名前：デフォルトの名無しさん mailto:sage [2022/12/11(日) 00:20:42.40 ID:Pzj62nR+0.net] >>632 左様かｽﾏﾝｶｯﾀorz 今神のお告げがあったが多分 >iと&iが別実体と解釈されてないとこの処理系の挙動は説明できないよ というのは >変数iとcout << の引数としての定数1が別実体と解釈されてないとこの処理系の挙動は説明できないよ と考えたら>>625と同じ…… 653 名前：デフォルトの名無しさん mailto:sage [2022/12/11(日) 00:25:27.26 ID:Wb0o85TW0.net] >>633 iが最適化後定数だろうとconst変数だろうと&iについての説明が必要だし >>625を否定してるわけじゃないよ >>625のうえで&iがどう処理系で実装されているのかという話 654 名前：デフォルトの名無しさん mailto:sage [2022/12/11(日) 00:29:21.03 ID:Wb0o85TW0.net] あーごめん>>634は取り消し 655 名前：デフォルトの名無しさん mailto:sage [2022/12/11(日) 16:42:27.87 ID:le6rXKgRM.net] 未定義動作ではいおしまいは思考停止では？ コンパイラの実装を考えてみるのも面白い 656 名前：デフォルトの名無しさん mailto:sage [2022/12/11(日) 17:18:36.24 ID:SgVyrwp80.net] ゴミ捨て場の汚物の配置を面白がる趣味もいいけどそれで宇宙の真理を読み取ったとか言い出されても困るんだわ 657 名前：デフォルトの名無しさん mailto:sage [2022/12/11(日) 17:28:44.13 ID:B9k8N7vL0.net] 特定のコンパイラの挙動が知りたいなら逆アセしろ 仕様が知りたいなら未定義動作 と言うだけの事だろ 658 名前：デフォルトの名無しさん mailto:sage [2022/12/11(日) 19:27:20.67 ID:vt5XMNwC0.net] 未定義踏んで、たまたま望む動作だった場合に、それを放置するのは危険すぎる 659 名前：はちみつ餃子 mailto:sage [2022/12/11(日) 19:44:01.28 ID:ftKoc+Hh0.net] 前後の状況との組み合わせでも結果が変わったりするから短いコードで試しても そのコンパイラでの挙動を知れたとは言えんし……。 660 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 02:44:59.90 ID:m98xyCFn0.net] 挙動を考えるというか思想とか背景を考えるのが面白いんだよ 組み込みじゃconst領域は物理的に変えられない場合があるからって 余計な事考えちゃったけどたしかに>>625だろうなって 661 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 14:55:49.27 ID:P0mM9QsZM.net] vector<string> v; の vを辞書順でソートした場合、string自体はメモリ上に 連続して並ぶが、肝心の文字列バッファは free store 上でバラバラに離れた 位置になるからキャッシュ・ミスし易くなるね。 stroustrup氏はリンクリストがキャッシュミスし易いと言って馬鹿にしていたが、 実際には動的配列(vector)でも大差は無い。 なお、リンクリストでキャッシュミスし易い典型例がソート後の全巡回ループ。 そしてその場合、vectorでもstringのようなメモリ資源ハンドルの場合は キャッシュミスが免れない。 662 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:09:17.26 ID:P0mM9QsZM.net] >>642 [補足] そもそも、C++はcopyの代わりのmoveによる高速化を自慢しているが、 それが意味を持つのはstringのようにfree storeのメモリをポインタで持っている ようなクラスである。 このご自慢のmoveが良く効くクラスTのvector<T>をソートした場合、 free storeの本当の中味のアドレスはソートされないまま。 なので、vectorを全巡回する時には、アドレスが飛びとびになり、キャッシュミス が起き易い。 663 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:14:58.58 ID:b4gQwKir0.net] >>642 うんうん。リンクリストにするとキャッスミスし易さがもう少し悪化するね。 664 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:21:22.44 ID:P0mM9QsZM.net] >>644 この例の場合、vectorをlistに変えてもあまり悪化しない。 なぜなら、stringとその文字列バッファが近接したアドレスのfree store 上にallocateされていると期待できるから。 665 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:26:03.32 ID:P0mM9QsZM.net] >>645 [補足] list<string> v2; の場合、push_back すると、 p1 = new string; 相当の事が実行されるが、p1 の内部の文字列バッファも、string のコンストラクタ の中で p2 = new char[N]; のようにして free store から確保される。 確率的には、p1 と p2 は非常に隣接したアドレスになっている可能性が非常に 高い。 その結果として、p1をアクセスした直後にp2にアクセスしてもキャッシュミスは起きない。 その結果、vector<string>とlist<string>のソート後の全巡回でのキャッシュミス回数は、 ほぼ同じ。 666 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:33:08.04 ID:b4gQwKir0.net] >>645 そうだね。悪化するのは少しだけだね。 おや？ >>642 ではバラバラに離れてキャッシュミスしやすいと言っていた文字列バッファが リンクリストの話になると近接するのかい？不思議だねぇ。 667 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:34:37.69 ID:s9w5HO4Md.net] 典型的な用途ではsmall-string optimizationで大部分が連続になるでしょ リンクリストにその恩恵はない 668 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:37:07.44 ID:P0mM9QsZM.net] >>647 669 名前： >おや？ >>642 ではバラバラに離れてキャッシュミスしやすいと言っていた文字列バッファが >リンクリストの話になると近接するのかい？不思議だねぇ。 ソートしたときには、stringと対応する文字列バッファは意味論的には くっついている。だから、「対応している」両者は隣接しているんだ。 [] [ここ壊れてます] 670 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:39:41.84 ID:P0mM9QsZM.net] >>649 [補足] vector<string>をソートすると、stringの「箱」が新しく確保されてしまうので、 中身だけがmoveされるので、stringと対応する文字列バッファは「離れ離れになる」 list<string>をソートすると、stringはアドレスは全く変化せず、string同士の リンクのされ方だけが変化するだけだから、stringと対応する文字列バッファは、 メモリー空間上でのアドレスの隣接を維持する。 671 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:40:54.03 ID:P0mM9QsZM.net] >>648 それはstringだけの話。 今回はstringを例にとって話しただけで、一般のTではそんな現象は起きない。 672 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 15:49:40.91 ID:P0mM9QsZM.net] >>650 [補足] vector<string>のソート後の様子: アドレス 0x0000: st100 ---> buf100 (st100とbuf100のアドレスは離れ離れ) 0x0010: st5 ---> buf5 (st5とbuf5のアドレスは離れ離れ) st100とst5は隣接する。 ソート時に中身のアドレスだけがmove。 list<string>のソート後の様子: st100 ---> buf100 (st100とbuf100は隣接したまま) st5 ---> buf5 (st5とbuf5は隣接したまま) st100とst5は隣接しない(但し、元のアドレスを維持したまま)。 ソート時には、一切のmoveもcopyも全く発生せず。 673 名前：デフォルトの名無しさん mailto:sage [2022/12/12(月) 22:25:35.59 ID:1Of7Vyge0.net] いちいちキャッシュのことまで考えて書いたことなんかないですねえ 674 名前：デフォルトの名無しさん [2022/12/12(月) 22:29:51.34 ID:EC98/b6s0.net] 天才ですから 675 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 8710-bPD3) mailto:sage [2022/12/12(月) 22:53:10.09 ID:m98xyCFn0.net] ソート済みならソートの利点を生かしたデータアクセスが主だろうからなあ まあ最悪値を考えるかアベレージを考えるかはプログラム次第か 676 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ df28-GD9R) mailto:sage [2022/12/12(月) 23:33:02.97 ID:OmhP4qQH0.net] キャッシュミスが起きるとか キャッシュに収まりきらない要素数のリンクリストを 全要素まんべんなくアクセスし続ける場合とかの話であって そうなれば区々たるデータ構造などあんま意味を成さなさげ 677 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 06:29:45.20 ID:RVT68Vp10.net] >>656 だからお前のコードは遅いんだな 678 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 07:27:28.93 ID:XemHbbXi0.net] 配列とハッシュの話を蒸し返すけど、キャッシュに退避したデータを取り出す仕組みはハッシュなので、配列も無意識・無自覚のハッシュといえる 679 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 07:49:45.53 ID:HbzfEbfW0.net] トホホｗ 680 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 09:16:15.65 ID:Dz/G0kAxd.net] プログラムのフェッチもハッシュ、ライトもハッシュ、全てはハッシュに収束するのだ 681 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 09:37:04.67 ID:XemHbbXi0.net] ありていにいえば、他のレイヤーのデータを参照する時にハッシュを使わないと処理速度が落ちてしまうので、いたるところに速度対策でハッシュ参照が実装されているってのがFA 682 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 09:54:38.28 ID:6kCyUqZEd.net] 仮にunordered_vectorなるものがあったにしても、それはハッシュではない 683 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 10:16:13.34 ID:3/h11tyKd.net] それunordered_setじゃね 684 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 10:32:20.10 ID:nLXwCo+B0.net] vectorはそもそもunorderdだろ setは同じ値を格納できないのだからvectorとは違う 685 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 11:27:12.09 ID:qMfL3xzXM.net] 全文字列を結合したものを一括で確保して string_view を操作するのが1番パフォーマンス良さそう 686 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ dfad-KKgq) mailto:sage [2022/12/13(火) 11:41:42.04 ID:XemHbbXi0.net] >>665 失礼な言い方になるかもしれませんが、あなた初心者ですね “パフォーマンス”を気にする人はそもそもC++なんて使いませんよ 687 名前：デフォルトの名無しさん (ｱｳｱｳｳｰ Sa6b-SJNI) mailto:sage [2022/12/13(火) 11:47:57.08 ID:QcbajiAMa.net] >>666 そんなに苦手だったんか まあこれから練習したらええよ 688 名前：U) mailto:sage [2022/12/13(火) 12:02:52.82 ID:RxDW3iqvd.net] パフォーマンスを気にする人は何を使うんでしょうか 689 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 12:10:16.41 ID:6kCyUqZEd.net] >>664 意味わからん 気がふれた？ 690 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 14:54:36.88 ID:56FF6Qc2a.net] >>669 え？w 691 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 16:20:37.61 ID:6kCyUqZEd.net] >>670 vectorがunorderedとが頭おかしいのかって 692 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 16:36:06.63 ID:RxDW3iqvd.net] えっ？？？ 693 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 16:50:01.90 ID:nLXwCo+B0.net] >>669 c++のunorderd_は挿入時に挿入要素のキーによるソートが行われず要素の格納順が実装依存なコレクションに付けられている名称だから、vectorがunoreded_かどうかと言えばyesじゃない？ 694 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 16:51:40.89 ID:Dz/G0kAxd.net] vectorがorder性持ってたら逆に困る 695 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 17:09:14.84 ID:Dz/G0kAxd.net] intkeyのorderedmapってことか 696 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 17:26:33.26 ID:nLXwCo+B0.net] >>675 そういう考え方もあるか でもiteratorで途中指定してinsertしたらそれ以降のキーと要素の対応全部ずれるしmapと考えるのはどうなんだ 697 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 17:27:23.47 ID:qOIMmk+U0.net] ランダムアクセスできるデータ構造でordered_だのunordered_だの定義してもこじつけでしかないし意味薄いんでは 698 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:15:32.74 ID:afkUacc60.net] てす 699 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:20:36.37 ID:7X0MJm0+a.net] そんな事を言い出したらページアウトされてるデータの読出しになるかもしれないからディスクアクセスかもしれないだろ 700 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:25:37.11 ID:6kCyUqZEd.net] >>673 格納順を定義しろ 701 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:29:09.49 ID:6kCyUqZEd.net] ふざけたオレ定義はトコトン馬鹿にしてやんよ 702 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:32:26.52 ID:nLXwCo+B0.net] >>680 iterator でたどれる順番 703 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:35:45.77 ID:nLXwCo+B0.net] >>680 ところでこの話の発端のhashでないunorderd vector ってどんなものをイメージしてたの？ 704 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:46:51.67 ID:RVT68Vp10.net] >>681 まずはお前の定義を書け 705 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:50:59.76 ID:6kCyUqZEd.net] >>682 今、屋台で酒飲んでるから後でな 706 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 18:55:09.41 ID:c7PbDuSHM.net] >>673 vectorは連続したメモリ領域に要素を保存し、順番に並ぶことを保証する。 そうやってc配列との互換性を保っているのは常識かと思っていたけど、仕様変わったの？ 707 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 19:04:10.54 ID:nLXwCo+B0.net] >>686 それで正しいと思うよ c++のunorderd_/(ordered_)は要素をキーにしてコレクションがソート済みになるかどうかを意味してると考えれば>>673とも矛盾してないでしょ？ 708 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ a7f0-exKU) mailto:sage [2022/12/13(火) 19:20:14.84 ID:RVT68Vp10.net] ordered_配列 ==> 勝手に中身がソートされる配列 が思い浮かぶ 709 名前：デフォルトの名無しさん (ﾌﾞｰｲﾓ MM8f-5DNi) mailto:sage [2022/12/13(火) 19:23:38.37 ID:LOsLj3+sM.net] >>688 std::multiset なんてのがあるんだな 710 名前：デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MM7b-VZV0) mailto:sage [2022/12/13(火) 19:24:14.15 ID:jWNvO27sM.net] そもそも、ordered かどうかは定義の問題。 まず、mapは、(key,value)を持っていて、keyで検索できる。setは、keyだけでvalueが無いが、 keyで検索できる。setは、mapでvalueをkeyにしたようなもの。だから、以下ではmapだけ の話をする。 mapやunorderd_mapは、「検索」機能とbegin(),end() を利用した「巡回機能」の 両方を持っていて、巡回を key の大小関係順に巡れるかどうかで、 ordered かどうかが決まる。 バランス木(赤黒木など)を使う方が 接頭辞なしの map、ハッシュ法を使う方が unorderd_map 前者の場合は、常に自動的に並び替えられた状態で格納される。 一方、そもそも vector は、好きな順序で入れられて決まったキーもなければ 自動的に並び替える機能も持ってないし、orderedかどうかを定義しても 特に意味が無い。そもそも、orderdのvectorが存在し無い。 また、故意に作ってもしょうがない。 711 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ a7f0-exKU) mailto:sage [2022/12/13(火) 19:26:29.60 ID:RVT68Vp10.net] ordered, unordered が書けないヤツが多すぎ問題 712 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ a7f0-exKU) mailto:sage [2022/12/13(火) 19:27:00.39 ID:RVT68Vp10.net] 実は全部同じ人？ 713 名前：デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MM7b-VZV0) mailto:sage [2022/12/13(火) 19:28:42.74 ID:jWNvO27sM.net] >>688 それが大体、「set」や「multiset」に相当する。 714 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 675f-k8RX) [2022/12/13(火) 19:28:56.13 ID:sAeHrnUZ0.net] 巡回機能って何 715 名前：デフォルトの名無しさん (ｵｲｺﾗﾐﾈｵ MM7b-VZV0) mailto:sage [2022/12/13(火) 19:37:41.71 ID:jWNvO27sM.net] >>694 まだ使ったことが無いので書き方が間違ってるかも知れないが、 map<T,V> m; に対して、 for ( auto &r : m ) { 　cout << r.first << ":" << r.second << "\n"; } で巡ることができる機能の事を言ったつもり。 for ( auto i = m.begin(); i != m.end(); ++i ) { 　cout << m[i].first << ":" << m[i].second << "\n"; } と等価だと思う。 ただし、一度も使ったことが無い。 716 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 20:16:44.72 ID:RVT68Vp10.net] >>693 全然処理量のオーダーが違う 0点 717 名前：デフォルトの名無しさん [2022/12/13(火) 21:45:11.86 ID:FUi24cxt0.net] keyとしてpointerを指定したmapがpointeeで正しくソートできるように 3番目のテンプレート引数にpointerを剥がして比較するless演算子を 以下のように渡します g++ではm1は-std=c++17では不可ですが-std=c++20だと通ります m1にはcomparatorの型しか情報を渡しておらず m1は実装に関しては何も知らないはずなのですが 正しくpointeeでソートします なぜ? #include <iostream> #include <memory> #include <map> using namespace std; int main () { using Ptr = shared_ptr <int>; auto comparator ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;}); using Map = map <Ptr, int, decltype (comparator)>; // Map m0 (comparator); // -std=c++17と-std=c++20で可 Map m1; // -std=c++17で不可, -std=c++20で可 m1.insert (make_pair (make_shared <int> (2), 2)); m1.insert (make_pair (make_shared <int> (1), 1)); m1.insert (make_pair (make_shared <int> (3), 3)); for (const Map::value_type &key_value: m1) cout << key_value.first << ' ' << key_value.second << '\n'; return 0; } 718 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 22:04:34.09 ID:qOIMmk+U0.net] >>697 C++20でキャプチャ指定のないラムダ式がデフォルトコンストラクタを持つようになったからかな https://ja.cppreference.com/w/cpp/language/lambda 719 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 22:11:52.14 ID:FUi24cxt0.net] >>698 なるほどー! 720 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 22:27:14.40 ID:FUi24cxt0.net] 納得しちゃダメだった ラムダ式の型は実装ごとに異なるみたいですね 以下__cxa_demangleがg++依存だけども #include <iostream> #include <memory> using namespace std; namespace abi { extern "C" {char *__cxa_demangle (const char* __mangled_name, char* __output_buffer, size_t* __length, int* __status);} } string name_of (const type_info &p) { int status (0); char *tmp (abi::__cxa_demangle (p.name (), 0, 0, &status)); string result (tmp); free (tmp); return result; } int main () { using Ptr = shared_ptr <int>; auto c0 ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;}); auto c1 ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs > *rhs;}); cout << (typeid (c0) == typeid (c1)) << '\n'; cout << name_of (typeid (c0)) << '\n' << name_of (typeid (c1)) << '\n'; return 0; } $ g++ -std=c++20 test.cpp $ ./a.out 721 名前： 0 main::{lambda(std::shared_ptr<int> const&, std::shared_ptr<int> const&)#1} main::{lambda(std::shared_ptr<int> const&, std::shared_ptr<int> const&)#2} [] [ここ壊れてます] 722 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 23:32:00.27 ID:vjOTFb3s0.net] >>697 > m1にはcomparatorの型しか情報を渡しておらず > m1は実装に関しては何も知らないはずなのですが ここが思い込みかと。 ラムダ式のクラス型に比較関数が含まれてて、その内容もインスタンスに依存しないし、 比較方法は十分伝わってるから問題ないということで何も不思議じゃないと思う。 723 名前：デフォルトの名無しさん [2022/12/13(火) 23:43:34.19 ID:FUi24cxt0.net] >>701 はい ラムダ式の型というものを理解していませんでした 型で実装を伝えることができるのは 関数ポインタと大きく異なっていて面白い性質ですね 724 名前：デフォルトの名無しさん mailto:sage [2022/12/13(火) 23:48:00.37 ID:FUi24cxt0.net] 関数ポインタと書きましたが 関数オブジェクトとの相似で考えると不思議じゃないですね 関数オブジェクトも型で実装の情報を渡しますから 失礼しました 725 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 08:35:41.62 ID:YVPbaJHSM.net] >>687 c++のunorderd_/(ordered_)は要素をキーにしてコレクションがソート済みになるかどうかを意味してると考えれば 全然違うよ。標準くらい読みなよ。 Associative containersとUnordered associative containerの本質的な違いはキーの定義。 Associative containersのキーは順序で比較可能でなくてはならず、Unordered associative containerは同値で判定可能でなくてはならない。 ついでに言うと、配列は(記憶に間違いなければ)直接メモリ番地で指定できなきゃならなくて、キー(みたいなもの)も(正)整数でなくてはならなかったはず。 726 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 08:45:51.73 ID:MH9vv9Il0.net] 配列の添字がキーだと思ってる人と 配列の中身がキーだと思ってる人 とじゃ会話が成り立たない 実際はどちらもキーではない 727 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 09:11:41.03 ID:F4iAWC8Wd.net] ねえパパ、バカって何？ 簡単なことを難しく言う人のことだよ う～ん、よくわかんないや 728 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 09:19:31.03 ID:0zkFeBrgd.net] 標準の話をするならvectorは連想配列じゃないしorderとか考えるものでもない 729 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 09:39:28.51 ID:iS/QLVofa.net] vectorで添字アクセスするのはなんか違う 730 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 09:55:06.54 ID:fk0KXlHdM.net] >>同値で判定可能 同値「かどうか」判定可能じゃないの？ >>配列は直接メモリ番地で〜 意味不明 731 名前：デフォルトの名無しさん (ｽｯﾌﾟ Sd7f-exKU) mailto:sage [2022/12/14(水) 10:35:37.85 ID:Y6rgBuPWd.net] 定義もせずに真偽を議論しようとするアホ 732 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 11:33:30.37 ID:ZSc/wamY0.net] >>709 >同値「かどうか」判定可能じゃないの？ 意味不明。 厳密に言うなら、Unordered associative containerが要求しているのはa == b a != b。 同値「かどうか」とか曖昧な突っ込みで何やりたいの？ 733 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 12:05:38.08 ID:apgWSyiy0.net] >>704 なるほどだいたい理解した つまり最初の話に戻るなら unordered_multivector というものを考えた場合、格納する要素を a == b と a != b が定義されているものに限定して、 最悪の実装を考えると要素の格納方法は vector そのもので良くて要素のサーチは先頭からリニアに a == b をチェックしていくことになり、 unordered_vector ならば要素格納時に a == b なものを除外すればよいというわけだね 734 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 12:13:00.02 ID:Y6rgBuPWd.net] (使い所が無い)新たなコンテナを考えるスレじゃないと思う 当然Perlのスレでもない 735 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 12:23:38.93 ID:Y6rgBuPWd.net] C++の配列がordered, unorderedどちらの分類に近いかなら キーが配列の添字 ==> ordered キーが配列の中身 ==> unordered 736 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 12:29:53.77 ID:Y6rgBuPWd.net] >>712 同じ値を除外する必要は無い 集合と違って配列は同じ値を許すのが普通 737 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 12:39:11.82 ID:14xvhmEyM.net] >>712 >>705 中身とキー(みたいなもの。インデックス・添字)は別物。 あと、標準だと The elements of a 738 名前：vector are stored contiguously, meaning that if v is a vector<T, Allocator> where T is some type other than bool, then it obeys the identity &v[n] == &v[0] + n for all 0 <= n < v.size(). だから、vector にunorderとかmultiとか考えても意味がない。混乱の元だからやめたほうがいい。 [] [ここ壊れてます] 739 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 13:40:10.14 ID:Y6rgBuPWd.net] setはキーも中身も同じ 740 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 13:44:24.99 ID:F4iAWC8Wd.net] ハッシュの配列はハッシュではない 741 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 13:52:25.03 ID:Y6rgBuPWd.net] >>716 vectorのキーはuniqueでordered vectorの中身はmultiでunordered 考えるまでもなく自明 742 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 14:28:12.41 ID:0zkFeBrgd.net] vectorにinsertがある 添字はkeyではなくindexでしかない 何にとってorderedであるかはプログラマーに委ねられている 743 名前：デフォルトの名無しさん (ｽｯﾌﾟ Sd7f-exKU) mailto:sage [2022/12/14(水) 16:26:53.57 ID:Y6rgBuPWd.net] 訂正 vectorの添字はuniqueでordered vectorの中身はmultiでunordered 744 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 17:18:36.72 ID:qZt9MbKWM.net] >>711 いや「同値で判定可能」って日本語として意味通ってないじゃん 取れる揚げ足を作った奴が悪いよ 「厳密に言うなら〜が要求しているのは a==b a!=b」も全然厳密じゃないじゃん a, b が何なのかも書いてないし、operator== と operator!= が定義さえされてればいいのか (a==b) ^ (a|=b) が true である必要まであるのかもその書き方だと分からない 745 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 17:36:27.63 ID:Y6rgBuPWd.net] ordered ≠ 全順序 == : 同値関係ではない 746 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 17:42:08.99 ID:Y6rgBuPWd.net] == が同値関係であるとは a == a a == b ⇒ b == a a == b, b == c ⇒ a == c 747 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 17:58:56.90 ID:ekFaWlb/M.net] >>697 >m1は実装に関しては何も知らないはずなのですが >正しくpointeeでソートします なぜ? 結論から言うと、ラムダ式は 関数呼び出し演算子 operator()() を 持った名前なし functor に対応していて、「デフォルト値」で構築 しても機能を果たすから。 [詳細] ラムダ式は、名前なし functor で、関数呼び出し演算子 operator()() を持った クラスに対応している。いまの場合、 auto comparator ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;}); は、 class SomeFunctor { public: 　bool operator()(const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;} }; に対応していて、 SomeFunctor cmp{}; で SomeFunctor のオブジェクトを作ってから、 bool b = cmp(lhs, rhs); とすると比較できる。 故に map クラスは SomeFunctor のオブジェクトをデフォルト値で 初期化すればいいことになるから、ユーザーが SomeFunctor の初期値 を渡さなくて良い。 実際に、mapクラスは、デフォルト値で初期化した SomeFunctor のオブジェクトを 基本クラスのメンバ変数に(実質的に)持っている。 748 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:01:30.49 ID:ekFaWlb/M.net] >>696 setクラスは常に大小順に順序を整列し続ける集合としては最高レベルに高速。 検索も挿入もO(N・log N) 749 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:13:49.08 ID:ekFaWlb/M.net] >>704 いや、ordered_が付かないmapやsetは、順序で並び替えることも定義の一部になっていて、 範囲forで巡ると、挿入した順序ではなく、比較関数で比較した結果に基いてソートされた順序になる。 https://stackoverflow.com/questions/7648756/is-the-order-of-iterating-through-stdmap-known-and-guaranteed-by-the-standard Yes, that's guaranteed. Moreover, *begin() gives you the smallest C++ ・std::map is a sorted associative container https://stackoverflow.com/questions/11274978/are-c-stdmapstring-string-ordered are STL maps ordered? Yes, a std::map<K,V> is ordered based on the key, K, using std::less<K> to compare objects, by default. So if I iterate over it, it will iterate with the first insert string first? No. It will iterate based on the sorted order, not the order that you inserted elements. In the case of std::string, it sorts in lexicographic order (alphabetic order). If you want to iterate based on the insertion order, you're better off using a sequence container, such as a std::vector or a std::list. 750 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:15:48.90 ID:ekFaWlb/M.net] >>727 誤: いや、ordered_が付かないmapやsetは、順序で並び替えることも定義の一部になっていて、 正: いや、unordered_が付かないmapやsetは、順序で並び替えることも定義の一部になっていて、 751 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:16:04.80 ID:Y6rgBuPWd.net] >>726 つまり>>696 752 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:20:54.42 ID:ekFaWlb/M.net] >>702, 703 そういうことやね。 ラムダ式は、関数呼び出し演算子 operator()()を持ったクラスに対応していて、 その演算子が、ラムダ式の中身になっているから、テンプレート引数に クラスの型を渡すだけで関数を渡せる。 ローカル変数をキャプチャしている場合は、どうなっているか良く知らないけども、 753 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:31:09.04 ID:Y6rgBuPWd.net] >>726 なんかさらっとオーダー間違ってるし 見逃した 最高レベルでもない 検索も挿入もO(1)なのが存在する 754 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:32:24.38 ID:Y6rgBuPWd.net] >>728 じゃんけん型の場合はどうなるんだろうねえ 755 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:34:00.96 ID:ekFaWlb/M.net] >>731 ほんまや。正しくは、一回当りの検索や挿入に掛かる時間のオーダーは、 O(logN) だと思うわ。 >>731 >検索も挿入もO(1)なのが存在する 常にソートし続ける集合でそんなん有りましたっけ？ 756 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:36:10.47 ID:ekFaWlb/M.net] >>733 俺は、紙に書いてあるのを丸覚えてるわけじゃなくて、あたまのなかで 1秒でシミュレーションして自分で割り出してるが、簡単すぎるので、 テキトーに書いてしまう癖が有って、打ち間違える。 757 名前：デフォルトの名無しさん [2022/12/14(水) 18:38:06.37 ID:boxWAqPPd.net] int x,y; auto f = [&x,y](){}; のとき、 fの型は struct{ int& _x; int _y; void operator()(); }; 相当だとは思う。 コンストラクタ周りがどういう扱いされてるかはわからん 758 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:39:44.53 ID:14xvhmEyM.net] >>722 c++標準に言えよ。 759 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:42:43.51 ID:Y6rgBuPWd.net] >>734 なにその言い訳www 760 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 18:45:03.96 ID:Y6rgBuPWd.net] 逆に 構造を知らないでオーダーだけ丸暗記してるようなのがいるとでも思ってる？ 761 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:02:37.51 ID:Y6rgBuPWd.net] >>733 はい 762 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:04:38.48 ID:YVPbaJHSM.net] >>727 key とelementが紛らわしいなぁ。 c++標準は「keyで並び替える」。setはkeyがelementになるので結果として「elementで並び替えたのと一緒」となるだけ。key とelement をしっかり区別しないと擬似問題になるよ。 763 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:09:19.21 ID:Y6rgBuPWd.net] >>740 >>721 764 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:25:11.39 ID:14xvhmEyM.net] >>741 「中身はmultiでunordered」の意味が全然分からないから無視したんだけど…… なにこれ？ 765 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:27:27.41 ID:Y6rgBuPWd.net] そのままの意味 766 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:29:17.49 ID:Y6rgBuPWd.net] 配列の中身は順序が定義されてる必要はなく 複数の値も取り得る 767 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:33:54.85 ID:Y6rgBuPWd.net] 配列の中身をmultisetのkey,element 配列のインデックスをmultisetの要素のn番目のn ととらえれば配列はmultiでunordered 配列の中身をelement 配列のインデックスをkey ととらえれば配列はuniqueでordered 実際はどちらでもない 768 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:48:43.68 ID:6VpEeBw/0.net] >>744 「複数の値も取り得る」は嘘だろ。 vector<vector<T>>の話？ 769 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 19:57:11.36 ID:MH9vv9Il0.net] a[0] = 0; a[1] = 0; 770 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 20:03:19.82 ID:MH9vv9Il0.net] multi : 別の場所に同じ値を入れられる、同じ値を複数個保持出来る 771 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 20:44:33.97 ID:QXbvEgmH0.net] 声のでかさが正義だと思っている、どっかの山猿軍団みたいなやつがいるな 772 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 21:17:02.90 ID:x1JxbarV0.net] "); //]]>--> 773 名前：5" rel="noopener noreferrer" target="_blank" class="reply_link">>>725,730 有難うございます その理解に至りました それと>>698の合わせ技で mapのkeyにポインタを入れるのが随分とスマートになった印象です using Ptr = shared_ptr <int>; auto comparator ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;}); using Map = map <Ptr, int, decltype (comparator)>; Map m1; [] [ここ壊れてます] 774 名前：デフォルトの名無しさん [2022/12/14(水) 21:22:32.15 ID:XhtdH9iqa.net] >>691-692 知ってた 775 名前：デフォルトの名無しさん mailto:さげ [2022/12/14(水) 21:59:55.78 ID:K5HiKCY5M.net] >>738 ここは、教科書そのままを丸覚えしてるだけの人が多すぎるように感じるので。 教科書に出てなくても、ちゃんと実際に起きるようなことを書くと全く理解できない 人が多すぎるから。 776 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 22:46:07.31 ID:MH9vv9Il0.net] >>752 例えばだれ？ 777 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 22:58:57.25 ID:6VpEeBw/0.net] >>747 >>748 multimapの"multi"の意味と違うなぁ。それはmapでもできる話じゃない？ cpprefjpに解説あるから調べたら？ C++ Standards だと22.2.6.4ですな。 (N4849) An associative container supports unique keys if it may contain at most one element for each key. Otherwise, it supports equivalent keys. The set and map classes support unique keys; the multiset and multimap classes support equivalent keys. 778 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:00:05.46 ID:K5HiKCY5M.net] >>753 失礼だけど、ここの人、ほぼ全員。 779 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:31:04.79 ID:6VpEeBw/0.net] >>755 「ほぼ全員」というのは「自分は除く」ということかね。 傲慢だなぁ。 780 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:35:44.65 ID:K5HiKCY5M.net] >>756 なぜそう思うかって言うと、俺が言ったことがちゃんと通じる相手も存在しているからだよ。 客観的にハイレベルだと思える人には俺の言ったことが通じる。 しかも、この話だと確実に通じると思ったことはちゃんと確実に通じる。 ところが、この板だと結果は惨敗。全く通じなくて、逆にけなされ、馬鹿にされる。 781 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:37:23.23 ID:3zhhSsQg0.net] よせやい。照れるわ 782 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:47:40.49 ID:MH9vv9Il0.net] >>754 同じキーを複数入れられる という意味 783 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:48:26.06 ID:MH9vv9Il0.net] >>757 お前の日本語が悪い� 784 名前：ｾけじゃね？ [] [ここ壊れてます] 785 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:50:51.18 ID:MH9vv9Il0.net] お前も俺が書いたこと理解してないし 俺からみたらお前はアホ 786 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:54:44.29 ID:MH9vv9Il0.net] >>754 >>745を見た上で書いたんだよな？ だとしたらアホだ 787 名前：デフォルトの名無しさん mailto:sage [2022/12/14(水) 23:58:15.35 ID:K5HiKCY5M.net] >>761 普通に東大生とかなら通じる内容だぞ。 自分で「まともなこと」言ってるかどうか、俺は分かるもの。 788 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:02:56.94 ID:YuqRQs180.net] お前東大生？ 789 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:16:01.78 ID:3Zw/afEhM.net] >>764 身元がばれるから言わん。 790 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:22:28.27 ID:YuqRQs180.net] あんまり東大の品位を下げるような発言はやめてね 791 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:26:32.79 ID:3Zw/afEhM.net] >>766 なお、東大生でも理解力が無い人は理解力無いと思う。 本当に頭のいいのは、一部の学科に集中している。 東大以外でもレベルの高い大学なら理解できる人多いぞ。 ここにも東大生は来てるかも知れんが、残念ながら頭がいいタイプの人は来てない。 792 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:27:32.73 ID:NC87g1Wm0.net] これだけ内容の無い連投も珍しいな 793 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:33:45.79 ID:YuqRQs180.net] 理解力が無い人は理解力が無い 当たり前ですねwww 794 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:42:28.23 ID:YuqRQs180.net] 0点の人か 言い訳が見苦しいねえ 795 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:48:44.56 ID:3Zw/afEhM.net] ホリエモンや高橋洋一も言っていたが、レベルが合わないと話してることが 全く理解されなくて、むしろ馬鹿にされ、阻害されるものなんだぞ。 高橋洋一にいたっては東大に行っても理解されなかったそうだ。 根本的に頭がいい人はそうなる。 日本では特にそういう人を社会から除外するし。 796 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:50:57.77 ID:NC87g1Wm0.net] いや、雑談スレじゃねーし 797 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 00:56:26.15 ID:3Zw/afEhM.net] >>772 このスレでは、目に余るものがあって、 そもそも、学級崩壊しているような状態で、まともに議論できない。 正しいことを言ってる人を馬鹿にして、間違ってる子と言ってる人が大きな 顔をして、自分が正しいことを言っているかのような態度をとる。 そもそも議論の土台が出来て無い。 まずは、ホームルームや道徳の様なことから始めなくては。 798 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 01:09:34.07 ID:5pPRyT0s0.net] コミュニケーションってのはコンパイラと違って 言語モデルやその背後にある思考モデルはダイナミックに変化する それについていけなければ会話は成立しない 更に特定の一つコンパイラを相手にしていれば良いという訳でもない 799 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 01:16:26.87 ID:3Zw/afEhM.net] >>774 現実に通じる相手も存在する。 居るところには沢山居るが、日本全体としては少数。 だから、コミュニケーションの問題ではなく、生まれつきの頭のよさの問題だと 俺は理解している。 800 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 01:24:05.73 ID:5pPRyT0s0.net] 会話ってのは一人でやるもんじゃないんだよ 双方が相手の頭の中を推定できたときに初めて噛み合う 相手に自分の頭の中を推定しやすいような 手掛かりを上手に出すのも技術のうち 801 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 01:27:53.05 ID:3Zw/afEhM.net] >>776 もしかしたら、ネットだと文字が読めてないのかもしれない。 声では理解できるのに長い文書が読めない人が多いらしい。 802 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 01:58:19.99 ID:yiRddat50.net] >>762 >745を見直したけど意味不明だわ。 これは>719 >vectorのキーはuniqueでordered >vectorの中身はmultiでunordered >考えるまでもなく自明 の説明ということだよな？ > 配列の中身をmultisetのkey,element > 配列のインデックスをmultisetの要素のn番目のn > ととらえれば配列はmultiでunordered で配列をpair<K,T>[]に限定するような話が突然出てくる。 >712のunordered_vectorに頭の中身が引きずられてない？ そんなにunordered_vectorの話がしたいの？ 俺は嫌だよ。 >配列の中身をelement >配列のインデックスをkey >ととらえれば配列はuniqueでordered はかすかに議論の流れに沿っているけど、 >実際はどちらでもない で放り投げられているから、結論として何を主張したいのかも分からん。 これじゃ「>719はどちらも間違い」という主張にしか見えん。 >745にマトモな結論も主張も無いから、この話がどう>747 >748 につながるかも分からん。 エスパーじゃないんだから、バラバラで繋がりの無い情報を読んでも>762の頭の中なんて分からんよ。 「だとしたらアホだ 」と言う前に、引用レスぐらいちゃんと読み直して補足情報ぐらい書いたら？ 803 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 02:20:47.08 ID:yiRddat50.net] >>775 そりゃ、有り難くも相手が理解しようと努力してくれているからだろ。 会話で「情報の非対称性」は意識している？ 相手がどのような情報を持っているのかを無視して、自分の立場を ゴリ押しして相手にマウントしようとすれば、そりゃ相手に嫌われるわ。 まあ、相手に嫌われるのが目的ならそれでOKだけど。 804 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 07:04:36.25 ID:cCqUdoUCd.net] ハッシュでないものをハッシュということにしたくてヤダジタ大暴れ みっともねえな 805 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 07:12:05.83 ID:hWaEpCH1a.net] >>713 と >>714 が同じ人間と思えないくらい >>714 のあほっぷり 806 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 07:27:41.09 ID: ] [ここ壊れてます] 807 名前：dbf8SNdVd.net mailto: でかい声出しても人を小馬鹿にしても それでハッシュでないものがハッシュになるわけでなし 無駄で関係ない努力をし、そのために他人に迷惑が及んでも 構わないという自己中心的なやつ [] [ここ壊れてます] 808 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 07:31:15.67 ID:hWaEpCH1a.net] >>768 一人二(+a)役でピンポンしてるだけでは 809 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 07:50:47.01 ID:YuqRQs180.net] >>745でわからないアホと会話するのは不可能 810 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 07:52:47.62 ID:0irp5Zs10.net] >>778 あまりにも、あまりにもレベルが低い まるでチンパンジーのようだ 811 名前：デフォルトの名無しさん (ﾃﾃﾝﾃﾝﾃﾝ MM8f-0RkQ) mailto:sage [2022/12/15(木) 12:23:36.75 ID:WaHslr7gM.net] >>784 >>778 >745で説明したことにするアホと会話するのは不可能 812 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 12:47:10.10 ID:WaHslr7gM.net] hashのレスはあんまり読んでいないんだけど、c++標準のhashの話だよね？ c++標準と関係の無いhashをc++スレで持ち出してhash hash 言っているわけじゃないよね？ まさかそんなアホいないよね？ 813 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 13:55:56.86 ID:adPtbWG70.net] いまだにハッシュガーとか言ってるのは何が悔しいのか粘着キチだからスルーでOk 814 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 16:19:30.66 ID:dbf8SNdVd.net] >>787 いやC++に限らない一般論としてハッシュとは何が明らかに分かってないやつが暴れてんの 815 名前：デフォルトの名無しさん mailto:sage [2022/12/15(木) 16:24:26.31 ID:dbf8SNdVd.net] 見たところPerlスレ民のほうが キチガイを追い出すのはうまかったようだな 816 名前：デフォルトの名無しさん [2022/12/15(木) 19:54:56.58 ID:SaYQ/lLy0.net] Perl民は70代中心だからな。 817 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 00:24:44.89 ID:kaubkXoa0.net] 心の欲するところに従えども矩を踰えず、 818 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 08:43:50.12 ID:Sk8Nrr7L0.net] 名前、それ自体がハッシュだよ ありとあらゆるものが名前を与えられることによって唯一性・独自性を確保する つまり、人間の脳は万物をハッシュで管理している 819 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 08:57:47.68 ID:3/NVi56ad.net] ほらな 何にもわかっちゃいねえ 乱数や暗号との違いが言えねえぞコイツ 820 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 09:10:39.36 ID:wsa7u1K/d.net] C++の話しようぜ 821 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 10:09:11.46 ID:zTEnSqew0.net] c++20のコンセプトとかモジュールとか<=>とか誰か使ってる？ 822 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 10:24:14.76 ID:8MYQQby5d.net] <=> 使ってる 823 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 11:19:29.52 ID:rgyul2GY0.net] >>796,797 へー 初めて知った 824 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 12:00:08.46 ID:8wSlC2cWa.net] ウホッ演算子 825 名前：デフォルトの名無しさん mailto:sage [2022/12/16(金) 12:09:30.80 ID:3/NVi56ad.net] <=>は便利だね 使い出すとやめられん 826 名前：デフォルトの名無しさん [2022/12/16(金) 12:26:19.15 ID:YwJTJAAR0.net] <=>初めて知ったけどめちゃ便利だな うちの環境じゃ使えないのが残念だけど 827 名前：デフォルトの名無しさん [2022/12/16(金) 15:18:01.45 ID:h3Zax2und.net] operator==のdefaultは便利だわ 828 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 02:36:30.45 ID:ufrS8am+a.net] a > b, a < b, a == b を一度に判定するだけの演算子の何がそんな便利やねん！ とおもったらこれ一つ定義するだけで各種比較演算子全部児童生成してくれるのね なるほどこりゃ便利かも 829 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 05:21:21.32 ID:dncno9m70.net] unorderedの比較の実装は相変わらず迷う 830 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 08:51:24.48 ID:SViislQC0.net] ロリコンショタ歓喜じゃん 831 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 09:11:20.17 ID:rODQUlPF0.net] using rel_ops だとスコープ全体に影響でるから使用控えてたけど、operator<=>で全部解決出来るようになったのはいいな 832 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 09:32:05.93 ID:XBBLmCjVd.net] 3方があると4方も欲しくなる a < b a = b a > b unordered 結局戻り値4値の関数を作ることになる 833 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 11:46:18.72 ID:QZoKK6jA0.net] 宇宙船演算子……！ ってオーバーロード……！ 可能なの……？！ 834 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 12:25:08.76 ID:dQNfWhWG0.net] >>807 std::partial_ordering返すようにすれば<=>で4方出来るぞ 835 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 12:44:09.97 ID:rODQUlPF0.net] >>808 いや、なにをいってるんだ そのためのものだろ 836 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 14:06:58.32 ID:t4TbQFP40.net] ストリーム入出力に使っていけ（※冗談です） 837 名前：デフォルトの名無しさん mailto:sage [2022/12/17(土) 14:23:32.76 ID:QZoKK6jA0.net] >>810 それはそうか……orz a-bのオーバーフロー対策なだけかと一瞬思った…… 838 名前：デフォルトの名無しさん mailto:sage [2022/12/20(火) 07:42:37.51 ID:louNKIVjd.net] NaN同士の比較とかあるからな 839 名前：デフォルトの名無しさん mailto:sage [2022/12/20(火) 14:22:24.61 ID:UPRI61by0.net] このスレ見てるとわかるがC++が好きって言ってるやつって知能低いな 840 名前：デフォルトの名無しさん mailto:sage [2022/12/20(火) 15:05:44.24 ID:0942ga5D0.net] このスレには周囲に天才と言われる人がいるからそれは違うな 841 名前：デフォルトの名無しさん [2022/12/20(火) 15:17:57.65 ID:/qMRbodsp.net] 自称だけどな 842 名前：デフォルトの名無しさん mailto:sage [2022/12/20(火) 15:21:56.61 ID:louNKIVjd.net] あんなやつに褒められても嬉しかねえよってやつに どう思われようが関係ねーなあ 843 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 236f-s0Sd) mailto:sage [2022/12/25(日) 18:29:48.93 ID:Dw6urQXv0.net] namespace std { template <class T, std::size_t N> struct array; } みたいに標準ライブラリの前方宣言を自作のヘッダに書くのってやっぱり未定義動作なんですかね？ 844 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ cf7c-5mfr) mailto:sage [2022/12/25(日) 18:51:26.23 ID:PNih05NQ0.net] stdに勝手に宣言加えていいのは既存テンプレートの特殊化だけ 他は未定義 845 名前：はちみつ餃子 mailto:sage [2022/12/25(日) 20:29:17.71 ID:8blj/qJt0.net] >>818 原則としては std 名前空間になんらかの宣言や定義を追加したら未定義ということになってる。 https://timsong-cpp.github.io/cppwp/n4861/namespace.std その事例も該当すると思う。 条件付きで許されている特殊化はあるが C++20 から制限が強化された。 (従来は条件付きで「テンプレートの特殊化を追加できる」だったのが「クラステンプレートの特殊化を追加できる」に改められている。) ユーザー定義型ごとのカスタマイズを許したい場面では Customization Point Object (CPO) を 活用する方向性なので特殊化でどうにかする必要もないし制限が強くなることはあっても緩和されることはないんじゃないかな。 846 名前：デフォルトの名無しさん mailto:sage [2022/12/25(日) 21:15:27.65 ID:BoLdymVdF.net] そんな堅苦しい事なんて言わんでもええやん？ どんな弊害があるん？ 847 名前：デフォルトの名無しさん mailto:sage [2022/12/25(日) 22:24:02.06 ID:9/OfwQI/0.net] >>821 標準ライブラリの変更にあたって、 std に宣言追加しているソースへの影響を考えないといけなくなる。 848 名前：デフォルトの名無しさん mailto:sage [2022/12/25(日) 22:39:45.88 ID:8rnFU1jp0.net] >>822 リンクで失敗するので修正すれば良いだけでは? 849 名前：デフォルトの名無しさん mailto:sage [2022/12/25(日) 22:40:44.04 ID:8rnFU1jp0.net] 「未定義」ってほどには深刻な問題はないと思うんだよね 850 名前：デフォルトの名無しさん mailto:sage [2022/12/25(日) 23:02:22.44 ID:PNih05NQ0.net] コンパイラがstdに勝手宣言がないことを前提にしたあらゆる最適化の結果を受け入れるなら別にいいと思うよ 俺は絶対に嫌だから関わらないでくれよ 851 名前：デフォルトの名無しさん [2022/12/25(日) 23:15:00.75 ID:8rnFU1jp0.net] >>825 いやまぁ>>818は俺じゃないので俺も必要性を感じているわけではないけども 具体的に何を恐れているのか分からん 852 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 01:10:32.66 ID:OBkbHJZM0.net] >>826 何が起きるか具体的にわからないから恐ろしいんだよ。 853 名前：デフォルトの名無しさん [2022/12/26(月) 01:18:22.88 ID:D/1vl6x80.net] >>827 ワクワクしてこないか？ 854 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 01:20:46.52 ID:YnLWxzzl0.net] >>827 oresamaライブラリの中でoresama名前空間があって arrayが定義されていたとして oresamaライブラリとは別のプロジェクトで oresama::array前方宣言したときに 起こりうることは予想がつくよね? それがstd名前空間だと動作が未定義だとのことだけども 何が違うのか分かります? 855 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ cf7c-5mfr) mailto:sage [2022/12/26(月) 01:30:35.37 ID:2gdEMUwk0.net] >>829 コンパイラ様はstd以下を思うままに特別扱いしてカオスでアドホックな最適化処理をいくらでも入れることが許されてる 856 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ b101-jXNG) mailto:sage [2022/12/26(月) 01:51:58.67 ID:YnLWxzzl0.net] >>830 >>825も指摘してるけどoresamaとstdの違いはそれくらいだよね? 具体的にどういう最適化をして鼻から悪魔を出すのかな? まぁそんなことを分かる人はおらんかな... 857 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 02:20:44.42 ID:OBkbHJZM0.net] >>831 コンパイラの内部に興味を持って調べたいならどんどんやればいいよ。 詳しい人が増えるならそれはたいへん喜ばしい！ でも、リッチな C++ コンパイラのソースコードを読んで様々な最適化がどう組み合わさるかまで把握するのは 相当に高い技能を持った達人でないと無理なのでこのスレ程度ではなんもわからんと思う。 世の中にはこれを保守している人がいるんだからありがたい話だよな。 私がどこかで見たおぼろげな記憶では標準テンプレート関連の一部で マングルのルールが異なる (名前が短くなるようにしてる？) というのがあるので 変なことをすると破綻することもあるのかもしれない。 858 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 02:29:01.84 ID:2Z6X9F6ZM.net] なぜこうもわざわざ未定義動作を踏み抜きたいやつが多いのか 859 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 02:33:59.35 ID:OBkbHJZM0.net] コンパイラをナメてるからだろ。 「未定義動作つってもどうせこうなるだろう」という予測が出来ると信じている。 無理なのに。 860 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 1301-iijX) mailto:sage [2022/12/26(月) 05:51:34.26 ID:+xP92Jxa0.net] まあ単なるテンプレートライブラリなのにstdだけを特別扱いして最適化を図るのはちょっとやりすぎな気がしなくもない 861 名前：デフォルトの名無しさん [2022/12/26(月) 07:41:41.79 ID:zTKHQ8850.net] clangのソースコードはC++プログラムの書き方の勉強になりますね 862 名前：デフォルトの名無しさん [2022/12/26(月) 08:06:50.83 ID:FVIubv9sd.net] std::arrayってなんらかのusingであることが(コンパイラ側への制限として)許されてたりするんか？ もしarrayの実体がこんな実装だったら namespase std::__internal { template<class T, size_t>class array{...}; } namespase std:: { template<class T, size_t>using array=__internal<T,size>; } 勝手にこれ書いたらまずくならんか？ namespase std{ template<class T, size_t>class array; } 863 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 09:12:05.09 ID:5S/2UDN2d.net] なるね 864 名前：デフォルトの名無しさん [2022/12/26(月) 11:35:27.15 ID:v25C8vnQ0.net] >>818 それやると特定のC++バージョン、特定のコンパイラでしか コンパイルできないコードになりかねないし、 普通に #include <array> すればいいだろ。 それともそれが出来ない理由があるとか？ 865 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 12:12:38.12 ID:YnLWxzzl0.net] >>832 なるほどマングリング変えられるとリンカーエラーで しばし悩むかもしれませんね >>837 これはコンパイルで弾かれるので分かると思います おふた方とも勉強になりました! 有り難うございます しかし未定義動作ってほど酷いことにはならないのかなぁと思います なめてますかね私? 866 名前：デフォルトの名無しさん [2022/12/26(月) 13:31:39.98 ID:6bMfB0bxa.net] >未定義動作ってほど酷いこと は？ 867 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 13:38:20.67 ID:OBkbHJZM0.net] >>840 未定義動作と定義されているんだから未定義動作としか言えんだろ。 868 名前：デフォルトの名無しさん [2022/12/26(月) 13:49:22.29 ID:YnLWxzzl0.net] >>841 未定義動作とはコンパイルもリンクも通って実行できるけど どんな動作をするか分からない（未定義）ので 事前に分かるコンパイルエラーやリンカーエラーに比べて 「酷い」と表現しました いわゆる「鼻から悪魔」 869 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 13:51:12.76 ID:YnLWxzzl0.net] >>842 まぁ規格に書かれちゃってるんだからそりゃそうですね 870 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 14:17:52.01 ID:OBkbHJZM0.net] もしも「必ずエラーとして報告されるべき」みたいな仕様にしたら std の特別扱いが要るから 標準ヘッダのファイルに素朴に書くだけな実装はやりにくくなるし……。 871 名前：デフォルトの名無しさん [2022/12/26(月) 14:22:21.57 ID:uyDYkqVs0.net] void InitBoard(void) // 盤を初期化 { int x, y; for (y = 0; y < YMAX; y++) { for (x = 0; x < XMAX; x++) { board[x][y] = 0; } for (x = 0; x < XMAX; x++) { num[x] = 0; } } } この処理の無駄を省くコードおしえてください 872 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 14:26:27.90 ID:A7MLr6bua.net] >>843 酷いとわかっているのに なんでこの未定義動作だけ酷くはならないと思えるの？ 873 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 14:26:50.08 ID:9plh3gB/d.net] memset(board, 0, sizeof board); memset(num, 0, sizeof num); 874 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 14:33:45.39 ID:a6eE731v0.net] >>846 つbzero,ZeroMemory 875 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 14:39:30.42 ID:EnLBjT8OM.net] 標準に <iosfwd> あるくらいだし動機はわかるけども あんま詳しくないけどモジュールはよってことなんかね？ 876 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 14:44:20.75 ID:2wvNEB42d.net] 禁止と言われて、そうですかと聞き分ける人と、ゴネる人がいるってことだ。 877 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 14:49:02.84 ID:YnLWxzzl0.net] >>847 >>821からの流れは 実際に「酷い」鼻から悪魔が出る処理系はないんじゃないかな?って問い掛けです 少なくともここのスレではコンパイルエラーやリンカーエラーになる事例は 指摘がありましたが「酷い」ことになる事例は出ていません（誰かもしあれば?） なぜそう考えるかは名前空間oresamaでは合法で 名前空間stdのみに規格において例外的な規定がなされているからって程度です >>845のようにエラーが明示的に出ないのも 酷いことにならんのじゃないかなぁと 私が考えてしまうことに貢献しているかも 878 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 14:50:30.84 ID:OBkbHJZM0.net] >>846 std::fill を使うのが妥当じゃないかな？ memset でも普通は問題は起きないと思うけど メモリブロック (バイト列) に対する操作だから board の型によっては 問題が起こることはなくもない。 879 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 14:51:24.85 ID:YnLWxzzl0.net] >>851 そういうことではない 文法的にダブルスタンダードになってるのが気持ち悪い 名前空間stdも 880 名前：oresamaも同じ取り扱いである方が 文法的に美しいって感じているから 実際には最適化のためにstdは特別扱いが規定されている [] [ここ壊れてます] 881 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 15:04:20.66 ID:rUBUe8yFa.net] (自分の環境だと)酷いことにはなってないから 未定義踏んでてもOK派？ 勘弁してください 882 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 15:10:52.71 ID:YnLWxzzl0.net] >>855 煽ってものらないよw 誰もそんなことは書いていない 酷いことになる事例を教えてねってことを書いています どういうこと（最適化?）を想定してダブルスタンダードにしたのか 動機を知りたくないですか? 883 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 15:12:35.95 ID:a6eE731v0.net] fill_n(num,__countof(num),0) 上のboardは自分で考えるんだ 884 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 15:26:40.53 ID:OBkbHJZM0.net] >>854 自分が作ったライブラリの名前空間に何を追加されても正しく動く (または必ずエラーになる) ように保証してんのか？ 各ライブラリごとの挙動に保証していることと保証してないことがあるのは当たり前のことだろ。 お前のライブラリについての保証はお前がするから「言語では」関知しないってだけで、 oresama に何を追加してもよいことが保証されてるわけではない。 885 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 16:14:39.95 ID:YnLWxzzl0.net] >>858 たぶん伝わってないな 以下をユーザが自分のソースに書くのは>>820の言うように規格で禁じられている namespace std { template <class T, std::size_t N> struct array; } 同じくoresama::ARRAYなるカスタムのクラステンプレートが定義されていたとして 以下をユーザがソースに書くのは合法 namespace oresama { template <class T, std::size_t N> struct ARRAY; } これをダブルスタンダードで気持ちが悪いと思っている 最適化との説だけども 具体的なことを知っている人がいたら聞きたいな 886 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 16:17:49.67 ID:+99B24rl0.net] >>846 そのboard[x[][y]はゼロフィルしても良い配列？ 盤外に飛び出す桂馬飛びの高速判定テクニックとして実はboard[-1][-2]が壁のコードになっている とかありそう ※ 全くの想像です ※ 未定義動作と言われても知らそんこの場合アセンブリコードが正しくて速ければええんじゃ ※ この場合2次元配列はやめてカラム数が2のべきの1次元配列であるべき ※ ここまで全くの妄想です 887 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 16:19:44.55 ID:+99B24rl0.net] 説明が抜けた；；； board[-1][-2]が壁のコードになるような思想の場合は board[0..][0..]にも当然盤を取り囲むように壁のコードが配置される 888 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 16:26:57.23 ID:OBkbHJZM0.net] >>859 お前のライブラリの仕様はお前が決める、 標準ライブラリの仕様は言語仕様で決める。 そこになんの違いもありゃしねぇだろうが 889 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 16:30:53.99 ID:/571GBxYM.net] >>862 一行目は違う oresama::ARRAYの前方宣言が合法なのは 文法で規定されている 890 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 16:34:00.09 ID:OBkbHJZM0.net] >>863 No. 許されているのはそのライブラリの設計がそうなっているからで許さない仕様のライブラリはあり得る。 891 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 16:44:01.34 ID:/571GBxYM.net] >>864 前方宣言を許さない設計なんて本当にあるの? 892 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 16:54:23.72 ID:QSsdq8qk0.net] >>865 あるよ。標準ライブラリがそう。 893 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 16:55:15.06 ID:zTKHQ8850.net] かまってちゃん 894 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 16:55:21.28 ID:OBkbHJZM0.net] >>865 すでに >>837 で示されてる。 見かけ上の名前は別名であるかもしれない。 別名ではない実装で書かれていることがはっきりしていて将来も変更されないと oresama::ARRAY について 保証されているならそれをあてにしてもいいんじゃないの。 で、それを保証するかどうかはライブラリを作ったやつの裁量次第。 895 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 17:07:33.78 ID:/571GBxYM.net] >>866 誰か突っ込んでくれると思ってた 有難う！ 896 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 17:11:08.06 ID:+99B24rl0.net] namespaceはシンボルの衝突を防ぐためのしくみなのに 後から要素を追加できる仕様の方がおかしいfinalizeできるべき だいたいnamespace oresama にX=ｻﾝが "bar.h" にて void oresama:foo()を定義して、 C++の標準ライブラリ仕様しか見ていないY=ｻﾝが "baz.h" にて同じシグネチャで異なる実装の void oresama:foo() が実装されてしまう危険性が避けられない のだから第三者によるnamespace内への後付けは本来言われるまでも無く禁止されるべき事項、 同一シグネチャで異なる実装があったらリンク時にエラーになる、と気体することは場合に掘っては全くできない 0xcc.net/blog/archives/000060.html ちなVS2010だともっと簡単に（スタティックリンクでも）起こせるorz 897 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 17:13:25.25 ID:+99B24rl0.net] 訂正orz 誤1： C++の標準ライブラリ仕様しか見ていないY=ｻﾝ 正1： oresamaのオリジナルの仕様書しか見ていないY=ｻﾝ 誤2： 場合に掘っては全く 正2： 場合によっては全く 898 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 17:15:26.88 ID:/571GBxYM.net] >>868 話がズレている 前方宣言は規格で合法だよ （ただし名前空間std内を除く） 鼻から悪魔は出ない...と思う 899 名前：はちみつ餃子 mailto:sage [2022/12/26(月) 17:58:37.42 ID:OBkbHJZM0.net] >>872 前方宣言自体はいいよ。 そのライブラリ内でどう定義されているかわかっていて**妥当な前方宣言を出来るなら**。 将来のライブラリの更新があっても妥当でありつづける (または妥当でなくなったときに追従する) なら。 いちいちライブラリが保証していない内部仕様を調査して妥当かどうか確かめなきゃならない、どんな干渉が起きるかわからない ってのは (ライブラリの仕様としては) 未定義じゃろ。 900 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 18:28:18.27 ID:gLGPMU9jd.net] >>854 タブスタって何が？ stdに勝手に追加やってみた？ コンパイル通るぞ 文法的にどうのということと できることとやっていいことは違うということを 区別しているか？ 901 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 18:40:09.55 ID:+xP92Jxa0.net] >>846 C言語はboard[x][y]のy側が連続に配置されるから for(x = ...){ for(y = ...){ ... } } の順にネストした方が効率的になる可能性が高いので俺なら for (x = 0; x < XMAX; x++){ for (y = 0; y < YMAX; y++){ board[x][y] = 0; } num[x] = 0; } って書くと思う 902 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 21:17:05.02 ID:YnLWxzzl0.net] >>873 前方宣言ってヘッダを見てやるから 逆に妥当でない前方宣言ってどんな場合のことを書いているのですか? 内部仕様を調査する必要もないと思うのですが? 903 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 21:18:30.60 ID:YnLWxzzl0.net] >>874 >>859の通り 904 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 21:37:30.08 ID:2gdEMUwk0.net] 前方宣言のつもりがこういうので意味変わっても知らんぞ d.hatena.ne.jp/DigitalGhost/20090216/1234793122 905 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 21:37:34.67 ID:Luv0983hM.net] oresama 名前空間に前方宣言が追加されると未定義動作になるような例って実際作れる？ std についてはコンパイラマジックでも何でもありだが 906 名前：デフォルトの名無しさん [2022/12/26(月) 21:47:21.55 ID:6ywYYiev0.net] 未定義動作は未定義だよ 意図通り動いても、 デバッグするのに便利な例外が投げられても、 まともに動いてるように見えてメモリ壊してても、 コンパイルエラーになっても問題ない コンパイラと実行環境は求められる動作が決まってないから 907 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 22:12:49.76 ID:NZGNd7w4d.net] 変な宣言が追加されるとSFINAEが狂うパターンとかあるかも。 908 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 23:28:38.90 ID:8d7AMOhX0.net] >>877 できることとやっていいことは違うということを区別してるかとあんたに聞いているんだ そこに他人の発言を持ち出す余地はない 答えに窮しているんなら駄レスしねえで黙ってろ 909 名前：デフォルトの名無しさん mailto:sage [2022/12/26(月) 23:47:11.05 ID:5EhwIIVK0.net] はちみつはもう冬休みなのか。裏山 910 名前：デフォルトの名無しさん [2022/12/26(月) 23:57:12.44 ID:YnLWxzzl0.net] >>882 >>859に書いてあるから読みたまえ 911 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:01:58. ] [ここ壊れてます] 912 名前：89 ID:QO3hLMTW0.net mailto: >>820 思ったんだけどさ前方宣言は`declarations'に入ってないってことはないかな? 以下が原文なんだけども >Unless otherwise specified, the behavior of a C++ program is undefined >if it adds declarations or definitions to namespace std or to a >namespace within namespace std. 文からは入ってるとも入ってないとも俺には判断がつかない 確かな見解がある人はいるかな? [] [ここ壊れてます] 913 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:11:56.45 ID:9ztV+U0x0.net] >>884 答えに窮しているんなら駄レスしねえで黙ってろ てめーの言葉で語れないフリーライダーが 生産性のないやつはプログラマのゴミの中のゴミだ 914 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:13:15.81 ID:fnhKiHjQ0.net] >>884 >859の言う「ダブルスタンダード」は>862-864で否定されて終わってるだろ。 915 名前：デフォルトの名無しさん [2022/12/27(火) 00:14:08.27 ID:QO3hLMTW0.net] >>886 >>859は俺の投稿だよw 916 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:16:20.11 ID:9ztV+U0x0.net] >>888 ゴミめ 917 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:18:30.98 ID:9ztV+U0x0.net] ヘッダファイルそのものを改造することだってできる ISO/IEC14882のヘッダファイルだけ改造しちゃいけなくて それ以外のヘッダファイルは改造していいことにしたいのかよ ダブスタだからって？　バカか 918 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:20:13.94 ID:9ztV+U0x0.net] 標準のヘッダファイルを書き換えるななんてバカ用の説明が規格票の中に書いてあるかどうか知らんが そういうレベルの屁理屈ならべてんなボケが 919 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:21:11.64 ID:QO3hLMTW0.net] >>887 >>865以降も読んでくれ給え 前方宣言で鼻から悪魔が出るケースは名前空間std以外ではない コンパイルエラーやリンカーエラーで弾ける 名前空間stdでもないと思い始めている 規格の`declarations'は普通の宣言のことで 前方宣言はこれに入らない説に傾いてきた 920 名前：デフォルトの名無しさん [2022/12/27(火) 00:22:43.58 ID:QO3hLMTW0.net] >>889 3行目に書いてあるから読みなよ 921 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:23:47.05 ID:QO3hLMTW0.net] >>890,891 何で標準のヘッダファイルを書き換える話を始めてるの? 922 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:28:00.93 ID:QO3hLMTW0.net] >>820 >>>818 >原則としては std 名前空間になんらかの宣言や定義を追加したら未定義ということになってる。 >https://timsong-cpp.github.io/cppwp/n4861/namespace.std >その事例も該当すると思う。 これが正しいかもしれんし違うかもしれん 923 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:33:27.20 ID:9ztV+U0x0.net] >>893 うるせえ命令すんな 読んで欲しければ読みたくなるようにお前が努力しろカス 924 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:34:29.25 ID:9ztV+U0x0.net] >>894 一緒だろうがよ stdの中に働きかけて動作を変えようって話だろ stdだけそれをするなというのがダブスタなんだろ 925 名前：デフォルトの名無しさん [2022/12/27(火) 00:36:22.67 ID:QO3hLMTW0.net] >>896 俺は優しいからね >>859 >以下をユーザが自分のソースに書くのは>>820の言うように規格で禁じられている >namespace std { > template <class T, std::size_t N> > struct array; >} 規格で禁じられていると書いている人間が 「できることとやっていいことは違うということを区別して」いないわけなかろう 926 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:36:52.90 ID:9ztV+U0x0.net] 作者がするなということをなぜしたいんだよ 脱獄したきゃ勝手にやってろ 誰も止めやしねえよ バカ一匹どうなろうが誰も知ったこっちゃねえ 927 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:37:18.87 ID:QO3hLMTW0.net] >>897 >stdの中に働きかけて動作を変えようって話だろ 違います 928 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:41:27.03 ID:QO3hLMTW0.net] >>899 規格の英文が曖昧だから読み間違えてんじゃないの? って思い始めてる 929 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:42:11.81 ID:9ztV+U0x0.net] ああそうかい 勝手に思ってな 930 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:43:47.73 ID:QO3hLMTW0.net] >>902 規格は読んだのかな? 931 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:47:28.29 ID:R1/11RYB0.net] >>879 >>870 ﾄﾞﾔｱ 932 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:49:39.31 ID:QO3hLMTW0.net] >>904 定義を書いたらこの問題は起こるね 前方宣言では起こらない 933 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:50:13.48 ID:R1/11RYB0.net] 「勝手に」が抜けてたorz X=ｻﾝが*勝手*に追加した "bar.h" にて void oresama:foo()を定義のを知らずに Y=ｻﾝが "baz.h" にて同じシグネチャで異なる実装の void oresama:foo() が実装されてしまう と言う場合は覿面に意図しない動きになる（ことがある 934 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:51:22.27 ID:R1/11RYB0.net] >>905 定義の無い前方宣言とか何のためにするんじゃ…… 935 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:53:18.15 ID:QO3hLMTW0.net] >>870はリンカーがチェックすればこの問題は起こらないはずなんだけど 意図的にオーバライドできるようになってるとか 何かで読んだ気がする... 936 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:54:50.91 ID:QO3hLMTW0.net] >>907 ヘッダをできるだけincludeしたくないから ヘッダをincludeしたくないのは依存ヘッダを減らしたいから みんなpimplとかで前方宣言してるやろ? 937 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:54:51.28 ID:9ztV+U0x0.net] >>903 読んでるよ どのくらいか指定がないからどうにでも言えるｗ 苦し紛れに何が言いたかったのかな 938 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:56:18.99 ID:QO3hLMTW0.net] >>910 ではあなたは`declarations'に 前方宣言が含まれるとの見解でよろしいか? 939 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:58:30.57 ID:9ztV+U0x0.net] >>911 前方宣言て何？ JIS X3014の規格票を検索してもヒットしないんだが 940 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 00:59:25.89 ID:QO3hLMTW0.net] forward declarationじゃないかな? ない? 941 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 01:03:39.45 ID:9ztV+U0x0.net] さあ知らんね おまえの曖昧さを俺が処理してやる義理はない 942 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 01:06:05.88 ID:9ztV+U0x0.net] 技術板で煽りネタが英語力とかくだらんな 英語圏在住のバカと同類だってアピールしたら格好いいんかよｗ 943 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 01:08:38.87 ID:QO3hLMTW0.net] >>915 規格が英語で書かれてるんだから仕方ないじゃないか >>914 威勢が良い割には逃亡か 根性がねーな 944 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 01:12:56.49 ID:9ztV+U0x0.net] 煽っても無駄だよ 義理のないことの特別サービスをさせたいようだが 世の中そう甘くはない 暇人と違って明日も朝から仕事なんだよ バイバイ 945 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 01:14:43.51 ID:QO3hLMTW0.net] >>916 おまいさんは威勢よく俺を煽ってたけども 規格も読んでなかったということだ 根拠としたのは恐らく>>820の書き込みのみ 俺は純真なので痛く傷ついたんだよ 他人の言説を無批判に信じて自らは確かめることなく 人を攻撃することはやめてくれ 946 名前：はちみつ餃子 mailto:sage [2022/12/27(火) 01:34:54.20 ID:G9AKlNLO0.net] 前方宣言が宣言でない可能性なんて考えたこともなかったが たとえば単にポインタと書いてあるときにメンバ関数ポインタを含んでなかったりすることを 思い出せば変な用語になってる可能性は考慮にいれるという姿勢は必要かもしれない。 あらためて検討してみたところ、前方宣言という用語の直接的な定義はないが仕様中で 前方宣言 (forward declaration) と呼ばれているものは宣言に該当するし、 単に宣言の位置が前方である宣言のことを前方宣言と呼んでいると解しても良いと思う。 947 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 02:38:42.00 ID:Kk7zAeAV0.net] 未定義動作だから宣言禁止してるんじゃない 宣言禁止してるから未定義動作になったんだ 948 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 02:48:53.38 ID:fnhKiHjQ0.net] >>892 >865の質問は>866,868で答えが出てて、その前の話に影響無いし・・・と読み進めると >872で「前方宣言は規格で合法」とかいう当たり前に見える意味不明な話につづいており・・・ どうも>859以降の「合法」が↓のようなよくある解釈とは違うようであることに気付いた。 https://cpprefjp.github.io/implementation-compliance.html > 合法 (legal)・違法 (illegal): これらの語はプログラムに対しても慣用されるが、具体的な意味は明確でない。 プログラムの正しさには複数の水準があるためである。 適格、またはすべての規則を満たす、または未定義の動作を含まないなどが考えられる。 明確な言葉で言い換えられるまで下手に考えても不毛そう。 949 名前：「前方宣言は」というのも「ユーザー側コードに～な前方宣言を加えて利用していた場合にライブラリ更新があっても～」 とかいう意味になりそうだけど端折りすぎて意味不明になってる。 「鼻から悪魔」は未定義動作と同じ意味のつもりで使ってそうだけどコンパイルエラーやリンクエラーは除くようでもあり これも未定義動作とは違う何か。 さっきキレちらかしてた人もこんな感じで我慢できなくなったんだろう。 明確な用語を使うように気を付けて主張を整理しないと、君とまともに会話してくれる人居なくなると思うよ。 [] [ここ壊れてます] 950 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 07:37:18.96 ID:GSvWJ+1+0.net] 「天才のぼくちんの完璧なレスを理解できない無能なお前らが悪い！」って暴れ出すいつもの奴だからもう放っとけよ 951 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 07:46:03.70 ID:nX/ozHbV0.net] 事実と挙動だけ書けばいい 952 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 08:04:36.52 ID:l/ni+ylad.net] ハッシュ小僧か 953 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:12:03.63 ID:QO3hLMTW0.net] >>921 鼻から悪魔はコンパイルエラーやリンカーエラーは当然含まない 何人か知らないようだけどもひょっとして自演してるの？ 954 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:18:29.54 ID:QO3hLMTW0.net] >>921 したがって>>865の答えは出ていない 名前空間stdは>>820のdeclarationsに 前方宣言が入るとは限らないので 答えにはならない それと俺は天才くんとは別人 横からちゃちゃ入れてる人だよ 955 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:39:33.69 ID:2fUOYjFgd.net] はいはい、別人なんでちゅね～ ニヤニヤ 956 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:43:36.77 ID:QO3hLMTW0.net] >>927 例えば>>654が俺だよ 957 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:44:56.74 ID:2fUOYjFgd.net] それでそれで？ 958 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:45:14.64 ID:QO3hLMTW0.net] おんなじワッチョイ検索してね 959 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:45:28.77 ID:fnhKiHjQ0.net] 「いつもの奴」が一人ということも無いからな。悲しいことに。 コテハン付けてくれない？ 960 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:46:04.33 ID:QO3hLMTW0.net] 天才くんほどの実力はないです 961 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:46:30.13 ID:QO3hLMTW0.net] >>931 どうやってつけるの？ 962 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 11:58:22.17 ID:fnhKiHjQ0.net] >>933 https://www.google.com/search?q=5ch+%E3%83%88%E3%83%AA%E3%83%83%E3%83%97 963 名前：天災 mailto:sage [2022/12/27(火) 12:02:33.04 ID:QO3hLMTW0.net] >>934 Thanks! 964 名前：デフォルトの名無しさん (ﾌﾞｰｲﾓ MM21-5fcg) mailto:sage [2022/12/27(火) 12:03:58.07 ID:ifNnQS7gM.net] >>837 本題と関係ないけどこれって CTAD 関連含めて挙動完全に大丈夫なんか？少なくとも C++17 ではダメだが 965 名前：天災 ◆41t0I.PYBW0z (ﾜｯﾁｮｲ b101-jXNG) mailto:sage [2022/12/27(火) 12:04:16.27 ID:QO3hLMTW0.net] 俺は天才なんて呼ばれたことはないが 天才と呼ばれた人だこのスレで呼ばれたw 966 名前：天災 ◆41t0I.PYBW0z (ﾜｯﾁｮｲ b101-jXNG) mailto:sage [2022/12/27(火) 12:04:54.10 ID:QO3hLMTW0.net] 天才と呼ばれた人だ＜と＞このスレで呼ばれたw 967 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 6d5f-aH43) mailto:sage [2022/12/27(火) 12:12:33.94 ID:fnhKiHjQ0.net] ありがとうございます。助かります。 968 名前：天災 ◆41t0I.PYBW0z (ﾜｯﾁｮｲ b101-jXNG) mailto:sage [2022/12/27(火) 12:13:50.33 ID:QO3hLMTW0.net] いえこちらこそ 969 名前：デフォルトの名無しさん (ｽｯｯﾌﾟ Sd57-Xl/E) mailto:sage [2022/12/27(火) 12:17:08.49 ID:XYKyOOkrd.net] >>865の結論て>>866で終わってると思うんだけど 前方宣言がdeclarationじゃないとか曲解だろ たまたま先に同じ型で宣言するという技法がテクニックとして成立するだけ 970 名前：天災 ◆41t0I.PYBW0z (ﾜｯﾁｮｲ b101-jXNG) mailto:sage [2022/12/27(火) 12:29:08.28 ID:QO3hLMTW0.net] 前方宣言が確かに>>820の`declarations'に含まれる根拠があれば示して下さい 前方宣言で鼻から悪魔が出ることは 懸案事項の名前空間stdの場合は保留として他にないと思う >>837はコンパイルエラーで弾かれるので鼻から悪魔は出ない あれば教えて下さい 971 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 12:55:07.85 ID:XYKyOOkrd.net] まずあなたがどっちもdeclarationなのにただのテクニックである前方宣言が含まれない理由を 972 名前：示すべきだろう [] [ここ壊れてます] 973 名前：天災 mailto:sage [2022/12/27(火) 13:01:14.48 ID:QO3hLMTW0.net] >>943 俺は入るとも入らないとも根拠がないので保留だよ どちらかの根拠があれば解決だね 974 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:09:43.62 ID:WVVp8u06d.net] >>925 コンパイルエラーやリンクエラーも未定義動作で起こりうる事の一つなんだけど どういう理屈で鼻から悪魔から除外されるの？ 975 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:10:56.66 ID:8Y7pY2Mbd.net] それは違うだろ 976 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:18:26.61 ID:WVVp8u06d.net] 違わないよ 何でも起こりうるのが未定義動作だ お前はコンパイルエラーの方が鼻悪魔出現よりも非現実度が高いと思ってるの？ 977 名前：天災 mailto:sage [2022/12/27(火) 13:19:13.33 ID:QO3hLMTW0.net] >>945 コンパイルエラーやリンクエラー -> 動作しない 未定義動作 -> 動作する 978 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:22:50.11 ID:WVVp8u06d.net] 現実的な話としては、未定義動作静的解析で見つけ出してillーformed扱いしてコンパイル拒否するコンパイラがあったとして、それは規格違反ではない 当たり前だろ、だって未定義なんだから 979 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:23:40.85 ID:XYKyOOkrd.net] >>944 まず前方宣言がdeclarationという仕様のそとにある可能性を示してくれないと 前方宣言ってdeclarationの言語仕様外の動作してるの？ 980 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:24:42.77 ID:WVVp8u06d.net] >>948 未定義動作の「動作」(undefined behaviourのbehaviour)は実行時動作だけ意味してるわけじゃない 981 名前：天災 mailto:sage [2022/12/27(火) 13:27:30.62 ID:QO3hLMTW0.net] >>950 俺も昨日から規格をあたってるけど見つからんのだよ Cの規格を見れば良いのかな? 982 名前：天災 [2022/12/27(火) 13:35:30.55 ID:QO3hLMTW0.net] >>951 初めて聞いたよ 983 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:35:53.60 ID:8Y7pY2Mbd.net] >>951 通らない部分は未定義動作のまま残して良いわけだけど コンパイルが通らないとなると問題だ 984 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:43:49.52 ID:WVVp8u06d.net] >>954 何が問題なの？何だろうと問題にしないのが未定義という事だぞ それ以上言うなら「未定義といえどもコンパイルとリンクは必ず通らなければならない」って規格書に書いてある場所提示してね 985 名前：天災 mailto:sage [2022/12/27(火) 13:44:55.47 ID:QO3hLMTW0.net] ソースがWikipediaで申し訳ないが 未定義動作とはコンパイルやリンクを通るものを言う https://ja.wikipedia.org/wiki/%E6%9C%AA%E5%AE%9A%E7%BE%A9%E5%8B%95%E4%BD%9C 名前空間stdにビルドできるコードを追加しても 動作が意図通りになるか分からんよ 動作は未定義だよってのが>>820の指摘だよ 986 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:46:12.79 ID:8Y7pY2Mbd.net] 未定義じゃなくても「必ず通らなきゃならない」なんて記述はないと思うけど 987 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:56:51.44 ID:fnhKiHjQ0.net] >>956 ちがうんだよなぁ。 > CやC++の場合、コンパイラはコンパイル時に未定義動作のチェックを行うことができる よりC++規格に即した>921のリンク先も見てね。 988 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:57:29.46 ID:XYKyOOkrd.net] >>952 普通にdeclaration and definitionの項でも読んでれば良いんじゃないの 前方宣言特有の動作があるのにここにないなら別である可能性も考えて良い 989 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:59:01.95 ID:WVVp8u06d.net] >>956 ゴミ持って来んな しかもそのゴミにもコンパイル前にチェックしてもいい(しなくてもいい)って書いてあるやんけ >>957 コンパイル出来なかったら問題だとかいう寝言言い出したのはお前の方だろうが 990 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 13:59:36.79 ID:fnhKiHjQ0.net] >>957 あるよ。 https://timsong-cpp.github.io/cppwp/n4861/intro.compliance#2.1 991 名前：はちみつ餃子 mailto:sage [2022/12/27(火) 14:01:35.95 ID:G9AKlNLO0.net] >>956 仕様上の定義では未定義の挙動は翻訳中にも生じる。 > https://timsong-cpp.github.io/cppwp/n4861/defns.undefined > during translation or program execution 992 名前：天災 mailto:sage [2022/12/27(火) 14:23:44.32 ID:QO3hLMTW0.net] >>962 ホントだねw Wikipediaにあるようにコンパイルもリンクも通って 実行はできるときに使うことが多いと思ってたけども 993 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 14:42:36.98 ID:kLAEuBfs0.net] >>956 未定義動作はc++標準の規定外というだけで、エラーになるかどうかは全く関係無い。エラーにしてもエラーにしなくてもc++標準には違反しない。 www.open-std.org/jtc1/sc22/wg21/docs/standards N4849. 3.28 未定義の動作 この文書が要求していない動作 [項目への注記 1: 未定義の動作は，この文書が動作の明示的な定義を省略したとき，又はプログラムが誤った構成又は誤ったデータを使用したときに予想されるかもしれない。 未定義動作は，この文書が動作の明示的な定義を省略した場合又はプログラムが誤った構成若しくは誤ったデータを使用した場合に想定される。許容される未定義の動作 予測できない結果をもたらす状況の完全な無視から、翻訳中またはプログラム実行中に特徴的な文書化された方法で動作することまで、許容される未定義動作の範囲があります。 環境に応じて文書化された方法でプログラムの実行を行う（診断メッセージの発行の有無は問わない）。 また、翻訳や実行を終了する（診断メッセージを発行する）こともあります。） 多くの誤ったプログラム構成は、未定義の動作を発生させるものではなく、診断が必要なものである。 定数式の評価は、本書第 4 条から第 15 条で明示的に未定義と指定された動作にはならない。 から第15項（7.7）までに明示的に未定義と指定された動作を示すことはない。- エンディングノート] 994 名前：天災 mailto:sage [2022/12/27(火) 14:53:01.92 ID:QO3hLMTW0.net] >>964 有難う 用語は注意して使わないとね >>865の質問を正確にすると 前方宣言を自分のソースに追加すると ビルドはできるが動作が未定義となる設計は本当にあるの? （もちろんstdは懸案事項なので保留するとしてそれ以外でね） 995 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 15:32:40.76 ID:XYKyOOkrd.net] stdだと未定義とするって仕様なのにstd保留してどうするんだ 未定義にならずにコンパイラが仕様通りの解釈して動作するだけだろ 996 名前：はちみつ餃子 mailto:sage [2022/12/27(火) 15:37:36.05 ID:G9AKlNLO0.net] 言語的には仕様通りの解釈をするがそれがそのライブラリにとって想定外であるような、 つまり本来の動作と異なる結果を引きおこすような形での前方宣言がありうるかという意味だろ。 997 名前：はちみつ餃子 mailto:sage [2022/12/27(火) 15:58:07.39 ID:G9AKlNLO0.net] それっぽい例を作れた！ https://wandbox.org/permlink/6utNhLox1WhOaBV8 とはいっても適切な前方宣言になっていないから起こっていることではあるので、 「ヘッダを見て間違いなく前方宣言としては適切になるように書いたけど挙動には影響ある」という例にはなってない。 998 名前：天災 mailto:sage [2022/12/27(火) 16:01:30.79 ID:QO3hLMTW0.net] >>966 話が通じんなw その仕様を俺は疑っているから保留 正確に言うとdeclarationsに前方宣言は含まないかもしれんと思っている 999 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 73f0-4Ar3) mailto:sage [2022/12/27(火) 19:17:57.55 ID:7IKxcRBS0.net] じゃ小学生の自由研究の時期が終わったら呼んでください 1000 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 20:34:13.81 ID:AOBUz6/T0.net] ボクちゃんの痛い自由研究 「stdネームスペースに落書き」 1001 名前：デフォルトの名無しさん [2022/12/27(火) 21:38:26.75 ID:Q5qxYeje0.net] じゃあ、ISOで未定義の時は、コンパイラの仕様を調べて使えば良いのでは？ 1002 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 21:40:51.41 ID:FdHzEXmap.net] 移植とかでコンパイラ変わったら意図しない実行するとか平気ならな 1003 名前：天災 mailto:sage [2022/12/27(火) 22:06:21.35 ID:QO3hLMTW0.net] >>968 確かに前方宣言で挙動変わるね しかしこのトリッキーな例をもって 前方宣言を自分の管理外の名前空間（std以外でも）に 追加するのが危険と言って良いものかは正直悩む 1004 名前：天災 [2022/12/27(火) 22:15:15.29 ID:QO3hLMTW0.net] >>972,973 俺は絶対にstdはいじらないね 1005 名前：デフォルトの名無しさん [2022/12/27(火) 22:17:12.44 ID:Q5qxYeje0.net] じゃあ俺もそうする。 1006 名前：デフォルトの名無しさん [2022/12/27(火) 22:18:07.71 ID:xkGd3ITG0.net] 自作クラスでendlなどのマニピュレータをオーバーライドするにはstd名前空間に入れるしかないじゃない？ 1007 名前：デフォルトの名無しさん mailto:sage [2022/12/27(火) 22:19:58.45 ID:Kk7zAeAV0.net] つうかstdが「標準である」と言う設計上前方宣言を禁止したから仕様上未定義動作となっただけの話で 危険だから前方宣言すべきじゃないって話じゃないと思うよ 結果的にコンパイラ側がそれを逆手にとって最適化とか推し進めた形になったとしてもね 前方宣言許さない仕様のライブラリって言うのは危険だからじゃなく 勝手に拡張すること許さないと決めたライブラリであるというだけの話で 1008 名前：デフォルトの名無しさん [2022/12/27(火) 22:24:30.48 ID:Q5qxYeje0.net] >>977 ストリームはホント腹立つよな。 ぶっ飛ばしたくなってきた。 30年くらい怒りが収まらん。 1009 名前：天災 mailto:sage [2022/12/27(火) 22:55:56.41 ID:QO3hLMTW0.net] 随分と古参なんですね 1010 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 95da-Axul) mailto:sage [2022/12/27(火) 23:15:16.94 ID:AOBUz6/T0.net] >>977 バカが設計したからなアレ 1011 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 9fea-ij7E) mailto:sage [2022/12/27(火) 23:26:06.87 ID:VvvSD8wK0.net] ostream と　istream の別の建てつけなので、ファイルポインタもこの二つのクラスで別なんだろうと思っていたら、土壇場で、実はファイルポインタは共有していましたぁ とか勘弁してほしいと痛切におもいましたねえ 1012 名前：デフォルトの名無しさん (ﾌﾞｰｲﾓ MM21-5fcg) mailto:sage [2022/12/27(火) 23:28:14.07 ID:2qRZfHzrM.net] >>968 これ面白いな 1013 名前：天災 ◆41t0I.PYBW0z (ﾜｯﾁｮｲ b101-jXNG) mailto:sage [2022/12/28(水) 00:50:07.21 ID:YU/L8pIp0.net] 無名namespaceで囲ってるとこが変態 1014 名前：デフォルトの名無しさん mailto:sage [2022/12/28(水) 08:09:55.49 ID:jVoOqLVQM.net] >>978 そういうのは「改造c++」とでも言うべきもので、個々の具体的な実装を挙げて話すべき話題。 具体的な実装の無い「改造c++」なんて「オレ言語」でしかないから、話題にしても相手にするヤツは居ないよ。興味無い。 1015 名前：デフォルトの名無しさん [2022/12/28(水) 16:02:37.97 ID:wx2BQ76Ga.net] >>981 まさかプロトタイプが30年後も使い続けてるとは思わなかったんだよ 1016 名前：はちみつ餃子 mailto:sage [2022/12/29(木) 22:47:04.14 ID:J2+EgPHK0.net] >>974 「わからない」という状態が最大のリスクだ。 精査して事情を把握してからやる分にはいいよ。 だけど少なくとも私はいちいちライブラリの細かいことなんて調べたくないし、 細部の事情まで読み解ける自信はないから製作者の意図 (仕様として明示されている範囲) を超える ような使い方をあえてすることはないだろうという話。 要するに割に合わない。 しなくていいことはせずに済ませられたらそのほうがいいだろ。 割に合うと考えている人がいたとしたら 「んなわけねーだろ。 お前が調べるのに労力をかけてないだけ」 と思うから安易にやっちゃうやつはちょっとナメてるように感じる。 そりゃあ他に打てる手がなければ割に合わなくてもやらざるを得ないことだってあるだろうけどさぁ。 1017 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 07:37:06.73 ID:zn+Ud9N00.net] 本当に余計なお世話だけど、はちみつさんのような実力がある人は むしろライブラリやコンパイラのソースを読んだ方がいいよ 1018 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 10:24:58.07 ID:O3GOnLRpa.net] >>988 おまえは仕事した方がいい 1019 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 11:11:02.33 ID:l10vdbnHr.net] 火の玉ストレートやめたれ 1020 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 13:31:38.92 ID:p0azBXIn0.net] std名前空間への勝手要素追加は未定義動作と書かれているのに std名前空間内のクラスへのメンバ追加についてはなんで言及が無いのやろうな…… 名前空間もクラスもPGの責任分担範囲の区切りみたいなもんで、 第三者に後から勝手に弄られたら設計したPGが困るのは同じだと思うのだけど、 1021 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 13:33:22.64 ID:DPUEZfMS0.net] 後々の事考えて設計出来ない奴はPGに向いてない 1022 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 14:02:10.34 ID:p0azBXIn0.net] 自分はできるPGですと自己申告する>>992…… その自身がどこから来るのかは誰も知らない…… 1023 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 14:11:57.62 ID:DPUEZfMS0.net] そんなこと思ってない いままで見てきた汚いソース書いている連中の総意点を述べているだけのこと 1024 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 14:28:22.93 ID:p0azBXIn0.net] つまりstd名前空間のソースは汚いから 予防のためにstd名前空間への勝手要素追加は未定義動作とするのがstdを設計したPGの立場では当然だと、 1025 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 14:33:46.74 ID:DPUEZfMS0.net] バカなの？ なんのための名前空間なのかよく考えろよ 設計を区分するためだろ そこにお前みたいなワケワケな奴が落書きしたらめちゃくちゃになるだろ 1026 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 15:06:36.37 ID:uGEPy//I0.net] stackoverflow 辺りで 皆さんの御意見を聞いて来いよｗ 1027 名前：デフォルトの名無しさん [2022/12/30(金) 17:36:57.79 ID:oiKCiiXa0.net] 後のこと考えて設計するよりも先に手が動くような人じゃないとプログラミングは上達しないよ 1028 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 17:55:02.39 ID:12nE7t5Ga.net] >>998 もうお前の尻拭いするの嫌だよ たのむから手動かす前に3分くらい考えてくれ 1029 名前：デフォルトの名無しさん mailto:sage [2022/12/30(金) 18:20:10.37 ID:2kXrfTwwd.net] 昔はさ、ウォーターフォールといって 完璧な設計ができるまでコードに手を出すな 設計が決まったら黙ってそれに従うコードを書け なんてのがあったけど 前例のないものの完璧な設計なんてほいっとできるのか 現場からのフィードバックを無視なんてできるのか って反省から今時の方法論ができているわけで ただし、それを悪用するだけの寄生虫を擁護はしない 1030 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 60日 3時間 50分 35秒 1031 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef