सक्षम_if

Question

का उपयोग करके हस्ताक्षरित और हस्ताक्षरित चर के लिए एक वैरिएडिक कन्स्ट्रक्टर बनाएं, मैं किसी भी अभिन्न प्रकार का उपयोग करके कक्षा के लिए एक कन्स्ट्रक्टर बनाना चाहता हूं, लेकिन हस्ताक्षरित और हस्ताक्षरित के बीच अंतर करता हूं। मैं नहीं चाहता कि यह वर्ग पर ही एक टेम्पलेट हो। निम्नलिखित काम नहीं कर रहा है। विजुअल स्टूडियो सिर्फ यह कह रहा है कि कोई तर्क मेल नहीं खाएगा।

class Thing{ 
public: 
    template<typename Integral> 
    Thing(
     typename std::enable_if< 
      std::is_integral<Integral>::value && 
      !std::is_same<Integral,bool>::value && 
      std::is_signed<Integral>::value 
      ,Integral 
     >::type num 
    ){ 
     //constructor using signed variable as input 
    } 
    template<typename Integral> 
    Thing(
     typename std::enable_if< 
      std::is_integral<Integral>::value && 
      !std::is_same<Integral,bool>::value && 
      !std::is_signed<Integral>::value//notice this is different 
      ,Integral 
     >::type num 
    ){ 
     //constructor using unsigned variable as input 
    } 
}; 

Answer 1

हमें SFINAE को टेम्पलेट में स्थानांतरित करने की आवश्यकता है। अगर हम

class Thing{ 
public: 
    template<typename Integral, typename std::enable_if< 
      std::is_integral<Integral>::value && 
      !std::is_same<Integral,bool>::value && 
      std::is_signed<Integral>::value 
      ,Integral>::type* = nullptr> // will fail if type does not exist 
    Thing(Integral i) 
//  ^use Integral type here 
    { 
     std::cout << "signed\n"; 
    } 
    template<typename Integral, typename std::enable_if< 
      std::is_integral<Integral>::value && 
      !std::is_same<Integral,bool>::value && 
      !std::is_signed<Integral>::value//notice this is different 
      ,Integral>::type* = nullptr> 
    Thing(Integral i) 
    { 
     std::cout << "unsigned\n"; 
    } 
}; 

int main() 
{ 
    int a = 10; 
    Thing b(a); 
    unsigned int c = 10; 
    Thing d(c); 
} 

का उपयोग हम

signed 
unsigned 

Live Example

मिल रहा निर्माणकर्ता public बनाने के लिए के रूप में वे private डिफ़ॉल्ट रूप से थे।

Answer 2

समस्या यह है कि प्रकार एक non-deduced context दिखाए जाते हैं इसलिए संकलक std::is_integral<Integral>::value की तरह कुछ से यह अनुमान नहीं कर सकता है। ऐसा करें:

#include <iostream> 
#include <type_traits> 

class Thing{ 
public: 
    template<typename Integral> 
    Thing(Integral num, 
     typename std::enable_if< 
      std::is_integral<Integral>::value && 
      !std::is_same<Integral,bool>::value && 
      std::is_signed<Integral>::value 
      ,Integral 
     >::type* = nullptr 
    ){ 
     std::cout << "signed\n"; 
     //constructor using signed variable as input 
    } 

    template<typename Integral> 
    Thing(Integral num, 
     typename std::enable_if< 
      std::is_integral<Integral>::value && 
      !std::is_same<Integral,bool>::value && 
      !std::is_signed<Integral>::value//notice this is different 
      ,Integral 
     >::type* = nullptr 
    ){ 
     std::cout << "unsigned\n"; 
     //constructor using unsigned variable as input 
    } 
}; 

int main() 
{ 
    int x{}; 
    unsigned int y{}; 
    Thing thing1(x); 
    Thing thing2(y); 
} 

Live on Coliru

साइड नोट: अपने कंस्ट्रक्टर्स public के रूप में अन्यथा आप अपने वस्तुओं का दृष्टांत नहीं कर सकते हैं।