テンプレート型関数をstd::functionに渡す方法がわかりません

Question

前提・実現したいこと

　クラス型とスカラー値の混在するシーケンスを可変パラメータとして関数に渡したいのですが，その関数を２つ用意し条件に応じて使い分けを考えています。
例えば以下のコードですが,まず，funcBとfuncCはこの質問の本質部分ではなく，処理のスタブになります。テンプレートパラメータGは受け取る関数でg の処理結果をfuncC に渡して結果を表示します。
次に，funcAですが，funcBの第１引数にラムダ式を渡して，funcBから呼び出します。その際funcBの第２引数以下で渡したvectorと整数が混在したパラメータをfuncB内でラムダ式で処理して型に応じた結果を返します。funcAは期待通り動きます。
問題は，funcAAのように，異なる動作をする関数を２つ用意して条件に応じてfuncBに渡したいというものです。その方法としてstd::functionを考えたのですが，どのようにfunctionのテンプレートに渡すのかがわかりません。functionにこだわりはないので，他の方法でも良い方法があれば教えていただけませんでしょうか。多分テンプレートを渡すのかなと思ったのでタイトルはそのように書きました。

該当のソースコード

#include<function>
using namespace std;

template<typename ...Args>
void funcC(Args...args){for(auto m:{args...})cout << m<< '\n';}

template<typename G, typename ...Args>
void funcB(G g,Args ...args ){
    funcC( g(args)...);
}

void funcA(){
    vector<int> v1,v2;
    funcB([]( auto v){
        if constexpr(is_scalar_v<decltype(v)>)
            return 100;
        else return 1;},v1,v2,3);
}

int main(){
 funcA();
}

実現したいこと

void funcAA(bool sw){
    vector<int> v1,v2;
    
   // function<int(  ？  )> f;
    if( sw )
        f= []( auto v){
            if constexpr(is_scalar_v<decltype(v)>)
                return 100;
            else return 1;};
    else
        f=[]( auto& v){return 1;};
    
    funcB(f,v1,v2,3);
}
int main(){
   funcAA(true);
}

補足情報（FW/ツールのバージョンなど）

clang
C++17

Comments

[yumetodo]

ちなみに一度変数fに入れないで直接それぞれでfuncB呼ぶのはなしですか？

[jbe00214]

funcAがそうやってるんですが，最後はそうするか，と思っています。コードが汚くなるので，方法はないかと....

[jbe00214]

あと，もう一つ，実際に現在書いているのは，funcAのような関数ではなく，コンストラクタなんです。ｆにしておかないと，入れにくいような。関数にする場合，ｆを渡す関数を２種類用意して呼び出し時に使い分けることになる。最後はこれを検討するかと思っています。

Answer 1

クラステンプレートstd::function<R(ArgTypes...)>はその宣言型が表現する通り「戻り値型Rと引数型リストArgTypes...」が固定されるため、質問中にあるような ジェネリックラムダ式 は格納できません。

また（ジェネリック／非ジェネリック問わず）ラムダ式毎に固有のクロージャ型をもつため、1つのラムダ式に処理を押し込んでしまった方が実装が簡素になると思います。

void funcAA(bool sw){
  vector<int> v1,v2;

  auto f = [sw](auto&& v){
    if( sw ) {
      if constexpr(is_scalar_v<decay_t<decltype(v)>>)
        return 100;
      else
        return 1;
    } else {
      return 2;
    }
  };
  funcB(f,v1,v2,3);
}

Comments

[jbe00214]

なるほど。スッキリしてイイ感じですね。やってみます。ありがとうございました。