c++17でパラメータパックを前に置けないか

Question

前提・実現したいこと

任意個のvectorの後にfunctionが渡されるような関数を作りたいです

例えば下の関数は、パラメータパックが前にあるためエラーが出てしまいます

template<class... T, class A, class B, class C> 
void ng(vector<T>... v, function<A(B, C)>) {
    //処理
}

しかし、Tの要素数は一意に定まりますし
上手い方法を使えば実現できないのかと思い質問しました

Answer 1

パラメータパック利用した仮引数の前置は、全く実現不可能というわけではありません。微塵もおすすめできませんが...
https://wandbox.org/permlink/UweH87MmF1VfB7vJ

// テンプレートパラメータ(...T)は末尾に移動
template<class A, class B, class C, class... T> 
void ng(std::vector<T>..., std::function<A(B, C)>) { /*...*/ }

int main()
{
  std::vector<float> v0;
  std::vector<int>   v1;
  std::vector<char>  v2;
  std::function<float(int, char)> f;

  // 全てのテンプレートパラメータを確定させる
  auto& ng2 = ng<float, int, char, float, int, char>;

  ng2(v0, v1, v2, f);  // OK!
}

Comments

[yohhoy]

P.S. 何が言いたいかというと、あきらめたほうが宜しいかと思います。

[baito]

やっぱり無理ですよね…回答ありがとうございます

Answer 2

この例だとTをtupleで囲ってやると関数テンプレートに限り可能みたいです。
おっしゃる通り一意になるようにすれば可能みたいですね。
参考：https://qiita.com/_EnumHack/items/677363eec054d70b298d

任意個のvector

"複数要素を持ったvector"と読み間違いをしていました…すみません。

Comments

[yohhoy]

Tをtupleで囲ってやる → vector<T>をtupleで囲う と読み替えれば大丈夫です(・ω・)b
https://wandbox.org/permlink/iMH0MB3ozvcmG9Ol

[退会済みユーザー]

気持ちが助かりました…
tupleを持ったvectorのことを言ってると勘違いして、swallowテクニックを使えば上手くできないかなあ、と格闘していました…
ありがとうございます。

[baito]

なるほど、tupleでまとめるのもいいですね
回答ありがとうございます