これもできた。 #define STATIC_ASSERT(expr) static_assert(expr, #expr) int main() { constexpr int ar[] = {1, 2, 3}; STATIC_ASSERT(ar[0] == 1); STATIC_ASSERT(ar[1] == 2); STATIC_ASSERT(ar[2] == 3); } std::arrayはconstexpr対応してないのでまだ…