constexpr関数の中に書けてコンパイル時にエラーを出す assert があればいいのに、無いね。