constexprが入れば、その最適化を静的に保証できるので楽しみ