Skip to main content
パック展開について追記
ソース リンク
yohjp
  • 1万
  • 2
  • 23
  • 94

また部分式(ARGS)は、パラメータパック展開の適用対象外となっていますです。(C++11 14.5.3 [temp.variadic]/paragraph 4参照)
(ちなみに、エラーメッセージ中の"expression contains unexpanded parameter packs 'Params' and 'params'"が、辛うじて上記の解釈を示唆しています。)

また部分式(ARGS)は、パラメータパック展開の適用対象外となっています。(C++11 14.5.3 [temp.variadic]/paragraph 4参照)
(ちなみに、エラーメッセージ中の"expression contains unexpanded parameter packs 'Params' and 'params'"が、辛うじて上記の解釈を示唆しています。)

また部分式(ARGS)は、パラメータパック展開の適用対象外です。(C++11 14.5.3 [temp.variadic]/paragraph 4参照)
(ちなみに、エラーメッセージ中の"expression contains unexpanded parameter packs 'Params' and 'params'"が、辛うじて上記の解釈を示唆しています。)

パック展開について追記
ソース リンク
yohjp
  • 1万
  • 2
  • 23
  • 94

また部分式(ARGS)は、パラメータパック展開の適用対象外となっています。(C++11 14.5.3 [temp.variadic]/paragraph 4参照)
(ちなみに、エラーメッセージ中の"expression contains unexpanded parameter packs 'Params' and 'params'"が、辛うじて上記の解釈を示唆しています。)

この解釈ではいずれも文法的に不正となるため、どのようなエラーメッセージを出力するかはC++コンパイラの実装次第です。一般論としては、誤ったコードからプログラマの意図を汲み取るのは非常に困難です。このため、プログラマから見たら意味不明なエラーメッセージに見えることは良くあります。

この解釈ではいずれも文法的に不正となるため、どのようなエラーメッセージを出力するかはC++コンパイラの実装次第です。一般論としては、誤ったコードからプログラマの意図を汲み取るのは非常に困難です。このため、プログラマから見たら意味不明なエラーメッセージに見えることは良くあります。

また部分式(ARGS)は、パラメータパック展開の適用対象外となっています。(C++11 14.5.3 [temp.variadic]/paragraph 4参照)
(ちなみに、エラーメッセージ中の"expression contains unexpanded parameter packs 'Params' and 'params'"が、辛うじて上記の解釈を示唆しています。)

この解釈ではいずれも文法的に不正となるため、どのようなエラーメッセージを出力するかはC++コンパイラの実装次第です。一般論としては、誤ったコードからプログラマの意図を汲み取るのは非常に困難です。このため、プログラマから見たら意味不明なエラーメッセージに見えることは良くあります。

ソース リンク
yohjp
  • 1万
  • 2
  • 23
  • 94

①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++コンパイラの実装次第です。一般論としては、誤ったコードからプログラマの意図を汲み取るのは非常に困難です。このため、プログラマから見たら意味不明なエラーメッセージに見えることは良くあります。