C++相談室 part149

レス数が950を超えています。1000を超えると書き込みができなくなります。
1デフォルトの名無しさん
垢版 |
2020/02/18(火) 06:19:41.54ID:xvjipUWj
C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part148
https://mevius.5ch.net/test/read.cgi/tech/1580471646/
このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.105【環境依存OK】
http://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/ (日本語)
874デフォルトの名無しさん
垢版 |
2020/03/17(火) 09:43:08.15ID:xTOfsl1/
江添さんがこのスレを見てれば委員会に提案してくれるかも。
2020/03/17(火) 12:33:47.35ID:uS/+7KOG
明示的にオーバーライドしないとできない様に制限する機能ってないの？
たまに同名同タイプで気づかずにオーバーライドしてしまった事があるんだが。
2020/03/17(火) 12:54:20.37ID:ZQD4xStF
規格はコンパイラの警告は決めてない
警告機能が欲しいならコンパイラの開発者に要望を出すんだな
2020/03/17(火) 13:00:16.10ID:vGhk4vWX
>>873
だな
2020/03/17(火) 13:22:13.65ID:Aeuh89FK
>>1
アセンブリファイル出力を行うようにコンパイルオプションを設定して、自分で出力アセンブリコードを見ればいいだけ。
2020/03/17(火) 13:44:23.77ID:vGhk4vWX
意図したとおりの訳になったかどうかが問題になるのはスポットで全域じゃないからな
ただ、そういう箇所はコンパイラの出力を参考にアセンブラで書くべきだと思うが
2020/03/17(火) 17:18:47.62ID:1m7vQNwx
>>875 gcc の ver.5 だと -Wsuggest-override って警告オプションがあるね。
これと警告をエラー扱いにする指定を組み合わせればいいのかな。
2020/03/20(金) 17:50:02.32ID:GuzL6Him
別に
アーキテクチャ依存の話を持ち出さずとも、
　fractional(n) = n * fractional(n-1)
とゆー事実をもってただちにfractional(n)は末尾再起と言える
なぜなら
　fractional(n) = n * ((n-1) * fractional(n-2))
　　　= n * ((n-1) * ((n-2) * fractional(n-3)))
= ....
となってfractional(0)に至るまで延々展開でき、*が可換である故にこれは
　fractional(n) = n * (n-1) * fractional(n-2)
　　　= n * (n-1) * (n-2) * fractional(n-3)
= ....
となって右端を延々展開して「も」得られるからである

*の可換性への依存を良しとしない立場をとったとたん、末尾再起関数と認められるものは
　f(n) = f(n-1)
とゆーnに関する恒等写像のみとなる
そう言いたいのであれば別に止めはしないがそっちの方が異端じゃないの；
つまり頭おかしい
2020/03/20(金) 20:19:49.63ID:UDatiCXC
>>881
>>881
＞fractional(n) = n * fractional(n-1)

fractional(n-1) から値が帰ってきたあと、その値と n とを掛け合わせる計算は fractional(n) の関数内で実施しているでしょう？
コールした関数から戻ったときに、そのままなにもせずに得た値をリターンするのならば末尾再帰ですが、
この場合は得た値を加工してからリターンするのだから、これは末尾再帰とはいいません

＞　fractional(n) = n * (n-1) * fractional(n-2)
＞　　　= n * (n-1) * (n-2) * fractional(n-3)
＞= ....
＞となって右端を延々展開して「も」得られるからである

展開可能であることと末尾再帰であることはなんの関係もありません

＞*の可換性への依存を良しとしない立場をとったとたん、末尾再起関数と認められるものは
＞　f(n) = f(n-1)
＞とゆーnに関する恒等写像のみとなる

