Как проверить то, что цепочка элементов одного вектора является подцепочкой другого вектора

template <typename IT>
bool foo(IT seq_first, IT seq_last, IT sub_first, IT sub_last)
{
    if(seq_first == seq_last)
        return true;
    auto seq_lb { std::lower_bound(seq_first, seq_last, *sub_first) };
    while(sub_first != sub_last)
        if(*seq_lb++ != *sub_first++)
            return false;
 
    return true;
}
 
int main()
{
    std::vector<int> seq { 1, 2, 3, 4, 5 };
    std::vector<int> sub { 3, 4 };
 
    std::cout << foo(seq.begin(), seq.end(), sub.begin(), sub.end()) << "\n";
    std::cout << (std::search(seq.begin(), seq.end(), sub.begin(), sub.end()) != seq.end()) << "\n";
 
    return 0;
}

template <typename IT>
bool foo(IT seq_first, IT seq_last, IT sub_first, IT sub_last)
{
    if(seq_first == seq_last)
        return true;
    auto seq_lb { std::lower_bound(seq_first, seq_last, *sub_first) };
    while(sub_first != sub_last && seq_lb != seq_last)
        if(*seq_lb++ != *sub_first++)
            return false;
 
    return sub_first == sub_last;
}

    std::vector<int> seq { 1, 2, 3, 4, 5 };
    std::vector<int> sub { 3, 4, 5 };
 
    auto seq_lb { std::lower_bound(seq.begin(), seq.end(), sub.front()) };
    void* p { &*seq_lb };
    size_t seq_size { (seq.end() - seq_lb) * sizeof(int) };
    size_t sub_size { sub.size() * sizeof(int) };
    if(sub_size <= seq_size)
        std::cout << !(std::memcmp(p, sub.data(), sub_size));
    else 
        std::cout << 0;

    std::vector<int> seq { 1, 2, 3, 4, 5 };
    std::vector<int> sub { 3, 4, 5 };
 
    auto seq_lb { std::lower_bound(seq.begin(), seq.end(), sub.front()) };
    void* p { &*seq_lb };
    size_t seq_size { (seq.end() - seq_lb) * sizeof(int) };
    size_t sub_size { sub.size() * sizeof(int) };
    if(sub_size <= seq_size)
        std::cout << !(std::memcmp(p, sub.data(), sub_size));
    else 
        std::cout << 0;