static_assertは宣言にも書けた
c++ template <class T, std::size_t N> struct X { static_assert(N > 0, "number of array elements must greater than 0"); T array[N]; }; けど関数とペアにする場合たしかに本文か？