C++相談室 part149

**デフォルトの名無しさん** · 2020/02/18(火) 06:19:41.54

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/ (日本語)

**デフォルトの名無しさん** · 2020/03/21(土) 17:51:24.98

>>916
factorialの呼び元は大本の読み出し元以外はすべてnがかかっていること
実際にループに書き換えられること
よって>>860を否定する必要はないというだけのこと
否定する必要があるならそれでもいいが意味はあるか？

**デフォルトの名無しさん** · 2020/03/21(土) 17:56:13.76

>ｎ*はリターン値に含まれている
>よってn * factorial(n-1)は一つの関数単位として扱われ得る

リターン値に含まれていようが関数の呼び出しに含まれていなんだから「一つの関数単位」にはならんわな。

**デフォルトの名無しさん** · 2020/03/21(土) 18:04:37.39

そもそもこの人の数学とやらが意味不明

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

乗算なのか関数の適用なのかどっちだこれ？
左辺の(n+1)はどっからでてきたんだよ

**デフォルトの名無しさん** · 2020/03/21(土) 18:17:58.54

>>917
ループに書き換えられれば末尾再帰と言えるんならやっぱり Wikipedia の定義と違うんじゃん。

「>>860は末尾再帰であると言える」を否定しないと「末尾再帰」の定義（共通認識）が変わってしまうし、
共通認識を壊す行いを認めることになる。それは害悪。やめてほしい。

**デフォルトの名無しさん** · 2020/03/21(土) 18:57:31.20

末尾再帰とかschemeじゃないと意味無い話
末尾再帰だとループに最適化されることが言語で保証されてるって前提なのだから

そこで言う末尾再帰ではn*f(n-1)みたいなのは違う
だから変形して末尾再帰にしろって話になるのだから

**デフォルトの名無しさん** · 2020/03/21(土) 19:00:28.44

>>920
それは
return n * factorial(n-1);
と書いてはいけないと強制するということだろうか
だとしたらそれは間違っている
末尾再帰の定義を満たしているにもかかわらず認めないということはそういうことだ

**デフォルトの名無しさん** · 2020/03/21(土) 19:03:53.90

末尾再帰は関数の最後で自身を呼び出してそれをそのままreturnするものだけ

末尾再帰に変形できる関数は末尾再帰に変形できる関数であって、末尾再帰関数ではない

**デフォルトの名無しさん** · 2020/03/21(土) 19:07:05.36

>>922
強制とか間違ってるとか認めないとか
お前は誰と戦ってんの？
誰もそんな話してないんだが
読んでで怖いわ

**デフォルトの名無しさん** · 2020/03/21(土) 19:07:10.79

>>923
それでいいと思う
だがだとすれば君らは何がわからなかったのかそれがわからない

◆QZaw55cn4c · 2020/03/21(土) 19:07:50.34

>>915
＞ｎ*はリターン値に含まれている
＞よってn * factorial(n-1)は一つの関数単位として扱われ得る

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

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

には合致せず（なぜならば、この場合の最終ステップは　* n をすることだから）、>>860 で引用されたプログラムは末尾再帰ではありませんね

◆QZaw55cn4c · 2020/03/21(土) 19:10:16.03

>>922
＞それは
＞return n * factorial(n-1);
＞と書いてはいけないと強制するということだろうか

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

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

もう一度ききましょう、あなたの「末尾再帰」の定義は何ですか？

**デフォルトの名無しさん** · 2020/03/21(土) 19:12:27.37

>>927
あなたのいう、「関数」の定義は何ですか
わたしはn * factorial(n-1)は関数だと思います

**デフォルトの名無しさん** · 2020/03/21(土) 19:15:04.74

やっぱりこいつ、末尾再帰と末尾呼び出しの区別がついていないとしか思えない

**デフォルトの名無しさん** · 2020/03/21(土) 19:17:28.36

>>929
この場合同じです

**デフォルトの名無しさん** · 2020/03/21(土) 19:18:51.72

