C++のstatic_assert

static_assertは、プログラマーがプログラムのコンパイル後に出力をあまり混乱させることなく画面にエラーを出力するのに役立つ関数です。

以前のC++11とC++14では、static_assertの機能が異なっていたため、static_assertを定義するときに独自のメッセージを作成する必要がありました。ただし、C ++ 17では、メッセージを渡さずにstatic_assertを呼び出すことができます。

BOOST_STATIC_ASSERTなどの他のassertライブラリ関数とも互換性があります。

構文

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

__beginと__endのタイプは異なります。比較演算子のみが必要です。この変更は、既存のforループには影響しませんが、ライブラリにより多くのオプションを提供します。たとえば、この小さな変更により、範囲TS（およびC ++ 20の範囲）が範囲ベースのforループで機能できるようになります。

C++11の範囲ベースのfor ループ-

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()