"if (condition) typedef" करने के लिए कोई तरीका है ... "

Question

मैं typedef निष्पादित करना चाहता हूं, अगर केवल एक संकलन-समय की स्थिति पूरी हो जाती है। यदि स्थिति पूरी नहीं हुई है, तो typedef बिल्कुल नहीं किया जाएगा।

क्या यह सी ++ 11 में संभव है?

उदाहरण:

class A { 
    std::conditional_typedef<true,int,myType1>; // Performs "typedef int myType1". 
    std::conditional_typedef<false,int,myType2>; // Does nothing at all. 
}; 

मैं इस काल्पनिक std::conditional_typedef रहा हूँ।

Answer 1

एक और तरीका है std करने के लिए एक आधार वर्ग

// foo is a light struct (only a typedef or not at all) that can be 
// developed in two versions 

template <bool> 
struct foo; 

template <> 
struct foo<true> 
{ typedef int myType1; }; // or using myType1 = int; 

template <> 
struct foo<false> 
{ }; 

template <bool B> 
struct bar : public foo<B> // B can be a type_traits value derived 
          // from template arguments for bar 
{ 
    // potential complex struct or class, developed only one time 
}; 


int main() 
{ 
    bar<true>::myType1 mt1 { 1 }; 
    // bar<false>::myType1 mt2 { 1 }; error: ‘myType1’ is not a member of ‘bar<false>’ 
} 

Answer 2

दुर्भाग्यवश वांछित वाक्यविन्यास संभव नहीं हो सकता क्योंकि टेम्पलेट तत्कालता को पारित किए गए नाम पहले से ही परिभाषित किए जाने चाहिए। आपके मामले में myType1 और myType2 संकलक बिंदु दृश्य से कुछ भी नाम नहीं देंगे। लेकिन यदि आप वाक्य रचना आप उल्लेख किया है पर जोर नहीं कर रहे हैं आप के रूप में निम्नानुसार std::enable_if उपयोग करने के लिए कोशिश कर सकते:

#include <type_traits> 

struct A { 
    struct myType1: std::enable_if<true, int> { }; //std::conditional_typedef<true,int,myType1>; // Performs "typedef int myType1". 
    struct myType2: std::enable_if<false, int> { }; //std::conditional_typedef<false,int,myType2>; // Does nothing at all. 

}; 

int main() { 
    A::myType1::type i; 
    //A::myType2::type i2; // causes error: no type named 'type' in 'A::myType2' 
    (void)i; 
} 

[live demo]

---

संपादित करें:

फिर भी एक और तरीका है कि मेरे दिमाग में आया (डिफ़ॉल्ट टेम्पलेट पैरामीटर के साथ उपयोग करने का उपयोग):

#include <type_traits> 

struct A { 
    template <class T = int> 
    using myType1 = typename std::enable_if<true, T>::type; 
    template <class T = int> 
    using myType2 = typename std::enable_if<false, T>::type; 
}; 

int main() { 
    A::myType1<> i; 
    //A::myType2<> j; 
    (void)i; 
} 

[live demo]

Answer 3

इसी प्रकार की विशेषज्ञता से गुजर जा सकती है :: enable_if, आप अपने वर्ग हो सकता था अगर आप चाहते हैं कि आपके typedef करता है एक टेम्पलेट से उतरना अपने नामों का उपयोग करने के लिए और ए :: mytype1 :: प्रकार नहीं करना है। नकारात्मकता यह है कि यदि आप इसे बहुत करना चाहते हैं तो आपको कई structs से उतरना होगा।

namespace impl { 
    template<bool, typename> struct A; 
    template<typename T> struct A<true, T>{ typedef T mytype1; }; 
    template<typename T> struct A<false, T> {}; 
} 

struct A : public impl::A<condition, int> { 
    //If condition is met, then ::mytype1 will be defined as a typedef int 
}; 

int main() { 
    A::mytype1 i; //Will fail if condition wasn't met 
}