①operator()の整数定数テンプレートの明示の際のシンタックスエラー
C++の言語仕様通りです。<
がテンプレート引数リストの開始記号として解釈されるのは、その前にあるobj
がテンプレート名(template-id)またはoperator()
(operator-function-id)のときだけです。(厳密にはC++11 14.2 [temp.names]/paragraph 3を参照)
obj<1>()
は上記ケースに該当しないため、ここは「より小さい(less than)比較演算子」として解釈されます。
②整数定数テンプレートメンバ関数において, 可変長引数テンプレートが正常に扱えない
メンバテンプレート関数名f
の前に、限定子としてのtemplate
キーワード、いわゆるtemplate
限定子を付与すると解決します。(C++11 14.2 [temp.names]/paragraph 4参照)
template <class S, typename ...Params>
void f(S&& s, Params&&... params)
{
s.template f<10>(std::forward<Params>(params)...);
s.template f<10>(std::forward<Params...>(params...));
s.template f<10>(params...);
}
(本題からは外れますが、2番目std::forward<Params...>(params...)
は2個以上の実引数を与えたとき、std::forward<A1, A2>(a1, a2)
のように展開されてしまい実用性がありません。)
1 本来なら構文的に合っているunpack演算子が無効, または全然関係のないところでexpected')'
2 意味のわからないnon-static function callエラー
3 全然関係のないところで expected')'
いずれのエラーメッセージも、トークン<
が「less than比較演算子」として解釈された結果だと考えられます。s.f<10>(ARGS);
は ( (s.f < 10) > ( ARGS ) ) ;
という構文に解釈されています。つまり、メンバs.f
と値10
を比較<
し、その結果と(ARGS)
評価結果を比較>
し、最終結果は捨てるという式文です。
この解釈ではいずれも文法的に不正となるため、どのようなエラーメッセージを出力するかはC++コンパイラの実装次第です。一般論としては、誤ったコードからプログラマの意図を汲み取るのは非常に困難です。このため、プログラマから見たら意味不明なエラーメッセージに見えることは良くあります。