* の可換性はなんの関係もありません
引数を一つに限定するのならそうですが、プログラム言語は引数を二つ以上持ってもいい
普通は f() の引数を二つ以上とって、その中にアーキュムレータを置いて末尾再帰にします。
f(s, t) = f(u, v) = f(w, x) = …
むしろこっちの方が普通の末尾再帰といっていいでしょう
2020/03/20(金) 21:29:36.56ID:GuzL6Him
>展開可能であることと末尾再帰であることはなんの関係もありません
>* の可換性はなんの関係もありません
大きく出たな…

まず右端展開の繰り返しにより表現可能でありかつ末尾再起化できない関数というものは無い
なぜなら、右端展開の繰り返しを手続き的に書けばループに他ならんぬ、、、

逆も真で、ループとして書ける関数なら右端展開の繰り返しとしても表せるんであーる
つまり、右端展開の繰り返しにより表現可能であることと、末尾再起化できる関数というものは同値
で、アキュムレータを使った複数引数の関数化というものは、関数の表現を右端展開繰り返し可能な形に直しているにすぎない

で、右端展開の繰り返しにより表現可能かどうかには演算子の結合則が関係する例は
>>881に挙げたとーり

実際、演算子の結合則が成り立たない例として、Aが行列でIが単位行列のとき
　fractional3(A) = fractional3(A - I)　(A - I) ・・・(1)
というﾌﾞﾂを考えると、この関数は右端展開可能でないからもはや末尾再帰化はできない
Aが実数でIが1なら末尾再帰化できるのに…！
2020/03/20(金) 21:39:17.70ID:VjsvYTuj
末尾再帰であることと末尾再帰に変換できることは区別しようや
2020/03/20(金) 21:44:34.16ID:aaY2QfPy
末尾再帰に書き換えられることなんか誰も否定してないのに一人で暴れてる
2020/03/20(金) 21:46:22.20ID:GuzL6Him
訂正orz、
×： 結合則
○： 交換則

あとなんか式(1)は末尾再帰化可能な気がしてきたorz
2020/03/20(金) 21:52:18.14ID:aaY2QfPy
そりゃ交換則なんか末尾最適化に何の関係もないからな
2020/03/20(金) 21:58:34.74ID:VjsvYTuj
>>886
CPSをググって赤面しておいで
2020/03/20(金) 22:00:27.81ID:UDatiCXC
>>883
＞まず右端展開の繰り返しにより表現可能でありかつ末尾再起化できない関数というものは無い
＞なぜなら、右端展開の繰り返しを手続き的に書けばループに他ならんぬ、、、

理解が粗いと思います
あなたのいう「右端展開」が繰り返し適応可能であればループに展開できる…①
と置いたとき、
①が事実だったとしても、それは末尾再帰となんの関係もありません
末尾再帰の最適化とは関数コール命令＋関数リターン命令（call ～ ret) をジャンプ命令に変換するという最適化でしかなく、
再帰的に記述された関数定義をループに変換する最適化の集合を「末尾再帰という」、わけではないのです

あなたは末尾再帰を広く捉えすぎです
2020/03/20(金) 22:35:40.43ID:GuzL6Him
>>888
ちょっCPSって継続と書いてある
右端展開の繰り返し表現可能ということと、継続で表せることは自明な勢いで同値なのでは…
つまり漏れの面の皮を通って赤面させるほどの目新しさのインパクトは無いｷﾓｽ、

>>889
AとBに何の関係も無い、とは、Aの真偽とBの真偽が独立のことを言うはず…
この場合「右端展開の繰り返しで表現可能」と「ループに展開できる」ことが同値なのであるから、
何の関係も無いというのは強弁に過ぎるのでは…

>末尾再帰の最適化とは関数コール命令＋関数リターン命令（call ～ ret) をジャンプ命令に変換するという最適化でしかなく
最適化した結果のみを末尾再帰というのであれば狭く捉え過ぎｗｗｗｗｗｗ
徹頭徹尾アセンブラで議論してろよ；；
そうではなくて末尾再帰の最適化の話に限定するのであればスレを分けた方が適切なのでは…
2020/03/20(金) 22:46:09.76ID:aaY2QfPy
同値じゃないよ
もっとよく考えよう
2020/03/20(金) 22:48:17.04ID:UDatiCXC
>>890
＞この場合「右端展開の繰り返しで表現可能」と「ループに展開できる」ことが同値なのであるから、
＞何の関係も無いというのは強弁に過ぎるのでは…

