किसी फ़ंक्शन पर पास होने पर सरणी के आकार को प्रतिबंधित करना

Question

क्या किसी फ़ंक्शन के तर्क के रूप में पारित होने पर सरणी के आकार को प्रतिबंधित करने के लिए वैसे भी है?

मेरा मतलब है इस की तरह कुछ है?

/*following will lead to compile time error */ 

template<typename T, size_t n>=20> // or template<typename T,size_t n<=20> 
void func(T (&a)[n]) 
{ 
    // do something with a 

} 

मैं अपने सरणी के आकार में कम से कम (या अधिक से अधिक) n होना चाहते हैं (एन किसी भी मूल्य हो सकता है)।

उदाहरण के लिए:

जब n=20 मैं कम से कम (या अधिक से अधिक) 20 तत्वों के साथ एक सरणी से गुजरना होगा। क्या इसके लिए सी ++ में कोई रास्ता है?

Answer 1

आप बस आवश्यकता को एक स्थिर दावा कर सकते हैं - उदा। बढ़ा देता है स्थिर ज़ोर साथ:

template<typename T, size_t n> 
void func(T (&a)[n]) { 
    BOOST_STATIC_ASSERT(n >= 20); 
    // ... 
} 

एक बुनियादी कस्टम कार्यान्वयन (अधिक तो इसे प्रयोग की समस्या को हल नहीं एक बार गुंजाइश प्रति) ऐसा दिखाई दे सकता:

template<bool b> struct StaticAssert; 
template<> struct StaticAssert<true> {}; 
#define STATIC_ASSERT(x) StaticAssert<(x)> static_asserter 

यदि आप चाहते हैं अलग व्यवहार यदि आवश्यकता पूरी हो जाती है, तो enable_if या टैग-आधारित विशेषज्ञता जैसे कुछ का उपयोग करें। enable_if का उपयोग कर उदाहरण:

template<class T, size_t n> 
typename boost::enable_if<(n >= 20), void>::type 
func(T (&a)[n]) { /* ... */ } 

template<class T, size_t n> 
typename boost::disable_if<(n >= 20), void>::type 
func(T (&a)[n]) { /* ... */ } 

Answer 2

आप जानना चाहते हैं कि कितने आइटम रनटाइम पर अपने सरणी में होगा टेम्पलेट का उपयोग करने के लिए (समय संकलन) कोशिश कर रहे हैं। ऐसा करना संभव नहीं है जैसे आप इसे करने का प्रयास करें।

आप अपने समारोह के बाहर या समारोह

Answer 3

वहाँ सी ++ में इस तरह के एक निर्माण नहीं है, कि तुम एक संकलन समय त्रुटि प्राप्त करने की अनुमति देता के अंदर कोड पर भरोसा करना होगा। लेकिन मुझे लगता है कि टेम्पलेट्स का उपयोग करके आप एक फ्रेमवर्क को कार्यान्वित कर सकते हैं जिसमें एक सीमित सरणी प्रकार के बजाय सीमित एरेरे वर्ग का उपयोग किया जा सकता है।

Answer 4

जीएफ का जवाब सही है, यदि आप संकलन समय पर अधिक सुविधाएं या निर्णय बिंदु चाहते हैं, तो आप boost::mpl पर देखना चाहेंगे। C++ Template Metaprogramming बूस्ट :: एमपीएल और यह कैसे डिज़ाइन किया गया था के साथ क्या संभव है की रूपरेखा बताती है। Modern C++ design, जो एमपीएल से संबंधित नहीं है, डिजाइन तकनीकों में जाता है जो संकलन समय polymorphism

Answer 5

जीएफ का जवाब बहुत अच्छा है, लेकिन Boost.Array बिना किसी उल्लेख के जा सकते हैं।

template< typename T > 
void func(boost::array< T, 20 > &a) { 

अपने प्रश्न और GF के जवाब को देखते हुए यह T(&)[20]some_array_template<T,20> करने से एक computationally, नि: शुल्क type- और सीमा-सुरक्षित अंतर्निहित रूपांतरण की तरह दिखता है शब्दार्थ संभव होगा, लेकिन boost::array कि अनुमति नहीं है। फिर भी, यदि आपके पास बहुत सारे तर्क हैं तो आप पूरी तरह से boost::array पर जाने पर विचार कर सकते हैं। और यदि आप निहित रूपांतरण चाहते हैं, तो खुद को रोल करने के आधार के रूप में उपयोग करना काफी आसान है।