Условные определения типов

Question

Я уверен, что у boost есть некоторые функции для этого, но я недостаточно хорошо знаю соответствующие библиотеки. У меня есть шаблонный класс, который довольно простой, за исключением одного поворота, где мне нужно определить условный тип. Вот код psuedo для того, что я хочу

struct PlaceHolder {};
    template <typename T>
class C{
    typedef (T == PlaceHolder ? void : T) usefulType;
};

Как мне написать условный тип?

Answer 1

Также с новым стандартом:

typedef typename std::conditional<std::is_same<T, PlaceHolder>::value, void, T>::type usefulType

Answer 2

Я думаю, что вы придерживаетесь этого принципа:

template< class T >
struct DefineMyTpe
{
  typedef T usefulType;
};

template<>
struct DefineMyType< PlaceHolder >
{
  typedef void usefulType;
};

template< class T > 
class C
{
  typedef typename DefineMyType< T >::usefulType usefulType;
};

Answer 3

template < typename T >
struct my_mfun : boost::mpl::if_
<
  boost::is_same<T,PlaceHolder>
, void
, T
> {};

template < typename T >
struct C { typedef typename my_mfun<T>::type usefulType; };