>わたしはn * factorial(n-1)は関数だと思います

これがfractional自身とは異なる以上、末尾再帰にはならんわけ。

**デフォルトの名無しさん** · 2020/03/21(土) 19:23:27.91

>>931
では何がわからなくてここまでの長い議論をしていたのですか？
末尾再帰が理解したいというのなら、定義そのままを暗記するだけで済んだはず
一連の私の書き込みは単に理解の方法を提示したに過ぎず、
それを否定するということは定義が理解できていたということでしょう？

**デフォルトの名無しさん** · 2020/03/21(土) 19:23:55.22

中置で書くから分かりづらくなる
ポーランドか逆ポーランドで書けば自明なのに

◆QZaw55cn4c · 2020/03/21(土) 19:25:39.78

>>928
＞あなたのいう、「関数」の定義は何ですか
＞わたしはn * factorial(n-1)は関数だと思います

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

繰り返しますが、末尾再帰の定義は　>>902
＞＞「自身の再帰呼び出しが、その計算における最後のステップになっているような再帰」
であり、>>860 で引用されたプログラムの「自身の再帰呼び出し」すなわち「return n * factorial(n-1);」
は、計算における最後のステップになっていない（なぜならば、最後のステップはこの場合 n * であるから）ので、
>>860 で引用されたプログラムは末尾再帰ではありませんね

**デフォルトの名無しさん** · 2020/03/21(土) 19:27:37.70

>>932
>>860は末尾再帰にならないということをアンタだけが理解できていないというだけ。

**デフォルトの名無しさん** · 2020/03/21(土) 19:28:51.57

>>934
それを最初から言っていれば、ここまでの無意味な議論はしなくて済んだでしょうね
よって示された

**デフォルトの名無しさん** · 2020/03/21(土) 19:34:56.57

逆になぜ末尾再帰にするかを考えれば、>>934の制限は強すぎる

**デフォルトの名無しさん** · 2020/03/21(土) 19:38:43.38

ID:QlEyGkfmは何でもかんでもここのみんなに教えてもらおうとせず
まず落ち着いて自分のペースでしっかり考えてみたらどうかな
みんな呆れてるよ

◆QZaw55cn4c · 2020/03/21(土) 19:46:19.04

>>938
昔私が末尾再帰を間違えていたとき、当時からこのコテで煽り気味にやっていたにもかかわらず、最上級の親切を示して
「末尾再帰はジャンプ最適化だ！」
と教えてくださった方がおられました、当時のその方ほどの忍耐力を今回発揮できず、申し訳ございません…

**デフォルトの名無しさん** · 2020/03/21(土) 19:49:38.39

皆さんこそ落ち着いてください
nはスタック変数ではなく、ループのインクリメント変数なんですよ

**デフォルトの名無しさん** · 2020/03/21(土) 19:59:14.68

「末尾再帰」という情報処理用語を定義しているJIS規格票もしくは
"tail recursion" という情報処理用語を定義しているISO規格票の
条項を出せるやついるの？

これだけ上から目線でマウント取っといて
あげくオレ用語だったら恥ずかしいぞ

**デフォルトの名無しさん** · 2020/03/21(土) 20:03:27.21

R5RSとかではなく？

**デフォルトの名無しさん** · 2020/03/21(土) 20:13:29.14

江添が間違えたのが全部悪い
奴が間違えてなければ同じ勘違いをした気違いを呼び寄せることもなかった

**デフォルトの名無しさん** · 2020/03/21(土) 20:38:49.06

江添氏は勘違いと言うより
末尾再帰というもんを単に知らなかったのではと思ってる

末尾再帰の最適化が保証されてる言語使ってる人じゃないだろうから

**デフォルトの名無しさん** · 2020/03/21(土) 20:47:14.84

消費税の計算を例題にあげたけど、計算方法間違ってたみたいなもの
c++的には関係ない分野の知識

**デフォルトの名無しさん** · 2020/03/21(土) 20:58:18.89

