मैं टेम्पलेट क्लास को कुछ अंतर्निर्मित प्रकारों तक कैसे प्रतिबंधित करूं?

Question

इस मुद्दे पर कुछ बार चर्चा की गई है लेकिन मैंने पाया है कि सभी समाधान या तो काम नहीं किया है या बढ़ावा के स्थिर जोर पर आधारित थे। मेरी समस्या सरल है। मेरे पास एक कक्षा है, और मैं केवल वास्तविक प्रकार (डबल और फ्लोट) की अनुमति देना चाहता हूं। मैं एक संकलन-समय त्रुटि चाहता हूं यदि मैं कक्षा को फ्लोट या डबल के अलावा किसी अन्य प्रकार के साथ चालू करने का प्रयास करता हूं। मैं विजुअल सी ++ का उपयोग कर रहा हूं 11. यहां मैंने जो कोशिश की है:

template <typename RealType> 
class A 
{ 
    // Warning C4346 
    static_assert(std::is_same<RealType, double>::value || std::is_same<RealType, float>::value); 
} 


template <typename RealType> 
class A 
{ 
    // Error C2062: type 'unknown' unexpected 
    static_assert(decltype(RealType) == double || decltype(RealType) == float); 
} 

कोई विचार? अग्रिम में धन्यवाद!

Answer 1

एक समाधान मैंने देखा है std::enable_if एक प्रकार के उपनाम में उपयोग करना है। की तरह कुछ:

using value_type = typename std::enable_if< 
        std::is_same<float, RealType>::value || 
        std::is_same<double, RealType>::value, 
        RealType 
       >::type; 

value_type केवल मौजूद RealType बिल्कुल float या double है। अन्यथा, प्रकार अपरिभाषित है और संकलन विफल रहता है।

मैं प्रकार के साथ बहुत सख्त होने के बारे में चेतावनी दूंगा, हालांकि। टेम्पलेट्स उतने शक्तिशाली हैं जितना कि वे आंशिक रूप से हैं क्योंकि बतख टाइपिंग का मतलब है कि किसी भी प्रकार का उपयोग जिस तरीके से आप करना चाहते हैं, उसका उपयोग किया जाएगा। अस्वीकृत प्रकारों के लिए अस्वीकार करने वाले प्रकार आम तौर पर आपको ज्यादा लाभ नहीं पहुंचाते हैं, और चीजों को कम लचीला बना सकते हैं। उदाहरण के लिए, आप एक बड़े-दशमलव प्रकार की तरह अधिक सटीकता वाले प्रकार का उपयोग करने में सक्षम नहीं होंगे।

Answer 2

अपने पहले उदाहरण में, static_assert, एक दूसरा पैरामीटर जो एक स्ट्रिंग शाब्दिक होगा लेना चाहिए अन्यथा यह विफल समझा है (संपादित करें: छोड़ने दूसरा पैरामीटर के बाद से सी ++ 17 कानूनी है)। और यह दूसरा तर्क डिफ़ॉल्ट नहीं किया जा सकता है।

आपका दूसरे उदाहरण कई कारणों से गलत है:

• decltype, एक अभिव्यक्ति पर इस्तेमाल किया जा करने के लिए एक प्रकार पर नहीं है।
• आप == के साथ प्रकारों की तुलना नहीं कर सकते हैं, ऐसा करने का सही तरीका यह है कि आप std::is_same के साथ अपने पहले प्रयास में प्रयास करें।

तो, आप क्या हासिल करने की कोशिश कर रहे हैं करने के लिए सही तरीका है:

#include <type_traits> 

template <typename RealType> 
class A 
{ 
    static_assert(std::is_same<RealType, double>::value || std::is_same<RealType, float>::value, 
       "some meaningful error message"); 
}; 

इसके अलावा, मुझे यकीन है कि आप चल अंक मूल्यों के लिए अपने टेम्पलेट कसना करने की कोशिश कर रहे हैं। ऐसा करने के लिए है, तो आप विशेषता std::is_floating_point उपयोग कर सकते हैं:

#include <type_traits> 

template <typename RealType> 
class A 
{ 
    static_assert(std::is_floating_point<RealType>::value, 
       "class A can only be instantiated with floating point types"); 
}; 

और एक बोनस के रूप में, this online example ले।

Answer 3

इस तरह यह भी विभिन्न प्रकारों के लिए विशेषज्ञता की अनुमति देता है:

template<typename T, typename Enable = void> 
class A { 
/// Maybe no code here or static_assert(false, "nice message"); 
}; 

/// This specialization is only enabled for double or float. 
template<typename T> 
class A<T, typename enable_if<is_same<T, double>::value || is_same<T, float>::value>::type> { 

};