C++类模板,也可以有模板约束.

#include <常用>
构 E{
    空 啊(){
        打印("啊");
    }
};
元<类 T>概念 有啊=要求(T&t){t.啊();};

构 F{
    空 哈哈(){
        打印("啊");
    }
};

元<有啊 T>
构 B{
    空 哈哈(){
        T t;t.啊();
        打印("T");
    }
};


空 主(){
    B<E> b;b.哈哈();
    //B<F> c;c.哈哈();
}