C++相談室 part155 - 暇つぶし2ch

C++相談室 part155 ..

142:デフォルトの名無しさん
21/04/09 11:45:42.89 B1MFSAev.net
>>139
誤：仮に、もし(1)が終わった直後にt1の中のポインタ型やshared_ptr<A>のメンバに
　　nullptr的なものが代入されるんでしょうか。
正：(1)が終わった直後にt1の中のポインタ型やshared_ptr<A>のメンバに
　　nullptr的なものが代入されるんでしょうか。

143:デフォルトの名無しさん
21/04/09 11:58:14.49 O38yN+C3.net
>>138
C++03にもstd::binary_searchあるぞ

144:はちみつ餃子
21/04/09 12:00:21.75 foJJo5gI.net
>>139
> nullptr的なものが代入されるんでしょうか。
この場合はされる。
ムーブセマンティクス一般においてはムーブ後の抜け殻は「無効なオブジェクト」なのでアクセスに対して保証がないことがあるが、
標準ライブラリのスマートポインタについては所有権を移動させた後にそれが空であり
メンバ関数 get で nullptr が返ることも、 nullptr と == で比較して真であることも保証される。
> いったいどの行のどの演算子(またはどの部分)で
> カウントアップ/カウントダウンされるんでしょうか。
= がその役割を持っている。
ムーブコンストラクタとムーブ代入演算子によってカウントされる。

145:デフォルトの名無しさん
21/04/09 12:02:12.29 B1MFSAev.net
>>140
どうやら、
(1) の中央の = では、TからTへの move-construc

146:torが呼び出され、 (2)や(3) の中央の = では、TからTへの move-assignment operatorが呼び出される、ということのようですが、 Tのmove-contructorやmove-assingment operatorは、ユーザーの実装次第で、ユーザーがそれらを明示的に書かなかった場合の「デフォルトの定義」は現在もまだ論争中で、標準的な仕様が決まってない、ということらしいですね。間違っていれば指摘してください。

147:デフォルトの名無しさん
21/04/09 12:11:46.34 fGHst4+7.net
>>141
そんなのも、ちょっとc\c++をかじったことあるなら
誰でも書けるじゃん
わざわざ誰が書いたかわからないようなものより自作できるなら自作するだろ

148:デフォルトの名無しさん
21/04/09 12:20:57.67 QYkH8yRN.net
>>143
以下のサイトによれば、「標準的な仕様は決まっている」ようです：
drafet C++11 standareのsection 12.8のparagraph 15に
implicitly-defined copy/move constructor は、
「a memberwise copy/move of its bases and members」
であると書いてあるそうですから：
URLﾘﾝｸ(stackoverflow.com)

The implicitly-defined copy/move constructor for a non-union class X performs a memberwise copy/move of its bases and members. [ Note: brace-or-equal-initializers of non-static data members are ignored. See also the example in 12.6.2. —end note ] The order of initialization is the same as the order of initialization of bases and members in a user-defined constructor (see 12.6.2). Let x be either the parameter of the constructor or, for the move constructor, an xvalue referring to the parameter. Each base or non-static data member is copied/moved in the manner appropriate to its type:
if the member is an array, each element is direct-initialized with the corresponding subobject of x;
if a member m has rvalue reference type T&&, it is direct-initialized with static_cast(x.m);
otherwise, the base or member is direct-initialized with the corresponding base or member of x.
Virtual base class subobjects shall be initialized only once by the implicitly-defined copy/move constructor (see 12.6.2).

149:デフォルトの名無しさん
21/04/09 12:39:59.46 QYkH8yRN.net
>>142
>ムーブセマンティクス一般においてはムーブ後の抜け殻は「無効なオブジェクト」なのでアクセスに対して保証がないことがあるが、
>標準ライブラリのスマートポインタについては所有権を移動させた後にそれが空であり
>メンバ関数 get で nullptr が返ることも、 nullptr と == で比較して真であることも保証される。
なるほど。
行(1)の場合、
1. 右辺でstd::move()をt1に行った段階では(実行段階で)マシン語は全く実行されない。
2. 中央の = は、move-constructor と解釈され、Tのmove-constructorが呼び出される。
3. Tの暗黙定義のmove-constructorは、メンバ同士のmove-construcotrなので、
　メンバに shared_ptr<A> a があると、shared_ptr<A>のmoveコンストラクタが呼び出される。
　そして、shared_ptr<A>のmoveコンストラクタは、実行後に「src側(from側)」をnullptr相当の
　状態にしてしまう。
ということのようですね。

150:デフォルトの名無しさん
21/04/09 12:42:08.46 QYkH8yRN.net
>>146
逆に言えば、Tのメンバに、A *pA; のような生ポインタがあると、
Tの暗黙のmoveコンストラクタ/move代入演算子では、恐らく、
「src側(from側)」にはnullptrが代入されない(??)ので、非常に困った
問題を招くかも知れないと？

151:デフォルトの名無しさん
21/04/09 12:44:10.41 QYkH8yRN.net
>>147
Tのデストラクタに
if ( pA != nullptr ) {
　delete pA;
}
などと書いていた場合、問題を生じそうですね。

152:デフォルトの名無しさん
21/04/09 12:45:44.21 iOouO9yu.net
生ポ入りクラスに暗黙move関数定義できたっけ？

153:デフォルトの名無しさん
21/04/09 18:46:49.83 WYvZUx+H.net
c++についてうんちく垂れるやつに限って仕事ができない
そんなうんちくどうでもいいから、さっさと作れよって思われてる先輩いるわ