>>889 はそんなことを言ってはいません
＞「右端展開の繰り返しで表現可能」であれば「ループに展開できる」できる…①
とおいたとき、
①と末尾再帰とが、何の関係もない、といっているのです

＞最適化した結果のみを末尾再帰というのであれば狭く捉え過ぎｗｗｗｗｗｗ
＞徹頭徹尾アセンブラで議論してろよ；；

最適化を実施するのに、あれこれ解析する必要がなく機械的な命令の置き換え／書き換えだけで可能である、というのが末尾再帰の肝です
まあアセンブラを理解できないようでは C/C++ の理解も薄い弱い、とは思ってはいますが

＞そうではなくて末尾再帰の最適化の話に限定するのであればスレを分けた方が適切なのでは…
まず、末尾再帰とはなにか？を両者で合致するように合意をとるのが先決でしょう
2020/03/21(土) 01:01:36.11ID:vZ2zRqlY
厨二プログラマが食いつきやすい三大話題
・再帰
・例外処理
・
おっさんプログラマが食いつきやすい三大話題
・インデントルール
・命名規則
・
2020/03/21(土) 07:13:06.62ID:WKI7E4cH
>893はID:vZ2zRqlYが指を咥えて見てるだけの話題
2020/03/21(土) 07:17:58.40ID:ywBCyuHB
厨二プログラマが食いつきやすい三大話題
・再帰
・例外処理
・標準化委員会
おっさんプログラマが食いつきやすい三大話題
・インデントルール
・命名規則
・原点回帰
2020/03/21(土) 09:05:02.13ID:uResqVEz
厨二にもおっさんにもボコボコにされるだけで歯が立たないやつ悔しそう
2020/03/21(土) 09:51:18.47ID:SLPXMQFT
malloc/freeは？
2020/03/21(土) 10:55:38.71ID:QlEyGkfm
もっと簡単に考えろ
一般に再帰は階層に復帰したときに必ず元の状態に戻さなければならない
復帰後の階層固有の計算に必要だからだ
しかし復帰後に階層固有の計算がない末尾再帰は戻す必要がない
よってループで書けるというだけの話だ

これを順序非可換の問題ととらえることはまあ理にかなっている
以下左が末尾
f(n+1)x=f(n)h(n)g(n)x≠h(n)f(n)g(n)x

f(n+1)x=h(n)f(n)g(n)x=h(n)h(n-1)f(n-1)g(n-1)g(n)x
f(n+1)x=f(n)h(n)g(n)x=f(n-1)h(n-1)g(n-1)h(n)g(n)x

