この質問は**C++14**での話です。C++17からはこうなるみたいな情報もあれば嬉しいです。 ###概要 C++14からラムダ式の仮引数にも`auto`が使えるようになりましたが、この`auto`を使ったときにラムダ式の再帰を簡潔に書く方法がわかりません。 ###サンプルコード下記コードは[コラッツの問題](https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%A9%E3%83%83%E3%83%84%E3%81%AE%E5%95%8F%E9%A1%8C)において、何ステップで1になるかを数える処理です(負の値の場合とか細かいエラー処理とかは省いています)。 ```C++ #include #include // C++11 での書き方 int collatz_count1(int x) { std::function f = [&f](int n) { if (n == 1) { return 0; } else if (n % 2 == 0) { return f(n / 2) + 1; } else { return f(3 * n + 1) + 1; } }; return f(x); } // C++14 でのみ動作 int collatz_count2(int x) { auto f = [](auto g, auto n) { if (n == 1) { return 0; } else if (n % 2 == 0) { return g(g, n / 2) + 1; } else { return g(g, 3 * n + 1) + 1; } }; return f(f, x); } // コンパイルエラー int collatz_count3(int x) { auto f = [&f](auto n) { if (n == 1) { return 0; } else if (n % 2 == 0) { return f(n / 2) + 1; } else { return f(3 * n + 1) + 1; } }; return f(x); } // コンパイルエラー int collatz_count4(int x) { auto f = [&f](int n) { if (n == 1) { return 0; } else if (n % 2 == 0) { return f(n / 2) + 1; } else { return f(3 * n + 1) + 1; } }; return f(x); } int main() { int i = 27; std::cout << "collatz_count1: " << collatz_count1(i) << std::endl; std::cout << "collatz_count2: " << collatz_count2(i) << std::endl; std::cout << "collatz_count3: " << collatz_count3(i) << std::endl; std::cout << "collatz_count4: " << collatz_count4(i) << std::endl; return 0; } ``` `collatz_count1`と`collatz_count2`はうまく動きます(`collatz_count1`はC++11でも)が、`collatz_count3 `と`collatz_count4`はコンパイルエラーになります。`f`の型を`decltype(auto)`にコンパイルエラーになります。 ###何が問題なのか？もっと汎用的にするため、ラムダ式の仮引数を`(auto n)`のようにした場合、`collatz_count1`のような書き方はできなくなると思っています。なぜなら`std::function`みたいな型をどのようにも書けないからです(かといって`std::function`と書いてしまうと、せっかくの`auto`が`int`に確定してしまいます)。となると上の`collatz_count3 `のような書き方で動いて欲しいのですが、`f`の型が確定していないためキャプチャできないとエラーになります。これは`collatz_count4`も同じで、同じエラーとなります。そこで、`collatz_count2`のように、キャプチャではなく引数で渡せばうまく動きますが、簡潔とは言い難いです。つまり、何がしたいかというと、 * ラムダ式の仮引数の型は`auto`にしてテンプレートのように使いたい。 * しかし、その場合の再帰はキャプチャでは実現できなくなるのをなんとかしたい。なんとか方法はないのでしょうか？それとも現在のC++14の仕様では`collatz_count2`のように書くしかないのでしょうか？ ###検証環境 OS: macOS 10.12.1 GCC: Homebrew gcc 6.2.0 Clang: Apple LLVM version 8.0.0 (clang-800.0.42.1) `-std=c++14`付きでコンパイルしています。 ###参考文献 [C++ : ラムダ式のみでの再帰文 - Qiita](http://qiita.com/NiwatoriSig/items/79cb22e5678b46961797) [C++プログラマキャスブログ](http://kyasu.sakura.ne.jp/?type=single&id=20141209215459) [ラムダ式で再帰関数 - C++と色々](http://nekko1119.hatenablog.com/entry/2013/12/21/191940) [c++ - Recursive lambda functions in C++11 - Stack Overflow](http://stackoverflow.com/questions/2067988/recursive-lambda-functions-in-c11)

	@@ -1 +1 @@
1	- ラムダ式の再帰でautoを使った場合の簡易な書き方はあるのか？
1	+ ラムダ式の再帰でautoを使った場合の簡潔な書き方はあるのか？

質問編集履歴