蒸し返して悪いんだけど
>>898 の数式解読できる人いる？
この人何を勘違いしてんのか興味でてきたんだが

**デフォルトの名無しさん** · 2020/03/21(土) 21:07:53.04

「添字を持つ添字」みたいなもんを上手に管理する方法ってある？

例えば、
0 <= i < n である全ての i について a[i] を 0 から m の範囲で動かす
みたいなループの構造を想定してる。
当然大きな多重ループになるから小さい n と m についてしか使えないと思うけど、デバッグなどのときにこういうのを簡潔にミスらず書けたらと思っての質問です

**デフォルトの名無しさん** · 2020/03/21(土) 21:15:03.39

>>947
> a[i] を 0 から m の範囲で動かす
これの意味がわからない
具体例書いて

**デフォルトの名無しさん** · 2020/03/21(土) 21:44:53.81

>>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.54

>>948-949
すみません。必ずしも和をとりたいだけではないので、式はあくまで例です。
あとレンジが1つずれてるのもすみません。

**デフォルトの名無しさん** · 2020/03/21(土) 22:26:18.85

>という形の多重ループのループ変数 a, b, c,... を a[0], a[1], a[2],... にしたいという意味です。

やればいいだけの話じゃなくて？質問は何だろう。

**デフォルトの名無しさん** · 2020/03/21(土) 22:38:22.14

>>951
n が実行時に決まるような場合どうしたら良いかという意味です

**デフォルトの名無しさん** · 2020/03/21(土) 22:39:31.10

>>949
ループのネストが可変なんだよね
templateが許されるなら再帰template
ダメならきれいには書けないと思う

**デフォルトの名無しさん** · 2020/03/21(土) 22:40:14.16

本当に実行時なら再帰で書くしか無いんじゃね

**デフォルトの名無しさん** · 2020/03/21(土) 22:49:54.75

>>953-954
ありがとうございます。
再帰templateで調べてみます。

あと書いてて気付いたのですが、n桁のm進数にループ変数 a[0], a[1],... をエンコードするっていうのも一つの方法かなと思いました。

**デフォルトの名無しさん** · 2020/03/21(土) 22:50:20.71

確かにtemplateでなくても再帰で可能か
ただlambdaで渡せないからstd::functionで包む必要あるね

**デフォルトの名無しさん** · 2020/03/21(土) 22:57:37.57

>>949
やりたいことは、係数をm^2の2次元配列xとm^3の3次元配列yに入れておいて、2番目のループではx[a][b], 3番目のループではy[a][b][c]を使用するということか？
サイズ可変でも動的に確保すればいいだけ。

**デフォルトの名無しさん** · 2020/03/21(土) 22:58:48.87

すまん、全くの検討違いだったようだ

**デフォルトの名無しさん** · 2020/03/21(土) 23:07:32.20

>>957-958
m^n 通りの添字 (a[i] for all i) の組み合わせを列挙し、その中でなんらかの処理をしたいという意味です。
説明の仕方が悪くて失礼しました。

**デフォルトの名無しさん** · 2020/03/22(日) 00:59:09.60

全てのa[i]が始点0,終点mならa[i]でなくてもjとかでよくね？

**デフォルトの名無しさん** · 2020/03/22(日) 01:21:14.83

std::sortに並列化+ベクトル化指定つけて実行したら、コア数以上に高速化したんだけど、なんで？

**デフォルトの名無しさん** · 2020/03/22(日) 01:31:16.84

キャッシュに全部載るようになったとか

**デフォルトの名無しさん** · 2020/03/22(日) 01:36:53.01

>>959
あー全部使うのか
function(a[0],a[1],a[2],a[3],....)

**デフォルトの名無しさん** · 2020/03/22(日) 02:31:12.30

>>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.57

>>964
はい。
再帰が難しかったらそれにします。

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/22(日) 11:52:38.51

>>949
こういう感じ？
https://wandbox.org/permlink/zdLQAUuB43vzYj6U

(ガバい実装ですまぬ)