h(n)h(n-1)が可能であるためにはスタックの復帰が必要よって示された
2020/03/21(土) 11:03:11.10ID:eVTFfD/2
あなた達の話は難しくてよくわかりません！
簡潔に説明すると末尾再帰ってなんなんですか？
普通の再帰と違ってスタックオーバーフローが避けられるってこと？
2020/03/21(土) 11:39:49.98ID:aPGPOclr
>>895
そしてテスト、保守性といったものには誰も興味を持たないのである。おしまい。
2020/03/21(土) 12:48:43.36ID:QlEyGkfm
>>898から、>>860は末尾再帰であると言える
g(n)x=nx,h(n)x=xと考える
2020/03/21(土) 13:15:18.72ID:dTUZOuSg
>>901 あんたきのうの>881だよね？
たぶん「末尾再帰」の定義が他の人（たとえば Wikipedia の「自身の再帰呼び出しが、
その計算における最後のステップになっているような再帰」）と違いそうだから、まず定義を示してもらいたい。
2020/03/21(土) 13:20:58.16ID:QlEyGkfm
いや違うよ
級数積が関数という認識があるかないかが彼とは違う
2020/03/21(土) 15:20:30.30ID:dTUZOuSg
違うのか、悪かった。
で、あんたの「末尾再帰」の定義はどうなってんの？
2020/03/21(土) 15:49:06.69ID:uResqVEz
その昔、こんな再帰もやったがｗ
JSREE EQU *
* DO PREPARE
BSR *+2
* DO SOMETHING
RTS
2020/03/21(土) 15:52:49.00ID:QlEyGkfm
「自身の再帰呼び出しが、その計算における最後のステップになっているような再帰」
に異論ない。言葉通りだ
ただしそう定義したものは、>>898の性質を持つ
2020/03/21(土) 16:17:48.51ID:dTUZOuSg
>>906
そうなると >860 の "return n * factorial(n-1) ;" における「最後のステップ」は
再帰呼び出しではなく乗算なので、その末尾再帰の定義には合致しないのでは？
2020/03/21(土) 16:25:47.20ID:QlEyGkfm
>>901を適用して
f(n+1)x=f(n)g(n)x
g(n)x=x'
として、
f(n+1)x=f(n)x'
と書けば納得いただけるだろうか
2020/03/21(土) 16:33:45.27ID:dTUZOuSg
>>908 いやサッパリ。
その g やら x やらが >860 の関数とどう関係してるか、示されてないように思うし、
関係が示されたところで "return n * factorial(n-1) ;" の最終ステップが何であるかに
影響するとは思えない。
2020/03/21(土) 16:51:25.25ID:QlEyGkfm
こう書いた方がよかったかな
f(n+1)x=f(n)g(n)x
f(n)g(n)=h(n)として
h(n+1)x=h(n)x
具体的には
(n+1)f(n+1)x=nf(n)x
例外は最上位の呼び出し元だけがf(n)xになっていることで、
実質h(n)=n * factorial(n-1)という関数の末尾再帰になっている
2020/03/21(土) 17:00:27.64ID:SLPXMQFT
f(n)xはf(n)の結果にxを掛けるんだからf(n)が最終ステップじゃないだろ
2020/03/21(土) 17:08:54.11ID:7OpdEFcp
まずfactorialを末尾再帰に書き換えられるって話なら、そんなの当たり前だし誰も否定してない
それに加えてお前の書き換え方はおかしい
二重に話が噛み合ってなくて訳がわからない
宇宙人か？
2020/03/21(土) 17:15:28.13ID:lGRjmGfi
このスレで数学持ち出すやつは軒並みカスだな
2020/03/21(土) 17:17:08.44ID:gYwBfwwG
いい加減レス違いですよ
2020/03/21(土) 17:27:27.62ID:QlEyGkfm
おそらくわからないという人は、
末尾再帰⇔ループ
の書き換えがどうなっているのかわかっていない
末尾再帰な関数は、関数の戻り値以外のローカル変数はすべて再利用可能であるのでスタックする必要がない
そしてreturnが返しているのは戻り値である
ｎ*はリターン値に含まれている
よってn * factorial(n-1)は一つの関数単位として扱われ得る
実際にそう扱っているかどうかは実装によるだろうが末尾再帰な関数の定義からは漏れていない
2020/03/21(土) 17:44:23.10ID:dTUZOuSg
>>915
仮に「n * factorial(n-1)は一つの関数単位として扱われ得る」を認めたところで
最終ステップはその「関数単位」とやらであって「自身の再帰呼び出し」ではないので、
末尾再帰とは言えないよね。

