क्या टेम्पलेट तर्क की स्थिरता के आधार पर टेम्पलेट वर्ग के गैर-कॉन्स्ट/कॉन्स्ट डेटा सदस्य को सशर्त रूप से सक्षम करना संभव है?

Question

क्या टेम्पलेट तर्क की स्थिरता के आधार पर टेम्पलेट वर्ग के गैर-कॉन्स्ट/कॉन्स्ट डेटा सदस्य को सशर्त रूप से सक्षम करना संभव है? या शायद कुछ सशर्त typedef है? मैंने std :: is_const के साथ std :: enable_if का उपयोग करने के बारे में सोचा, लेकिन कोई std :: is_not_const नहीं है जिसे मैं उपयोग कर सकता हूं।

class A; 

template <typename T> 
class Test 
{ 
    A& m_a; // If T != const. 
    const A& m_a; // If T == const. 
}; 

ध्यान दें कि हमेशा टी = ए

Answer 1

हाँ, आप std::conditional उपयोग कर सकते हैं:

template <typename T> 
class Test 
{ 
    typename 
    std::conditional<std::is_const<T>::value, const A&, A&>::type 
    m_a; 
}; 

Answer 2

हाँ, आप ऐसा कर सकते हैं। <type_traits> हेडर के पास इस उद्देश्य के लिए टूल हैं।

template <typename T> 
class Test 
{ 
    typename std::conditional< 
     std::is_const<T>::value, 
     typename std::add_const<A>::type, 
     typename std::remove_const<A>::type 
    >::type m_a; 
}; 

• std::is_const
• std::add_const/std::remove_const
• std::conditional

तुम भी इस उद्देश्य के लिए एक सहायक बना सकता है:

//T is type to modify 
//S is source type to mimic 
struct mimic_const<T, S> 
{ 
public: 
    typedef typename std::conditional< 
     std::is_const<S>::value, 
     typename std::add_const<T>::type, 
     typename std::remove_const<T>::type 
    >::type type; 
}; 

फिर इसका उपयोग इस प्रकार करें:

template <typename T> 
class Test 
{ 
    typename mimic_const<A, T>::type m_a; 
};