是否可以从以基类为参数的实例中派生所有以派生类为参数的模板实例？
在代码中：
class Base{};
class Derived1 : Base{};
class Derived2 : Base{};
template<typename T>
class Templ /*: Templ<Base> if T derives from Base*/
{};
如何做到这一点？
【问题讨论】：
标签： c++ templates inheritance c++11
为Templ<Base> 进行特化，然后使用 SFINAE 和 std::is_base_of 从 Templ<Base> 派生一个单独的特化。
template<typename T, typename V = void>
class Templ
{};
template<>
class Templ<Base>
{};
template<bool B, typename R = void>
using enable_if_t = typename std::enable_if<B, R>::type;
template<typename T>
class Templ<T, enable_if_t<std::is_base_of<Base, T>::value>>
: public Templ<Base>
{};
【讨论】：
Templ<T, enable_if_t<bla>>。因此，如果enable_if 没有成员 typedef type，则替换失败并且模板不是专用的。但如果enable_if 确实有type，则替换成功，因此模板是专用的并派生自Templ<Base>，对吗？
Base enable_if_t<std::is_base_of<Base, T>::value && !std::is_same<Base, T>::value>，则无需专门化 Templ<Base>。
这取决于你到底想做什么。如果您希望这仅适用于某些特定的已知基类，则可以轻松完成，例如就像 0x499602D2 的回答一样。
但是，我解释您的问题的方式是，您希望有一个模板，该模板源自其参数基类的实例化，无论是哪种情况。这在标准 c++ 中是不可能的（目前），因为没有办法查询特定类型派生自哪个类，只有当它派生自特定类时。有关这方面的更多信息（以及未来可能的解决方案，请查看this question。
【讨论】：