;}-或个别zh-hans:对象; zh-hant:物件;。在一般意义上，C++ 缺乏对泛型的类型参数进行直接约束的手段，但可利用 SFINAE（模板代换失败非错误，指在模板实例化过程中的错误仅意味此次代换失败，并不一定产生编译错误）规则及C++11的 static_assert 等实现相似功能。class B{};class D: public B{};template<typename T>void SFINAE(const std::enable_if_t<std::is_b