tuple_find_first

tuple_find_first 是一个用于在 tuple 中查找第一个满足条件的元素的函数模板。它接受一个可调用对象作为参数，返回 tuple 中第一个满足该可调用对象的元素。如果没有找到符合条件的元素，则抛出 std::out_of_range 异常。

以下是 tuple_find_first 的函数模板定义：

template <typename Tuple, typename Predicate>
decltype(auto) tuple_find_first(Tuple&& t, Predicate&& pred);

其中，Tuple 是一个 std::tuple 类型的参数，表示要查找的元组；Predicate 是一个可调用对象类型的参数，表示查找条件。该函数模板返回符合条件的元素的引用（如果存在），否则抛出异常。

例如，以下代码展示了如何使用 tuple_find_first 函数查找元组中第一个奇数元素：

#include <iostream>
#include <tuple>
#include <stdexcept>

template <typename Tuple, typename Predicate>
decltype(auto) tuple_find_first(Tuple&& t, Predicate&& pred)
{
    const std::size_t N = std::tuple_size<std::decay_t<Tuple>>::value;
    for (std::size_t i = 0; i < N; ++i) {
        if (pred(std::get<i>(std::forward<Tuple>(t)))) {
            return std::get<i>(std::forward<Tuple>(t));
        }
    }
    throw std::out_of_range("No matching element found");
}

int main()
{
    auto t = std::make_tuple(2, 4, 3, 6, 8, 9);
    try {
        auto x = tuple_find_first(t, [](auto&& x) { return x % 2 != 0; });
        std::cout << "Found first odd element: " << x << std::endl;
    } catch (const std::out_of_range& e) {
        std::cout << "No odd element found" << std::endl;
    }
    return 0;
}

输出结果为：Found first odd element: 3