1
if constexpr-破棄されたステートメントが完全にチェックされるのはなぜですか？
私はGCC 10でc ++ 20 constevalをいじくり回して、このコードを書きました #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&& pred, Tuple&& t) noexcept { constexpr std::size_t I = std::tuple_size_v<std::decay_t<decltype(t)>> - N; if constexpr (N == 0u) { return std::nullopt; } else { return pred(std::get<I>(t)) ? std::make_optional(I) : find_if_impl<N …
14
c++
c++20
if-constexpr