・・・ >860 を末尾再帰と言えないと死ぬ病気か何かなの？
2020/03/21(土) 17:51:24.98ID:QlEyGkfm
>>916
factorialの呼び元は大本の読み出し元以外はすべてnがかかっていること
実際にループに書き換えられること
よって>>860を否定する必要はないというだけのこと
否定する必要があるならそれでもいいが意味はあるか？
2020/03/21(土) 17:56:13.76ID:SLPXMQFT
>ｎ*はリターン値に含まれている
>よってn * factorial(n-1)は一つの関数単位として扱われ得る

リターン値に含まれていようが関数の呼び出しに含まれていなんだから「一つの関数単位」にはならんわな。
2020/03/21(土) 18:04:37.39ID:lGRjmGfi
そもそもこの人の数学とやらが意味不明

> (n+1)f(n+1)x=nf(n)x

乗算なのか関数の適用なのかどっちだこれ？
左辺の(n+1)はどっからでてきたんだよ
2020/03/21(土) 18:17:58.54ID:dTUZOuSg
>>917
ループに書き換えられれば末尾再帰と言えるんならやっぱり Wikipedia の定義と違うんじゃん。

「>>860は末尾再帰であると言える」を否定しないと「末尾再帰」の定義（共通認識）が変わってしまうし、
共通認識を壊す行いを認めることになる。それは害悪。やめてほしい。
2020/03/21(土) 18:57:31.20ID:vbC+9hSb
末尾再帰とかschemeじゃないと意味無い話
末尾再帰だとループに最適化されることが言語で保証されてるって前提なのだから

そこで言う末尾再帰ではn*f(n-1)みたいなのは違う
だから変形して末尾再帰にしろって話になるのだから
2020/03/21(土) 19:00:28.44ID:QlEyGkfm
>>920
それは
return n * factorial(n-1);
と書いてはいけないと強制するということだろうか
だとしたらそれは間違っている
末尾再帰の定義を満たしているにもかかわらず認めないということはそういうことだ
2020/03/21(土) 19:03:53.90ID:vbC+9hSb
末尾再帰は関数の最後で自身を呼び出してそれをそのままreturnするものだけ

末尾再帰に変形できる関数は末尾再帰に変形できる関数であって、末尾再帰関数ではない
2020/03/21(土) 19:07:05.36ID:lGRjmGfi
>>922
強制とか間違ってるとか認めないとか
お前は誰と戦ってんの？
誰もそんな話してないんだが
読んでで怖いわ
2020/03/21(土) 19:07:10.79ID:QlEyGkfm
>>923
それでいいと思う
だがだとすれば君らは何がわからなかったのかそれがわからない
2020/03/21(土) 19:07:50.34ID:KIEujNy0
>>915
＞ｎ*はリターン値に含まれている
＞よってn * factorial(n-1)は一つの関数単位として扱われ得る

return 式
の式に全部書いてしまえるからといっても、その式の中に存在する演算が複数あれば、それぞれの演算に順序があるわけですから
一つに扱うことはできないでしょう、この場合、リターン値を得た後で　* n しているのだから、これは一つじゃなく二つ

したがって >>902 の末尾再帰の定義
＞「自身の再帰呼び出しが、その計算における最後のステップになっているような再帰」

には合致せず（なぜならば、この場合の最終ステップは　* n をすることだから）、>>860 で引用されたプログラムは末尾再帰ではありませんね
2020/03/21(土) 19:10:16.03ID:KIEujNy0
>>922
＞それは
＞return n * factorial(n-1);
＞と書いてはいけないと強制するということだろうか

いいえ、単に return * factorial(n-1) と書くのならば、末尾再帰ではなくなるというだけのことです。

＞末尾再帰の定義を満たしているにもかかわらず認めないということはそういうことだ

