Определения условного типа

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 < 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; }; 

Answer 3

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

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; 
};