if constexpr - warum wird die verworfene Anweisung vollständig überprüft?

Ich habe mit C ++ 20 Consteval in GCC 10 herumgespielt und diesen Code geschrieben #include <optional> #include <tuple> #include <iostream> template <std::size_t N, typename Predicate, typename Tuple> consteval std::optional<std::size_t>