元<类 B,型名=允许如型<...<B>::值>>
类 A{
};
元<类 B,类=允许如型<...<B>::值>>
元<类 T>
概念 虚析构=有虚析构<T>::值;
元<虚析构 B>
类 A{//B为满足虚析构的基类.
元<类 B,型名=允许如型<...<B>::值>>
类 A{
};
元<类 B,类=允许如型<...<B>::值>>
元<类 T>
概念 虚析构=有虚析构<T>::值;
元<虚析构 B>
类 A{//B为满足虚析构的基类.