C++ boost enable_if问题

我有什么办法可以简化以下陈述吗？（可能，使用boost::enable_if).

我有一个简单的类结构 -Base基类，Derived1, Derived2继承自Base.

我有以下代码：

template <typename Y> struct translator_between<Base, Y> {
   typedef some_translator<Base, Y> type;
};

template <typename Y> struct translator_between<Derived1, Y> {
   typedef some_translator<Derived1, Y> type;
};

template <typename Y> struct translator_between<Derived2, Y> {
   typedef some_translator<Derived2, Y> type;
};

我想使用一个模板专业化来编写相同的语句translator_between.

我希望能够编写的示例（伪代码）：

template <typename Class, typename Y>

ONLY_INSTANTIATE_THIS_TEMPLATE_IF (Class is 'Base' or any derived from 'Base')

struct translator_between<Class, Y> {
   typedef some_translator<Class, Y> type;
};

任何方法来实现这一点使用boost::enable_if and boost::is_base_of?

首先，您必须在以下选项中做出选择：

• is_base_of
• is_convertible

两者都可以在中找到<boost/type_traits.hpp>，后者更加宽容。

如果您只是想阻止某种组合的此类实例化，请使用静态断言：

// C++03
#include <boost/mpl/assert.hpp>

template <typename From, typename To>
struct translator_between
{
  BOOST_MPL_ASSERT((boost::is_base_of<To,From>));
  typedef translator_selector<From,To> type;
};

// C++0x
template <typename From, typename To>
struct translator_between
{
  static_assert(boost::is_base_of<To,From>::value,
                "From does not derive from To");
  typedef translator_selector<From,To> type;
};

由于此处没有发生重载决策，因此您不需要enable_if.