c++非常奇怪的解包

元<整 E,元<类...>类 C,类...I,类...J>
常式 动 去头项(C<I...>a,C<J...>b){
    如 常式(E==0)中 双{a,b};
    异{
        常式 动 t=取头<C,I...>();
        中 去头项<E-1>(去头<C,I...>(),加尾(b,t));
    }//这样是可以实现的,
}

但是,这样,就不行:

元<整 E,元<类...>类 C,类 F,类...I,类...J>
常式 动 去头项(C<F,I...>a,C<J...>b){
    如 常式(E==0)中 双{a,b};
    异{
        中 去头项<E-1>(C<I...>(),加尾<F>(b));
    }
}

估计,是<F,I...>时,最少有1个,而I...最少为0个的原因.因而编译不过!