>>920
推論されないのはそういうルールだからじゃないか。variadicになっても同じことだろう

14.8.2 Template argument deduction
...
13 A template type argument cannot be deduced from the type of a non-type template-argument.
14 [ Example:
 template<class T, T i> void f(double a[10][i]);
 int v[10][20];
 f(v); // error: argument for template-parameter T cannot be deduced
? end example ]