154:デフォルトの名無しさん
21/04/09 19:06:14.56 PF0aPDJN.net
>>150
プログラマは怠惰であれ、を地で行ってるんだろう

155:デフォルトの名無しさん
21/04/09 19:55:10.43 O38yN+C3.net
>>144
> わざわざ誰が書いたかわからないようなものより自作できるなら自作するだろ
おまえは一生二度とライブラリもOSも使うな
ベアメタルだけで食っていけ
それができたら、おまえに付いてくる者たちが顕れるだろう
できなければ人知れず消えるだけだ
どうなりたいかは、お前の人生だ
俺がどうしろとは言えない

156:デフォルトの名無しさん
21/04/09 20:38:18.09 8YMfBGcF.net
>>150
またお前か。さっさとプログラミング覚えろよ

157:デフォルトの名無しさん
21/04/09 23:03:48.36 mQjFjskh.net
std::binary_search()は戻り値とかなんとboolや
こんなのよかちゃんと位置を返してくれるstd::lower_bound()の方がよっぽど使いでがある
ちなstd::lower_bound()が2分探索か線形探索かは使うイテレータの条件次第

158:デフォルトの名無しさん
21/04/09 23:08:01.53 mQjFjskh.net
std::lower_bound()が線形探索だと断言してくださる香ばしいblogも世の中にはあるが
ｈｔｔｐｓ：／／ｒｓｋ０３１５．ｈａｔｅｎａｂｌｏｇ．ｃｏｍ／ｅｎｔｒｙ／２０１９／０９／１０／１７３７０８
これがまつがいであることは比較関数の中でprintf()でもしたらたちどころにﾜｶﾙ

159:デフォルトの名無しさん
21/04/09 23:29:26.43 mQjFjskh.net
ｺﾞﾒｿリンク先は必ずしも断言はしていなくって、std::set<T>にstd::lower_bound()を適用する例か、
これのイテレータはrandom-access iteratorでないから確かに線形探索になる

160:デフォルトの名無しさん
21/04/10 02:28:09.12 +Yr/nSyJ.net
>>144
こういうのが井の中の蛙ってのだな
蛙くん

161:デフォルトの名無しさん
21/04/10 13:02:03.74 62UJIlpX.net
>>149
生ポインタのメンバ変数がある場合で、デストラクタで >>148のように
書いている場合は、暗黙のmove関数は自動定義されないようです。
なぜなら、暗黙のmove関数は、デストラクタがユーザー定義されている
場合には自動定義されないためです。
他にも、コピーコンストラクタ、コピー代入演算子、move代入演算子
がユーザー定義されている場合も、暗黙のmove関数は自動定義されない
そうです。

162:デフォルトの名無しさん
21/04/10 13:04:24.60 ziRUnSTY.net
>>158
誤：暗黙のmove関数
正：暗黙のmove-コンストラクタ

163:デフォルトの名無しさん
21/04/11 21:20:47.36 aRgjPq06.net
コンパイラはともかくリンカに計算負担をかけるのはバカな設計だなと思うわ。

164:デフォルトの名無しさん
21/04/11 21:31:53.64 X3ahc6YE.net
>>160 何の設計の話？

165:デフォルトの名無しさん
21/04/11 22:03:18.21 oDlLzjRc.net
暗黙のmoveがnullptr代入してくれないとか生ポあるクラスに暗黙のctor定義してくれるのか、とか
学ぶ順番間違えて勘違いしてるやつ上の方にいるけど
そもそも生ポの扱いに言語が介入するんならdtorでdeleteしてくれるのか、とか考えつかないのかね・・

166:デフォルトの名無しさん
21/04/11 22:28:21.28 AbYQFAoI.net
質問者はポインタ型とshared_ptrについて聞いてたのに、shared_ptrのことしか答えなかった餃子が悪い。
謝れ！俺に

167:デフォルトの名無しさん
21/04/12 13:47:17.66 SAslKmLH.net
指定ソフトのFWを許可するAPI教えてくださいよ

168:はちみつ餃子
21/04/12 15:59:50.47 8pnQviW4.net
そうか。

169:デフォルトの名無しさん
21/04/12 18:14:36.03 jbHGiSQO.net
皆さま御機嫌よう、ちょっと質問させてください
class hogeの内部でenum class fugaを定義し、
そのfugaをclass hogehoge でメンバ変数として使用したいのですが、
hogehoge のヘッダーにはなるべくhoge をインクルードさせたくありません。
もちろんfuga変数はヘッダーに置いて使用したいのですが�

170:c… 前方宣言でfugaを宣言してもhoge::fugaと互換？が無いため代入が出来ません。キャストで戻したりして使っているのですがこれならintでもいいかなと…… クラス内クラスの前方宣言は難しいのでしょうか？何か方法がありましたら教えていただきたく…… class hoge{ enum class fuga{ one,two,three,SUM }; }; //ヘッダーはソースにインクルードしたい class hogehoge{ hoge::fuga mfuga; }; こんかかんじで使いたいのですがエラーになってしまいsまずorz

171:デフォルトの名無しさん
21/04/12 18:58:57.80 jbHGiSQO.net
enum classはグローバルに置いた方がいいんでしょうか？
任意のクラス内部で規定したいenumが見た目も便利だと思ったのでなるべく入れ子にしたかったのですが

