C ++ boost enable_if вопрос - PullRequest
Новая
       30

C ++ boost enable_if вопрос

3 голосов
/ 26 сентября 2010

Есть ли способ упростить следующие утверждения? (возможно, с использованием 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 и boost::is_base_of?

Ответы [ 3 ]

4 голосов
/ 27 сентября 2010

Сначала вам нужно будет выбрать один из следующих вариантов:

  • 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.

4 голосов
/ 26 сентября 2010

Я не думаю, что boost::enable_if помогает, потому что SFINAE, похоже, скорее выбирает между перегрузками функций.

Конечно, вы можете использовать шаблоны с bool параметрами для уточнения выбора: 

#include <boost/type_traits.hpp>
class Base {};

class Derived : public Base {};

template <class A, class B>
struct some_translator {};

template <typename A, typename B, bool value>
struct translator_selector;  //perhaps define type as needed

template <typename A, typename B>
struct translator_selector<A, B, true>
{
    typedef some_translator<A, B> type;
};

template <typename A, typename B>
struct translator_between
{
    typedef typename translator_selector<A, B, boost::is_base_of<Base, A>::value>::type type;
};

int main()
{
    translator_between<Base, int>::type a;
    translator_between<Derived, int>::type b;
    translator_between<float, int>::type c;  //fails
}
0 голосов
/ 10 февраля 2012

Вы можете использовать anable_if и этот макрос здесь, чтобы сделать его более читабельным: 

#define CLASS_REQUIRES(...) typename boost::enable_if<boost::mpl::and_<__VA_ARGS__, boost::mpl::bool_<true> > >::type

Тогда вы можете определить свой класс следующим образом: 

template <typename Class, typename Y, class Enable = 
CLASS_REQUIRES(boost::is_base_of<Class, Y>)> 
struct translator_between {
    typedef some_translator<Class, Y> type;
};
...