क्या यह निर्धारित करना संभव है कि कोई प्रकार एक स्कॉम्ड गणना प्रकार है या नहीं?

Question

वहाँ एक प्रकार विशेषता है, या यह एक प्रकार विशेषता is_scoped_enum<T> ऐसी है कि लिखने के लिए संभव है: true

• अगर T एक दायरे वाले गणन है, is_scoped_enum<T>::value है और
• अगर T किसी भी अन्य प्रकार है, is_scoped_enum<T>::value है झूठी

Answer 1

अगर यह एक enum और परोक्ष अंतर्निहित प्रकार चाल करना चाहिए के लिए परिवर्तनीय नहीं है मैं परीक्षण लगता है।

template <typename T, bool B = std::is_enum<T>::value> 
struct is_scoped_enum : std::false_type {}; 

template <typename T> 
struct is_scoped_enum<T, true> 
: std::integral_constant<bool, 
    !std::is_convertible<T, typename std::underlying_type<T>::type>::value> {};