もう一度ききましょう、あなたの「末尾再帰」の定義は何ですか？
2020/03/21(土) 19:12:27.37ID:QlEyGkfm
>>927
あなたのいう、「関数」の定義は何ですか
わたしはn * factorial(n-1)は関数だと思います
2020/03/21(土) 19:15:04.74ID:Pnykjrh9
やっぱりこいつ、末尾再帰と末尾呼び出しの区別がついていないとしか思えない
2020/03/21(土) 19:17:28.36ID:QlEyGkfm
>>929
この場合同じです
2020/03/21(土) 19:18:51.72ID:SLPXMQFT
>わたしはn * factorial(n-1)は関数だと思います

これがfractional自身とは異なる以上、末尾再帰にはならんわけ。
2020/03/21(土) 19:23:27.91ID:QlEyGkfm
>>931
では何がわからなくてここまでの長い議論をしていたのですか？
末尾再帰が理解したいというのなら、定義そのままを暗記するだけで済んだはず
一連の私の書き込みは単に理解の方法を提示したに過ぎず、
それを否定するということは定義が理解できていたということでしょう？
2020/03/21(土) 19:23:55.22ID:bpzSUpq2
中置で書くから分かりづらくなる
ポーランドか逆ポーランドで書けば自明なのに
2020/03/21(土) 19:25:39.78ID:KIEujNy0
>>928
＞あなたのいう、「関数」の定義は何ですか
＞わたしはn * factorial(n-1)は関数だと思います

仮に関数の定義をあきらかにしたからといっても、それは末尾再帰の定義とは関係ないでしょうね

繰り返しますが、末尾再帰の定義は　>>902
＞＞「自身の再帰呼び出しが、その計算における最後のステップになっているような再帰」
であり、>>860 で引用されたプログラムの「自身の再帰呼び出し」すなわち「return n * factorial(n-1);」
は、計算における最後のステップになっていない（なぜならば、最後のステップはこの場合 n * であるから）ので、
>>860 で引用されたプログラムは末尾再帰ではありませんね
2020/03/21(土) 19:27:37.70ID:SLPXMQFT
>>932
>>860は末尾再帰にならないということをアンタだけが理解できていないというだけ。
2020/03/21(土) 19:28:51.57ID:QlEyGkfm
>>934
それを最初から言っていれば、ここまでの無意味な議論はしなくて済んだでしょうね
よって示された
2020/03/21(土) 19:34:56.57ID:QlEyGkfm
逆になぜ末尾再帰にするかを考えれば、>>934の制限は強すぎる
2020/03/21(土) 19:38:43.38ID:g81eKbe5
ID:QlEyGkfmは何でもかんでもここのみんなに教えてもらおうとせず
まず落ち着いて自分のペースでしっかり考えてみたらどうかな
みんな呆れてるよ
2020/03/21(土) 19:46:19.04ID:KIEujNy0
>>938
昔私が末尾再帰を間違えていたとき、当時からこのコテで煽り気味にやっていたにもかかわらず、最上級の親切を示して
「末尾再帰はジャンプ最適化だ！」
と教えてくださった方がおられました、当時のその方ほどの忍耐力を今回発揮できず、申し訳ございません…
2020/03/21(土) 19:49:38.39ID:QlEyGkfm
皆さんこそ落ち着いてください
nはスタック変数ではなく、ループのインクリメント変数なんですよ
2020/03/21(土) 19:59:14.68ID:uResqVEz
「末尾再帰」という情報処理用語を定義しているJIS規格票もしくは
"tail recursion" という情報処理用語を定義しているISO規格票の
条項を出せるやついるの？

これだけ上から目線でマウント取っといて
あげくオレ用語だったら恥ずかしいぞ
2020/03/21(土) 20:03:27.21ID:bpzSUpq2
R5RSとかではなく？
2020/03/21(土) 20:13:29.14ID:7OpdEFcp
江添が間違えたのが全部悪い
奴が間違えてなければ同じ勘違いをした気違いを呼び寄せることもなかった
2020/03/21(土) 20:38:49.06ID:g81eKbe5
江添氏は勘違いと言うより
末尾再帰というもんを単に知らなかったのではと思ってる

