Định nghĩa kiểu có điều kiện

Question

Tôi chắc chắn rằng tăng cường có một số chức năng để thực hiện việc này, nhưng tôi không biết các thư viện có liên quan cũng đủ. Tôi có một lớp mẫu, đó là khá cơ bản, ngoại trừ một twist, nơi tôi cần phải xác định một loại có điều kiện. Đây là mã psuedo cho những gì tôi muốn

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

Làm cách nào để viết loại đó có điều kiện?

Answer 1

Ngoài ra với những tiêu chuẩn mới:

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

Tôi nghĩ rằng đây là nguyên tắc bạn đang sau:

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