C++新的启动,不必用特化

元<元<类,类>类 G,整 I,类...A,类...B,整...J>
空 启动(空包<A...>,空包<B...>,序列<J...>,整 j){
   (((J==j)&&(G<几型(I,A),几型(J,B)>(),0)),...);
}//I与J个数不一样.
//这里不必用`选择<G<...>>`特化等.直接这样了.
元<元<类,类>类 G,类...A,类...B,整...I>
空 启动(空包<A...>&a,空包<B...>&b,序列<I...>,整 i,整 j){
    (((I==i)&&(启动<G,I>(a,b,转序<B...>(),j),0)),...);
}//一次展开,不行
元<整 M,整 N>空 断双间(整 i,整 j){
    断定(在之间(i,0,M-1)&&在之间(j,0,N-1));
}//断定,ij在MN区间内.
元<元<类,类>类 J,类...A,类...B>
空 启动(空包<A...>&a,空包<B...>&b,整 i,整 j){
    静 常 整 M=型长...(A),N=型长...(B);
    断双间<M,N>(i,j);
    启动<J>(a,b,转序<M>(),i,j);
}

与,前面的启动区别在于一个是G<A,B...>与启动<G,I>的区别.搞了半天,就这点区别.