有std::is_base_of现代STL.它允许我们确定第二个参数是从第一个参数派生还是它们是相同的类,或者确定它们之间是否存在这样的关系.
是否有可能确定一个类是否来自某个具体的模板类,而不区分其专业化所涉及的具体实际参数？
说,我们有;
template< typename ...types >
struct B {};
和
template< typename ...types >
struct D : B< types... > {};
是否可以定义类型特征:
template< typename T > is_derived_from_B;
这样的派生自std::true_type何时T的任何特化D和派生自std::false_typeif T不是从任何专业化派生而来的B？