元<类 M,类 N>构 H:公 M,公 N{ 空 f(){//也更容易扩展.如何继承呢? M::f();N::g(); } }; 元<类...>构 G{}; 元<类...>构 U{}; 元<元<类,类>类 G,整 M,整 N,类...A,类...B> 构 U<G<一包<M,A...>,一包<N,B...>>>:G<几型(M,A),几型(N,B)>{}; 空 主(){ U<H<一包<0,B,C>,一包<1,D,E>>>().f(); }