सी++ में static_assert

static_assert एक ऐसा फ़ंक्शन है जो प्रोग्राम को आउटपुट के साथ बहुत अधिक गड़बड़ किए बिना प्रोग्राम को संकलित करने के बाद स्क्रीन में त्रुटि को प्रिंट करने के लिए उपयोगी है।

पहले C++11 और C++14 में, static_assert की अलग-अलग कार्यक्षमता थी, जिसका अर्थ है कि हमें static_assert को परिभाषित करते हुए अपना संदेश लिखना होगा। हालाँकि, C++ 17 में static_assert को बिना मैसेज पास किए ही इनवाइट किया जा सकता है।

यह BOOST_STATIC_ASSERT जैसे अन्य मुखर पुस्तकालयों के कार्यों के साथ भी संगत है।

सिंटैक्स

{
   auto __range= For-range-Intializer;
   auto __begin= begin-expression;
   auto __end= end-expression;
   for(; __begin!= __end; ++__begin){
      range-declaration= *__begin;
      statement
   }
}

__begin और __end के प्रकार भिन्न होंगे; केवल तुलना ऑपरेटर की आवश्यकता है। उस परिवर्तन का लूप के लिए मौजूदा पर कोई प्रभाव नहीं पड़ता है लेकिन यह पुस्तकालयों के लिए अधिक विकल्प प्रदान करता है। उदाहरण के लिए, यह छोटा सा बदलाव रेंज TS (और C++20 में रेंज) को लूप के लिए रेंज-आधारित के साथ काम करने की अनुमति देता है।

C++11 श्रेणी-आधारित के लिए . में लूप्स -

for (for-range-declaration : for-range-initializer){
   statement;
}

C++14 मानक में, ऐसे लूप एक्सप्रेशन निम्न कोड के बराबर थे -

{
   auto __range = for-initializer;
   for ( auto __begin= begin-expresson, __end = end-expression; __begin != __end; ++__begin ){
      for-range-declaration = *__begin;
         statement
   }
}

उदाहरण

#include <bits/stdc++.h>
using namespace std;
template <typename T, size_t n, typename F> //Template Declaration
void fillarray (array<T, N> & a, F && f) //Function to store the values{
   static_assert(is_convertible<typename result_of<F()>::type, T>::value,"Incompatible type returned by fun()"); //static_assert signature to ommit the errors.
   for (auto x : a)
      x = f();
}
int main (){
   array<vector<string>, 20> a;
   fillarray(a, []() { return vector<string>{"TutorialsPoint"}; });
   return 0;
}

आउटपुट

…
…
…
prog.cpp:20:61: required from here
prog.cpp:10:5: error: static assertion failed:
Incompatible type returned by fun()