末尾再帰の最適化が保証されてる言語使ってる人じゃないだろうから
2020/03/21(土) 20:47:14.84ID:vbC+9hSb
消費税の計算を例題にあげたけど、計算方法間違ってたみたいなもの
c++的には関係ない分野の知識
2020/03/21(土) 20:58:18.89ID:lGRjmGfi
蒸し返して悪いんだけど
>>898 の数式解読できる人いる？
この人何を勘違いしてんのか興味でてきたんだが
2020/03/21(土) 21:07:53.04ID:XPOe/jnY
「添字を持つ添字」みたいなもんを上手に管理する方法ってある？

例えば、
0 <= i < n である全ての i について a[i] を 0 から m の範囲で動かす
みたいなループの構造を想定してる。
当然大きな多重ループになるから小さい n と m についてしか使えないと思うけど、デバッグなどのときにこういうのを簡潔にミスらず書けたらと思っての質問です
2020/03/21(土) 21:15:03.39ID:lGRjmGfi
>>947
> a[i] を 0 から m の範囲で動かす
これの意味がわからない
具体例書いて
2020/03/21(土) 21:44:53.81ID:XPOe/jnY
>>948
for(a=0; a<m; a++)
　for(b=0; b<m; b++)
　　for(c=0; c<m; c++)
　　　...
という形の多重ループのループ変数 a, b, c,... を a[0], a[1], a[2],... にしたいという意味です。
TeX の文法で数式を書けば
\prod_{i=0}^{n} \sum_{a[i]=0}^{m}
という意味です。

・数式との対応が分かりやすい形で書きたい
・簡潔でミスしにくい形で書きたい
といった理由で質問させていただいてます。
2020/03/21(土) 21:46:40.54ID:XPOe/jnY
>>948-949
すみません。必ずしも和をとりたいだけではないので、式はあくまで例です。
あとレンジが1つずれてるのもすみません。
2020/03/21(土) 22:26:18.85ID:SLPXMQFT
>という形の多重ループのループ変数 a, b, c,... を a[0], a[1], a[2],... にしたいという意味です。

やればいいだけの話じゃなくて？質問は何だろう。
2020/03/21(土) 22:38:22.14ID:XPOe/jnY
>>951
n が実行時に決まるような場合どうしたら良いかという意味です
2020/03/21(土) 22:39:31.10ID:lGRjmGfi
>>949
ループのネストが可変なんだよね
templateが許されるなら再帰template
ダメならきれいには書けないと思う
2020/03/21(土) 22:40:14.16ID:vbC+9hSb
本当に実行時なら再帰で書くしか無いんじゃね
2020/03/21(土) 22:49:54.75ID:XPOe/jnY
>>953-954
ありがとうございます。
再帰templateで調べてみます。

あと書いてて気付いたのですが、n桁のm進数にループ変数 a[0], a[1],... をエンコードするっていうのも一つの方法かなと思いました。
2020/03/21(土) 22:50:20.71ID:lGRjmGfi
確かにtemplateでなくても再帰で可能か
ただlambdaで渡せないからstd::functionで包む必要あるね
2020/03/21(土) 22:57:37.57ID:80zI/5JK
>>949
やりたいことは、係数をm^2の2次元配列xとm^3の3次元配列yに入れておいて、2番目のループではx[a][b], 3番目のループではy[a][b][c]を使用するということか？
サイズ可変でも動的に確保すればいいだけ。
2020/03/21(土) 22:58:48.87ID:80zI/5JK
すまん、全くの検討違いだったようだ
2020/03/21(土) 23:07:32.20ID:XPOe/jnY
>>957-958
m^n 通りの添字 (a[i] for all i) の組み合わせを列挙し、その中でなんらかの処理をしたいという意味です。
説明の仕方が悪くて失礼しました。
2020/03/22(日) 00:59:09.60ID:7dJergc9
全てのa[i]が始点0,終点mならa[i]でなくてもjとかでよくね？
961デフォルトの名無しさん
垢版 |
2020/03/22(日) 01:21:14.83ID:GKarRavC
std::sortに並列化+ベクトル化指定つけて実行したら、コア数以上に高速化したんだけど、なんで？
2020/03/22(日) 01:31:16.84ID:ESnYypih
キャッシュに全部載るようになったとか
2020/03/22(日) 01:36:53.01ID:7dJergc9
>>959
あー全部使うのか
function(a[0],a[1],a[2],a[3],....)
2020/03/22(日) 02:31:12.30ID:7dJergc9
>>955
こういう解釈でいいのかな
ループがふたつになるかな

