C++构还可这样

元<类 T>概念 AA=要求(T&t){t.f();};
元<类 T>概念 BB=要求(T&t){t.g();};
//元<类 M,类 N>构 H{};
元<类...M>构 H:公 M...{
    元<类 M>空 b(){
        如 常式(AA<M>){M::f();}
        异 如 常式(BB<M>){M::g();}
        异 断定(0);
    }//不同处理M.
    空 f(){//非静态成员函数.
        (b<M>(),...);//N::g();
    }//调用f()?
};//要记得继承M与N.

空 主(){
    H<B,D,E,C>().f();
}