Skip to main content
もう少し推敲しました。特に、function_ref を追記しました。
ソース リンク
nekketsuuu
  • 2.4万
  • 12
  • 53
  • 117

短い回答

C++ の関数型プログラミングの仕組みはどんどん整備されていっており、現状でも充分使えるレベルのものだと思います。関数型プログラミングのメリットを重要視するのであれば、まずは関数型プログラミングのやり方で書いてみて、そのあとパフォーマンスチューニングを行えば良いでしょう。

長い回答

一方で、他の関数型言語と同じくらい恩恵が受けられているのかはよく分かりません。たとえば Haskell という関数型言語型プログラミング言語は、副作用を上手く分離できているおかげで fold/unfold まわりで融合変換という最適化を行えるのですが、副作用も簡単に書ける C++ でこれを行うのはすぐには難しそうです。ただこの最適化ができないからといって速度差にどの程度影響しているのかは判断しづらいです。

また、std::function はそのコピーコストが問題視される場合があるのですが、じゃあユースケースを限定すればコピーしない形にできるだろうと言って std::function_ref というものが提案されていたりもします(参考:C++ proposalとして提案中のfunction_refを実装してみた)。これはよくある関数型プログラミングの機能を C++ っぽく使うために改造していく例のひとつと言えそうです。この意味で、C++ で行う関数型プログラミングにも一定の意味があると言えるでしょう。

C++ でイミュータブルな変数というと、似た役割を持つ機能として const が思いつきます。そして const 自体は C++ に昔からある機能であり、これはコンパイラの恩恵を充分に受けられるといって良いでしょう。

また、任意のプログラムをどのくらい最適化できるかという話と、コンパイラを意識して書かれたプログラムをどのくらい最適化できるかという話は別です。関数型プログラミングっぽく書きつつパフォーマンスも上げる書き方が今後ますます発見されていくのではないかと思います。最初はとりあえず普通の関数型プログラミングっぽく書い一通り書いてみて、求めていた性能が得られなければボトルネックを他のやり方で書きなおす、というのはひとつパフォーマンスチューニングで良くある方法であり、今回例でも同じように、まずは普通の関数型プログラミングのやり方でしょうで書いて不便しないのではないかと思います。少なくとも最初から無茶苦茶困るようなオーバーヘッドは無いことは、この回答で述べたとおりです

一方で、他の関数型言語と同じくらい恩恵が受けられているのかはよく分かりません。たとえば Haskell という関数型言語は、副作用を上手く分離できているおかげで fold/unfold まわりで融合変換という最適化を行えるのですが、副作用も簡単に書ける C++ でこれを行うのはすぐには難しそうです。ただこの最適化ができないからといって速度差にどの程度影響しているのかは判断しづらいです。

C++ でイミュータブルな変数というと、const が思いつきます。そして const 自体は C++ に昔からある機能であり、これはコンパイラの恩恵を充分に受けられるといって良いでしょう。

また、任意のプログラムをどのくらい最適化できるかという話と、コンパイラを意識して書かれたプログラムをどのくらい最適化できるかという話は別です。関数型プログラミングっぽく書きつつパフォーマンスも上げる書き方が今後ますます発見されていくのではないかと思います。最初はとりあえず普通の関数型プログラミングっぽく書いてみて、求めていた性能が得られなければボトルネックを他のやり方で書きなおす、というのはひとつのやり方でしょう

短い回答

C++ の関数型プログラミングの仕組みはどんどん整備されていっており、現状でも充分使えるレベルのものだと思います。関数型プログラミングのメリットを重要視するのであれば、まずは関数型プログラミングのやり方で書いてみて、そのあとパフォーマンスチューニングを行えば良いでしょう。

長い回答

一方で、他の関数型言語と同じくらい恩恵が受けられているのかはよく分かりません。たとえば Haskell という関数型プログラミング言語は、副作用を上手く分離できているおかげで fold/unfold まわりで融合変換という最適化を行えるのですが、副作用も簡単に書ける C++ でこれを行うのはすぐには難しそうです。ただこの最適化ができないからといって速度差にどの程度影響しているのかは判断しづらいです。

