代码:
元<类 M,类 N>构 H:公 M,公 N{空 f(){//也更容易扩展.如何继承呢?M::f();N::g();}};//M,N,都可搞成策略.元<类...>构 G{};元<整 I,类...T>构 空包{};元<整 M,整 N,类...A,类...B>构 G<空包<M,A...>,空包<N,B...>>:H<型名 取型<M,A...>::型,型名 取型<N,B...>::型>{};
使用:
空 主(){G<空包<0,B,C>,空包<1,D,E>>().f();}