172:デフォルトの名無しさん
21/04/12 19:30:43.48 e7ZnlCa0.net
>>167
hoge をインクルードしないところで hoge::fuga を使いたいということは
fuga は hoge にそれほど強く結びついていないということで、外に出すのが妥当なのでは？
外に置いたうえで hoge 内で using fuga = outer_fuga とでもすれば、見た目は損なわれないだろうし。

173:デフォルトの名無しさん
21/04/12 19:43:07.58 jbHGiSQO.net
>>168
名前に「ホゲで使うフガ」と名付けるのがいいですかね？
前方宣言で定義したクラスは不完全型みたいでクラス内クラスにアクセスする場合は別途定義が必要みたいです……
難しい感じですかね

174:デフォルトの名無しさん
21/04/12 19:43:19.37 jbHGiSQO.net
ありがとうございました

175:デフォルトの名無しさん
21/04/13 19:17:47.93 CekyfU50.net
std::sortがセーフソートかどうかって決まってないんですね？

176:デフォルトの名無しさん
21/04/13 19:20:46.00 dUpGrFVX.net
セーフソートとは何なのか、決まってないですね。

177:デフォルトの名無しさん
21/04/13 19:49:36.98 3ATJKALM.net
安定ソートのことならstd::stable_sortを使え

178:デフォルトの名無しさん
21/04/13 20:39:25.63 E/HY6RLS.net
std::stable_sort<T>はどうしてもstd::sort<T>より遅い
からstd::stable_sort<T>で安定ソートするテクニックが存在するし需要がある

179:デフォルトの名無しさん
21/04/13 20:57:29.81 E/HY6RLS.net
もちろんタダでというわけにはいかずn個のTのソーティングに対しn個の整数型の配列が別途必要だがとにかくできる

180:デフォルトの名無しさん
21/04/13 20:58:57.72 E/HY6RLS.net
まつがえたorz
誤： std::stable_sort<T>
正： std::sort<T>

181:デフォルトの名無しさん
21/04/13 21:07:31.95 E/HY6RLS.net
計算量の仕様からすると何だかんだ言って
std::stable_sort<T>の中身はマージソートで、
std::sort<T>の中身はイントロソートとクイックセレクトとクイックソートの複合技
ぐらいしかありえない

182:デフォルトの名無しさん
21/04/13 21:10:52.16 CekyfU50.net
みなさんありがとうございます
安定ソートのことでした

183:デフォルトの名無しさん
21/04/14 05:40:12.90 OwJGUJdo.net
> std::stable_sort<T>の中身はマージソートで、
これはまあそんなもうだろうけど
> std::sort<T>の中身はイントロソートとクイックセレクトとクイックソートの複合技
なんでここまで限定するんだ？

184:デフォルトの名無しさん
21/04/14 06:51:50.47 1+2DD+HN.net
URLﾘﾝｸ(cpprefjp.github.io)
>C++11以降: O(N log N) (N == last - first) 計算量での比較
>クイックソートは平均計算量がO(N Log N)だが、最悪計算量がO(n^2)である。そのため、C++03の計算量要件には合致するが、C++11の要件には合致しない

185:デフォルトの名無しさん
21/04/14 06:52:54.28 mDTOVFC3.net
ubuntuでの開発環境って何があるんでしょうか？
openglなのでc++を使うことになると思うんですが、c++はideとしてvscodeでいいですよね
guiは何が一般的なんでしょうか？

186:デフォルトの名無しさん
21/04/14 07:20:31.68 OwJGUJdo.net
> この関数には、特定のアルゴリズムで実装すべきという規定はない

187:デフォルトの名無しさん
21/04/14 07:23:57.67 OwJGUJdo.net
古典的なソート議論はユニプロセッサ前提
今どきの並列化の流れに必ずしも当てはまるとは思えない

188:デフォルトの名無しさん
21/04/14 07:27:25.07 B6LD9tEC.net
boost::sort

189:::pdqsort(), boost::sort::block_indirect_sort() あたりならヘッダーだけで並列ソートできる

190:デフォルトの名無しさん
21/04/14 09:23:48.49 hYFflu6b.net
>>181
GUIなんか使わないのが一般的だよ
開発環境にわざわざC++とLinuxを選ぶような人は自分用アプリにGUIなんて組み込まないだろうし、
他人に使わせるならどうせWindowsでテストしなきゃいけないからLinuxなんて時間の無駄だ
OpenGLだったらOpenGLの描画結果を表示するウィンドウとターミナルでいい

191:デフォルトの名無しさん
21/04/14 10:52:22.55 OwJGUJdo.net
自分用アプリねえ
俺の定規ウインドウなんてGUIだけど

192:デフォルトの名無しさん
21/04/14 11:09:58.93 lMgtIJ1Q.net
定規ww

193:デフォルトの名無しさん
21/04/14 12:59:06.52 mDTOVFC3.net
>>185
qtですか？

194:デフォルトの名無しさん
21/04/14 16:06:34.29 qBzPSYhh.net
定規がとても気になる

195:デフォルトの名無しさん
21/04/14 16:25:09.90 qBzPSYhh.net
ぐぐったら沢山出てきた
頭が悪くて理解出来ないけど需要あるんだね

196:デフォルトの名無しさん
21/04/14 17:07:15.14 X49CrYgb.net
unique_ptr<hoge> 自体が型名なんでしょうか？
class unique_ptr<hoge>で前方宣言してもいいのかな？

