jika constexpr - mengapa pernyataan dibuang sepenuhnya diperiksa?

Saya bermain-main dengan c ++ 20 consteval di GCC 10 dan menulis kode ini #include <optional> #include <tuple> #include <iostream> template <std::size_t N, typename Predicate, typename Tuple> consteval std::optional<std::size_t> find_if_impl(Predicate&&...