また、std::function はそのコピーコストが問題視される場合があるのですが、じゃあユースケースを限定すればコピーしない形にできるだろうと言って std::function_ref というものが提案されていたりもします(参考:C++ proposalとして提案中のfunction_refを実装してみた)。これはよくある関数型プログラミングの機能を C++ っぽく使うために改造していく例のひとつと言えそうです。この意味で、C++ で行う関数型プログラミングにも一定の意味があると言えるでしょう。

C++ でイミュータブルな変数というと、似た役割を持つ機能として const が思いつきます。そして const 自体は C++ に昔からある機能であり、これはコンパイラの恩恵を充分に受けられるといって良いでしょう。

また、任意のプログラムをどのくらい最適化できるかという話と、コンパイラを意識して書かれたプログラムをどのくらい最適化できるかという話は別です。関数型プログラミングっぽく書きつつパフォーマンスも上げる書き方が今後ますます発見されていくのではないかと思います。最初はとりあえず一通り書いてみて、求めていた性能が得られなければボトルネックを他のやり方で書きなおす、というのはパフォーマンスチューニングで良くある方法であり、今回例でも同じように、まずは普通の関数型プログラミングのやり方で書いて不便しないのではないかと思います。少なくとも最初から無茶苦茶困るようなオーバーヘッドは無いことは、この回答で述べたとおりです

少し推敲しました
ソース リンク
nekketsuuu
  • 2.4万
  • 12
  • 53
  • 117

これを C++11 の std::copy_if (filter 相当) や std::transform (in-place な mapmap 相当) を使って書くとこうなります。

これらのどれが一番速いかはなかなか判断が難しいですが、一番下のものでも充分なコンパイラの恩恵を充分に受ける場合があるというのは断言できます。たとえば一番下のプログラムを x86-64 clang 9.0.0 でコンパイルしたところ、SIMD 命令にしてくれていました:godbolt での結果

一方で、他の関数型言語と同じくらい恩恵が受けられているのかはよく分かりません。たとえば Haskell という関数型言語は、副作用を上手く分離できているおかげで fold/unfold まわりで融合変換という最適化を行えるのですが、副作用も簡単に書ける C++ でこれを行うのはすぐには難しそうです。ただこの最適化ができないからといって速度差にどの程度影響しているのかは判断しづらいです。

関数型というくらいですから、関数自体が値として扱える(関数が第一級オブジェクトである)ことは大事でしょう。また、関数を引数として受け取るような関数(高階関数)も関数型プログラミングで良く出てくる概念です。実際、先に述べた fold/unfold 自体が高階関数になっていますです

一方で  std::function はゼロコストな機能ではありません。オーバーヘッドがあります。しかし実装やコンパイラのおかげでそのオーバーヘッドは充分小さく、むしろ std::function使う使ってプログラムが整理されるメリットの方が大きいのでは、という風潮があります。たとえば "What is the performance overhead of std::function?" をご覧ください。

パターンマッチについては C++17 時点ではまだ導入されておらず、協議中の状態です。std::variant では代わりに std::visit がありますが、パターンマッチほど便利ではありません。

関数型プログラミング言語として有名な言語のひとつに、Haskell という言語があります。この言語は遅延評価という仕組みを採用しており、それゆえ関数型プログラミングの特徴のひとつとして遅延評価が挙がる場合があります。しかし、本来は遅延評価かどうかは関数型プログラミングとはあまり関係がありません。たとえば同じく関数型プログラミング言語として有名な OCaml という言語はデフォルトでは遅延評価になりません。

また、任意のプログラムをどのくらい最適化できるかという話と、コンパイラを意識して書かれたプログラムをどのくらい最適化できるかという話は別です。関数型プログラミングっぽく書きつつパフォーマンスも上げる書き方が今後ますます発見されていくのではないかと思います。最初はとりあえず普通の関数型プログラミングっぽく書いてみて、求めていた性能が得られなければボトルネックを他の書き方で書きなおす最初はとりあえず普通の関数型プログラミングっぽく書いてみて、求めていた性能が得られなければボトルネックを他のやり方で書きなおす、というのはひとつのやり方でしょう。