**デフォルトの名無しさん** · 2020/03/22(日) 11:56:28.35

多重継承のときのCRTPについて説明してるサイトないですか

**デフォルトの名無しさん** · 2020/03/22(日) 14:40:43.43

そんなモンがあるなんて初めて知った
やはりC++は奥が深いな

**デフォルトの名無しさん** · 2020/03/22(日) 19:39:49.88

>>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.90

>>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.29

>>970
誤：　= b[0]・・・b[i]　　　//(6)
正：　= b[0]・・・b[n]　　　//(6)

**デフォルトの名無しさん** · 2020/03/22(日) 21:29:26.79

>>967
派生が継承してる複数の基底を受け取りたいとか？

**デフォルトの名無しさん** · 2020/03/23(月) 12:49:54.29

int *pInts = new int[10]();
とした場合の最後の()の意味は何でしょうか？
付けない場合との差を教えてください。

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/23(月) 13:29:11.05

>>973
イニシャライザ。
普通のクラスではそれがないときはデフォルトコンストラクタで初期化される (空の括弧があっても無くても同じ挙動) けど、
int 等では初期化を明示しない限り初期化されない。
逆に言えばこの場合は初期化を明示しているので初期化される。 (0 が入る)

**デフォルトの名無しさん** · 2020/03/23(月) 13:37:39.77

>>974
有難うございます。では、
int *pInts = new int[3](1,2,3);　　//(1)
int *pInts = new int[3]{1,2,3};　　//(2)
の違いは何でしょうか？

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/23(月) 14:11:51.67

>>975
(2) の場合には集成体初期化になる。
https://ja.cppreference.com/w/cpp/language/new#.E6.A7.8B.E7.AF.89

(1) も C++20 からは集成体初期化になる。
だけど gcc と clang の最新版で試しても出来ないっぽいし、
あえて丸括弧で書きたい理由はないなぁ。

**デフォルトの名無しさん** · 2020/03/23(月) 14:16:57.36

>>976
ちょっとまってください。
>>973 の場合の

**デフォルトの名無しさん** · 2020/03/23(月) 14:16:57.82

>>976
ちょっとまってください。
>>973 の場合の

**デフォルトの名無しさん** · 2020/03/23(月) 14:18:32.74

>>976
ちょっと待ってください。
>>973 の場合の () は、「集成体初期化」のうちの「中身が全く入ってない括弧」と解釈してよろしいのでしょうか？

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/23(月) 14:39:25.62

>>979
いいえ。

> initializer が空の括弧の場合、それぞれの要素は値初期化されます。

に該当する。

**デフォルトの名無しさん** · 2020/03/23(月) 16:20:38.54

>>980
最初は集成体初期化を使って、
int *pInts = new int[100](1,2,3);　 //(1)
int *pInts = new int[100](1,2);　　//(2)
int *pInts = new int[100](1);　　　//(3)
int *pInts = new int[100]();　　　//(4)
とどんどん()の中の項目を減らして行き、最後に0個にした場合、
推論的な延長線上にあると思えるか、それとも全く違った結果になるかどちらですか？

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/23(月) 17:58:00.87

>>981
C++20 的に言えば集成体初期化の文法に統合されたということにはなるんだと思うけど、経緯はよくしらない。

**デフォルトの名無しさん** · 2020/03/23(月) 18:27:48.17

もし、
{1,2,3,0,0,0,0,0}
{1,2,0,0,0,0,0,0}
{1,0,0,0,0,0,0,0}
{0,0,0,0,0,0,0,0}
のようになるんであれば、()は(xxx)のxxxを書かない場合と捉えるのは数学的推論として
正しい見方になりますね。
実際に上のようになるのか、未初期化の部分が残るのかは知りませんが。

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/23(月) 18:32:49.31

>>983
足りない分はゼロ初期化されるよ。
C の時代からの配列の初期化の文法と一貫させてるつもりなんだと思う。

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/23(月) 18:45:31.47