a=new int[n];
for(i=0;i<m^n;i++){
　for(j=0;j<n;j++){
　　a[j]=i%m;
　　i/=m;
　}
　function(a,n);
}
delete[] a;
2020/03/22(日) 02:42:13.57ID:5XORMJuJ
>>964
はい。
再帰が難しかったらそれにします。
2020/03/22(日) 11:52:38.51ID:I961moxw
>>949
こういう感じ？
https://wandbox.org/permlink/zdLQAUuB43vzYj6U

(ガバい実装ですまぬ)
967デフォルトの名無しさん
垢版 |
2020/03/22(日) 11:56:28.35ID:GKarRavC
多重継承のときのCRTPについて説明してるサイトないですか
2020/03/22(日) 14:40:43.43ID:VphPQW8g
そんなモンがあるなんて初めて知った
やはりC++は奥が深いな
2020/03/22(日) 19:39:49.88ID:HvrypJyW
>>949
>TeX の文法で数式を書けば
>\prod_{i=0}^{n} \sum_{a[i]=0}^{m}
>という意味です。
絶対ではないが、標準的な数学の記法だと、その意味では、
\sum_{a[0]=0}^{m}・・・\sum_{a[n]=0}^{m}
と書くのがが普通だと思う。
ところでそれは量子力学の経路積分か何かですか？
経路積分の場合は、本によって上記の部分に割と独特の変な記号を使う場合があって、
あなたの書いたように書いてある本もあるかもしれません。
ただ、普通の数学記法だと余り使いませんよね、その書き方は。
2020/03/22(日) 19:46:47.90ID:HvrypJyW
>>969
補足すれば、普通の数学記法だと
\sum_{a[0]=0}^{m}・・・\sum_{a[n]=0}^{m} f(a[0],・・・,a[n])　　//(1)
ですね。
\prod_{i=0}^{n} \sum_{a[i]=0}^{m}　　//(2)
の記号の場合は、
X= \prod_{i=0}^{n} \sum_{a[i]=0}^{m} g_i(a[i])　　//(3)
の場合は、
b[i] = \sum_{a[i]=0}^{m} g_i(a[i])　　//(4)
(i=0, ・・・, n)
を先に計算しておいて、
X = \prod_{i=0}^{n} b[i]　　　//(5)
　= b[0]・・・b[i]　　　//(6)
の意味に解釈するのが標準的な数学の記号の使い方だと個人的には思います。
(1)と(3)ではかなり意味が違いますが、(2)の記号を、(1)の先頭に使えるかと言えば、
絶対使えないわけでは有りませんが、使う前に何らかの補足説明が必要になりそうです。
2020/03/22(日) 19:47:50.29ID:HvrypJyW
>>970
誤：　= b[0]・・・b[i]　　　//(6)
正：　= b[0]・・・b[n]　　　//(6)
2020/03/22(日) 21:29:26.79ID:LOA9pF7P
>>967
派生が継承してる複数の基底を受け取りたいとか？
2020/03/23(月) 12:49:54.29ID:bf1cRh+B
int *pInts = new int[10]();
とした場合の最後の()の意味は何でしょうか？
付けない場合との差を教えてください。
レス数が950を超えています。1000を超えると書き込みができなくなります。
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況