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

这样也可以:

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

继续修改:

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

然后就可以:

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