>>983
空の丸括弧でゼロ初期化されるのは C++03 にはすでに有って、
波括弧で初期化する文法は C++11 から入って、
(そこから色々と条件の緩和やら変更やらがありつつ)
空ではない丸括弧で集成体初期化になるのは C++20 からという段階的な変化がある。

追加された文法が既存の文法となるべく一貫性を持つように統合しようとはしているけど、
互換性を壊さないようにというのも C++ の強い要件なので、
正確なルールはごちゃごちゃした条件の塊になりがち。

まあまあ整理されている部分もあるけど、
勝手な予想ではなくちゃんと資料にはあたった方がいいよ。

**デフォルトの名無しさん** · 2020/03/23(月) 19:36:44.54

配列の初期化方法が20通りくらいあるんじゃねえか

**デフォルトの名無しさん** · 2020/03/23(月) 20:24:40.26

結局、波括弧と丸括弧はどっちが良いの？
C++11の時点では、波括弧が使えるところでは波括弧使っとけってのがMayers神の教えだったけども

**デフォルトの名無しさん** · 2020/03/23(月) 20:44:37.69

汝の欲するところを行え
それが法とならん

**デフォルトの名無しさん** · 2020/03/23(月) 22:25:35.27

好きなようにやったところで法(規格なりデファクトスタンダード)にはならんだろw

**デフォルトの名無しさん** · 2020/03/23(月) 23:44:35.50

よし、じゃあ今から俺が法な。

ここの住人は全員システムハンガリアン強制

**デフォルトの名無しさん** · 2020/03/24(火) 00:05:30.25

次スレ
C++相談室 part150
https://mevius.5ch.net/test/read.cgi/tech/1584975873/

**はちみつ餃子** ◆8X2XSCHEME · 2020/03/24(火) 00:21:01.48

>>987
シンタクス的にどちらでも良いときには波括弧を優先した方がよいと思う。
波括弧は縮小変換を許さないので意図しない情報の欠落は防止できる可能性が高い。
縮小変換が必要な場面に限って丸括弧を使えばそこが要注意ポイントってのがわかりやすい。

----

ところで縮小変換より狭化変換という用語の方が好きなんだけど、
みんなどっち使ってる？やっぱ縮小変換の方が標準的かな？

**デフォルトの名無しさん** · 2020/03/24(火) 14:12:02.77

>>969-971
> 絶対ではない
> 思う
> 個人的には

話にならん

**デフォルトの名無しさん** · 2020/03/24(火) 14:21:15.32

>>992
そうなのね。ありがとうー

**デフォルトの名無しさん** · 2020/03/24(火) 14:41:38.83

へぇこんな配列の初期化の仕方あるんだねぇ
お前らC++に詳しいじゃん

**デフォルトの名無しさん** · 2020/03/24(火) 18:53:00.89

C言語の時点で int a[100] = {0}; でゼロクリア
もはや裏ワザの部類

https://cpplover.blogspot.com/2010/09/blog-post_20.html
int a[2][2] = { 1, 2, 3, 4 } ;

多次元配列の初期化での謎機能
これも裏ワザにしか見えない

裏ワザ・例外・隠し機能が相まって配列の初期化だけで一冊の同人誌が出来上がる

**デフォルトの名無しさん** · 2020/03/24(火) 20:25:22.03

universal initializerなんてバグの塊でしかない。
https://qiita.com/h2suzuki/items/d033679afde821d04af8

**デフォルトの名無しさん** · 2020/03/24(火) 22:49:16.96

>>993
数学の記号法と言うのは本によって違ってるから。
特に物理学は必要に迫られて新しい記法を発明してしまう。

**デフォルトの名無しさん** · 2020/03/24(火) 22:50:59.22

数学は記号定義してなんぼだからね

**デフォルトの名無しさん** · 2020/03/24(火) 23:08:33.60

>>998-999
いや、だからなんだよ
なんの主張にもなってないお気持ち表明するだけの雑魚多いな

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 35日 16時間 48分 52秒