C++相談室 part144
■ このスレッドは過去ログ倉庫に格納されています
C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。
前スレ
C++相談室 part143
https://mevius.5ch.net/test/read.cgi/tech/1560574313/
このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.105【環境依存OK】
https://mevius.5ch.net/test/read.cgi/tech/1556142878/
■長いソースを貼るときはここへ。■
http://codepad.org/
https://ideone.com/
[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)
----- テンプレ ここまで ----- >>580
アセンブリコードを見る限り、特に問題なく、人間が単純に書いた場合
と似たようなコードになっています。
ただし、一点、テーブルの c 番目の要素を参照する際、バイト整数の c
をゼロ拡張して32BIT 整数にする必要があるのですが、自分の使ってるVC++
だと、movzx 命令を使わずに、xor eax,eax; mov al,cl のように2命令
を使ってしまっている点が、人間が最適化するより遅いコードになってしまって
います。 コメントありがとうございます。
>>555
エンディアンを気にしないといけないのは後々分かりづらくなりそうですね。。
memcmpというのがあったんですね。
連続バイト比較ができてシンプルで良さそうです。
これを使ってみます。 volatile命令の他にキャッシュ命令とか無いのかよ
ルックアップテーブルをキャッシュに載せときゃ爆速じゃん
もっと言えばテーブルを石に焼いた時一番早い >>569
>分岐予測はデータの内容関係ないやろ
分 岐 予 測 は デ ー タ の 内 容 （統計的偏り） に 関 係 あ る
>>567
最近のCPUは黒魔術で製造されているからミクロな最適化を下手に人が手を加えるより
単純なアルゴリズムにした方が速いことが多くなた
印象 >>587
お前はアレか
>>567の言う「配列は読み出してみないと値がわからないので、予測が出来ず」
が正しいと？ 多分メモリが読めてない状態でも分岐予測して投機的実行はするんじゃないかな
近代的なCPUは >>567の前半部のコード
>if ( (c >= 'A' && code <='Z') || (c >= 'a' && code <='z') ||
> c == '_' ) {
> ・・・
>}
はCPUレベルの分岐予測＋投機的実行では入力データによっては速度向上し難いケースがある
AaZz_AaZz_AaZz_....
という入力を考えたらﾜｶﾙ（cといして1文字入力される度に||か&&を打ち切る分岐箇所がちがーう
分岐予測キャッシュというのは分岐命令1個につき1状態か2状態記憶がせいぜい（しかもLRU式に記憶が消える
のでこのような場合は投機的実行結果が捨てられ続けかねない
>>598
ハイ論破
>>589
分岐予測と投機的実行が効力を発揮するのは多重ループで内側の分岐条件が大部分の時間変わらないというケース ちゅか&&や||の条件式に関数呼び出しが含まれない単純なケースにおいては、
OoOと分岐予測を備えた今日日のCPUでは途中で打ち切るより全部評価してしまった砲が速い可能性がおおきい
このとき問題になるのは副作用のある式が問題であり、
副作用がある++や--があると、やっぱ言語規格どおり||や&&は条件成立で打ち切らないとソースコードに書かれた気体動作と
オブジェクトコードの動作が別物になってしまうので諸悪の根源
C言語を引きずった仕様のままでは時代について逝けてない
Rustで++や--を式の中で使えないのは故無きことでは無いんじゃ… >>590
> （しかもLRU式に記憶が消える
知ったか乙
せめて
https://ja.m.wikipedia.org/wiki/分岐予測
くらいは読んでこい
> のでこのような場合は投機的実行結果が捨てられ続けかねない
そりゃ頑張って作れば最悪の状況は作れるよw
だから何？って話だが >>590
そういう安価ミスはちゃんと訂正しろよ
あと反論になってない
語弊はあったろうけど配列だから分岐予測が効かないなんて話はないだろうと言いたかっただけだ >>586
1バイトの即値データとの比較の方が速いに決まってんだろ。
命令デコードする段階で比較対象のデータとってこれるんだから >>594
リンク先のどこにLRUでは無いと書いてあるんじゃ…
分岐予測キャッシュがあふれたときはLRUが基本
これは2次キャッシュを儲けても関係ない（それぞれの中で溢れたらLRU
むしろハードウェア実装の制限でLRUより性能の落ちるしくみを使うこともある
が（nウェイセットアソシアティブの「アソシアティブ」部分は一部アドレス線の固定解釈による簡素化
>>595
分岐予測が性能を発揮しない例が有る以上ハイ論破の訂正の必要は認められぬ もし分岐予測制度を上げるためのキャッシュエントリのn状態化とキャッシュが溢れた場合の話を
混同しているんだとしたらきわめておめでたい話だといえる
あるアドレスの分岐命令に対応するキャッシュエントリがどの状態に居たとしても、
そんあことはお構いなしに溢れたときはどれかのエントリが消される.。
このとき他の制約が無ければ理想解はLRUという話 ていうか
>1状態か2状態記憶がせいぜい（しかもLRU式に記憶が消える (>>590
とまで書いたのだからキャッシュエントリのn状態化は機知の前提で話していることぐらいは読み取って
ﾎｽｲ
（雑駁なリンク先を示すよりはむしろ「1状態って何だよ2状態だろパーカｗｗｗｗｗｗｗ」ぐらいの反応であれば>>594は知性を疑われずに済んだ ただのこじつけじゃねーか
てかそんだけ御託並べて質問者へのアドバイスはゼロかw
(というかこいつの論調どっかで見たな・・・) >>597-599
分岐予測はキャッシュじゃねーぞw
反論するなら分岐予測にLRUアルゴリズムを使ってる奴はCPU挙げてみな いや、まてまて、そもそも今の話は、分岐予測の精度は関係無いのでは？
>「配列は読み出してみないと値がわからないので、予測が出来ず」
がおかしいって話でしょ
精度はともかく、分岐予測はするでしょ
というか、逆に、値が分からないから分岐予測するようなもので
分岐予測の精度に関しても、if文のかっこの中の計算が終わってない状態で
適当にジャンプするのは同じでしょ、配列が読めてようが読めてなかろうが そりゃー予測なんかせず配列まるまる全部をキャッシュに乗せるから早いんだろ
つまり予測しないルックアップテーブルの時が一番早い
そのテーブルがCPUに焼きこんであればもっと早い いやだから、ルックアップテーブルの結果を受けて分岐する話なんだから・・
おかしなこと言うな イキってるパソコンの大先生の子供部屋おじさんがいますね… 多くのCコンパイラがサポートしてるquadmath (__int128とか__float128とかその関数)がかなり便利なのですが、なぜこれはC++の標準の機能にならなかったのですか？ 殆んどのハードでの実装がソフトで遅いし、需要も少ない
使いたきゃboostにあるし
標準化されるとしたら、x86とかでハード実装された後に標準型として対応するんじゃね？
てかlong doubleがワケわからんことになっているのをどうにかしろと 'A' から 'Z と 'a'から'z' は連続した文字コードである
ここにcpuの速度の秘密がある はず >>608
> 'A' から 'Z と 'a'から'z' は連続した文字コードである
はあ？ >>606
大型計算機にすら倍々精度をハードウェアで扱ってないもんな
命令体系は用意されてるけど
ソフトで十分ってこった >>606
ところで、そんな精度を何に使ってるの？ float128よりdecimal64の方が需要あるんじゃね >>612
それ金融でほしいやつだな。
国家予算研究できるな！ >>616
金融計算をIEEE754(？)でやってはいけないのだ。
2進化10進数でやらないと誤差が出る。 二進化十進数でも誤差でるから
当たり前だけど
有理数でやるんだよ そういう話じゃない。
金融計算では10進数のどの桁でどういう丸めを行うか決まっているから、
その通りの結果になることが「誤差がない」状態なんだよ。 >>611
畳み込み和の計算はフーリエ変換して求めておいて最後に逆変換することで高速化できます (畳み込み定理) が、しばしば誤差の増大がネックになります
こういう問題で出てくる整数はとても大きいということもあります
だから巨大な数を普通に扱いたいのです
数論変換 (整数環上でのDFT) をすれば良いのですが、もっと単純化できないかという試行錯誤です 蒸し返すようですいませんがGNU Makeに取って代わるデファクトスタンダードなビルドシステムってCMakeじゃないんですかね >>608
規格で保証されてるのは'0'から'9'が連続してることだけな >>622
取って代わるというかmakefileをつくるメタビルドツールって方が認識として正しい。
実際cmakeでwindowsでもlinuxでもビルドできるように設定するのはマジ辛いぞ。 >>624
そういうのは windows 用と linux 用にわけるんじゃないでしょうか？ CMakeもAutoconfなんかと比べたら簡単になったんだろうけど、自分で書くならgypだな。 >>625
cmakeを何だと思ってる
使ったことないのかよ automake/autoconfに慣れたからcmakeいらんわ
うまくクロス環境みつけてくれないこと多いし >>625
cmakeとかautomake系のツールのコンセプトはできるだけ分けないで書けるように
ってところではあるが、まあ実際はそれぞれの環境用に色々やるのと大して変わらん。
少なくともデバッグするときはその環境毎のビルドがわかってないとほぼ詰むし。
なんだかんだでまずlinux系統でmakeになれるのが近道だとは思うけどね。
あれでヘッダー依存の取り扱いがしっかり書けるようになれば大抵のビルドシステムにも慣れるだろう。 最終的にクロスプラットフォームでちゃんとやれることを目指すならmakeもmsbuildも
両方押さえておかなければならないわけで、どっちが先ってことはないと思うがな。 - >>630と>>632に話の脈絡が全くない
- >>632 べつに楽な方から始めるのが良いという根拠もない
- というか>>630はmakeがわかれば他はもっと楽だという、逆のニュアンスだったんじゃないの？
- そもそもmsbuildの情報もMSDNで簡単に調べられるし
ツッコミどころ多すぎ。
>あれでヘッダー依存の取り扱いがしっかり書けるようになれば
いまどきlinuxでもそんなん手書きする奴はいないｗ makeじゃなくてmsbuild教える方がいいと思うならお前はそうしろ。
それが本当にいいと思ってんならな。
俺だったらmakeを教えるというだけの話だ。 また支離滅裂なｗ
makeとmsbuildの優劣なんて話はしてないんだが、日本語不自由なのか？
>少なくともデバッグするときはその環境毎のビルドがわかってないとほぼ詰むし。
という理由でmakeを覚えなければならないと主張するなら、同じ理由でwindows環境向けには
msbuildを覚えておかなければ片手落ちだろうと指摘しただけ。
まぁどうせ上の理由も後付けで、cmakeを知らない爺が横からmakeを布教しようとしただけなんだろうが。 手で触るもんじゃないけど
一度手で触っておかないと吐き出されたmakefileを見て何がおかしいか理解できない std::condition_variableを使って複数のスレッドが待ち状態の時、
notify_oneで一つだけスレッドロック解除した場合、解除されるスレッドに優先度はある？
例えば、一番最初に待ち状態に入ったスレッドのロックが解除されるとか。
それとも完全に実装依存？ notify_one使ったことないけど解説読む限り実装依存に見える(待機中のスレッドからいずれか一つ、とかあるし)
順序あるならそう書かれると思う
曖昧ですまんけど 実装定義だと思うけど、wait呼び出した順だと考えていいと思う 俺は多分カーネルのスレッドのスケジューリングで
たまたま選ばれたやつが走ると思う
しらんけど 流れ読まずに申し訳ございません、質問させてください。
非エンジニアのものなのですが、下記のようなオープンソースのコードを使って
メッセージのウェブアプリケーションを創ってみたいのですが、
一番手っ取り早い方法はどういう方法でしょうか？
漠然とした質問で申し訳ございません
▶Telegram
https://telegram.org/apps#source-code
▶Signal
https://github.com/signalapp
▶Rocket Chat
https://github.com/RocketChat/Rocket.Chat
▶Tox
https://github.com/Tox/tox.chat
▶Wire
https://github.com/wireapp/wire >>636
お前ほんとにmsbuildいじったことあるのか？
あんなクソなものを本気で使ってんの？
てかヘッダ依存解決くらい書けなきゃまともなビルドシステムなんて絶対組めねーよ。
こういう誤誘導を平気でするやつってどういう神経してんだろうな。。 >>643
ウェブアプリなのにC++スレで質問するの？ 根本的に間違ってるんじゃない？ 最近C++を学び始めたのですが、
テンプレート引数の型をコンパイル時に文字列に変換する方法ってあるのでしょうか？
できればテンプレートの特殊化やプリプロセス命令を使わずに以下の用な感じでかければよいのですが
template<typename Type>
class Hoge
{
public:
static constexpr char* Text = Typeを文字列に変換して納入したい
}; 無理ゲー
あくまで自動にこだわるならtypeid使え。
自作クラスだけならクラス名を名乗るメンバ関数でも作っとけ >てかヘッダ依存解決くらい書けなきゃまともなビルドシステムなんて絶対組めねーよ。
いつの時代から来たんだよｗ
ソースに #include 書く度にいちいちMakefile書き換えんのか？ >>649
以前nameofとかいうライブラリ？が同じくgithubにあったけどどっちが便利かな
というかこの手のは他にもあるっぽいな
>>651
いや合ってると思うけど
ウェブなのかネイティブなのか、多分ごっちゃになってるだろうからまずそこを指摘すべき 別にウェブだからって既存のブラウザ上で動くものという定義はあるまい
サーバーサイドもクライアントサイドも両方C++で作ればいい
そもそもブラウザだってC++で作られているんだから >>653
両方自分で作るならもっとシンプルなプロトコルでやるよ typeidってPFで戻ってくる値が違うからテスト書くとき気をつけるん >>650
書き換えなくていいように書けるようにするってことだよバカ。
てか依存をしっかり見るって意味じゃヘッダを意識するってのは
相当大事なんだがな。
タスク管理を意識した場合、どんなレイヤーで仕事する場合でも重要になる。 てか想像以上にビルド周りの技術ってc+11から入った輩は理解してないのな。。
またクソシステムの再生産が10年単位で続きそうだわ。。 そりゃこのスレでも
「閃いた！stdを usingすれば文字を打つのが少なくなるよ！」って宣う輩がいるくらいだし 趣味でc++のパズルにはまってる人と
仕事で生産的に使いたい人とでは
言語に期待するものが違うからね
区別しないと このビルド周りのクソ仕様のせいで年々インタプリタ型に人が流れていくんだわ そのうちC++ライブラリ用リポジトリとかC++用パッケージマネージャとか作りはじめそう 車輪の再発明が好きなやつが多すぎてウンザリする
道具ばっか作ってどうすんだ
道具つかって絵描いたり家建築したりするのが仕事なのに makefileなんて十数年触ってないしもう忘れたけど
>>656-657には同意するわ
依存関係も考えた上で設計&利用しないとコンパイル時間の増大とかに全く対処できなくなる
新しい機能には飛びつくわりに古い部分(しかも無くなってるわけではない)をおざなりにするのはあかん >>662
テンプレートの export の問題とかさ。。ほんと何周同じことしてんだよって思うわ。 >>656
これ、依存関係を自分で書くんじゃなくて gcc -M とかで自動的に判断させることを言っているんだろうか？
msbuildを含めて今どきの大抵のビルドシステムでできることなんだが。 >>649
こんな良いライブラリーがあるんですね。
非常に助かりました。ありがとうございます！ >>668
makeが実装が一番ネイティブでわかりやすいってことだよ。
bazelなんか中身はもろにmakeだろありゃ。
ただはじめからbazel使ってたらエラーメッセージ見てもわからんだろうし、
そういうのをはじめに薦める奴は詐欺だろ。 makeがネイティブ？わかりやすい？冗談だろ
暗黙ルールとか特殊変数とか特別扱いのターゲットとかやめろ
アーカイブだの何だのを勝手に推定しておせっかいな処理挟み込むのを全部やめろ
積もり積もったウンコの山を無効にさせろ 本来のmakeのルールは単純なのにな
なんであんなそびえ立つ糞になったのか >暗黙ルールとか特殊変数とか特別扱いのターゲットとかやめろ
まあこれはわかる。
>アーカイブだの何だのを勝手に推定しておせっかいな処理挟み込むのを全部やめろ
これは逆に暗黙のルールを使ってるからだろ。
基本的に明示的なmakefileを書いてないのが原因だが、
こんなこと言い出したら他のビルドツールなんて使えんぞ。。
vc compilerなんかもっと暗黙の設定まみれだわ。 マルチプラットフォームで使えて、固定小数点を扱えるOSSっていいのないかな？ 使われていないクラスのstaticメンバ変数って生成されないのでしょうか？ >>679
多分生成される可能性が高いね
何故ならC++にはコンストラクタがあるから
つまりはstatic変数のコンストラクタで何かしているかもしれないだろう
だからリンカの最適化は削除をしないだろうね
ただ、普通のintとかだとリンカの最適化で削除されるかもしれないけど
まぁ運しだい
ともかく、規格では多分決まってない >>679
そのstaticメンバの定義を消してコンパイルしてもエラーにならなければ生成されてない
ちなみにstatic constとかの変数は元々ほとんどのケースで生成されてない ■ このスレッドは過去ログ倉庫に格納されています
