- C++相談室 part117 [転載禁止]©2ch.net
907 ：デフォルトの名無しさん[sage]：2015/06/29(月) 18:27:24.21 ID:XqthOP/Z - 流れに便乗して質問なのですが，
https://ideone.com/v36RkH
template<class, class...> _Type
とは，_Typeの型仮引数は第二引数，第三引数で補うから，
型仮引数の情報はいらない（形式のみ必要）ので省略している，
_Get_first_parameter<_Type<_First, _Rest...> >
は，部分特殊化を表し，_Typeの型は，_Type<F, R...>ではなく
テンプレ実引数としてあたえられた_Typeとなる．
そしてこの定義は，<_Type<_First, _Rest...> >という形式をとるすべての
_Get_first_paremeterに共有される．
という解釈であってますか？
| - C++相談室 part117 [転載禁止]©2ch.net
908 ：デフォルトの名無しさん[sage]：2015/06/29(月) 18:35:58.93 ID:XqthOP/Z - いや，補うというよりこうじゃないと，
部分特殊化の部分がおかしくなるから，
必要なテンプレ引数情報が引数三つ〜というより，_Type<F, R...>になるから，
といった感じなんですかね．
|
|