197:デフォルトの名無しさん
21/04/14 18:15:29.38 OwJGUJdo.net
明示的な具現のつもりなら構文が違うね

198:デフォルトの名無しさん
21/04/14 18:22:49.87 X49CrYgb.net
素人なんで自分の説明が難あると思うんだけど自分なりに精一杯説明すると、
ヘッダー部の引数にclass unique-ptr<hoge>& uhogeを載せて、
ソース部にhoge.hをインクルードして定義する感じでつかいたんだけども……
試してみたけど動くんだけどなんか怖い
想像ではunique-ptr<class hoge>が前方宣言だと思ってたもので……
どこをどう調べればいいのかだけでも教えていただければ……

199:はちみつ餃子
21/04/14 18:34:21.63 VF/LllcQ.net
>>191
テンプレートのインスタンス化は暗黙にやってくれるので基本的にはする必要がない。
どうしても宣言したいのなら
extern class unique_ptr<hoge>;
と書くことは可能。
ただし、このように宣言した場合には暗黙のインスタンス化は抑制されるので、
別の場所で明示的インスタンス化をしておく必要がある。
テンプレートの展開はその仕組み上、各翻訳単位ごとにやった上でリンク時に統合されるというクソみたいなことになってるので、
コンパイル時間を抑制したいなどの理由でこういった変なことになってる。

200:デフォルトの名無しさん
21/04/14 18:51:48.53 X49CrYgb.net
ユニークポインタ自体の大きさが、ポインタだから4バイトくらいに統一されているのかな？
型テンプレートがどんな型でも、定義部分で明示してあればポインタ長のメモリをアロケートされているから、宣言自体はある程度の許容範囲があるということなのかな？
理解が違ってたらすいません