これを C++11 の std::copy_if (filter 相当) や std::transform (in-place な map 相当) を使って書くとこうなります。

これらのどれが一番速いかはなかなか判断が難しいですが、一番下のものでも充分なコンパイラの恩恵を受ける場合があるというのは断言できます。たとえば一番下のプログラムを x86-64 clang 9.0.0 でコンパイルしたところ、SIMD 命令にしてくれていました:godbolt での結果

一方で、他の関数型言語と同じくらい恩恵が受けられているのかはよく分かりません。たとえば Haskell という関数型言語は、副作用を上手く分離できているおかげで fold/unfold まわりで融合変換という最適化を行えるのですが、副作用も簡単に書ける C++ でこれを行うのはすぐには難しそうです。

関数型というくらいですから、関数自体が値として扱える(関数が第一級オブジェクトである)ことは大事でしょう。また、関数を引数として受け取るような関数(高階関数)も関数型プログラミングで良く出てくる概念です。実際、先に述べた fold/unfold 自体が高階関数になっています

一方でstd::function はゼロコストな機能ではありません。オーバーヘッドがあります。しかし実装やコンパイラのおかげでそのオーバーヘッドは充分小さく、むしろ std::function使うメリットの方が大きいのでは、という風潮があります。たとえば "What is the performance overhead of std::function?" をご覧ください。

パターンマッチについては C++17 時点ではまだ導入されておらず、協議中の状態です。std::variant では代わりに std::visit がありますが、パターンマッチほど便利ではありません。

関数型プログラミング言語として有名な言語のひとつに、Haskell という言語があります。この言語は遅延評価という仕組みを採用しており、それゆえ関数型プログラミングの特徴のひとつとして遅延評価が挙がる場合があります。しかし、本来は遅延評価かどうかは関数型プログラミングとはあまり関係がありません。たとえば同じく関数型プログラミング言語として有名な OCaml という言語はデフォルトでは遅延評価になりません。

また、任意のプログラムをどのくらい最適化できるかという話と、コンパイラを意識して書かれたプログラムをどのくらい最適化できるかという話は別です。関数型プログラミングっぽく書きつつパフォーマンスも上げる書き方が今後ますます発見されていくのではないかと思います。最初はとりあえず普通の関数型プログラミングっぽく書いてみて、求めていた性能が得られなければボトルネックを他の書き方で書きなおす、というのはひとつのやり方でしょう。

これを C++11 の std::copy_if (filter 相当) や std::transform (map 相当) を使って書くとこうなります。

これらのどれが一番速いかはなかなか判断が難しいですが、一番下のものでもコンパイラの恩恵を充分に受ける場合があるというのは断言できます。たとえば一番下のプログラムを x86-64 clang 9.0.0 でコンパイルしたところ、SIMD 命令にしてくれていました:godbolt での結果

一方で、他の関数型言語と同じくらい恩恵が受けられているのかはよく分かりません。たとえば Haskell という関数型言語は、副作用を上手く分離できているおかげで fold/unfold まわりで融合変換という最適化を行えるのですが、副作用も簡単に書ける C++ でこれを行うのはすぐには難しそうです。ただこの最適化ができないからといって速度差にどの程度影響しているのかは判断しづらいです。

関数型というくらいですから、関数自体が値として扱える(関数が第一級オブジェクトである)ことは大事でしょう。また、関数を引数として受け取るような関数(高階関数)も関数型プログラミングで良く出てくる概念です。実際、先に述べた fold/unfold 高階関数です

一方で  std::function はゼロコストな機能ではありません。オーバーヘッドがあります。しかし実装やコンパイラのおかげでそのオーバーヘッドは充分小さく、むしろ std::function使ってプログラムが整理されるメリットの方が大きいのでは、という風潮があります。たとえば "What is the performance overhead of std::function?" をご覧ください。

パターンマッチについては C++17 時点ではまだ導入されておらず、協議中です。std::variant では代わりに std::visit がありますが、パターンマッチほど便利ではありません。

