c++,限制类模板

元<类 B,型名=允许如型<...<B>::值>>
类 A{
};

这样也可以:

元<类 B,类=允许如型<...<B>::值>>

继续修改:

元<类 T>
概念 虚析构=有虚析构<T>::值;

然后就可以:

元<虚析构 B>
类 A{//B为满足虚析构的基类.