201:デフォルトの名無しさん
21/04/14 19:01:58.75 IrZTmcl1.net
>>191
1行目yes
2行目はその場合クラステンプレートの明示的実体化になる
前方宣言の場合は
template <class T, class D>
class unique_ptr;
(もちろん名前空間std内
テンプレートは引数与えられてない限りあくまでテンプレートであってコードは生成されないよ
 >>194
え、明示的インスタンス化しておけばコンパイル時間抑制できるの？

202:デフォルトの名無しさん
21/04/14 19:39:51.01 udtyfuhd.net
前方宣言というのはあくまで「こういう名前のこういう奴が（どっかに）いますよ」って言ってるだけ
実体がどんなサイズでどんな値やメンバやなんやかんやを持ってるかとかには関知しない

203:はちみつ餃子
21/04/14 21:35:38.45 VF/LllcQ.net
>>196
> 明示的インスタンス化しておけばコンパイル時間抑制できるの？
ちがうちがう。
extern のほう (宣言) が暗黙のインスタンス化を抑制するからコンパイル時間が短縮されることが期待できる。
でも、インスタンス化を抑制するんだからどこか別の翻訳単位に実体が存在する必要はあって、
それに明示的インスタンス化を使えるようになってるって話。

204:デフォルトの名無しさん
21/04/14 22:23:18.21 IrZTmcl1.net
あーなるほどね、thx

205:デフォルトの名無しさん
21/04/14 22:43:29.65 B6LD9tEC.net
今時コンパイル時間を稼ぐとかどうなの

206:デフォルトの名無しさん
21/04/14 23:07:25.20 IrZTmcl1.net
リッチにテンプレート使いまくって一本ソフト書いてみ
まぁわかりやすいのはspiritとかのET使ったやつ、それを複数のソースファイルで使いまくればわかる
さらに言えば自分でそういうライブラリ書いて少しの変更でほぼフルビルドかかるのを体験すればわかるやろ

207:デフォルトの名無しさん
21/04/15 00:02:44.73 5MHywbxF.net
>>200
今時コンパイル時間を気にしないほうが頭悪いわ。

208:デフォルトの名無しさん
21/04/15 00:26:49.07 daBkAWQM.net
いまいちメタプの必要性が理解できん
コンパイル時に決定してる値しか計算できないんでしょ
3の階乗は計算できるけど、ユーザーから入力された値の階乗は計算出来ないって・・・
だったらはなから6ってハードコーディングしとけ

209:はちみつ餃子
21/04/15 00:38:40.10 FEj8Wx1j.net
>>203
抽象化の手段でもある。
脳内で計算できる程度のものであっても、
ちゃんと名前が付いた関数になってるほうが
読むほうにとってはありがたいもんだよ。

210:デフォルトの名無しさん
21/04/15 00:54:46.36 3EsQmY5s.net
>>203
こういう書き方出来たら便利なのにな、とかを無理矢理実現できるというロマンはある
(マクロと似たようなもんだが
プロパティみたいなことも一応出来るし
ただまぁ・・・労力に見合うか、というと散々だわマジで。
持て囃すようなものでは決してない(他人のふんどしでドヤりたい連中が持て囃してるだけ

211:デフォルトの名無しさん
21/04/15 00:59:45.76 5MHywbxF.net
>>203
まあ実際ビルドシステムを自分で構築するかコンパイラにやらせるかの違いしかない。
フーリエ変換の係数みたいなものを事前に設定するとかは少し便利かもね。
それなりに手計算すると大変だけれどそこまで本格的に計算時間がかからないような
事前計算できて使いまわせるようなものが念頭にあるんだろうが、まあそんなないわな。

212:はちみつ餃子
21/04/15 01:11:57.17 FEj8Wx1j.net
状況に応じてコードジェネレータを用意するよりはマシってくらいか。

213:デフォルトの名無しさん
21/04/15 22:12:02.69 mdNAsIkh.net
>>182
具体的に

214:デフォルトの名無しさん
21/04/16 05:29:55.48 EjuTOEDD.net
>>208
？

215:デフォルトの名無しさん
21/04/16 06:24:07.51 zpAq69hN.net
>>209
？！

216:はちみつ餃子
21/04/16 12:18:05.12 I3AyWR5p.net
ヴィクトル・ユーゴーかよ。

217:デフォルトの名無しさん
21/04/17 08:00:06.17 1dxAtZcl.net
condition_variableってなんでこんなに面倒なんだ
winなら、イベントの方が高速だし楽で懐疑起床も起きないし

218:デフォルトの名無しさん
21/04/17 08:06:00.96 3mxJ/fRx.net
>>212
特定変数に依存しないbool条件式で起床できるのはWindowsのイベントよりも楽で応用が利く
今さらイベントには戻れない便利さがある

219:デフォルトの名無しさん
21/04/17 08:13:31.45 nI8O4VG/.net
>>212
ほんまこれ。せめてspurious無かったらなあ。
めんどいから手っ取り早くspinして待ってまうわ。

220:デフォルトの名無しさん
21/04/17 08:49:19.47 1dxAtZcl.net
>>213
その式を書かなくてもいいイベントを使ってからは
condition_variableには戻れなくなった

221:デフォルトの名無しさん
21/04/17 10:51:59.94 WHLcQryV.net
おすすめ本ってありますか？
C言語のプログラムを、文法などカンニングしながら書けるレベルです。

222:デフォルトの名無しさん
21/04/17 13:30:52.06 l53+7OwH.net
cppreference.comの何が不満かによる

223:デフォルトの名無しさん
21/04/17 14:51:21.11 ohP60UMx.net
それだけ読んで理解した奴なんておらんやろ。

224:デフォルトの名無しさん
21/04/17 17:33:14.75 3mxJ/fRx.net
プログラミングにカンニングという概念はない
常にオンラインヘルプなので正確な仕様を確認しながら作業するのがプログラミングの常なので、
カンニング(仕様確認、他人の書いたコードをチラ見してコーディング規約ぶ追従)は仕事の一部

225:デフォルトの名無しさん
21/04/17 17:41:48.19 3mxJ/fRx.net
訂正
プログラミングにカンニングという概念はない
常にオンラインヘルプなどで正確な仕様を確認しながら作業するのがプログラミングの常なので、
カンニング(仕様確認、他人の書いたコードをチラ見してコーディング規約に追従)は仕事の一部
明確なコーディング規約がない場合にはなおのこと、カンニングが重要になる

226:デフォルトの名無しさん
21/04/17 18:08:39.80 LyWUtAnN.net
RTTIなんかカンニングだろって個人的に思う

227:デフォルトの名無しさん
21/04/17 19:10:13.22 3mxJ/fRx.net
condition_variableに似た関数SleepConditionVariableCS()がWin32APIにも用意されてるけど、直感的で使いやすいのはcondition_variableでしょ
URLﾘﾝｸ(docs.microsoft.com)

228:デフォルトの名無しさん
21/04/18 10:59:46.23 lylRPiha.net
質問なのですが教えてくだちい
Q1. 64 bit符号付整数の積の結果をオーバーフロー無しで（128 bit等で）で得る方法
　　※ 64 bit整数を2^32進数2桁とみなして筆算する処理より速い方法ｷﾎﾞﾝ
　　　　SSE4.1可
Q2. （Q1にうまいやり方が無い場合）64 bit符号付整数の積がオーバーフローしたことを検知する方法
Q3. 多倍長整数（例えば8要素のunsigned longの配列として表された符号無し整数0～2^256-1）
　　を10で割る方法orz

229:デフォルトの名無しさん
21/04/18 11:05:45.65 lylRPiha.net
Q2は現状a*bの前に std::abs(a) <= std::numeric_limit<int64_t>::max / std::abs(b) という判定をやっているのですが
もっと速いやつ（除算不要のやつ）ｷﾎﾞﾝ、

230:デフォルトの名無しさん
21/04/18 13:15:25.56 aOZ5UqSE.net
>>223
参考になるかもしれない
URLﾘﾝｸ(www.slideshare.net)

231:デフォルトの名無しさん
21/04/18 14:35:23.87 HGo0FTuj.net
winならMultiply128、gccやclangなら__int128ってのが使えるみたいだけど

232:デフォルトの名無しさん
21/04/18 15:14:50.22 regwJJSX.net
競技プログラミングではよくある質問

233:デフォルトの名無しさん
21/04/18 17:15:30.07 B2k51TVB.net
>>223
特定の環境ならアセンブラでやっちゃえば？
ちなみに環境は？
昔その辺の演算は良くやった
Q3は10の逆数を求めておいてかけ算命令でやるのが良いけど
多売長は何進数？
10で割るだけの為にバッファスキャンはもったいない
何かの演算とセットに出来ない？
もしやりたいことが2進多倍長の10進数化なら
もっと良い方法がある

234:デフォルトの名無しさん
21/04/18 17:17:36.41 B2k51TVB.net
環境 (CPU, OS)
多倍長の構成 (整数？指数部あり？2進？10進？変則？)
最終的に何がやりたいか
この辺がわかれば色々と教えられる

235:
21/04/18 17:32:50.11 8N2uJcok.net
>>223
>>225 も多倍長演算ですか、じゃ、私も私の多倍長演算を
ｽﾚﾘﾝｸ(tech板:37番)
＞Q3. 多倍長整数を10で割る方法
であれば上のリンク先の line:383 から、std::ostream &operator<<(std::ostream &stream, mpz_base_class c)　にて、ちょこっと工夫したつもりです、剰余は下位から確定する点では普通、ですので順序を逆にするのはアレかもしれませんが

236:デフォルトの名無しさん
21/04/18 18:08:23.13 lylRPiha.net
とりあえず筆算のやつをｺﾞﾘｺﾞﾘ書いてや
った
URLﾘﾝｸ(ideone.com)

237:デフォルトの名無しさん
21/04/18 18:32:04.62 2o2Y05bZ.net
多倍長÷32bitを除算命令を用いてやるのはアホ

238:デフォルトの名無しさん
21/04/18 18:34:03.31 lylRPiha.net
>>232
kwsk

239:デフォルトの名無しさん
21/04/18 19:14:51.87 2o2Y05bZ.net
ヒント
除算は遅い
除算は逆数の乗算
定数の除算のコンパイル結果

240:デフォルトの名無しさん
21/04/18 21:49:11.94 lylRPiha.net
（聞くんじゃなかった…

241:デフォルトの名無しさん
21/04/18 22:02:51.07 lylRPiha.net
ちゅか10で割るのは10の剰余を知りたいからなのだというのは
言ってなかったわｻｰｾﾝ、orz
多倍長整数の10進数表現を得るために、多倍長整数を10で割って剰余を求める必要があった
この目的には誤差の見積や処置が面倒な方法はNGでありかつ
10進数化とかどうせ表示の時しか使わないのでこの割り算自体はそうメチャクチャチューニングする必要は
ありませぬ（と後出し

242:デフォルトの名無しさん
21/04/18 22:16:10.35 lylRPiha.net
もしｶﾞﾁで全く除算を使わずに10進数に変換せよと言われたら
5*10^n、2*10^n、1*10^nを作ってnがデカい順に元の数と比較して引いていく、
ぐらいしかなさげ
知らんけど

243:デフォルトの名無しさん
21/04/19 00:09:37.42 cH3u5yp0.net
>>223
トンチンカンなこと聞いてたらすみませんが、Q1って多倍長整数を文字列で持ってカラツバ法とか高速フーリエ変換で計算するやり方だと「遅い」んですか？

244:
21/04/19 00:24:31.83 6sLSrXGT.net
>>236
であれば >>230 で
まあ多倍長演算を実装するのならアセンブラが最適で、なんといってもキャリーフラグやゼロフラグを触れるのはアセンブラしかないですからね
というか、C/C++ だけで多倍長を実装するなんて馬鹿なことを思いつくのは私くらいですかね‥‥

245:
21/04/19 00:29:31.32 6sLSrXGT.net
>>238
＞カラツバ法とか高速フーリエ変換で計算するやり方だと「遅い」んですか？
これらは、オーダーは O(n^2) より下のクラスなので速いのはそのとおりですが、しかし使えるのは掛け算のときだけですね
まあ逆数を掛けるという意味では割り算も OK かもしれません、そして逆数計算は「単桁 vs 多桁」だから、オーダーは無視できますし
それはそうと、昔バグっていた例のペンティアムの除算アルゴリズムを解説してくれるサイトはないですかね‥‥

246:
21/04/19 00:31:27.00 6sLSrXGT.net
>>236
いいわすれましたが、商が高速に求められれば、剰余は　被除数－商×除数、で求めるものですし、多分高速除算・高速剰余計算は多分そうしているでしょうね

247:デフォルトの名無しさん
21/04/19 00:33:03.64 cH3u5yp0.net
>>240
質問者は掛け算と10で割る (小数点以下は無視する割り算ですよね？) しか聞いてないので、掛け算さえできれば良くないですか？

248:デフォルトの名無しさん
21/04/19 00:37:49.63 cH3u5yp0.net
ああ、10で割るのはあまりを求めたいからって書いてあった
でも10で割った余りって1の位の数字ですよね？
そんな話じゃない？

249:デフォルトの名無しさん
21/04/19 00:39:51.82 cH3u5yp0.net
まあいいや
チューニングする必要はないって話なんで、わり算の話は置いといて、結局やりたいのは整数同士の掛け算ですよね？

250:デフォルトの名無しさん
21/04/19 00:45:58.97 r2ULphPG.net
質問者が情報を後出ししたりしていてイマイチ信用に欠けるので、普通の整数のように何でもできる多倍長整数がほしいのか掛け算さえできればOKなのかは不明

251:
21/04/19 00:46:33.44 6sLSrXGT.net
>>243
そんな話です
でも2進10進変換をやりたいのなら、基本的に 10 で割った剰余を求める以外に手はありませんね

252:デフォルトの名無しさん
21/04/19 00:49:32.73 cH3u5yp0.net
>>246
では、最初から10進数を文字列で持てば2進10進変換をする必要がない、というのが僕の立場の回答になりますね
やりたいことが掛け算だけなら、という条件が付きますが……

253:
21/04/19 01:17:33.43 6sLSrXGT.net
>>247
最初から10進で数値を持つと、加減算ですら速度が低下します
10進化の頻度は各種演算の頻度よりも少ない、というか、演算を何千回・何万回した最後に 10　進に変換する、かもしれない、っていう状況で、最初から 10 進で持つのは無駄以外の何ものでもないかと
それに32bit までは BCD 補正命令がありましたが 64 bit の今は BCD 補正命令（AAA とかね）ですら削除されちゃっていますし

254:デフォルトの名無しさん
21/04/19 02:16:04.24 hAOdtYDs.net
>>248
質問者は加減算はするんですか？

255:デフォルトの名無しさん
21/04/19 02:16:30.94 hAOdtYDs.net
ID変わってますが同じ人です

256:デフォルトの名無しさん
21/04/19 06:59:05.63 6wuAqTFP.net
一応私
東大大型計算機センター時代に円周率ギネスに関わったこともあって
多倍長の知識や技術は確実にこのスレで一番だと思うのだけど
スルーするなら消えるね

257:デフォルトの名無しさん
21/04/19 07:39:37.59 MiZJ3RJg.net
だって多倍長「整数」、と最初に断ってあるのに小数や指数表示の話を始めそうなふいんきだったし、
Q1、Q2に関しては64 bit同士の積の話なので
今日日のなんちゃら漸化式を使う円周率計算とかに使う
多倍長の掛け算みたいな別次元テクニックは明らかに使いどころが無いいいし……

258:デフォルトの名無しさん
21/04/19 07:53:01.92 MiZJ3RJg.net
>>249
する
ただしQ1とQ2の質問の直接の範囲ではありません
しかし、とはいいつつ筆算のアルゴリズムで実装したら必要になったので
とりいそぎ加減算を実装してみた（>>231
Q3は多倍長整数を32 bit整数で割るやり方をガチで忘れたので質問したorz
のですが途中で思い出し実装した、というろくでもない経緯ですたｻｰｾﾝ、
>>235はついカッとなって書いた >>234の人はｽﾏﾝｶｯﾀorz
今後の方向性としてはコンパイラはVCを使っているのでSSE4.1のイントリンシックを使って
お手軽に64 bitデータの積和を128 bit幅で計算する方向なｷﾓｽ
 >>239
>キャリーフラグやゼロフラグを触れるのはアセンブラしかないですからね
それは思わないでもないが積をやりだすと上位桁への伝搬が1 bitでは済まないので
C/C++ だけで多倍長を実装するのは結果ｵｰﾗｲかと、

259:デフォルトの名無しさん
21/04/19 08:16:03.30 6wuAqTFP.net
その >>234だけど
まあ素人同士で頑張って

260:デフォルトの名無しさん
21/04/19 08:27:12.50 6wuAqTFP.net
2進多倍長の10進化にQ3を使うのはアホ
これだけは書いておいてあげる

261:デフォルトの名無しさん
21/04/19 08:36:36.63 wJLYJwE7.net
122=235か。
お前もう質問するなよ

262:デフォルトの名無しさん
21/04/19 08:47:34.79 cH3u5yp0.net
>>253
多倍長がどれほど多倍長かというのにもよりますが、とにかく速いQ1の回答はカラツバ法とか整数環上でFFTして畳み込みだと思います
Q3はそもそも多倍長整数をどう持つかによるので、仕様を確定しないと難しいんじゃないでしょうか

263:デフォルトの名無しさん
21/04/19 08:51:43.03 cH3u5yp0.net
あ、64ビットにおさまるくらいの桁数の話なんですね
だったらパースとかするオーバーヘッドが大きそうなので、僕の言った方法は有効じゃなさそうです
失礼しました

264:デフォルトの名無しさん
21/04/19 08:55:57.38 RwTjYqyx.net
肩書きとかキャリアを己の発言の信憑性の根拠にするって、お前ここはニュー速VIPじゃないんだぞ

265:デフォルトの名無しさん
21/04/19 12:17:34.06 zMLTVIrM.net
多分勘違いしてる人がいるかと思うので一応書いておくと
 >>251と >>257 (cH3u..)は別人です

266:デフォルトの名無しさん
21/04/19 12:25:33.89 RwTjYqyx.net
いやクソどうでも良いんだが
捨て台詞 (>>254) 吐いて退場したけど勘違いされてたら悪いと思って戻ってきたの？

267:デフォルトの名無しさん
21/04/19 12:34:37.87 zMLTVIrM.net
>>257がバカ発言してて
同じ人と思われたらイヤだなあと思って

268:デフォルトの名無しさん
21/04/19 12:54:00.52 hAOdtYDs.net
>>262
長い多倍長整数の掛け算で数論変換して畳み込むより速いやり方ってあるんですか？
64ビットに収まる話なのに数論変換なんて持ち出すのがバカってことですか？

269:デフォルトの名無しさん
21/04/19 13:17:17.86 zh6rCSPG.net
こんなところで身バレしそうな職歴晒してまでどうしたいんだろう
時々いる煽り耐性ゼロの人かな

270:デフォルトの名無しさん
21/04/19 13:36:43.08 dtIEXEiV.net
いやフツーに嘘でしょ
精々が
・学生のときにデカいプロジェクトに名前だけ入ってた
・技官がイキってる
・隣の研究室にいた
くらいじゃない
> 東大大型計算機センター時代に円周率ギネスに関わったこともあって
「関わった」という控えめで奥ゆかしい言い方を思えば、PIとかそのクラスではないことは明らか

271:デフォルトの名無しさん
21/04/19 16:48:40.50 mIgsEenU.net
盛り上がってるところすいません
マルチスレッドで1バイトの変数に対してatomicな操作をしたいのですが
ロックフリーで行いたい場合
ATOMIC_CHAR_LOCK_FREEの値が2以外の場合は保証されないのでしょうか？

272:デフォルトの名無しさん
21/04/19 17:02:33.15 ssZtrIut.net
>>266
1バイトの変数がatomicに読み書きできない環境？
断言するが、そんな環境でお前のプログラムはどうせまともに動くわけないんだから気にしなくていい

273:デフォルトの名無しさん
21/04/19 17:22:54.26 utLkXQPz.net
規格的にはそうですとしか言えんわな
現実的にはともかく

274:デフォルトの名無しさん
21/04/19 17:30:46.64 mIgsEenU.net
>>267
いやだからそれを聞いてるんです
手元のマシンではできるのは当たり前じゃないですか
そう言うケースがあるのかそれはどう言う場合か？を聞いてるのです

275:デフォルトの名無しさん
21/04/19 18:10:02.15 6wuAqTFP.net
>>263
特別サービス
 >>238
64bit同士の乗算でカラツバやFFTなんかやらん
 >>247
文字列で保持？バカ？
>>248
2進、10進どっちもある
実際ギネスの記録もどっちも使ってる
まあ質問者の内容からすると
そのうちカラツバやFFTが役立つ時がくるかも知れないけど
今の段階だと豚に真珠
役立つ可能性は >>255がヒント

276:デフォルトの名無しさん
21/04/19 18:10:29.58 6wuAqTFP.net
>>269
4bit CPU
C++環境は無いかもしれないけど

277:デフォルトの名無しさん
21/04/19 18:11:36.17 HuLqOw9z.net
>>269
マルチスレッドが使えない環境かな

278:デフォルトの名無しさん
21/04/19 19:29:48.98 xQPYHIMj.net
>>270
結局コイツが出した新しい情報一つもなしｗ
ついでに言えば
 >>270
> 64bit同士の乗算でカラツバやFFTなんかやらん
さえ
 >>258
> あ、64ビットにおさまるくらいの桁数の話なんですね
 >>263
> 64ビットに収まる話なのに数論変換なんて持ち出すのがバカってことですか？
の後追いっていう
100パー >>265ですわ

279:デフォルトの名無しさん
21/04/19 20:10:17.57 6wuAqTFP.net
バカにはわからない

280:デフォルトの名無しさん
21/04/20 01:11:18.41 lQgqPl99.net
言語、規格バカはマジでウザい
ちょっとした言い間違いで、配列とポインタについて
30分語られたわ
先輩だから、聞いてやったけど・・・
そいつ、仕事できないなくてハブられてるwww

281:デフォルトの名無しさん
21/04/20 04:53:21.68 MRJwD2x4.net
30分しか語れないんじゃそりゃハブられるわ
ポインタだけで1日終わるくらいがスタートラインだろ

282:デフォルトの名無しさん
21/04/20 06:53:00.02 RELc90o2.net
C++に関しては知識と開発能力が比例しないということを採用担当者は知っておくべき

283:デフォルトの名無しさん
21/04/20 07:17:36.48 xhmy6KmQ.net
C++20が憶えきれない
こんなことは初めてだ

284:デフォルトの名無しさん
21/04/20 08:09:40.68 Hk0/CBHu.net
配列とポインタは混同してると危険だから怪しいこと言ってる奴がチームにいたら捕まえて説明するよ
どんな言い間違いか知らんけど心配させるようなこと言う方が悪い

285:デフォルトの名無しさん
21/04/20 08:30:33.16 ipiVKlKV.net
こんなとこに同僚の愚痴書いて気晴らししてるやつが仕事できるとは到底思えないな。

286:デフォルトの名無しさん
21/04/20 10:14:33.25 v3OtCzj2.net
同僚と先輩の区別もつかない奴はプログラマーには向いてない

287:デフォルトの名無しさん
21/04/20 10:52:16.13 9UAiU1Oe.net
linuxとwindowsで使える共通の開発環境ってなんでしょうか？
guiアプリを作りる場合です
エディタ：vscode
言語：ｃ＋＋
gui：qt
という感じですか？
pythonやelecrtonなんかもありますね

288:デフォルトの名無しさん
21/04/20 12:10:41.97 VvQCOD1T.net
>>282
マイナーだけどwxWidgetsを推す
見た目がOSネイティブに近くなるのが好き

289:デフォルトの名無しさん
21/04/20 12:18:00.63 YUL53Jgh.net
Karatsuba法を実装できるから実装してみた
URLﾘﾝｸ(ideone.com)
Karatsuba法推しの香具師はいっぺん自力で実装してみたらいいかもしんない
かもしんない運転、
言うは易しの好例に思えるorz、、、

290:デフォルトの名無しさん
21/04/20 12:18:13.99 VIg6RvGl.net
>>281
辞書くらい持ってるだろ？日本語も勉強しような

291:デフォルトの名無しさん
21/04/20 12:36:36.65 q1a39yZP.net
>>285
お前が勉強しろよw
同じ職場の人という意味で同僚とか言ってるだろうけど >>275があえて先輩と書いてる意味もわからんのか？

292:デフォルトの名無しさん
21/04/20 12:42:32.22 VIg6RvGl.net
>>286
そこ区別して同僚の愚痴を先輩の愚痴に書き換えたところでなにも変わらんだろアホ

次ページ