関数型プログラミング言語として有名な言語のひとつに、Haskell あります。この言語は遅延評価という仕組みを採用しており、それゆえ関数型プログラミングの特徴のひとつとして遅延評価が挙がる場合があります。しかし、本来は遅延評価かどうかは関数型プログラミングとはあまり関係がありません。たとえば同じく関数型プログラミング言語として有名な OCaml デフォルトでは遅延評価になりません。

また、任意のプログラムをどのくらい最適化できるかという話と、コンパイラを意識して書かれたプログラムをどのくらい最適化できるかという話は別です。関数型プログラミングっぽく書きつつパフォーマンスも上げる書き方が今後ますます発見されていくのではないかと思います。最初はとりあえず普通の関数型プログラミングっぽく書いてみて、求めていた性能が得られなければボトルネックを他のやり方で書きなおす、というのはひとつのやり方でしょう。

ソース リンク
nekketsuuu
  • 2.4万
  • 12
  • 53
  • 117

この回答にはやや専門用語が多く、関数型プログラミングに初めて入門する方向けのものではありません。しかし後からこの質問を見に来られた方のために回答として残しておくことに意義がありそうと思い、投稿します。

まず「C++ で関数型プログラミングをする」という言い方には、いくつかの側面がありそうです。というのも、関数型プログラミングという言葉がどのような言語機能を指しているのかやや多面的だからです。たとえば「『関数型言語』に関するFAQ形式の一般的説明」という記事にはこう書かれています(抜粋しつつ引用します):

関数型言語って何?

関数型言語とは、厳密には関数型プログラミング言語(functional programming language)の略で、「関数型プログラミングを推奨・支援するプログラミング言語」のことです。

そういう定義なので、「どの言語が関数型で、どれが関数型ではない」という明確な線引きは存在しません。「JavaやC++は関数型言語である」という人々もいます。「OCamlはC++より関数型言語っぽい」「HaskellはOCamlより関数型言語っぽい」など、「より関数型言語っぽい」という「感じ」は存在します。

じゃあ関数型プログラミングって何?

副作用をできるだけ(あるいは全く)用いず、式や関数で計算を表すプログラミングスタイルのことです。

そして副作用をできるだけ用いないための書き方や機能がいくつか知られており、それらが大雑把に「関数型プログラミング」と呼ばれてしまっている印象です。

そこで、C++ においてどういう意味で関数型プログラミング的な機能を利用するのかという側面で切り分けつつ、コンパイラの支援が具体的にどうなるのか例を見てみたいと思います。

fold/unfold

よく「関数型プログラミングっぽい」と言われる書き方に、fold や unfold があります。その特殊な形としてたとえば、リストの filter や map を考えてみましょう。C++ ではこれらを使って書いてもコンパイラの恩恵を受けられます。

例として「与えられた std::vector<int> から 5 未満の要素を抜き出し 3 を足す」という操作を考えてみましょう。関数型プログラミング以前の書き方では、たとえば次のように書けます。

// std::vector<int> v; が定義されているとして……

std::vector<int> result;
for (auto it = v.begin(), e = v.end(); it != e; it++) {
  if (*it < 5) {
    result.push_back((*it) + 3);
  }
}

あるいは C++11 の範囲 for 文を使うと次のように書けます。

std::vector<int> result;
for (const auto& e : v) {
  if (e < 5) {
    result.push_back(e + 3);
  }
}

これを C++11 の std::copy_if (filter 相当) や std::transform (in-place な map 相当) を使って書くとこうなります。

std::vector<int> result(v.size());
std::copy_if(v.begin(), v.end(), std::back_inserter(result), [](int x) { return x < 5; });
std::transform(result.begin(), result.end(), result.begin(), [](int x) { return x + 3; });

これらのどれが一番速いかはなかなか判断が難しいですが、一番下のものでも充分なコンパイラの恩恵を受ける場合があるというのは断言できます。たとえば一番下のプログラムを x86-64 clang 9.0.0 でコンパイルしたところ、SIMD 命令にしてくれていました:godbolt での結果

一方で、他の関数型言語と同じくらい恩恵が受けられているのかはよく分かりません。たとえば Haskell という関数型言語は、副作用を上手く分離できているおかげで fold/unfold まわりで融合変換という最適化を行えるのですが、副作用も簡単に書ける C++ でこれを行うのはすぐには難しそうです。

高階関数と第一級の関数

関数型というくらいですから、関数自体が値として扱える(関数が第一級オブジェクトである)ことは大事でしょう。また、関数を引数として受け取るような関数(高階関数)も関数型プログラミングで良く出てくる概念です。実際、先に述べた fold/unfold 自体が高階関数になっています。

C++ では C++11 あたりから std::function やラムダ式が整備され、使いやすくなりました。

一方で、std::function はゼロコストな機能ではありません。オーバーヘッドがあります。しかし実装やコンパイラのおかげでそのオーバーヘッドは充分小さく、むしろ std::function を使うメリットの方が大きいのでは、という風潮があります。たとえば "What is the performance overhead of std::function?" をご覧ください。

イミュータブルな変数

「変数が書き換わる」という挙動は副作用として捉えることができます。このため関数型プログラミング言語では変数が標準でイミュータブルなことが多いです。C++ はそうではありません。

C++ でイミュータブルな変数というと、const が思いつきます。そして const 自体は C++ に昔からある機能であり、これはコンパイラの恩恵を充分に受けられるといって良いでしょう。

ただし C++ ではメモリ管理を自分で行う都合上、どこまで const にすべきか、どちらの方が性能が良いかは慎重に選ぶべきと思います。たとえば最初の方にある std::vector を操作する例では、std::transform する際にいちいち新しく std::vector 用のメモリをアロケートしていると性能が落ちてしまいます。

代数的データ型とパターンマッチ

関数型プログラミング言語によく備わっている言語機能として、代数的データ型があります。これは別に必須の機能というわけではないのですが、多いので紹介します。

C++14 までは、C++ に代数的データ型そのものは存在しませんでした。代数的データ型が欲しくなる場面では、union などを使って処理していたでしょう。C++17 では std::variantstd::optional が導入されました。

(※ std::variant に対するコンパイラ最適化が現状どのくらい効いているのか、私は詳しくありません。調査が必要です。一例として godbolt で試してみた例をリンクします。)

パターンマッチについては C++17 時点ではまだ導入されておらず、協議中の状態です。std::variant では代わりに std::visit がありますが、パターンマッチほど便利ではありません。

補足1:遅延評価

関数型プログラミング言語として有名な言語のひとつに、Haskell という言語があります。この言語は遅延評価という仕組みを採用しており、それゆえ関数型プログラミングの特徴のひとつとして遅延評価が挙がる場合があります。しかし、本来は遅延評価かどうかは関数型プログラミングとはあまり関係がありません。たとえば同じく関数型プログラミング言語として有名な OCaml という言語はデフォルトでは遅延評価になりません。

補足2:コンパイラの性能向上

この回答は 2020 年 2 月現在リリースされているコンパイラを元に書かれました。しかし、コンパイラというものはバージョンアップしていくものです。もし関数型プログラミングの技法が今後の C++ でもっと多用されるようになれば、それに合わせてコンパイラもある程度更に最適化を進めるでしょう。

また、任意のプログラムをどのくらい最適化できるかという話と、コンパイラを意識して書かれたプログラムをどのくらい最適化できるかという話は別です。関数型プログラミングっぽく書きつつパフォーマンスも上げる書き方が今後ますます発見されていくのではないかと思います。最初はとりあえず普通の関数型プログラミングっぽく書いてみて、求めていた性能が得られなければボトルネックを他の書き方で書きなおす、というのはひとつのやり方でしょう。

関数型プログラミングのメリットのひとつは、副作用がたくさん使われている書き方と比べてテストや検証がしやすいという点です。このメリットと性能をどう天秤にかけるかはプロジェクトによります(たとえば極端に言えばアセンブリで書くのが一番速いですが、そうしないのは何かしらのメリットがあるからですよね、それと似ています)。長所短所を見測るためのひとつの手がかりとして、この回答が役に立てば幸いです。